Repository navigation
Record the earlier-target frame506 shift oracle gap. - #6291
Merged
Mister-Meeseeks merged 1 commit intoOct 31, 2026
Merged
Mister-Meeseeks merged 1 commit into
Mister-Meeseeks merged 1 commit into
Conversation
The 64 f^2 earlier-address ordered shifts are the reversed-field conjugate of the proved forward shear, and each site still owes two unpriced completed-swap oracle calls. Co-authored-by: unpaidmoon <unpaidmoon@users.noreply.github.com>
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.
Change and mathematical scope
Scoped classification, not a new κ. The helper-462 / frame-506 route has
224 f²ordered shifts. The64 f²earlier-target sites update the smaller address. They areadd_high(..., reversed_fields=True): the proved forward shear conjugated by a swap of the two high axes. Each such call records twocompleted_swap_oracleentries, charged asT_oldrather than a fixed-tape transition count. The forward shear records none.The selected conditional exponent stays
781451/250000000. This does not admit P3, implement the transposition, or change the frontier.Task and overlap
Base:
2485805a6d47f36ea83ddde6327d453ac82d44dc, priority revision 8.Task card:
supplier-boundary-audit, refined. The request is handoff #1166 comment 19137812. Later packages on this base already schedule the route (research/bit-row-route-generator), price unit scale (research/signed-dyadic-scaling), and price the later-target shear (research/fixed-tape-ordered-shear,research/fixed-tape-affine-shear,research/inplace-runtime-affine). Those write-ups leave the earlier-target / reversed-field half open. No open upstream PR body found for that remainder.Scope status: refined. The handoff asks for a full N-dimensional stock/owner/route generator satisfying P1–P3. This package takes only the remaining earlier-target contract and stops at the oracle gap.
Validation
Local result:
PASS_PACKAGE_METADATA_AND_PINSandPASS_EARLIER_TARGET_SHIFT_GAP earlier=64*f^2 later=160*f^2 oracle_calls=2, including the optimized command. The checker matches both committed route directions, checksf = 1, 2, 3, runs three conjugation fixtures, and requires two failing controls to fire.Not run: a fixed-tape transposition, helper-462 owner replay, P3 admission, Lean, Docker, or the selected cold replay. The oracle records are not converted into a transition count.
Credit
Route schedule: Chris R / Clear1nsight, PR #4957 / #4989. Stream lemma and completed-swap oracle: Jose Manuel. Earlier-target remainder and the priced neighboring classes: JoyboyBrian. Ordinary API handoff: ai-nanachi. Prepared by unpaidmoon with substantial Cursor Grok assistance. Apache-2.0.
Open next questions
T_old.64 f²sites, together with low-cache lifetime and ROW padding. Owner-bank installation and P3 remain open.