fix: separate Core Development into its own page

.github/workflows/docs.yml

@@ -28,14 +28,17 @@ jobs:
       - name: Build documentation
         run: mkdocs build --strict
 
-      - name: Test interactive portfolio injector
+      - name: Verify separate research and portfolio pages
         run: |
-          python scripts/inject_core_portfolio.py --self-test
-          mkdir -p /tmp/ultracore-interactive-test
-          gzip -dc portal-src/index.html.gz > /tmp/ultracore-interactive-test/index.html
-          python scripts/inject_core_portfolio.py /tmp/ultracore-interactive-test/index.html portal-src/core-development.html
-          grep -q 'id="ultracore-core-development"' /tmp/ultracore-interactive-test/index.html
-          grep -q "RFT-QPU-Sierpinski" /tmp/ultracore-interactive-test/index.html
-          grep -q "SIRM Financial Infrastructure" /tmp/ultracore-interactive-test/index.html
-          grep -q "Evgeny's Theorem" /tmp/ultracore-interactive-test/index.html
-          grep -q "Phi-Genesis" /tmp/ultracore-interactive-test/index.html
+          test -s site/core-development/index.html
+          grep -q "Core Development Portfolio" site/core-development/index.html
+          grep -q "RFT-QPU-Sierpinski" site/core-development/index.html
+          grep -q "SIRM Financial Infrastructure" site/core-development/index.html
+          grep -q "Evgeny's Theorem" site/core-development/index.html
+          grep -q "Phi-Genesis" site/core-development/index.html
+          gzip -dc portal-src/index.html.gz > /tmp/ultracore-research-explorer.html
+          grep -q "UltraCore-RFT.*Research Explorer" /tmp/ultracore-research-explorer.html
+          if grep -q "Sierpiński-first research and engineering" /tmp/ultracore-research-explorer.html; then
+            echo "Core Development content must remain on its own page."
+            exit 1
+          fi

.github/workflows/pages.yml

@@ -40,21 +40,22 @@ jobs:
           mkdir -p site/interactive
           gzip -dc portal-src/index.html.gz > site/interactive/index.html
 
-      - name: Inject core development portfolio into interactive page
-        run: |
-          python scripts/inject_core_portfolio.py site/interactive/index.html portal-src/core-development.html
-
       - name: Verify interactive portal output
         run: |
           test -s site/interactive/index.html
           grep -q "UltraCore-RFT.*Research Explorer" site/interactive/index.html
           grep -q 'id="theta-range"' site/interactive/index.html
           grep -q 'id="level-range"' site/interactive/index.html
-          grep -q 'id="ultracore-core-development"' site/interactive/index.html
-          grep -q "RFT-QPU-Sierpinski" site/interactive/index.html
-          grep -q "SIRM Financial Infrastructure" site/interactive/index.html
-          grep -q "Evgeny's Theorem" site/interactive/index.html
-          grep -q "Phi-Genesis" site/interactive/index.html
+          if grep -q 'id="ultracore-core-development"' site/interactive/index.html; then
+            echo "The Core Development portfolio must not be appended to the Research Explorer."
+            exit 1
+          fi
+          test -s site/core-development/index.html
+          grep -q "Core Development Portfolio" site/core-development/index.html
+          grep -q "RFT-QPU-Sierpinski" site/core-development/index.html
+          grep -q "SIRM Financial Infrastructure" site/core-development/index.html
+          grep -q "Evgeny's Theorem" site/core-development/index.html
+          grep -q "Phi-Genesis" site/core-development/index.html
 
       - name: Publish to gh-pages
         uses: peaceiris/actions-gh-pages@v4

README.md

