Repository navigation
Prove rank-eight owned high contacts after removing all native constraints - #5136
Merged
Mister-Meeseeks merged 1 commit intoOct 23, 2026
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.
The independent owned-COPY/shared-map proposal attempted to reduce the eight center inputs in the actual round-three word. This package proves that each high contact already contains eight independent vectors from fixed main entrances, even after every native warp relation and every helper boundary constraint is removed. Keeping the opposite center chart at zero therefore leaves paid center rank mass at least 64. The source attains the bound. No higher κ or whole-profile optimum is claimed.
This extends the high-contact part of Matarener's #5060 to a newer source and a larger retiming domain. #5060's complete nested owned-wire floor with fixed native/helper boundaries remains prior work; this PR does not extend that whole-wire conclusion to the larger domain. Cao Yifan's round-three source, Cinna Davis's supplier/controller lineage, Dugongue and the retained authors are credited. Frozen source bytes stay unchanged.
The standalone exact proof artifact contains 128 main-entrance paths and 2204 chronological links across both orientations. No relation crosses any of the 240 native events per orientation. It reconstructs the complete original paid/helper histogram, verifies the owned macro boundaries and checks 144 corruption, rank-seven-hyperplane and warp-cut controls. Standard library only; no solver or predecessor executable import.
Validation:
Open next questions cover moving both sides of a center, changed scalar chronology and nonmonotone paid itineraries, with full paid/helper invoices and native/ownership/compiler obligations. Canonical investigation: #4611 (comment) . Main refreshed before submission at 20a1e31; priority 7 and selected conditional κ=.00302015 unchanged. Overlap snapshot covers 316 open PRs, 4285 discussion records and all 6884 base notes; arbitrary diffs and unpublished work remain outside that coverage.
Prepared by Cinna Davis / 1337isnot1337 with substantial OpenAI Codex assistance; no subagents; Apache-2.0. Written scoped proof plus author-checked finite certificate, not independent human or proof-kernel acceptance.