computedriven/docs · Ampersand Box

Documents

ComputeDriven benchmark review and Fable assignment — Review date: 2026-09-17 Reviewed repository: /home/travis/ProjectAmp2/computedriven Reviewed commit: 8603bd5c1681d4ba611b556033fbc5a125467f54 Coding owner: Claude Fable. Codex r…
ComputeDriven competitive benchmark — Codex stage-0 review and Fable stage-0.1 assignment — Review date: 2026-09-16 Reviewed source: /home/travis/ProjectAmp2/computedriven commit 87f51f7c0c96fc43cefea93d5a16282a698a64bf Decision: HOLD the official competitive battery.…
ComputeDriven competitive benchmark — Codex stage-0.1 review and Fable stage-0.2 assignment — Review date: 2026-09-16 Reviewed source: /home/travis/ProjectAmp2/computedriven commit 01031e697af55c0f557fd588cbf60d9255887f95 Decision: HOLD the official Tier A battery. REVIS…
ComputeDriven floor competitive benchmark direction — 2026-09-16 — <!-- GPT direction of 2026-09-16, copied verbatim from ~/Documents/Codex/2026-09-16/are-we-at-a-state-with/outputs/FLOOR_COMPETITIVE_BENCHMARK.md so it has a revision. docs/fcb-…
FCB — the floor competitive benchmark: the model, written before the mechanism — Status: model for the round opened by GPT's direction of 2026-09-16 (~/Documents/Codex/2026-09-16/are-we-at-a-state-with/outputs/FLOOR_COMPETITIVE_BENCHMARK.md, copied beside th…
FCB — the kernellet-cost campaign: a contract, before any code (revision 2) — Status: CONTRACT FOR REVIEW, revision 2 (2026-09-16), rewritten on the stage-0.1 review's findings (docs/fcb-stage01-review-2026-09-16.md, "Kernellet-cost contract review"): the…
Floor attribution — what one admitted transition spends its cycles on — Status: measurement note, opened 2026-09-19. Opens no new semantics, adds no feature to any image, changes no anchor. Its receipts are stamped, not gated. Instrument: tools/floo…
Floor census — method, and what the numbers do not say — Status: measurement instrument. Opens no round, rules nothing. Numbers: receipts/FLOOR-CENSUS.md (generated; guards.sh refuses drift). Instrument: cd-floor/src/main.rs + tools/f…
Floor Census R1 — the production floor image and the semantic-context scheduler — Status: measurement round, executed on GPT's R1 order. Opens no new semantics; stops for adjudication. Numbers: receipts/KERNELLET-R1.md (generated, gated) and receipts/KERNELLE…
Floor Census R2 — method, and what the numbers do not claim — Companion to receipts/SFLR-R2-OPEN.md (the contract, falsifiers first) and the generated receipts/SFLR-R2-DYNAMIC-<stamp>.md (the numbers). This file is the method and the limit…
Identity layers — Four things in this system are routinely called "the address of that node", and they are four different things. They are listed here in the order they were separated by evidence…
R0.4.2 failure model — written before the mechanism — Invariant under design (from review): Carrier Loss Finality — loss of a Carrier may invalidate an attachment, but neither loss detection nor replacement may itself create or res…
R0.4.3 custody & provenance model — written before the mechanism — Two invariants discovered by the R0.4.2 review:
R0.4.4 linearity & non-leakage model — written before the mechanism — Two invariants from the R0.4.3 review:
R0.4.6 freshness / anti-rollback model — written before the mechanism — Invariant from the R0.4.5 review:
R0.4.7 atomic lifecycle admission — written before the mechanism — Invariant from the R0.4.6 review:
R0.8 durable authority model — written before the mechanism — R0.7 showed a Carrier can be lost and replaced while a single surviving control process preserves the Locus/Worker state. It did not show that the control process itself can be…
R0.9 — nc35's kernel leg: cases A and B on real kernel WireGuard (plan) — Status: DRAFT, prespecified 2026-09-30 by the Claude session on the Mac, at Travis's go. Not reviewed by GPT. Nothing is built or run. On review: freeze it, then build in the or…
R0.9 — the fixes GPT's review 2 requires (R128): predeclared plan — Status: PREDECLARED 2026-10-02 ~19:00 CDT, before any code. Ruling R128 (~/ProjectAmp2/REVISION_REGISTER.md): fix what receipts/R0.9-GPT-REVIEW-2.md requires before R0.9 can be…
R0.9 deferred threat backlog — This file is the single canonical detail for every R0.9 threat family the round deliberately did not build. receipts/R0.9-OPEN.md keeps a compact summary and links here; it does…
R0.9 nc35 kernel leg — deviations from the frozen plan — The plan, docs/r09-nc35-kernel-leg-plan.md, is frozen as it stood at the R108 waiver (sha256 feeb143125eced8ae836ce78d6e43cfe1be8d7d467b624cf403a5ad7a7d75418) and is not edited.…
R6.1 transfer-authority model — written before the mechanism — R6's first pass (receipts/R6-EXECUTED.md) earned one sentence: a Locus's state is the complete transferable token of its currentness, and a token that is bytes cannot refuse its…
R6.2 placement-activation model — written before the mechanism — R6.1 closed F87: the transport may copy the bytes, the transfer authority is consumed once, and the frozen R0.8 layer supplies that authority. Its crash battery then found a sta…
R6.3 durable Locus history model — written before the mechanism — R6.2 closed history A and isolated the last semantic hole of the same-host multicore model. A holder that is durably ACTIVE(F, I) executes transitions on L, and then F dies. The…
R6.4 durable history anchor model — written before the mechanism — R6.3 closed history B: after an acknowledged success and the ACTIVE holder's death, the exact successor is recovered from the durable Locus history through the placement path. I…
R7 progress model — written before the mechanism — Status: model for the round opened on the R6 freeze. Rules nothing; receipts/R7-OPEN.md is the contract, receipts/R7-EXECUTED.md (when it exists) is the record. Every numeral in…
R7.1 event-driven readiness model — written before the mechanism — Status: model for the round opened on the R7 adjudication. Rules nothing; receipts/R7.1-OPEN.md is the contract. Every numeral here is a definition or a prediction, never a meas…
RV32 bare-metal carrier: a memory-mapped mailbox (design, R5; not built) — Status: design only. Ruled 2026-09-04 with the R5 adjudication: the RV32 ecall interface (cd-kernellet/src/lower/riscv32_hostcall.rs, Linux rv32 numbers 63/64/93) is the test/ho…
The connect model — Status: R0.9 contract, written before `cd-connect` exists. Nothing here is implemented. It is written first because the review's order was explicit — contract, then controls tha…
The dedicated-host profile for performance batteries on this machine — Status: standing operational procedure, adopted 2026-09-12 by ruling 4 of receipts/R7.2.1D-CLOSED.md. It is a precondition and a preparation, not a gate and not evidence. It rul…
The discovery model — Status: R0.9 contract, stated before any mechanism exists. Nothing in this file is implemented. It is written first on purpose: the review pattern this project has settled into…
The R0.9 evidence gate: brief AMENDMENT 3 (R130 option b), after Codex's review 1 — Written by the supervising Mac session, which owns the brief, BEFORE the follow-up turn. It adds to docs/r09-evidence-gate-brief.md (sha256 260038bc…, unchanged) and wins wherev…
The R0.9 evidence gate: the brief (R130 option b) — Written and committed BEFORE any bot conversation was opened. This file is the whole of what the bot is given. It names an outcome, its inputs, its constraints and its acceptanc…
The settlement boundary — what this repository must never gain — Status: RULED (R91, root `REVISION_REGISTER.md`, 2026-09-19). Nothing to build.