R2's ten-minute span is measured: 36,000 frames, one charge asserted on every one, and the plant that could not fire
docs: AS4's clause measured - one shape upload, bound per frame, and the rays are the real per-frame cost
docs: R2's edit loop, on the CPU reference and on the device - what a device march can assert is a count
docs: P1.7's visible-edit leg exists — placement verified to the millimetre, and invisible at 512 units by design
docs: buildbox's GPU works - the blocker was a Nix-linked toolchain, and the R1 numbers that followed reframe the gate
docs: OQ-50 ruled and applied - the half-open span is now doc 02's stated convention
docs: the first GPU number is a design verdict about per-frame read-back, with the two guards that came from running it
docs: OQ-51 landed - wgpu on main, and the chain of checks that caught each other on the way
docs: a device record must cite a commit its clone can resolve, and the test says so
docs: the codegen axis reaches ARM too, and the row says what that still does not prove
docs: two quoted probes had no CI step; the flake that followed tested the agreement guard for free
docs: the operations doc names the tools and the seven traps, so the lessons are not relearned
docs: the device-run recorder's refusals are tested in CI, and two defects that run found
docs: one command records a device run, and the self-test no longer assumes none has
docs: preflight, the reconciled exit table, and OQ-50 drafted as one approval
docs: OQ-50 measured - a centred voxel cube contradicts gate C1's own region arithmetic
docs: the local gate gained the digest check CI used to be alone in
docs: a register row cannot claim a leg that never ran, and the device command says so first
docs: OQ-62 - the toolchain is a moving target, and what that cost in red trunks
docs: the boot hands its own three-cell frame to a file, and the lint lag that red-trunked it
docs: the two-cell world is a picture now, and it says what that picture is not proof of
docs: the demo's PPM is checked against the march, and a vacuous statistic is named as one
docs: the published test count is recomputed by CI now, and falsified to prove it
docs: the docs checker now proves it notices the absences it claims to catch
docs: the device clause is now a register, and the front page states its count Mirrors docs/11 and README: gate P1.5's four targets live in docs/evidence.json as data, the falsification table says which rules were proven by violating them, and Home carries the derived 0 of 4 rather than a sentence nobody checks.
docs: CI drives the shared browser script, and the logs say a browser really ran
docs: the device command reaches a browser now, and the first run taught it to rebuild Records the --browser leg and the fabricated disagreement its first version produced from a stale module, since that trap is the reason the leg rebuilds by default.
docs: register OQ-61, the divergent-payload rule no question owned Six citations in the repo pointed at OQ-46 - wire identities - for a decision about which payload survives a clash. The register now carries the question the way docs/13 does, including what catch_up already settles and the four parts it refuses.
docs: say what the spike's 199 tests is made of The merged-tree count sat in a table whose header said "result on the merged tree" but a reader skimming for the project's test count would have taken 199 for trunk. Trunk is 194 in thirty suites; the fifth crate's suite holds the rest.
docs: mirror the streamed ceiling curve and the ray-charge law from docs/04 The wiki carried the single-tree budget tables only, so a reader of the status page could not see that across region cells the same ceiling moves coverage by 11x to 56x while the share of surface kept does not move at all, nor the rule that a ceiling below max_steps + 1 draws nothing by construction.