Independent verification: exact replay of one P112 asymmetric unit (no new κ)

[1337isnot1337]

Result

Adds an independent standard-library replay of the d0=76 member of the off-pattern P112 two-sink unit recorded in research/format-limits C.6. It reconstructs the E8/Hamming lines and labels, checks all 12,544 entries of the decoder/pairing support identity, and recomputes the COPY ranks and correction supports.

The checked witness has window rank 9, 24 shared extra sources, coordinate COPY ranks 8 each plus extra-total rank 1 (sum 65), and correction supports 28+28 versus 52+52 for the corresponding coordinate rows. Two mutations fail exactness. The certificate records the witness parameters, source set, supports, counts and matrix hashes.

This is an exact finite audit of one supplied witness. It does not establish a complete supplier invoice, a cheaper recursive profile, or a new κ.

Reproduce

python3 -I -O -B research/p112-off-pattern-unit-audit-seed52/verify.py

Expected marker:

PASS_P112_ASYMMETRIC_UNIT_AUDIT seed=52 d0=76 ports=112 entries=12544 window=9 extra_sources=24 copy_ranks=8x8+1 copy_cost=65 corrections=28+28 baseline=52+52 controls=2 no_new_kappa

The command passed under Python 3.14.7. The research-package metadata/pin check also passed. The repository package wrapper requests Python 3.12, which is not installed in this environment.

Provenance and scope

Exact base: bce54fb3f895cbe5cd4c0eb477c3afeed100190f. The predecessor C.6 and E8 geometry sources are pinned by Git blob and SHA256 in SOURCES.json; the new checker verifies their working hashes. Credit DreamingOfClouds / PR #595 for C.6, PR #717 for the P112 model, and PR #446 for the inherited decoder format.

This contribution was developed by Cinna Davis with substantial OpenAI Codex assistance. The full SAT classification suite was not rerun (local python-sat is unavailable); the new verifier does not depend on SAT or third-party packages. The proposed next step is a full stage contract and invoice for the extra total, frame changes, source access and restoration.

[Mister-Meeseeks]

100-PR batch review at f5b2498606dacd7919d1ee442288d4f375a082bb.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Independent finite replay of the P112 d0=76 asymmetric witness: rank-nine pairing, COPY sum 65 and fewer off-diagonal correction positions. Exact identity and mutation checks pass; support counts are not a complete implementation invoice.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.