Skip to content

AR(1)/Weil-Tail consolidation; OX-GRAM closeout and OX-GEN front - #98

Merged
Waschtl904 merged 19 commits into
mainfrom
research/ox-gram-ar1-consolidation-2026-09-12
Sep 12, 2026
Merged

Waschtl904 merged 19 commits into
mainfrom
research/ox-gram-ar1-consolidation-2026-09-12

Conversation

@Waschtl904

@Waschtl904 Waschtl904 commented Sep 12, 2026

Copy link
Copy Markdown
Owner

Zweck

Konsolidiert den Forschungsstand nach PR #97 und schließt die heutige Frontverschiebung sauber ab: AR(1)/Weil-Tail wird als belastbare Prime-Power-Struktur dokumentiert, die bloße OX-GRAM-Existenzfrage wird als zirkulär/vakuant geschlossen, und OX-GEN wird zur nichtzirkulären Hauptfront.

Base: 77f47ec32787d5d8f2c8106c97b611650d44b9ff
Geprüfter Head: cc630d50741c4908db3bd8d2aba1049039d766e2

Inhalt

Der PR enthält zehn geänderte/neue Dateien:

  • CURRENT-FRONT.md
  • README.md
  • audits/P11_OBJECT_X_AR1_OX_GRAM_CONSOLIDATION_2026-09-12.md
  • audits/P11_OX_GRAM_GATE2_AND_OX_GEN_2026-09-12.md
  • scripts/README_OX_GEN_GATE2_HARDENING.md
  • scripts/check_ox_gen_gate2_hardened.py
  • scripts/ox_gen_gate_norm_hardened.py
  • scripts/run_ox_gen_normalization_hardened.py
  • .github/workflows/ox-gen-gate2-hardened.yml
  • .github/workflows/ox-gen-normalization-hardened.yml

Roadmap, Registry, ACTIVE_FRONT.yaml, Arbeitsdefinition und bestehende Beweisdateien bleiben unverändert.

Belastbare Mathematik

Prime-Power-Ledger und erzwungener Exponent:

$$C_{jk}^{(p)}=(\log p)p^{\min(j,k)}p^{-3(j+k)/4}, \qquad C_{kk}^{(p)}=(\log p)p^{-k/2}, \qquad \beta=3/4.$$

Weil-dekorierte AR(1)/KMS-Struktur:

$$C_{jk}^{(p)}=\sqrt{w_{p,j}w_{p,k}}\,p^{-|j-k|/2}, \qquad T_q^*T_q+uu^*=R_q.$$

Dazu die exakte Weil-Tail-Normalform der P11-Restseite. PR91 wird auf Rang 2 korrigiert; der naive einseitige Innovationstest ist keine AR(1)-Whitening-Kongruenz.

Für die endliche Suzuki-Form gilt

$$Q_{B_a}=G_a^+-N_a, \qquad N_a=c_aI+C_a.$$

Terminologie: Der Kernel 1/|x-y| wird als logarithmischer Formraum / log|D|-Geometrie geführt, nicht als klassische H^{1/2}-/Douglas-Seminorm.

Suzukis r_0'' liefert exakt

$$R_0(v,v) =-2\left(\int\cosh\frac x2\,v\right)^2 +2\left(\int\sinh\frac x2\,v\right)^2.$$

Diese e^{\pm x/2}-Struktur motiviert OX-GEN: Kann derselbe Exponentialgenerator, der p^{-1/2}=e^{-\log p/2}, AR(1) und Weilgewichte erzeugt, auch den archimedischen Rang-2-Defekt intrinsisch erklären?

OX-GRAM geschlossen, OX-GEN geöffnet

Die reine Existenzfrage eines kontraktiven W_a ist kein nichtzirkulärer Object-X-Gate: bei bereits bekannter lokaler Weil-Positivität kann ein solcher Operator rückwärts aus Q=G_a^+-N_a definiert werden. Deshalb werden weitere reine mu_max-Sweeps nicht als Hauptfront geführt. Offen bleibt Kanonizität.

CERT-HARDEN — abgeschlossen auf Exact Head

Die ursprünglich gefundenen Intervalllücken wurden im Repo gehärtet:

  1. Bernoulli-Tails von r_1'' werden explizit als Arb-Restbälle eingeschlossen;
  2. Prime-Power-Cutoffs werden rein mit Arb entschieden;
  3. Log-Endpunktfehler sind rein Arb-basiert;
  4. die hebbare sinc-Singularität wird per Taylorreihe mit explizitem Restball behandelt;
  5. Cholesky-Pivots werden ausschließlich über den proof-oriented Arb-Test pivot > 0 akzeptiert.