@@ -34,6 +34,7 @@ These links describe the scientific work and its current evidence status. Badge
 [![Fourth-moment theorem](https://img.shields.io/badge/Formal%20result-Fourth--moment%20theorem-168f83?style=flat-square)](https://github.com/RFT-SIRM/Evgeny-Theorem/tree/main/formalization)
 [![Phi-Genesis](https://img.shields.io/badge/Phi--Genesis-Convergence%20proved%20-%20Gate%20A%20open-d97706?style=flat-square)](https://github.com/RFT-SIRM/Phi-Genesis)
 [![Interactive portal](https://img.shields.io/badge/Portal-Research%20explorer-4777bd?style=flat-square)](https://rft-sirm.github.io/UltraCore-RFT/interactive/)
+[![Core development portfolio](https://img.shields.io/badge/Portfolio-Core%20Development-4777bd?style=flat-square)](https://rft-sirm.github.io/UltraCore-RFT/core-development/)
 
 ## Other exploratory application programmes
 

docs/core-development.md

@@ -0,0 +1,79 @@
+---
+title: "Core Development Portfolio"
+description: "Sierpiński-first research and engineering across quantum architecture, formal financial models, mathematical theorems, and spectral graph research."
+keywords:
+  - RFT-SIRM core development
+  - Sierpiński quantum-processing architecture
+  - Lean formal financial infrastructure
+  - SU(2) trace-defect theorem
+  - Phi-Genesis spectral research
+---
+
+# Core Development Portfolio
+
+<p class="uc-lead">Sierpiński-first research and engineering, connected by shared mathematical interests but kept in separate repositories with independent definitions, validation plans, and evidence boundaries.</p>
+
+This is a **separate page** from the [interactive Research Explorer](https://rft-sirm.github.io/UltraCore-RFT/interactive/). The Explorer remains focused on mathematical results and interactive inspection; this page is the portfolio view of the active engineering and formalization programmes.
+
+## Flagship architecture
+
+<div class="grid cards" markdown>
+
+-   :material-chip:{ .lg .middle } **RFT-QPU-Sierpinski**
+
+    ---
+
+    A proposed logical-qubit architecture built on a self-similar Sierpiński-gasket graph with non-commuting SU(2) edge transport. The level-1 design record specifies 6 graph sites, 9 edges, 3 selected X/Y/Z links, 12 transmon modes, and 22 non-zero effective exchange channels. A two-dimensional low-energy subspace is the candidate logical qubit.
+
+    [Repository](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) · [Status](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski/blob/main/REPOSITORY_STATUS.md) · [Validation plan](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski/blob/main/docs/VALIDATION_PLAN.md)
+
+</div>
+
+!!! warning "QPU evidence boundary"
+    The current Stage 11B gate study is a re-quantized **three-mode A–coupler–B model**, not a driven simulation of the complete 12-mode tile. Reported overlap and fidelity values are closed-system model outputs, not measured gate fidelities. The raw JSON/NPZ artifacts for the local retune are not yet tracked; a reproducing runner and archived artifacts are required before that retune is a fully reproducible public release. No chip has been fabricated or measured.
+
+## Mathematical and formal foundations
+
+<div class="grid cards" markdown>
+
+-   :material-bank:{ .lg .middle } **SIRM Financial Infrastructure**
+
+    ---
+
+    A Lean 4 financial-state and accounting specification covering supply/holder reconciliation, paired holder and general-ledger transitions, authorization, typed registries, exact migration arithmetic, replay receipts, and integrated pooled escrow safeguards.
+
+    The current dispute layer formalizes authorized intake and a per-record safety freeze. It does **not** formalize adjudication, evidence authenticity, appeals, or final beneficiary/refund settlement. The model is not a deployed financial service.
+
+    [Repository](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) · [Formalization status](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure/blob/main/docs/FORMALIZATION_STATUS.md) · [Mathematical scope](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure/blob/main/docs/MATHEMATICAL_SCOPE.md)
+
+-   :material-function-variant:{ .lg .middle } **Evgeny's Theorem**
+
+    ---
+
+    The specified non-commuting SU(2) operators on Sierpiński-gasket graphs have an all-angle fourth-moment trace-defect identity, Lean-checked for every refinement level \(m\ge1\).
+
+    Higher moments have narrower boundaries: H⁶ and H⁸ recurrences are Lean-formalized for \(m\ge3\), while their finite \(m=2\to3\) bridges are exact certificates but not yet Lean-kernel theorems. H¹⁰ has a Lean recurrence for \(m\ge4\) and affine form for \(m\ge5\); its level-five correction remains an exact trace expression.
+
+    [Repository](https://github.com/RFT-SIRM/Evgeny-Theorem) · [Verification record](https://github.com/RFT-SIRM/Evgeny-Theorem/blob/main/VERIFICATION.md) · [Higher-moment status](https://github.com/RFT-SIRM/Evgeny-Theorem/blob/main/docs/HIGHER_MOMENTS.md)
+
+-   :material-chart-line:{ .lg .middle } **Phi-Genesis**
+
+    ---
+
+    Spectral research on signed-flux graph Laplacians, Schur analysis, and the specified Sierpiński graph-matrix sequences. The repository records a formally verified least-eigenvalue identification and convergence result for its stated sequence at \(N\ge6\), with an exact rational enclosure.
+
+    Gate A and the quadratic increment law remain open. Other finite-level searches, estimates, and numerical studies retain their own narrower evidence classifications; they are not automatically Lean theorems.
+
+    [Repository](https://github.com/RFT-SIRM/Phi-Genesis) · [Verified results and evidence boundaries](https://github.com/RFT-SIRM/Phi-Genesis/blob/main/docs/verified-results.md) · [Open problems](https://github.com/RFT-SIRM/Phi-Genesis/blob/main/docs/open-problems.md)
+
+</div>
+
+## Shared engineering standard
+
+The four programmes are coordinated under RFT-SIRM, but their results are **not interchangeable**. A theorem for one operator family does not establish a result for another; a circuit model does not establish hardware performance; and a Lean financial-state model does not establish production custody, reserves, settlement, legal status, or runtime correctness.
+
+Each source repository remains authoritative for the exact statement, formal proof, finite certificate, numerical experiment, validation gate, and remaining limitations.
+
+## Continue
+
+[Interactive Research Explorer](https://rft-sirm.github.io/UltraCore-RFT/interactive/) · [Research Map](research-map.md) · [Mathematical Results](results.md) · [Documentation Home](index.md)

docs/index.md

@@ -15,6 +15,14 @@ keywords:
 
 <div class="grid cards" markdown>
 
+-   :material-layers:{ .lg .middle } **Core Development Portfolio**
+
+    ---
+
+    A separate page for the proposed Sierpiński QPU architecture, Lean financial-state model, SU(2) theorem, and Phi-Genesis spectral work, with the current validation boundaries made explicit.
+
+    [Open Core Development](core-development.md)
+
 -   :material-book-open-variant:{ .lg .middle } **Focused SU(2) dissertation**
 
     ---

docs/portal-guide.md

@@ -11,6 +11,10 @@ keywords:
 
 The [UltraCore-RFT Research Explorer](https://rft-sirm.github.io/UltraCore-RFT/interactive/) is the visual entry point to the research programme. It complements the documentation; it does not replace the primary repositories, Lean proof files, or verification reports.
 
+## Separate pages, separate purposes
+
+The Research Explorer remains a dedicated interactive page. The [Core Development Portfolio](core-development.md) is a separate documentation page for the active engineering and formalization programmes. It is linked from the **Core Development** navigation group and is not appended to the Explorer page.
+
 ## What the portal contains
 
 - **Research monographs:** direct routes to the focused SU(2) dissertation and the broader recursive-operator synthesis.

mkdocs.yml

@@ -64,6 +64,7 @@ extra_javascript:
 nav:
   - Home: index.md
   - Core Development:
+      - Portfolio: core-development.md
       - Research Map: research-map.md
       - Mathematical Results: results.md
       - Phi-Genesis: https://github.com/RFT-SIRM/Phi-Genesis