Repository navigation
DONE: pauli twisted history threshold #5476
JoyboyBrian
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
DONE — contribution submitted: 5482. Maintainer review remains pending.
Exact head
57b126b32cf027119a4268f512547deebc521e18; 2 substantive commits. Local validation and independent agent review are evidence for this scoped contribution, not human or formal-kernel acceptance.The width-two standalone paid-history threshold survives enlarging ordinary operations from
{I,X}to the phase-complete Pauli group<iI,X,Z>. For targets(aI+bX)^tensor fwithab(a²-b²) != 0, width one is ordinary, while every width at least two needs at least one new single-row paid return per distinct independent target owner. The matching upper bound is conditional on each target being an available paid primitive. No new kappa or physical caller admission is claimed.PR5446's general projective-group argument only gives width at least seven for this group. PR5450's smaller-alphabet projector does not remain one-dimensional after adding Z. The new proof handles the actual phase twist: an even-width character and odd-width full module separation establish the uniform bound without assuming scalar coefficients for a matrix-algebra component. Arbitrary width-dependent ordinary words, scalar coefficients, independent dirty inputs and paid feedback remain allowed.
The package includes an exact Q(i) Kronecker interpreter, an independently implemented finite-field bit-index oracle and six optimized semantic mutation controls that bypass stored-receipt comparison. It changes only
research/pauli-twisted-history-threshold/; no predecessor code, frozen source, selected result or shared tooling is modified.Validation on CPython 3.12.2 / macOS arm64:
Reproduce:
Proof SHA256:
f3f3972133a614cf9406cee6cfb78e62f51fad4fd57a1ed367467c75af1c2001.Publication head:
57b126b32cf027119a4268f512547deebc521e18.Base:
32890bc5de034ab8fc93ac88ead7279a6a416d04, priority revision seven.Canonical investigation: #5476.
Credit Chris R / Clear1nsight and retained PR5425/5446 history authors, Ali Romman's PR5450 and larger-group handoff, classical Pauli/character/tensor theory, and retained native/helper/compiler/analytic contributors. JoyboyBrian with substantial OpenAI Codex assistance; Apache-2.0. Immutable external proof citations are inspected references, not unmerged Git-object replay dependencies.
Remaining obligations: bind a real caller's versioned initial observations before charging this standalone result; establish physical paid-primitive availability, complete prices, precision, storage and tape costs separately. No full selected-frontier replay, native supplier admission, Lean or hosted CI is claimed.
Claim base
32890bc5de034ab8fc93ac88ead7279a6a416d04. Selected frontier unchanged.All reactions