Exact-head CI auf cc630d50741c4908db3bd8d2aba1049039d766e2:

  • validate-active-front: GREEN;
  • gate2-hardened: GREEN — exakt 42 Q>0 ZERTIFIZIERT, kein Cholesky-FAIL;
  • normalization-hardened: GREEN — bei a=0.5,0.8,1.0 jeweils 42 A–F/C2-Residualbälle mit Null-Einschluss.

Damit ist die zuvor offene Zertifikationshärtung für den dokumentierten endlichen Gate-1/2-Scope geschlossen.

Neue operative Gates

  1. OX-GEN-A — bei a=0.5 die cosh/sinh-Momentfunktionale in der Prime-/logarithmischen Featureabbildung isolieren.
  2. GENERATOR-CLASS — natürliche Generator-Klasse vor einem No-Go festschreiben; beide Ausgänge müssen logisch möglich sein.
  3. OX-GEN-B — expliziten Intertwiner oder Klassen-No-Go suchen.

Parallel wird die Prime-Power-AR(1)/Martingal-Faktorisierung als eigenständige, RH-unabhängige Mathematik verschriftlicht — ausdrücklich nicht als Objekt X.

Gesperrte Deutungen

Nicht reaktivieren: Rang-1-PR91-Zeuge, 3/4 als bloße Dämpfung, Vier-Boundary-Erklärung, cross-prime als Fensterrand, „Nichtunitarität = Hub“, Suzuki-Vierpunktkern als 2I-Renormierung, matched cutoff, OX-REN/OX-REN', ungültiger Radius-Swap im PR97-Checker, H^{1/2}-/klassische Douglas-Terminologie für 1/|x-y|, globaler Defektnorm-Kollaps, 0.603-Koinzidenz als Konstante sowie weitere OX-GRAM-Existenztests ohne nichtzirkulären Mechanismus.

Scope / Nonclaims

  • keine Registry-Promotion;
  • kein Reviewtransfer auf PR R43 post-C6: coherent source descent and exact prime-2 Weil separation #91;
  • keine vollständige Object-X-Realisierung;
  • kein neuer globaler Weil-Positivitäts- oder RH-Beweis;
  • die Gate-2-Zertifikate betreffen die dokumentierten endlichen Basisblöcke, nicht den unendlichdimensionalen Grenzfall;
  • OX-GEN ist eine neue offene Strukturfrage, kein halbfertiger Beweis.

Mergefreigabe: Exact-head CI GREEN; Integration ändert keine Registry-Buchung.

@sourcery-ai

sourcery-ai Bot commented Sep 12, 2026

Copy link
Copy Markdown

Leitfaden für Reviewer

Dieser Entwurf konsolidiert die mathematische Front nach PR97 rund um eine exakte Weil-gewichtete AR(1)/Tail-Struktur und eine endliche OX-GRAM-Zerlegung in positive Features und Defekte. Anschließend werden die operative Front und die README synchronisiert, wobei offene Zertifizierungsgates, Nichtbehauptungen, der historische Roadmap-Status und zurückgezogene Interpretationen ausdrücklich beibehalten werden.

Flussdiagramm für die OX-GRAM-Gates

flowchart TD
    Start[OX-GRAM consolidation]
    Cert[CERT-HARDEN: certify normalization]
    Compact[OX-COMPACT: prove compact embedding]
    Ritz[OX-RITZ: compute nested parity Ritz data]
    Mode[MODE-DECOMP: decompose near-critical mode]
    Intertwiner[Construct canonical intertwiner or contraction]
    Start --> Cert
    Cert --> Compact
    Compact --> Ritz
    Ritz --> Mode
    Mode --> Intertwiner
Loading

Änderungen auf Dateiebene

Änderung Details Dateien
Führt ein neues Audit zur mathematischen Konsolidierung ein, das das korrigierte Primzahlpotenz-Register, die Weil-gewichtete AR(1)/Kac–Murdock–Szegő-Struktur, exakte Operatoridentitäten für Tail und Hub, die P11-Tail-Normalform, die Massenidentität des Translationskanals sowie die endliche OX-GRAM-Defektzerlegung etabliert.
  • Dokumentiert den erzwungenen 3/4-Exponenten und die diagonalen Weil-Gewichte.
  • Trennt T_q^*T_q von D_q^D_q/D_qD_q^ und identifiziert die Hub-/Wurzelkorrektur präzise.
  • Korrigiert die Interpretation des PR91-Zeugen auf Rang 2 und dokumentiert die aktiven Indexpaaren.
  • Formuliert die endliche Form als positive logarithmische/primzahlbezogene Features minus einen kompaktartigen Defekt neu.
  • Erfasst Zertifizierungsbeschränkungen, den Umfang der numerischen Nicht-Falsifikation, die nächsten Gates und ausdrücklich zurückgezogene Interpretationen.
