Audit bench

Seven lenses over the build

The vector benchThe world
Audit verdict · run in the page, nowmodel, copy and entry lenses complete in the page; the two source lenses in the build
Seven lenses, no findings

The build reproduces the arbiter across 55 declared checks and 16,560 swept coordinates, both hands agree everywhere, every state the model can reach is reachable from the two declared hands, and no string the world can render — 66,240 generated, 202 fixed, and the study entry — asserts a legal conclusion or a price. Nothing is blocking and nothing is filed in the page; the two source lenses held in the build.

Vectors17 / 1755 declared checks
Grid swept16,560coordinates, both hands on each
States reachable14 / 14from the two declared hands
Blocking findings0reviewers with standing to block
Lens oneStructurestanding to block
clean

Does the browser build reproduce the arbiter, and do the two independently derived hands still agree once the coordinate space is swept rather than sampled?

The seventeen frozen vectors55 declared checks with their declared tolerances
17 of 17 pass
Two hands over the swept grid16560 coordinates, full output set compared on each
agree on all 16560
Both hands emit the same output key set
identical
The vector tally can fallone expectation poisoned on V-CENTRAL · occupied_family, to prove the count is computed and not asserted
fault detected
Lens twoReachabilityfiles notes
clean

Can a reader actually arrive at every state the model can produce, using only the two declared hands? A state that exists in the model and cannot be reached is a state nobody will ever audit.

an occupant with a dated openingfirst witness · 600 °C · iron ore · 0 bar · 2024
reachable
an occupant with no dated openingfirst witness · 500 °C · nickel solid · 0 bar · 2024
reachable
no occupant, and the catalyst is whyfirst witness · 400 °C · iron ore · 0 bar · 2024
reachable
no occupant, and pressure is whyfirst witness · 600 °C · iron ore · 150 bar · 2024
reachable
no occupant, and the term is whyfirst witness · 600 °C · iron ore · 0 bar · 2036
reachable
strategy free_corridorfirst witness · 400 °C · iron ore · 0 bar · 2024
reachable
strategy licence_or_design_aroundfirst witness · 500 °C · nickel solid · 0 bar · 2024
reachable
strategy wait_for_expiryfirst witness · 600 °C · iron ore · 0 bar · 2033
reachable
inside the deactivation basis, with a clockfirst witness · 550 °C · iron ore · 0 bar · 2024
reachable
outside the deactivation basis, clock withheldfirst witness · 400 °C · iron ore · 0 bar · 2024
reachable
out_of_evidence raisedfirst witness · 400 °C · iron ore · 0 bar · 2024
reachable
specific electricity unobservablefirst witness · 400 °C · non catalytic · 0 bar · 2024
reachable
no published replacement intervalfirst witness · 400 °C · molten salt · 0 bar · 2024
reachable
the C-01 free hole recorded not in forcefirst witness · 400 °C · iron ore · 0 bar · 2024
reachable
The literature band stays a range700 °C · low and high strands must differ
carried as a range
Lens threeAdversarystanding to block
clean

Take every coordinate in turn and try to catch the page saying more than the model does, or less. The boundary must be the register wording, the opening date must be the model output, and an absence must never be given a cause the model cannot prove.

Copy never asserts beyond the model16560 cells, each checked on eight invariants
no over-assertion
Every boundary is the register wording9 distinct boundary strings rendered
all quoted
Every absence cause is provable by re-asking the modelpressure and term causes re-derived per cell
provable
Lens fourClaim languagestanding to block
clean

Scan every string the page can render for a legal conclusion or a price: the verdict module over the whole swept grid, the world’s fixed copy, and the study entry the study page renders. The study never says anyone infringes and never carries a cost per kilogram; a world built from it must not either, however careful the labels are.

No legal conclusion asserted11 tokens over 66240 rendered strings, 202 fixed strings and the study entry
clean
No money anywherethe published cost rail on this technology is another study’s; here energy appears only as kWh per kg H₂
clean
Permitted negations, counted not suppresseda token behind “not”, “never”, “neither” or “nor” is the register’s own voice refusing a conclusion
10980 permitted
The scan reaches what the lens claimsthe verdict module, the fixed copy and the study entry
full corpus
Lens fiveGroundingstanding to block
clean

Every figure on the page must trace to a model output or a register field. Nothing is smoothed, nothing is averaged, and nothing is invented to fill a gap.

No invented boundary strings
all trace
Printed count equals temp_occupancy_countchecked on every unoccupied cell
matches
C-01 is never called expiredthe register states it never became a patent
held
Register integrity12 parcels · 1 live and range-less · 13 dated calendar events
read
Lens sixEditorfiles notes
runs in the build, not in the page

Read the built sources rather than the intention: type sizes, hit boxes, and whether the shipped build matches what the handoff note claims about it.

Smallest inline typeno size under 9 px in the world’s stylesheet or its components; the smallest is 9.5 px, on the ribbon’s anchor labels
held by the build
Range inputs meet the 26 px standardinput.a49-hand, read from the stylesheet
held by the build
Every control clears 26 pxmeasured in the browser at five widths before release, not in the build
measured before release

These checks read the source, which a page cannot. They run as tests every time the site is built, and a failure stops the build; a page that is live has passed them. Nothing more is claimed for them here.

Lens sevenDebtfiles notes
runs in the build, not in the page

What did the build leave behind? Copy duplicated in two places that will drift, and whether the second hand is still genuinely independent.

The two hands stay independentneither module imports the other; read from the source
held by the build
Verdict copy lives in one placelib/a49/verdict.ts is the only source of the neither-free-nor-cleared line
held by the build
The world’s fixed copy is one moduleevery string the components print is in lib/a49/copy.ts, which the fourth lens reads
held by the build
One open decision, carried visiblytemp_occupancy_count includes a range-less family; built to the vectors, printed as a floor
held by the build

These checks read the source, which a page cannot. They run as tests every time the site is built, and a failure stops the build; a page that is live has passed them. Nothing more is claimed for them here.