Repository navigation
Research audit: exact widths for all 255 P104 survivor projections (seed 67, no new kappa) - #2820
Merged
Mister-Meeseeks merged 1 commit intoOct 16, 2026
Conversation
Add 255-case exact antichain/chain-cover certificates and independent matching tests under PR CrocSwap#1125's delivery model. No new kappa; disclose substantial GPT-6 assistance.
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.
Status
Mathematical audit and finite proof extension, with no new kappa. This contribution builds on merged PR #1125 and its term-preserving terminal-read interface. It does not change the selected frontier.
Result
Classifies all 255 nonempty survivor masks in 21 exact cube-automorphism orbits using antichain and chain-cover dual certificates. Removing two opposite cube vertices yields width 20; other two-vertex removals yield width 18. For three through seven removed terms, the widths are 10, 6, 3, 2, 1. The inherited inequality L >= q + 2 max(0, width(F_K) - P_K) now has exact width inputs for all deletion counts.
Verification
Run from repository root:
python3 -I -B research/p104-all-projections-seed67/verify.py
Expected PASS_P104_ALL_PROJECTIONS orbits=21 subsets=255 negative_controls=10 no_new_kappa
Optional SciPy independent matching checker:
python3 -I -B research/p104-all-projections-seed67/independent_scipy.py
Expected PASS_SCIPY_INDEPENDENT_MATCHING subsets=255 antipodal_pairs=4 no_new_kappa
Provenance, scope and credit
Source certificate fixed to merged PR #1125 head 9f7c067 and blob 9a2cd574df48361579167e39aa6198f39059f70c. Research branch based on ce7ad1b; source snapshot is not an all-size proof. No changes to upstream/ or selected frontier. Prepared for @Chrisbryan17 with substantial GPT-6 assistance. Ali Romman authored the precursor #1125 theorem; earlier related work is #1071 and #968. Apache-2.0. Detailed proof, certificates, controls, and original PR body are in research/p104-all-projections-seed67/.