audits/P11_OBJECT_X_AR1_OX_GRAM_CONSOLIDATION_2026-09-12.md
Ersetzt die operative Front des vorherigen PR91-/7D-orientierten Arbeitsstroms durch das OX-GRAM-Forschungsprogramm und bewahrt dabei die historische Governance sowie die Nichtbehauptungen.
  • Verlinkt das neue Konsolidierungsaudit und präsentiert die AR(1)/Weil-Tail-Ergebnisse als aktuelle lokale Struktur.
  • Definiert die geordneten Gates CERT-HARDEN, OX-COMPACT, OX-RITZ, MODE-DECOMP und das spätere Intertwiner-Gate.
  • Legt die aktuellen Beschränkungen bei Zertifizierung und Ritz-Messungen dar, ohne sie zu Beweisen zu erheben.
  • Listet zurückgezogene Interpretationen auf und lässt das Register, ACTIVE_FRONT.yaml und die Roadmap unverändert.
CURRENT-FRONT.md
Synchronisiert die Repository-Startseite mit der neuen OX-GRAM-Front und ihrem Review-Status.
  • Fügt das Konsolidierungsaudit als zentralen Einstiegspunkt hinzu.
  • Aktualisiert die aktive Forschungsaufgabe auf die Formulierung „endliche positive Features minus Defekt“.
  • Fasst die geordneten nächsten analytischen und numerischen Schritte zusammen und stellt überholte Ansätze weniger prominent dar.
README.md

Tipps und Befehle

Interaktion mit Sourcery

  • Ein neues Review auslösen: Kommentiere @sourcery-ai review im Pull Request.
  • Diskussionen fortsetzen: Antworte direkt auf die Review-Kommentare von Sourcery.
  • Aus einem Review-Kommentar ein GitHub-Issue erstellen: Bitte Sourcery, durch eine Antwort auf einen Review-Kommentar ein Issue daraus zu erstellen. Du kannst auch mit @sourcery-ai issue auf einen Review-Kommentar antworten, um daraus ein Issue zu erstellen.
  • Einen Pull-Request-Titel generieren: Schreibe @sourcery-ai an beliebiger Stelle in den Titel des Pull Requests, um jederzeit einen Titel zu generieren. Du kannst auch @sourcery-ai title im Pull Request kommentieren, um den Titel jederzeit (erneut) zu generieren.
  • Eine Pull-Request-Zusammenfassung generieren: Schreibe @sourcery-ai summary an beliebiger Stelle in den Text des Pull Requests, um jederzeit genau an dieser Stelle eine PR-Zusammenfassung zu generieren. Du kannst auch @sourcery-ai summary im Pull Request kommentieren, um die Zusammenfassung jederzeit (erneut) zu generieren.
  • Leitfaden für Reviewer generieren: Kommentiere @sourcery-ai guide im Pull Request, um den Leitfaden für Reviewer jederzeit (erneut) zu generieren.
  • Alle Sourcery-Kommentare auflösen: Kommentiere @sourcery-ai resolve im Pull Request, um alle Sourcery-Kommentare aufzulösen. Dies ist nützlich, wenn du bereits auf alle Kommentare eingegangen bist und sie nicht mehr sehen möchtest.
  • Alle Sourcery-Reviews verwerfen: Kommentiere @sourcery-ai dismiss im Pull Request, um alle vorhandenen Sourcery-Reviews zu verwerfen. Dies ist besonders nützlich, wenn du mit einem neuen Review beginnen möchtest – vergiss nicht, @sourcery-ai review zu kommentieren, um ein neues Review auszulösen!

Deine Erfahrung anpassen

Rufe dein Dashboard auf, um:

  • Review-Funktionen wie die von Sourcery generierte Pull-Request-Zusammenfassung, den Leitfaden für Reviewer und weitere Funktionen zu aktivieren oder zu deaktivieren.
  • Die Reviewsprache zu ändern.
  • Benutzerdefinierte Review-Anweisungen hinzuzufügen, zu entfernen oder zu bearbeiten.
  • Weitere Review-Einstellungen anzupassen.

Hilfe erhalten

Original review guide in English

Reviewer's Guide

This draft consolidates the post-PR97 mathematical front around an exact Weil-weighted AR(1)/tail structure and a finite OX-GRAM positive-feature/defect decomposition, then synchronizes the operational front and README while explicitly retaining open certification gates, nonclaims, historical roadmap state, and withdrawn interpretations.

