Repository navigation
Commit ca14336
committed
P-037 B1 evidence completion: the per-row comparable summary snapshot
docs/evidence/p037-b1/comparable-summary-rows.json holds all 36
comparable B1 summary rows of the frozen 571669e population, produced by
`p037_b1_shadow.py --comparable-rows-out` at 61efa3e. B1's result and its
committed shadow-run.json are untouched.
Measured:
- --out is byte-identical across the 3745975 driver, the new driver
without the flag, and the new driver with the flag (same HEAD).
- The snapshot reproduces B1: EQUAL 28 + UNEXPLAINED 8 = 36; every
per-population breakdown matches (b0-probes 3, corpus 10+4, p037-shapes
15+4, repo 0); keys are unique; all 8 committed rows match exactly in
legacy, guarded and class.
- The population commit and toolchain equal B1's. The report binary sha256
equals B1's (4e1339e9).
Disclosed deviation: the extractor DLL sha256 is 6e3b8ecc, not B1's
bc7f746c. The Debug DLL was rebuilt at 04:07 by the local reproduction of
the inertness CI fix (`dotnet run --project`), from unchanged source (no
diff under frontend/ since 5c6207e), and the rebuild is not bit-identical.
The complete B1 report from this run equals the committed shadow-run.json
in every field except instrument_commit and that sha: all counts, rows, A14
and R. That is functional equivalence on the whole frozen population.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KmiyfrkaG9sJruTcshM2oq1 parent 61efa3e commit ca14336
1 file changed
Lines changed: 415 additions & 0 deletions
0 commit comments