Repository navigation
Independent verification: targetwise audit of PR966 decoder certificates - #971
Merged
Mister-Meeseeks merged 1 commit intoOct 13, 2026
Merged
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
2 participants
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.
Independent targetwise audit of PR #966's immutable prescribed-triple certificate at 7eaf566. Explicit signed-pair group actions verify all 63 orbit multiplicities and their complete 46,348-target inventory at p=2..6. Literal set-XOR checks verify all 59 feasible decoder witnesses on every retained input. A separately written RREF checker compares each of 2,244 labelled target minima at p=3,4 across all 11,966 rank-three cut subspaces.
PR #966 published the same theorem during this sprint with broader finite coverage, so the contribution was narrowed to independent verification. Its pinned replay compares cost histograms between engines. This audit adds targetwise comparisons and explicit group actions; two histogram-preserving target-budget swaps are rejected. All eleven source, decoder, inventory and targetwise controls pass. This is a positive audit, not a reported counterexample to the original theorem or its primary checker.
Reproduce offline with Python 3.9+ and the standard library:
Expected:
PASS PR966 targetwise audit: 46348 triples; 63 orbits; 59 witnesses; 2244 targetwise minima; 11 controls.Verified on Python 3.9.6 and Python 3.12.14 with
-O; deterministic receipt and source SHA-256 agree, selected-record integrity and whitespace checks pass. Only this research package changes. Base: 0076643; OS-random seed42 initially assigned structural decoder research. PR #669's inspected head is 7d52602. Exact source pins and the retained Apache-2.0 certificate notice are included.At p=2,5,6 this independently checks inventory and attainers; unrestricted optimality remains with the predecessor's proof and checks. No new kappa, paid supplier, general formal theorem, or independent human review is claimed. Source access, helpers, frames, copies, restoration, recursive children and assembly remain unpriced. Credits: woklerx; Sam Sung / the-missionary-company; Joel Pulikkan / GamingPuzzled; icekylinx; eumemic. Contributor: Eva Ayala / ToikY, with substantial OpenAI Codex assistance. Apache-2.0.