Skip to content

Prove rank-eight owned high contacts after removing all native constraints - #5136

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
1337isnot1337:research/owned-centre-independent-20261023
Oct 23, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
1337isnot1337:research/owned-centre-independent-20261023

Conversation

@1337isnot1337

Copy link
Copy Markdown
Contributor

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:

  • Registered normal and optimized Python replays pass.
  • Package metadata/source pins, deterministic witness regeneration, commit-byte preflight and diff whitespace checks pass.
  • The optional source-history preflight rejects this intentionally shallow checkout before checking ancestry; no pass is claimed for it. All scientific live inputs are retained on canonical main at the package base, which is the publication's direct parent. Hosted CI is separate.

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.

@Mister-Meeseeks
Mister-Meeseeks merged commit 4172bc5 into CrocSwap:main Oct 23, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants