Repository navigation
Research: persist order-four boundary across two root echoes (no new kappa) - #1410
Conversation
|
100-PR batch review at Merged to Reviewed scope: Persistent order-four phase across two same-source echoes: complete ten-child word saves 112 primitives, with exhaustive 1,048,576-path comparison and all dirty columns. Increased prefix norm and absent physical supplier prevent precision/runtime or κ claims. 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. |
Status: scoped recursive-interface construction. No new kappa or selected-supplier change.
At exact base
bce54fb3f895cbe5cd4c0eb477c3afeed100190f, OS seed 57 selected the recursive-interfaces track. For two identical five-child PR #1391 root echoes on the same source X, a joint ten-child dirty echo carries the order-four frame through the midpoint.(1720 ADD, 184 NEG) = 1904primitives.(1840 ADD, 176 NEG) = 2016primitives.g(5)=140andg(10)=248, with all 1,024 and 1,048,576 paths exhaustively checked.(D,X,W) -> (D + 2 sum_i R_i X, X, W)for arbitrary dirty input vectors, checked on all 56 basis columns.The standalone package is
research/z4-persistent-pair-seed57/. Reproduce with:Local verifier, focused tests, package metadata/source pins, and
make selected-record-checkpass on CPython 3.14.7. Python 3.12 is unavailable locally, so the registered Python 3.12 replay, hosted CI, and independent human review remain pending.VALIDATION.jsonrecords exact checks.The predecessor certificate/verifier/README are byte-pinned to PR #1391 head
6ce8017e4c27c8b220b6c3a27a53bb18f138212a; inherited source pins are checked at the stated base. Credit PR #1391, Ross Richardson's PR #1287, and Sagar Thakrar's PR #1227. Prepared by Cinna Davis with substantial OpenAI Codex assistance; no proof-assistant formalization or human review is claimed. The result is restricted to the pinned family, same source, and declared order-four macro alphabet. Supplier admission, precision, routing/tape costs, recursive-profile transfer, and any new kappa remain open.