Flow diagram for the OX-GRAM gates

flowchart TD
    Start[OX-GRAM consolidation]
    Cert[CERT-HARDEN: certify normalization]
    Compact[OX-COMPACT: prove compact embedding]
    Ritz[OX-RITZ: compute nested parity Ritz data]
    Mode[MODE-DECOMP: decompose near-critical mode]
    Intertwiner[Construct canonical intertwiner or contraction]
    Start --> Cert
    Cert --> Compact
    Compact --> Ritz
    Ritz --> Mode
    Mode --> Intertwiner
Loading

File-Level Changes

Change Details Files
Introduces a new mathematical consolidation audit that establishes the corrected Prime-power ledger, Weil-weighted AR(1)/Kac–Murdock–Szegő structure, exact tail/hub operator identities, P11 tail normal form, translation-channel mass identity, and finite OX-GRAM defect decomposition.
  • Records the forced 3/4 exponent and Weil diagonal weights.
  • Separates T_q^*T_q from D_q^D_q/D_qD_q^ and identifies the hub/root correction precisely.
  • Corrects the PR91 witness interpretation to rank 2 and documents the active index pairs.
  • Recasts the finite form as positive logarithmic/prime features minus a compact-like defect.
  • Captures certification limitations, numerical non-falsification scope, next gates, and explicitly retired interpretations.
audits/P11_OBJECT_X_AR1_OX_GRAM_CONSOLIDATION_2026-09-12.md
Replaces the operational front from the prior PR91/7D-oriented workstream with the OX-GRAM research program while preserving historical governance and nonclaims.
  • Links the new consolidation audit and presents the AR(1)/Weil-tail results as the current local structure.
  • Defines the ordered CERT-HARDEN, OX-COMPACT, OX-RITZ, MODE-DECOMP, and later intertwiner gates.
  • States the current certification and Ritz-measurement limitations without promoting them to proofs.
  • Lists withdrawn interpretations and keeps the registry, ACTIVE_FRONT.yaml, and roadmap unchanged.
CURRENT-FRONT.md
Synchronizes the repository landing page with the new OX-GRAM front and its review status.
  • Adds the consolidation audit as a primary entry point.
  • Updates the active research task to the finite positive-feature minus defect formulation.
  • Summarizes the ordered analytical and numerical next steps and de-emphasizes obsolete routes.
README.md

Tips and commands

Interacting with Sourcery

  • Trigger a new review: Comment @sourcery-ai review on the pull request.
  • Continue discussions: Reply directly to Sourcery's review comments.
  • Generate a GitHub issue from a review comment: Ask Sourcery to create an
    issue from a review comment by replying to it. You can also reply to a
    review comment with @sourcery-ai issue to create an issue from it.
  • Generate a pull request title: Write @sourcery-ai anywhere in the pull
    request title to generate a title at any time. You can also comment
    @sourcery-ai title on the pull request to (re-)generate the title at any time.
  • Generate a pull request summary: Write @sourcery-ai summary anywhere in
    the pull request body to generate a PR summary at any time exactly where you
    want it. You can also comment @sourcery-ai summary on the pull request to
    (re-)generate the summary at any time.
  • Generate reviewer's guide: Comment @sourcery-ai guide on the pull
    request to (re-)generate the reviewer's guide at any time.
  • Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
    pull request to resolve all Sourcery comments. Useful if you've already
    addressed all the comments and don't want to see them anymore.
  • Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
    request to dismiss all existing Sourcery reviews. Especially useful if you
    want to start fresh with a new review - don't forget to comment
    @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

  • Enable or disable review features such as the Sourcery-generated pull request
    summary, the reviewer's guide, and others.
  • Change the review language.
  • Add, remove or edit custom review instructions.
  • Adjust other review settings.

Getting Help

@Waschtl904 Waschtl904 changed the title OX-GRAM: AR(1)/Weil-Tail front consolidation after PR #97 AR(1)/Weil-Tail consolidation; OX-GRAM closeout and OX-GEN front Sep 12, 2026
@Waschtl904
Waschtl904 marked this pull request as ready for review September 12, 2026 20:20

@sourcery-ai sourcery-ai Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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 16 hours and 16 minutes by commenting @sourcery-ai review. Upgrade to get a review now.

@Waschtl904
Waschtl904 merged commit f3936ed into main Sep 12, 2026
4 checks passed
Waschtl904 added a commit that referenced this pull request Sep 13, 2026
Update all operative navigation files to the post-PR #98 OX-GEN state. Mark fixed-pair C6 and finite CERT-HARDEN as closed in scope, set OX-GEN-A as the next gate, and preserve registry/history files unchanged.
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.

1 participant