Repository navigation
Add P104 flag 0 coefficient transport audit - #3915
Draft
1337isnot1337 wants to merge 1 commit into
Draft
1337isnot1337 wants to merge 1 commit into
1337isnot1337 wants to merge 1 commit into
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Audit the exact native coefficient for P104 joint flag 0
Summary
Adds a bounded exact row audit for the first flag in PR #2981's 208-flag
collection: source
X0, targetY34, basis head232.The pinned doubled E8 roots have raw dot product
4and squared norm8. Thenative channel therefore contributes
+1/2to this off-diagonal entry, whilethe complementary
I-G/2term requires-1/2. A one-hotx0=zreplay throughthe pinned 4,058-event word follows the target coefficient through events
2815 (
+z/2), 2998 (-z/2), and 3369 (+z/2), finishing atY34 = z/2.This complements PR #3242's event-order scan and the pooled fixed-cover support
reviews in PRs #3259, #3803, and #3810. It checks an actual native coefficient
row for one flag; the three additions do not implement the side correction.
Reproduction
Local exact replay passed on CPython 3.14.8. The registered Python 3.12 replay
remains pending because that interpreter is unavailable in the local
environment.
Scope and limits
No correction program, arbitrary-dirty restoration, correction-frame
availability, full bill, supplier admission, new kappa, or selected-frontier
change is claimed. The one-hot fixture sets dirty coefficients to zero and uses
the coefficient-row invariant in the reviewed native-channel proof. It does not
re-run the native Clifford/all-column checker.
Credit Nick Petalas / PR #2981 for the static flag; Rohan Arun / PR #1972 and
Chafik Boukhalfa / PR #1991 for the channel; and jwr404 / PR #3242 for the
event chronology. No independent human or formal-kernel review is claimed.
Current overlap
Open PR #3882 submits a P104 correction-tail construction. This package checks one native coefficient row for flag 0 and does not construct a correction program.
Publication validation
python3.12 scripts/research_package.py --package research/p104-flag0-coefficient-transportpassed on CPython 3.12.3, andpython3.12 scripts/check_research_commit.py --package research/p104-flag0-coefficient-transport --check-source-historypassed. The registered replay left the worktree clean. This supersedes any earlier pending note above for the registered package replay; separate full selected cold-replay limits remain as stated.