docs: promote QPU and financial infrastructure in core portfolio

.github/workflows/docs.yml

@@ -27,3 +27,15 @@ jobs:
 
       - name: Build documentation
         run: mkdocs build --strict
+
+      - name: Test interactive portfolio injector
+        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

.github/workflows/pages.yml

@@ -40,12 +40,21 @@ 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="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
 
       - name: Publish to gh-pages
         uses: peaceiris/actions-gh-pages@v4

docs/architecture.md

@@ -4,23 +4,27 @@
 
 RFT-SIRM separates research claims, mathematical definitions, executable implementations, and verification evidence. Engineering components should enforce their specified invariants and reject invalid state transitions atomically where the implementation supports that guarantee. Guarantees are scoped to the relevant code, threat model, and tests; documentation must not imply that every component or research result is formally verified.
 
-## Research Architecture: Four Distinct Evidence Tracks
+## Research Architecture: Connected Workstreams, Independent Evidence
 
 UltraCore-RFT is the integration and navigation layer for a portfolio of related research and engineering projects. It connects the projects without treating their results as interchangeable. Each source repository remains authoritative for its theorem statements, definitions, code, tests, formal proof status, and limitations.
 
 ```mermaid
 flowchart TB
   HUB["UltraCore-RFT<br/>Integration, architecture, evidence ledger"]
-  ET["Evgeny's Theorem<br/>Fourth-moment trace-defect identity"]
+  ET["Evgeny's Theorem<br/>SU(2) fourth-moment identity"]
   TOE["Evgeny's Theory of Everything<br/>Higher-moment recurrence research"]
-  PG["Phi-Genesis<br/>Signed-flux spectral decimation"]
+  PG["Phi-Genesis<br/>Signed-flux spectral results"]
+  QPU["RFT-QPU-Sierpinski<br/>Proposed logical-qubit architecture"]
+  FIN["SIRM Financial Infrastructure<br/>Lean 4 financial-state and accounting model"]
   CG["RFT-Cosmology-Genesis<br/>Exact invariant limit + phenomenological model"]
-  SIRM["SIRM engineering<br/>State transitions and runtime invariants"]
+  RUNTIME["SIRM runtime invariants<br/>Separate deterministic-runtime strand"]
   HUB --> ET
   HUB --> TOE
   HUB --> PG
+  HUB --> QPU
+  HUB --> FIN
   HUB --> CG
-  HUB --> SIRM
+  HUB --> RUNTIME
   ET -. "finite-moment starting point" .-> TOE
   TOE -. "no proven operator bridge" .-> PG
   ET -. "shared research context, not proof of cosmology" .-> CG
@@ -55,7 +59,25 @@ This programme studies trace defects for higher even moments $H^6$, $H^8$, and $
 
 Phi-Genesis investigates signed $\mathbb{Z}_2$-flux graph Laplacians on Sierpiński-gasket approximations, spectral decimation, spectral gaps, boundary/corner corrections, inertia-based counting, and exploratory integer mass-index patterns. The factor-5 decimation structure is reported with boundary/corner qualifications. **Gate A remains open** because the full exceptional set and all residual mismatches have not been explained. The proposed index set $\{1,12,17,40\}$ is not established as a predictive selection law. The signed-flux operators are not assumed equivalent to the SU(2)-connected operators in Evgeny's Theorem.
 
-### 4. RFT-Cosmology-Genesis: exact invariant and phenomenological extension
+
+### 4. RFT-QPU-Sierpinski: proposed quantum-processing architecture
+
+**Primary source:** [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski), including its [repository 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), and [evidence boundary](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski/blob/main/docs/DISCLOSURE_BOUNDARY.md).
+
+The proposed level-1 Sierpiński tile has 6 graph sites, 9 graph edges, 3 selected non-commuting X/Y/Z SU(2) links, 12 transmon modes, and 22 effective exchange channels. A candidate logical qubit is encoded in a selected two-dimensional low-energy subspace. Stage 11B contains a re-quantized three-mode A–coupler–B gate-model study and local pulse retuning.
+
+The reported five-level/480-grid local process overlap and average logical-state fidelity are closed-system projections of that three-mode model. They are not measured gate fidelities and do not constitute a full driven simulation of the 12-mode tile. No chip has been fabricated or measured. The complex-Z edge, multi-tone plan, open-system noise, device-specific circuit extraction, and one-/two-cell hardware demonstrations remain open. The source repository is licensed separately under BUSL-1.1; this hub's Apache-2.0 licence does not relicense it.
+
+### 5. SIRM Financial Infrastructure: formal financial-state model
+
+**Primary source:** [SIRM-Financial-Infrastructure](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).
+
+This dedicated Lean 4.33.1 workstream formalizes financial state and admissible transitions. Its combined authorized financial machine updates holder balances and the corresponding signed general-ledger journal together in one abstract state transition. Additional modules cover authority and account-control gates, typed account/asset registries, exact base-unit and migration arithmetic with residual carry-forward, per-principal nonces and typed request receipts, cached denial responses, concurrent pooled escrow, discrete time-lock expiry, and first-stage per-ID dispute freeze.
+
+The repository's CI is configured as one Lean build/theorem-test job plus 17 static audits. This describes the workflow structure; individual results must be cited against their exact commit and run. The model does not yet prove production database persistence/atomicity, cryptographic signatures, key custody, reserve backing, external settlement, legal ownership, regulatory compliance, or Lean-to-Rust refinement. The Rust reference implementation is planned, not complete. The older runtime-invariant strand described below is a separate systems model and should not be conflated with this financial specification.
+
+
+### 6. RFT-Cosmology-Genesis: exact invariant and phenomenological extension
 
 **Primary sources:** [repository](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis), [exact invariant remainder theorem](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis/blob/main/EXACT_INVARIANT_REMAINDER_THEOREM.md), [model specification](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis/blob/main/MODEL_SPEC.md), [results](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis/blob/main/RESULTS.md), and [limitations](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis/blob/main/LIMITATIONS.md).
 
@@ -76,7 +98,7 @@ $$
 
 The repository records an algebraic derivation and Lean-checked results for the stated invariant. Its photon-sector coupling and background/CMB response are **phenomenological**. No physical origin for the coupling, detection of a new interaction, or agreement with a full observational CMB likelihood is established by this mathematical identity.
 
-### 5. SIRM engineering architecture
+### 7. SIRM runtime-invariant engineering architecture
 
 SIRM is the Synthetic Intelligence Reasoning Model. In the engineering repositories, the operational core is a state-transition model constrained by explicit invariants, arithmetic checks, permission boundaries, and reproducible tests. These implementation-level constraints must be documented and verified against the actual code. They are not consequences of the spectral trace identity unless a separate formal connection is stated and proved.
 

docs/index.md

@@ -1,6 +1,6 @@
 ---
 title: "UltraCore-RFT Research Hub"
-description: "Research hub for the SU(2) fourth-moment theorem, higher spectral moments, the Phi-Genesis signed graph-Laplacian results, and invariant-based systems engineering."
+description: "RFT-SIRM hub for the SU(2) fourth-moment theorem, Phi-Genesis spectral results, the Sierpiński quantum-processing architecture, and Lean-formalized financial infrastructure."
 keywords:
   - SU(2) fourth-moment trace-defect theorem
   - Sierpiński-gasket graph spectrum
@@ -23,6 +23,30 @@ keywords:
 
     [Read the dissertation](DISSERTATION.md)
 
+-   :material-graph:{ .lg .middle } **Phi-Genesis spectral results**
+
+    ---
+
+    Signed-flux graph Laplacians, Schur analysis, the proved least-eigenvalue result for $N\ge6$, and the exact limiting enclosure. Gate A and the quadratic increment law remain open.
+
+    [Open Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis)
+
+-   :material-chip:{ .lg .middle } **RFT-QPU-Sierpinski**
+
+    ---
+
+    A proposed Sierpiński/SU(2) quantum-processing architecture with a candidate two-dimensional logical subspace and a 12-transmon level-1 mapping. Pre-experimental; no fabricated or measured device is claimed.
+
+    [Explore the QPU project](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski)
+
+-   :material-bank:{ .lg .middle } **SIRM Financial Infrastructure**
+
+    ---
+
+    A Lean 4 financial-state and accounting specification covering holder/GL transitions, authorization, registries, migration, replay receipts, and escrow invariants. Production deployment remains out of scope.
+
+    [Open the financial specification](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure)
+
 -   :material-bookshelf:{ .lg .middle } **Research monographs**
 
     ---
@@ -53,8 +77,6 @@ keywords:
 
     Navigate the research map, vary the parameters in the H⁴ formula, and inspect the evidence boundary attached to each strand.
 
-    [Open the interactive portal](https://rft-sirm.github.io/UltraCore-RFT/interactive/)
-
 </div>
 
 ## The central SU(2) result
@@ -97,15 +119,38 @@ $$
 
 The interval width is exactly $2\times10^{-36}$. The midpoint is approximately $1.309128920280813421888623088170810188$. This is the limiting least eigenvalue for the specified graph-matrix sequence, not a known closed-form or universal physical constant. Gate A, the quadratic increment law, levels $N<6$, and external $\theta=2\pi$ identification remain open. See the [Mathematical Results register](results.md) and [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis).
 
+
+## Core engineering programmes
+
+### RFT-QPU-Sierpinski — proposed logical-qubit architecture
+
+The level-1 design maps a Sierpiński-gasket graph with 6 sites and 9 edges to 12 transmon modes and 22 effective exchange channels. Three selected non-commuting X/Y/Z SU(2) links define the graph transport, and the candidate logical qubit is a two-dimensional low-energy subspace.
+
+The Stage 11B local retune reports a projected process overlap of 0.9999999793763371 after local-Z fitting and an average logical-state fidelity including leakage of 0.9999999803654352 at five retained levels and 480 steps per pump period. These are closed-system projections of a three-mode A–coupler–B model, **not measured gate fidelities and not a full 12-transmon-tile simulation**. The resonant complex-Z link, graph-wide multi-tone plan, open-system noise modelling, and hardware validation remain open.
+
+Sources: [QPU project](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) · [repository 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).
+
+### SIRM Financial Infrastructure — Lean 4 financial-state model
+
+The financial repository develops a normative abstract state-transition and accounting specification. It combines holder-balance changes with matching signed general-ledger postings in one Lean state transition, and layers authorization, finite authority/control registries, typed assets/accounts, exact base-unit and migration arithmetic, per-principal nonce/receipt rules, cached authorization/insufficient-funds denials, and integrated pooled escrow, time-lock, and first-stage dispute-freeze invariants.
+
+Its current CI design consists of one Lean build/theorem-test job and 17 independent static audits. This describes the workflow structure, not a blanket claim that every revision has passed. The repository uses Lean 4.33.1. The model does not yet prove production database persistence/atomicity, cryptographic signing, custody, reserve backing, external settlement, or Lean-to-Rust refinement; the Rust reference implementation remains planned.
+
+Sources: [financial infrastructure](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) · [testing guide](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure/blob/main/docs/TESTING.md).
+
+!!! note "Independent evidence boundaries"
+    These engineering programmes are part of the same RFT-SIRM portfolio, but they are not consequences of the same theorem. The SU(2) trace-defect result does not certify a physical QPU; the Phi-Genesis signed-flux spectrum is a separate operator family; and Lean financial proofs apply only to the abstract model and assumptions stated in the financial repository.
+
 ## Research strands at a glance
 
 | Strand | Primary source | Current evidence boundary |
 |---|---|---|
 | SU(2) fourth moment | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Lean 4 theorem for the specified operators, $m\ge1$ |
 | Higher moments | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | H⁶/H⁸ recurrences for $m\ge3$ with exact finite bridges; H¹⁰ recurrence for $m\ge4$ and affine form for $m\ge5$ |
 | Signed-flux spectral research | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Uniform lower bound and least-eigenvalue convergence proved in their stated scopes; Gate A remains open |
-| SIRM runtime model | [Foundations](foundations.md) · [Architecture](architecture.md) | Independent invariant model and implementation-specific validation |
-| Quantum architecture | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Pre-experimental |
+| SIRM Financial Infrastructure | [Lean specification](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4 model of holder/supply reconciliation, balanced holder/GL transitions, authorization, typed registries, migration, replay/receipt handling, and integrated escrow safety; production runtime and Rust refinement remain open |
+| SIRM runtime model | [Foundations](foundations.md) · [Architecture](architecture.md) | Separate deterministic-runtime invariant model and implementation-specific validation |
+| Quantum-processing architecture | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Pre-experimental Sierpiński/SU(2) architecture; candidate logical subspace and 12-transmon mapping are numerical/design artifacts, not fabricated or measured hardware |
 | Energy and cosmology models | [Application Programmes](application-programmes.md) | Exploratory / phenomenological; separate assumptions and validation |
 
 !!! note "Two dissertations, two scopes"