Skip to content

docs: expand theorem monographs and redesign research portal - #20

Merged
RFT-SIRM merged 22 commits into
mainfrom
docs/theorem-monographs-2026-11-09
Nov 9, 2026
Merged

RFT-SIRM merged 22 commits into
mainfrom
docs/theorem-monographs-2026-11-09

Conversation

@RFT-SIRM

@RFT-SIRM RFT-SIRM commented Nov 9, 2026 •

Copy link
Copy Markdown
Owner

Summary

Focused dissertation and research presentation

  • Add a standalone SU(2) fourth-moment dissertation in docs/DISSERTATION.md; retain the wider Theory-of-Everything synthesis dissertation as a separate work.
  • Add a Research Monographs page and MkDocs navigation for both documents.
  • Keep the exact H⁴ trace-defect identity, normalized limit, and finite-level remainder together and clearly scoped.

AI and public-facing research descriptions

  • Replace the generic AI reading guide front matter with a dated canonical result index for the SU(2) theorem, higher moments, and Phi-Genesis.
  • Explicitly distinguish the all-level signed-Laplacian lower bound lambda >= 1 from the separate least-eigenvalue convergence theorem.
  • Define 1.309128920280813421888623088170810188... as the limiting least eigenvalue of the specified Sierpiński-gasket graph-matrix sequence for levels N >= 6, give the exact rational enclosure (width 2e-36), and state that it is not known in closed form or claimed to be a universal physical constant.
  • Update PITCH with a concise research register: H4, H6/H8, H10, Phi-Genesis lower bound, and Phi-Genesis least-eigenvalue convergence.
  • Keep Gate A, the quadratic increment law, levels N < 6, the external theta = 2 pi identification, and a closed form for the limit explicitly open.

Docs home and mathematical evidence register

  • Redesign the Docs landing page with research cards, the exact H⁴ equation, normalized finite-size expression, and a carefully scoped Phi-Genesis enclosure.
  • Add docs/results.md as a single technical register for SU(2), H⁶/H⁸/H¹⁰, Phi-Genesis, and independent SIRM runtime invariants.
  • Add a dedicated guide for the interactive portal and configure a consistent blue/white formula and card style; the existing blue identity remains the default.
  • Add explicit admonition/details extensions and retain the Material dark palette as a secondary option.

Interactive Research Explorer

  • Replace the old dark/aqua/purple portal with a new responsive light blue/white research explorer aligned with Docs.
  • Add separate cards for the focused SU(2) dissertation and broader research synthesis.
  • Add a working formula explorer with angle and refinement-level controls, finite H⁴ value, normalized value, limiting value, and exact finite remainder.
  • Present H⁶/H⁸/H¹⁰ with distinct recurrence scopes and finite-bridge boundaries.
  • Present Phi-Genesis lower bound, rational least-eigenvalue enclosure, derivative lemma, and still-open Gate A/quadratic-law/N<6/external-operator questions.
  • Keep SIRM invariants separate from the spectral theorem strands; add source links and an evidence-pathway selector.

Publishing and route consistency

  • Resolve the old collision between docs/interactive.md and the static interactive page.
  • Keep the portal source bundle under portal-src/; the Pages workflow expands it into site/interactive/index.html after the strict MkDocs build and verifies both interactive controls before publication.

Strategy and search metadata

  • Add a dated evidence snapshot to RFT_DEVELOPMENT_STRATEGY.md and update its mathematical workstream map and priorities.
  • Mark older phase tables in docs/strategy.md as historical planning records; preserve their chronology while updating the current result status.
  • Add MkDocs site description, page titles/descriptions, and metadata for the research hub, dissertation, research map, and monograph page.

Phi-Genesis daily computation mirrored into the hub

  • Add a dedicated Daily Phi-Genesis Computations page, linked from the Docs home, MkDocs navigation, and README.
  • Add two independent daily UltraCore-RFT workflows that check out the canonical RFT-SIRM/Phi-Genesis@main source at runtime:
    • phi-genesis-nightly-deep.yml at 00:00 UTC, running the exact source command pytest -v -s -m nightly (level-9 dense spectrum attempt and deep statistical audits).
    • phi-genesis-high-precision.yml at 03:00 UTC, running the exact source mixed-precision commands for A1 level 9, A1 level 10, and E level 9 in three parallel jobs (360-digit working precision, 210-digit solve target, 250 iterations).
  • Record both repository revisions in every run and retain computation logs as GitHub Actions artifacts for 30 days.
  • Keep the Schur inertia and derivative interval certificates documented as separate source workflows; they are not silently added to the daily workload.
  • No Python or Lean source in Phi-Genesis is copied or modified by these UltraCore-RFT workflows. The source repository remains canonical; the hub runs read-only checkouts of its current main branch.
  • These schedules become active in UltraCore-RFT only after PR docs: expand theorem monographs and redesign research portal #20 is merged.

Scope and checks

  • Documentation, static portal, Pages workflow, and two CI workflow definitions; no Lean or Python source/formalization files changed. Phi-Genesis is checked out read-only at runtime.
  • RFT_MATHEMATICAL_FOUNDATIONS.md was deliberately left untouched.
  • Existing badge lines are preserved from the earlier docs update.
  • New and updated display math uses paired $$ delimiters.
  • SU(2), signed-flux graph spectra, and SIRM engineering results remain separate operator/model strands.
  • Local HTML parsing, same-page anchor checks, JavaScript syntax checks, and portal-bundle expansion/verification passed.
  • Docs CI passed on the exact PR head a23675d6e5bb3f1460caa352b58745a81b4ca022 (run 42594311766).
  • The Pages deploy workflow runs on main after merge; no deployment or merge has been performed.

@RFT-SIRM
RFT-SIRM force-pushed the docs/theorem-monographs-2026-11-09 branch from f78f857 to f6d5a2e Compare November 9, 2026 07:30
@RFT-SIRM RFT-SIRM changed the title docs: add focused SU2 theorem dissertation and update research status docs: expand theorem monographs and redesign research portal Nov 9, 2026
@RFT-SIRM
RFT-SIRM merged commit 1f803a9 into main Nov 9, 2026
1 check passed
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