Vor-ι′: native Rest/Feshbach Weil firewall at R=1 - #96
Merged
Merged
Conversation
Leitfaden für ReviewerDieser Entwurf fügt ein Audit mit endlichem Fenster und R=1 hinzu, das zeigt, dass die nativen Rest- und Feshbach/Schur-Gram-Konstruktionen nicht mit der Weil-Kalibrierung von PR-#91 übereinstimmen. Unterstützt wird dies durch Diagnosen symbolischer Positionen, eine exakte rationale Implikation für die abschließende Trennung, Provenienznotizen sowie Prüfungen der Stabilität von Epsilon und Support. Der Entwurf erhebt ausdrücklich keinen globalen Anspruch zu Object-X oder RH. Sequenzdiagramm für die native Feshbach-TrennungsprüfungsequenceDiagram
participant Witness as PR91_Witness
participant H as H1_star
participant A as R1_star_R1
participant Moments as Moment_Checker
participant Rational as Rational_Certificate
Witness->>H: build_Hstar(a), build_Hstar(b)
H-->>Moments: x=H1_star_a, y=H1_star_b
Moments->>A: A_apply(v_plus), A_apply(v_minus)
A-->>Moments: m1 and m2 moments
Moments->>Moments: bounds(m0,m1,m2)
Moments-->>Rational: five coarse moment inequalities
Rational->>Rational: exact rational implication
Rational-->>Witness: Schur pairing > -17/100
Witness-->>Rational: Weil target -log2/sqrt2 < -44/100
Rational-->>Witness: d-exact FAIL
Flussdiagramm für das native R=1-Firewall-Auditflowchart LR
W[PR91 witness at R=1] --> R[Native Rest Gram]
W --> F[Native Feshbach Schur Gram]
R --> Rv["Exact value: (4-7sqrt2)log2/32"]
Rv --> RF[Weil calibration mismatch]
F --> M[m0 m1 m2 moment bounds]
M --> Q[Resolvent Cauchy Schwarz bounds]
Q --> FV[Schur pairing > -17/100]
FV --> FF[Weil target < -44/100]
FF --> FFail[Native Schur d-exact FAIL]
RF --> RFail[Native Rest d-exact FAIL]
W --> S[Epsilon support stability]
S --> Stable[Same support combinatorics]
Änderungen auf Dateiebene
Tipps und BefehleInteraktion mit Sourcery
Deine Erfahrung anpassenRufe dein Dashboard auf, um:
Hilfe erhalten
Original review guide in EnglishReviewer's GuideThis draft adds a finite-window R=1 audit showing that the native Rest and Feshbach/Schur Gram constructions fail to match the PR-#91 Weil calibration, backed by symbolic-position diagnostics, an exact rational implication for the final separation, provenance notes, and epsilon/support stability checks; it intentionally makes no global Object-X or RH claim. Sequence diagram for the native Feshbach separation checksequenceDiagram
participant Witness as PR91_Witness
participant H as H1_star
participant A as R1_star_R1
participant Moments as Moment_Checker
participant Rational as Rational_Certificate
Witness->>H: build_Hstar(a), build_Hstar(b)
H-->>Moments: x=H1_star_a, y=H1_star_b
Moments->>A: A_apply(v_plus), A_apply(v_minus)
A-->>Moments: m1 and m2 moments
Moments->>Moments: bounds(m0,m1,m2)
Moments-->>Rational: five coarse moment inequalities
Rational->>Rational: exact rational implication
Rational-->>Witness: Schur pairing > -17/100
Witness-->>Rational: Weil target -log2/sqrt2 < -44/100
Rational-->>Witness: d-exact FAIL
Flow diagram for the native R=1 firewall auditflowchart LR
W[PR91 witness at R=1] --> R[Native Rest Gram]
W --> F[Native Feshbach Schur Gram]
R --> Rv["Exact value: (4-7sqrt2)log2/32"]
Rv --> RF[Weil calibration mismatch]
F --> M[m0 m1 m2 moment bounds]
M --> Q[Resolvent Cauchy Schwarz bounds]
Q --> FV[Schur pairing > -17/100]
FV --> FF[Weil target < -44/100]
FF --> FFail[Native Schur d-exact FAIL]
RF --> RFail[Native Rest d-exact FAIL]
W --> S[Epsilon support stability]
S --> Stable[Same support combinatorics]
File-Level Changes
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
Waschtl904
marked this pull request as ready for review
September 11, 2026 17:24
![sourcery-ai[bot]](https://avatars.githubusercontent.com/in/48477?s=60&v=4){kind=small}
There was a problem hiding this comment.
Sorry @Waschtl904, you've used your own review budget of 250,000 diff characters for the last 7 days.
You can request another review in 14 hours and 8 minutes by commenting @sourcery-ai review. Upgrade to get a review now.
This was referenced Sep 12, 2026
Merged
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
1 participant
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.
Scope and exact provenance
Base:
a757da3aeb263fdf041898f69bd80afe6322f5ee.Head:
8d67e7285cf4ca2e05769156174f168836e8ebab.Tree:
6776bf533c8f9919ec36b2ab9de5305b6512f548.Exactly six new files; no existing file changed:
audits/P11_VOR_IOTA_PRIME_FESHBACH_FIREWALL_2026-09-11/README.mdaudits/P11_VOR_IOTA_PRIME_FESHBACH_FIREWALL_2026-09-11/audit.mdaudits/P11_VOR_IOTA_PRIME_FESHBACH_FIREWALL_2026-09-11/provenienz.mdscripts/check_vor_iota_prime_m012_and_feshbach.pyscripts/check_vor_iota_prime_rational_certificate.pyscripts/check_vor_iota_prime_traeger_stabilitaet.pyAnalytical candidate package. Pre-push package audit GREEN; independent exact-head review OPEN.
Result
Using the exact PR-#91 odd prime-2 witness at
R=1:Native Rest Gram.
⟨R_1 a,R_1 b⟩ = (4-7√2) log2 / 32.It changes the zero-jet pairing (
d-weak PASS) but misses the Weil calibration (d-exact FAIL).Native Feshbach/Schur Gram.
With
A=R_1^*R_1,x=H_1^*a,y=H_1^*b, the reconciledm_0,m_1,m_2moments and spectral-moment/Cauchy-Schwarz bounds give-0.16641094 < ⟨Σ_1 a,b⟩ < -0.03731185,whereas PR R43 post-C6: coherent source descent and exact prime-2 Weil separation #91 requires
B_W(a,b)-c_Γ[a,b] = -log2/√2 ≈ -0.49012907.Hence the native Schur Gram has
d-exact FAIL.Exact rational hardening.
From five coarse moment inequalities,
⟨Σ_1 a,b⟩ > -17/100,while
-log2/√2 < -44/100.The rational checker proves this implication exactly; it does not independently interval-certify the five moment inputs.
Epsilon/support stability.
The refined witness remains in the same separated support combinatorics throughout the tested
ε <= 10^-4regime.Firewalls / non-claims
This PR does not exclude:
H_A,E_{\mathcal A}, and\Pi_{\mathcal A}are not silently treated as existingmaindata. Global Vor-Δ remains STAND-BY.Floating scripts are reproducibility diagnostics, not interval theorem certificates. No registry promotion.
Review target
Please destructively check:
-log2/√2;R_1^*R_1derivation, signs,P_1/Ωroles;m_0,m_1,m_2bookkeeping and coarse moment inequalities;Keep Draft. No merge and no registry promotion without explicit authorization and a fresh exact-head review.
Zusammenfassung von Sourcery
Dokumentiert und reproduziert die Vor-ι′-Rest/Feshbach-Firewall mit endlichem Fenster bei R=1, ohne das native No-Go über seinen angegebenen Geltungsbereich hinaus auszuweiten.
Erweiterungen:
Dokumentation:
Tests:
Original summary in English
Summary by Sourcery
Record and reproduce the finite-window Vor-ι′ Rest/Feshbach firewall at R=1 without promoting the native no-go beyond its stated scope.
Enhancements:
Documentation:
Tests: