MECHANICAL INTEGRITY CHECK — arm A2-id
  52 files, content-free output, 3 FAIL / 1 CONCERN / 0 CANNOT-VERIFY

PASS            §10 PREREG present                 1 file(s)
PASS            §10 PREDRAFT present               1 file(s)
PASS            §10 RESULTS present                1 file(s)
PASS            §10 REPORT present                 3 file(s)
INFO            §10 RECON present                  1 file(s)
INFO            §10 BLINDCHECK present             0 file(s)
INFO            §10 PRIMING present                0 file(s)
INFO            recon precedes prereg              1 recon artifact(s), earliest before prereg (before = expected)
FAIL            L1 prereg <= first output          prereg->output -1462s
CONCERN         L1 prereg <= first script          prereg->script -1288s
INFO            prereg modified after birth        0 of 1 — birthtime is a WEAK witness; prefer the custodian hash ledger
PASS            O7 predraft precedes report        predraft before report
PASS            P7 >=2 implementations             3 impl-named file(s) (code-independence itself is a JUDGMENT item)
PASS            P8 run1/run2 byte-identical        2/2 pair(s) identical
PASS            P9 null markers in RESULTS         28 matching line(s) — per-column coverage is a JUDGMENT item
PASS            P2 test.parquet                    size+sha256 == Appendix A
PASS            P2 instances.parquet               size+sha256 == Appendix A
PASS            P2 test.parquet                    size+sha256 == Appendix A
PASS            P2 instances.parquet               size+sha256 == Appendix A
PASS            O1 eight headings                  8/8 present
PASS            O1 heading order                   mandated order
FAIL            O1 eight headings                  3/8 present
PASS            O1 heading order                   mandated order
FAIL            O1 eight headings                  5/8 present
PASS            O1 heading order                   mandated order
PASS            L10 labels present                 bytes=8 source=1 inferred=0 unverified=0 (per-claim coverage is a JUDGMENT item)
PASS            L10 labels present                 bytes=7 source=0 inferred=0 unverified=0 (per-claim coverage is a JUDGMENT item)
PASS            L10 labels present                 bytes=1 source=1 inferred=0 unverified=0 (per-claim coverage is a JUDGMENT item)
PASS            envelope isolation                 no sealed-store or other-arm path outside PRIMING
PASS            freeze (chmod a-w) applied         0/52 file(s) still writable

NOT COVERED HERE (fresh-context checker, reported as JUDGMENT items): P12 cell census vs rows x columns; P7 code-independence; P9 per-column coverage; L4 localization; L5 artifact-before-magnitude; L10 per-claim coverage; O3 null-before-magnitude; O5/O6 phrasing; O8; O11 adequacy.