Repository navigation
Prove the 64-rank center floor under global monotone chart retiming (no new κ) - #4700
Merged
Mister-Meeseeks merged 3 commits intoOct 22, 2026
Conversation
This was referenced Oct 22, 2026
Merged
Contributor
|
Note: the centre cannot be shared across recursion levels either (nested-recursion check on #4470). We asked whether a child controller could live in the parent's F2^9 block (the child inherits the parent's 9 label axes instead of a fresh tensor factor), so that one rank-8 centre transport and one thin query shear per port serve two levels. Three independent obstructions, checked on the #4470 word in both orientations:
Scripts and receipts (nest_check.py, cone_check.py, nest_controller.py; standard library plus sympy for the controller replay) are available on request. No new kappa. |
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.
Every retained PR4610 center call still costs rank at least eight under arbitrary monotone chart retiming of the stated protocol. Exact global subspace closures force each originally low endpoint to zero and each high endpoint to contain an eight-dimensional space. The eight calls therefore retain at least 64 paid rank units. No higher K is claimed.
This is an all-assignment certificate for binary charts in F_2^9, rather than a failed local, one-axis or superspace search. All helper boundaries, both center endpoint charts and logical warp charts may change. The actual G maps, scalar graph/order/coefficients/references, main/adapter boundaries and monotone persistent direction remain fixed. The center keeps one call between its copy/gather and scatter/return; no added center transport occurs between its scalar contacts. New circuits, descending persistent steps, changed maps/contracts and maps between digit columns remain outside scope.
The proof deliberately imposes no relation between the two unknown endpoints of a center call. Its rank floor follows from the surrounding computation. Both complete orientations have 22,255 nodes, 38,280 directed inclusions and 761 fixed nodes. Least and greatest subspace assignments come from exact XOR spans, intersections and actual invertible warp maps. Their universal sandwich proof is in
research/center-chart-bound/PROOF.md; README.md defines the limitations and concrete next question. This bounds the center bill, not the other paid profile or the best K.Only
research/center-chart-bound/is added. Original PR4610 bytes, blob and commit/path provenance are retained exactly. The original paid profiles, scalar frames and warp geometry are checked. Opposite worklist orders and independent changes to every frame basis give the same center intervals; three actual source mutations and the set-union/span distinction are controlled.Validation: CPython 3.12 registered replay and isolated optimized replay pass; committed-byte/source-history preflight and official export integrity pass. The final exported verifier passes under -O with Git absent from PATH and leaves every exported file unchanged. No native all-column, selected cold replay, outer theorem or formal kernel run is claimed. Refreshed canonical main remains b58ad9e, selecting conditional K=.00302015. The 16:35 UTC overlap snapshot completely paginated 467 open PR bodies and 3,623 Discussion records; sparse local note coverage is incomplete. Historical #1517/#4585 local floors are credited and not used as premises.
Credit Cao Yifan/#4610, Dugongue/#4654, Cinna Davis/#4665 and #4696 for the phase questions, Cinna Davis/#4470, zxv, Jacob Alan Sussman and the retained native/helper/compiler lineage. Prepared by Cinna Davis with substantial OpenAI Codex assistance; Apache-2.0. No independent human review is claimed.