From 6e90d6c3f5c121b5e7159ae67bfb3978ad9a69eb Mon Sep 17 00:00:00 2001 From: RFT-SIRM Date: Fri, 13 Nov 2026 11:24:33 +0300 Subject: [PATCH 1/3] docs: promote QPU and financial infrastructure in core portfolio --- README.md | 69 +++++++++++++++++++++++++++++++++++++++----- docs/architecture.md | 36 ++++++++++++++++++----- docs/index.md | 55 +++++++++++++++++++++++++++++++---- docs/research-map.md | 54 +++++++++++++++++++++++++--------- mkdocs.yml | 8 +++-- 5 files changed, 187 insertions(+), 35 deletions(-) diff --git a/README.md b/README.md index c5dd622..a0465e4 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,20 @@ # UltraCore-RFT — Mathematical Foundations, Evidence, and Systems -**The RFT-SIRM research and engineering hub:** exact mathematical results first, related research programmes second, applications and implementations third. **RFT** means **Resonant Field Theory** (резонансная теория поля); **SIRM** means **Synthetic Intelligence Reasoning Model** (Синтетическая интеллектуальная модель рассуждений). +**The RFT-SIRM research and engineering hub:** a coordinated portfolio spanning machine-checked mathematics, recursive spectral research, a proposed Sierpiński/SU(2) quantum-processing architecture, and a Lean-formalized financial-state model. Each workstream has its own definitions, source repository, tests, and evidence boundary. **RFT** means **Resonant Field Theory** (резонансная теория поля); **SIRM** means **Synthetic Intelligence Reasoning Model** (Синтетическая интеллектуальная модель рассуждений). + + +## Core development portfolio + +UltraCore-RFT is the central navigation and evidence hub for four primary, independently scoped development strands. The source repositories remain authoritative for their definitions, proofs, models, tests, and limitations. + +| Core strand | Canonical source | Current work | Evidence boundary | +|---|---|---|---| +| **SU(2) mathematical theorem** | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Lean 4 formalization of the stated all-level fourth-moment trace-defect identity for the specified SU(2)-connected Sierpiński-gasket operators. Higher moments H⁶/H⁸/H¹⁰ have separate, narrower proof and certificate statuses. | The theorem covers its encoded operators and quantifiers; it does not prove every higher-moment extension or a physical implementation. | +| **Signed-flux spectral theory** | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and, for the signless graph Laplacians and their gauge-conjugate signed matrices at $Nge6$, least-eigenvalue identification and convergence to a limit in an exact rational interval. | Gate A, the quadratic increment law, levels $N<6$, and the external $ heta=2pi$ identification remain open. This is a distinct operator family from the SU(2) fourth-moment theorem. | +| **Sierpiński quantum-processing architecture** | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | A proposed level-1 tile has 6 graph sites, 9 edges, 3 selected non-commuting X/Y/Z SU(2) links, 12 transmon modes, and 22 effective exchange channels. A candidate logical qubit is represented by a two-dimensional low-energy subspace; Stage 11B records a re-quantized three-mode gate-model study. | **Pre-experimental.** Stage 11B figures are closed-system model projections, not measured gate fidelities or a full 12-transmon simulation. No chip has been fabricated or measured; the complex-Z link and graph-wide multi-tone plan remain unresolved. | +| **Formal financial infrastructure** | [SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4 specifies supply and holder state, balanced general-ledger postings, authorization and finite registries, exact asset-unit conversion and migration residuals, nonce/receipt handling, and integrated pooled escrow, time-lock, and first-stage dispute-freeze transitions. | An abstract formal state-transition model, not a deployed financial service. Rust refinement, production persistence and signatures, custody, reserves, settlement, legal and regulatory operation remain separate obligations. | + +The four strands are coordinated by this hub, but their results are **not interchangeable**: a proof for one operator family does not establish another family's spectral claims; the QPU model is not hardware validation; and financial-state theorems do not certify a production runtime or network. See the [research map](docs/research-map.md) and [architecture](docs/architecture.md) for the relationships and boundaries. > **Research monographs — two distinct scopes** > @@ -21,11 +35,10 @@ These links describe the scientific work and its current evidence status. Badge [![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/) -## Related application programmes +## Other exploratory application programmes -These are separate exploratory or application tracks—not additional proofs of the mathematical claims above. They use one badge size and a restrained colour system so they read as one group. +These are additional exploratory or application tracks—not proofs of the mathematical claims or substitutes for the core quantum-architecture and financial-infrastructure workstreams above. They use one badge size and a restrained colour system so they read as one group. -[![RFT-QPU-Sierpinski](https://img.shields.io/badge/Architecture-RFT--QPU--Sierpinski-5b4bc4?style=flat-square)](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) [![RFT-Invariant-Battery](https://img.shields.io/badge/Exploratory%20model-RFT--Invariant--Battery-d97706?style=flat-square)](https://github.com/RFT-SIRM/RFT-Invariant-Battery) [![RFT-Cosmology-Genesis](https://img.shields.io/badge/Phenomenological%20model-RFT--Cosmology--Genesis-d97706?style=flat-square)](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis) [![Application evidence boundaries](https://img.shields.io/badge/Application%20tracks-Evidence%20bounded-d97706?style=flat-square)](docs/application-programmes.md) @@ -75,10 +88,12 @@ This programme has developed across separate repositories. The following are **d |---|---|---| | Mathematical research and dissertations | [Focused fourth-moment dissertation](https://github.com/RFT-SIRM/Evgeny-Theorem/blob/main/DISSERTATION.md) · [broader synthesis dissertation](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything/blob/main/DISSERTATION.md) · [Lean formalization](https://github.com/RFT-SIRM/Evgeny-Theorem/tree/main/formalization) | The H⁴ identity is Lean-formalized for all stated levels and angles; H⁶/H⁸/H¹⁰ have distinct, explicitly bounded proof statuses. | | Spectral computation and formal result | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the least eigenvalue and convergence for signed/signless graph matrices at $N\ge6$; Gate A, the quadratic law, and external-model identification remain open. | +| Quantum-processing architecture | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Proposed 12-transmon level-1 mapping and candidate logical subspace; closed-system numerical models only, with physical validation gates open. | +| Formal financial infrastructure | [SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4 abstract financial-state/accounting model; production identity, persistence, Rust refinement, custody and settlement remain open. | | Solana / Agave engineering | [Rift-Network](https://github.com/RFT-SIRM/Rift-Network) · [Agave Rift Scheduler](https://github.com/RFT-SIRM/agave-rift-scheduler) · [ABIv2 memory contexts](https://github.com/RFT-SIRM/agave-abiv2-memory-contexts) | On-chain protocol, scheduler and memory-context research; claims are scoped to their code, tests and documented environments. | | seL4 kernel stress research | [seL4 CDT report](SEL4_CDT_FUZZING.md) · [field-trial report](docs/field_trials_sel4.md) | Reproducible empirical stress-testing report. It does not replace or extend the seL4 project's formal verification claims. | | DeFi model review | [Aave V4 Hub model review](https://github.com/RFT-SIRM/aave-v4-hub-model-review) | Separate model-based review and invariant-analysis work; not an Aave endorsement. | -| Standalone L1 and exploratory applications | [Rift-L1](https://github.com/RFT-SIRM/Rift-L1-Blockchain) · [QPU/Sierpiński](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) · [Invariant Battery](https://github.com/RFT-SIRM/RFT-Invariant-Battery) | Distinct implementation or exploratory tracks; no implied production, quantum speed-up or physical-device result beyond the linked evidence. | +| Standalone L1 and exploratory applications | [Rift-L1](https://github.com/RFT-SIRM/Rift-L1-Blockchain) · [Invariant Battery](https://github.com/RFT-SIRM/RFT-Invariant-Battery) | Distinct implementation or exploratory tracks; no implied production or experimentally validated result beyond the linked evidence. | | Research chronology | [Commit-backed history](docs/history.md) · [Research map](docs/research-map.md) | Selected milestones with direct links; use each repository's commit log for the complete record. | ### External organizations and attribution @@ -255,6 +270,43 @@ SIRM is an engineering model and specification. The Lean theorem above is a sepa + +
+Strand D — RFT-QPU-Sierpinski: proposed logical-qubit architecture + +Primary source: [RFT-QPU-Sierpinski](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) · [calculated result summary](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski/blob/main/engineering/physical_prototype/results/RESULT_SUMMARY.md). + +The architecture maps a level-1 Sierpiński-gasket graph to a proposed transmon system. Each graph site carries a two-component internal degree of freedom; the candidate logical qubit is a selected two-dimensional low-energy subspace. The proposed tile contains 12 transmon modes and 22 effective exchange channels, with three selected non-commuting SU(2) links. + +The Stage 11B selected 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 time steps per pump period. These are **closed-system numerical projections for a three-mode A–coupler–B model**, not measured fidelities and not a driven simulation of the complete 12-mode tile. The seven-level 240/480 propagation remains open, and raw fine-retune JSON/NPZ artifacts are not tracked. + +The architecture remains **pre-experimental**. A resonant complex-Z link requires a concrete phase-engineered circuit; the current single real static coupler is insufficient. The graph-wide nine-tone screen reports 73 primary and 653 conditional resonance warnings with zero minimum primary margin. Open-system T1/T2, thermal, flux-line, crosstalk, layout-extraction, fabrication, and measured one-/two-cell validation remain ahead. No chip, measured gate, fault tolerance, or quantum advantage is claimed. + +The QPU repository has its own BUSL-1.1 source-licensing terms. The Apache-2.0 licence of this hub does not relicense that repository or its materials. + +
+ +
+Strand E — SIRM Financial Infrastructure: formal financial state and accounting + +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) · [testing guide](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure/blob/main/docs/TESTING.md). + +This is a dedicated Lean 4.33.1 workstream for financial-state transitions and accounting invariants. The combined authorized financial machine updates holder balances and the corresponding signed general-ledger journal in one abstract state transition. Its wider model includes: + +- supply/holder reconciliation, balanced journals, and matching holder/GL postings; +- exact principal/account control, operation-scoped grants, typed account and asset registries, and issuer/recipient-aware issuance; +- exact decimal-to-base-unit conversion, rational cross-network migration, and route/account-partitioned residual carry-forward; +- per-principal nonces, typed request receipts, exact retry behaviour, and cached authorization/insufficient-funds denials; +- concurrent escrow IDs, pooled reserve/vault/GL reconciliation, discrete deadlines and expiry refunds, and a first-stage per-ID dispute intake/freeze. + +The pinned workflow is configured as one Lean build/theorem-test job plus 17 independent static audits. That is a description of the CI topology; a specific passing result must always be tied to its exact commit and workflow run. + +The model is not a production financial service. The repository explicitly leaves real identity and key custody, cryptographic signatures and thresholds, persistent transaction storage, production database atomicity, full canonical request encoding, Lean-to-Rust refinement, reserve backing, redemption, external settlement, adjudication, and legal/regulatory operation outside the current proofs. The Rust reference implementation is planned, not complete. + +This financial specification is related to the RFT-SIRM ecosystem but is not derived from the Sierpiński spectral theorems. See its own [README](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure#readme) and evidence documents for exact assumptions. + +
+ --- ## 3. From mathematics to applications @@ -266,7 +318,8 @@ The project hierarchy is intentional: theorem and evidence first, related resear | **Formal fourth-moment theorem** | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Specific SU(2)/Sierpiński-gasket identity; Lean 4 formalization reported for all stated levels | | **Higher-moment research** | [Evgeny's Theory of Everything](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything) | Finite-level certificates and numerical holdouts; all-level recurrence open | | **Signed-flux spectral research** | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Spectral decimation and mass-formula audit; Gate A open | -| **Quantum-processing architecture** | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Pre-experimental architecture; no quantum advantage or speed-up established | +| **Quantum-processing architecture** | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Core engineering architecture with a candidate two-dimensional logical subspace; numerical only and pre-experimental, with no fabricated device or measured gate | +| **Formal financial infrastructure** | [SIRM Financial Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4 financial-state and accounting model with integrated holder/GL transitions, authorization, registries, migration, receipts, and escrow/dispute invariants; no production runtime or external-settlement claim | | **Energy-system model** | [RFT-Invariant-Battery](https://github.com/RFT-SIRM/RFT-Invariant-Battery) | Exploratory computational scenarios with explicit assumptions | | **Standalone execution runtime** | [Rift-L1-Blockchain](https://github.com/RFT-SIRM/Rift-L1-Blockchain) | Implementation-specific runtime, invariant checks, and fuzzing reports | | **On-chain protocol** | [Rift-Network](https://github.com/RFT-SIRM/Rift-Network) · [Devnet client](https://rift-network.vercel.app) | Solana Devnet research deployment; not a claim of mainnet readiness | @@ -281,13 +334,13 @@ Metrics such as fuzz-run counts, test totals, audit findings, and runtime durati ## 4. Historical development and provenance -The programme should be read as a sequence of increasingly explicit evidence obligations—not as a story in which every hypothesis has become a theorem. +The programme should be read as a portfolio of increasingly explicit evidence obligations—not as a story in which every hypothesis has become a theorem. The QPU architecture and SIRM Financial Infrastructure are tracked as core engineering strands with separate source repositories and release gates. 1. **Invariant-first engineering.** SIRM began as a way to specify and enforce state constraints across deterministic runtime transitions. The runtime repositories retain their own implementation histories and test records. 2. **A precise spectral identity.** Evgeny's Theorem isolates a concrete SU(2)-connected Sierpiński-gasket operator and a commuting control, then states a closed form for the fourth-moment trace defect. The theorem repository contains the formalization and numerical verification records. 3. **Extension beyond the fourth moment.** The Theory-of-Everything synthesis repository collects higher-moment computations and finite-level certificates. It explicitly leaves the all-level recurrence open. 4. **A separate spectral-decimation audit.** Phi-Genesis examines signed-flux Laplacians and mass-index claims. Rejections and open residuals are retained as results of the audit, not erased to make the narrative look complete. -5. **Architecture and applications.** UltraCore connects the research strands to deterministic execution, runtime verification, blockchain experiments, quantum-architecture exploration, and energy-system modelling. Those applications do not retroactively prove the mathematical programme. +5. **Core engineering and applications.** The Sierpiński QPU architecture and SIRM Financial Infrastructure have dedicated evidence records alongside deterministic runtime, blockchain, and energy-system work. Their models and proofs remain separate from the mathematical theorem repositories; none retroactively proves another strand. For chronology, cite the actual source history rather than inferring dates from this summary: [UltraCore commit history](https://github.com/RFT-SIRM/UltraCore-RFT/commits/main) · [Evgeny-Theorem history](https://github.com/RFT-SIRM/Evgeny-Theorem/commits/main) · [Theory-of-Everything history](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything/commits/main) · [Phi-Genesis history](https://github.com/RFT-SIRM/Phi-Genesis/commits/main). diff --git a/docs/architecture.md b/docs/architecture.md index 295e413..0318f22 100644 --- a/docs/architecture.md +++ b/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
Integration, architecture, evidence ledger"] - ET["Evgeny's Theorem
Fourth-moment trace-defect identity"] + ET["Evgeny's Theorem
SU(2) fourth-moment identity"] TOE["Evgeny's Theory of Everything
Higher-moment recurrence research"] - PG["Phi-Genesis
Signed-flux spectral decimation"] + PG["Phi-Genesis
Signed-flux spectral results"] + QPU["RFT-QPU-Sierpinski
Proposed logical-qubit architecture"] + FIN["SIRM Financial Infrastructure
Lean 4 financial-state and accounting model"] CG["RFT-Cosmology-Genesis
Exact invariant limit + phenomenological model"] - SIRM["SIRM engineering
State transitions and runtime invariants"] + RUNTIME["SIRM runtime invariants
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. diff --git a/docs/index.md b/docs/index.md index 49d5de5..faf5f84 100644 --- a/docs/index.md +++ b/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/) - ## The central SU(2) result @@ -97,6 +119,28 @@ $$ 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 | @@ -104,8 +148,9 @@ The interval width is exactly $2\times10^{-36}$. The midpoint is approximately $ | 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" diff --git a/docs/research-map.md b/docs/research-map.md index 1061b74..84b4567 100644 --- a/docs/research-map.md +++ b/docs/research-map.md @@ -12,7 +12,7 @@ keywords: # Research Map: Mathematical Foundations, Evidence, and Applications -**Evidence-first reading order (not historical chronology):** dissertation and mathematical theorem → formal evidence → higher-moment research → separate spectral-decimation programme → systems methodology → implementations and applications. +**Evidence-first reading order (not historical chronology):** mathematical theorem and formal evidence → separate Phi-Genesis spectral result → proposed Sierpiński quantum architecture and formal SIRM financial infrastructure → systems methodology → implementations and other applications. > **Historical origin:** the maintainer-reported sequence is [Rift Network](https://github.com/RFT-SIRM/Rift-Network) → [Rift-L1 Blockchain](https://github.com/RFT-SIRM/Rift-L1-Blockchain) → UltraCore-RFT and supporting systems → [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) → [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) → [Evgeny's Theory of Everything](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything). See the [origin chronology](origin-chronology.md); exact dates are kept separate unless verified from source history. @@ -38,14 +38,14 @@ The arrows describe an evidence-first reading order, not a theorem asserting tha | Layer | Programme | Status and boundary | |---|---|---| -| 1. Mathematical anchor | [Evgeny's Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Source repository reports a Lean 4 proof of a specific fourth-moment identity for concrete SU(2) operators | -| 2. Higher-moment extension | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) · [broader synthesis](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything) | H⁶/H⁸ Lean recurrences for $m\ge3$ plus finite bridges; H¹⁰ Lean recurrence for $m\ge4$ and affine form for $m\ge5$; unified general extension remains open | -| 3. Separate spectral model | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves least-eigenvalue identification and convergence for signed/signless graph matrices at $N\ge6$; Gate A, the quadratic law, and external-model identification remain open | -| 4. Exact invariant limit and cosmology model | [RFT-Cosmology-Genesis](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis) | Exact algebraic limit/remainder for the defined invariant; cosmological response remains phenomenological and observationally unvalidated | -| 4. Systems methodology | [SIRM foundations](foundations.md) | Runtime state invariants and deterministic transition model; not proved by the spectral theorem | -| 5. Implementations | [Rift-L1](https://github.com/RFT-SIRM/Rift-L1-Blockchain), [Rift-Network](https://github.com/RFT-SIRM/Rift-Network), [seL4 report](https://github.com/RFT-SIRM/UltraCore-RFT/blob/main/SEL4_CDT_FUZZING.md) | Implementation-specific tests, fuzzing, audit, and deployment evidence | -| 6. Exploratory applications | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski), [RFT-Invariant-Battery](https://github.com/RFT-SIRM/RFT-Invariant-Battery.), [RFT-Cosmology-Genesis](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis) | QPU is pre-experimental; battery is a modelled energy scenario; cosmology is a reduced phenomenological model without observational likelihood validation | - +| 1. Mathematical anchor | [Evgeny's Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Lean 4 proof of the stated fourth-moment identity for the specified SU(2) operators and quantifiers | +| 2. Higher-moment extension | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theory-of-Everything) · [broader synthesis](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything) | H⁶/H⁸ recurrences for $mge3$ with finite bridges; H¹⁰ recurrence for $mge4$ and affine form for $mge5$; a unified general recurrence remains open | +| 3. Separate spectral model | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and least-eigenvalue convergence for the specified signed/signless graph matrices at $Nge6$; Gate A and the quadratic law remain open | +| 4. Quantum-processing architecture | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Proposed 12-transmon mapping and candidate two-dimensional logical subspace; closed-system model only, pre-experimental, no fabricated or measured device | +| 5. Formal financial infrastructure | [SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4.33.1 abstract financial-state and accounting specification; production runtime, cryptographic identity, custody, reserves, and Rust refinement remain open | +| 6. Exact invariant limit and phenomenological models | [RFT-Cosmology-Genesis](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis) | Exact algebraic limit/remainder for its defined invariant; physical coupling and cosmological response remain phenomenological and observationally unvalidated | +| 7. Systems methodology | [SIRM foundations](foundations.md) | Separate runtime-state invariants and implementation methodology; not proved by the spectral theorem | +| 8. Implementations and exploratory applications | [Rift-L1](https://github.com/RFT-SIRM/Rift-L1-Blockchain), [Rift-Network](https://github.com/RFT-SIRM/Rift-Network), [seL4 report](https://github.com/RFT-SIRM/UltraCore-RFT/blob/main/SEL4_CDT_FUZZING.md), [Invariant Battery](https://github.com/RFT-SIRM/RFT-Invariant-Battery) | Implementation-specific tests and exploratory models; evidence does not transfer between repositories | ## Global test and evidence control UltraCore-RFT is being developed as the central observability layer for cross-repository CI. The [Ecosystem Control Plane](ecosystem-control.md) documents the registered projects, status meanings, run artifacts, and evidence boundaries. Its first phase reads public Actions status; it does not yet dispatch workflows in other repositories. @@ -151,7 +151,35 @@ The result is recorded in [SchurEigenvalue.lean](https://github.com/RFT-SIRM/Phi - Identification with an external $\theta=2\pi$ operator beyond the explicitly defined graph matrix. A fitted mass-index pattern is not an established predictive physical law without a prospective selection mechanism, predeclared predictions, held-out validation, and independent derivation. No equivalence between the SU(2) operators and signed-flux Laplacians is assumed; any bridge needs a precise operator map and proof. -## 5. SIRM: engineering model and invariants + +## 5. RFT-QPU-Sierpinski: proposed logical-qubit architecture + +The source repository studies a proposed quantum-processing element on a self-similar Sierpiński-gasket graph with non-commuting SU(2) edge transport. Its level-1 mapping contains 6 graph sites, 9 graph edges, 3 selected X/Y/Z links, 12 transmon modes, and 22 effective exchange channels. The candidate logical qubit is a selected two-dimensional low-energy subspace. + +The Stage 11B local retune reports a projected process overlap of 0.9999999793763371 after local-Z fitting and average logical-state fidelity including leakage of 0.9999999803654352 for a five-level, 480-step-per-period, three-mode A–coupler–B model. This is a closed-system numerical projection—not measured hardware fidelity and not a full driven simulation of the 12-mode tile. + +**Status: pre-experimental.** No chip has been fabricated or measured. The resonant complex-Z implementation, graph-wide nine-tone schedule, seven-level 240/480 convergence, open-system noise analysis, and layout-extracted circuit validation remain open. The source project reports 73 primary and 653 conditional resonance warnings in its current first-order multi-tone screen; simultaneous nine-tone operation is not cleared. + +Sources: [RFT-QPU-Sierpinski](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) · [evidence boundary](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski/blob/main/docs/DISCLOSURE_BOUNDARY.md). + +## 6. SIRM Financial Infrastructure: Lean 4 financial-state specification + +[SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) is the dedicated formal specification for SIRM financial-state transitions and accounting. Its combined authorized financial machine represents holder updates and corresponding signed general-ledger postings together in one abstract Lean state transition. Additional modules cover: + +- supply/holder reconciliation and balanced per-asset journals; +- finite principal/account control and exact operation grants, including issuer/recipient-aware issuance; +- typed finite account and asset registries, exact base-unit conversion, and route-specific rational migration residuals; +- per-principal nonces, typed transaction receipts, exact retry behaviour, and cached authorization/insufficient-funds denials; +- concurrent escrow records, pooled reserve/vault/GL reconciliation, discrete time-lock expiry, and first-stage per-ID dispute intake/freeze. + +The pinned toolchain is Lean 4.33.1. The configured CI topology has one Lean build/theorem-test job and 17 static audits. These are formal-model and source/documentation checks, not a production runtime certification. + +The current declarations do not establish real-world account ownership, key custody, cryptographic signature validation, production database persistence or atomicity, complete production transaction encoding, Rust/Lean refinement, reserve backing, external settlement, dispute adjudication, or legal/regulatory compliance. The Rust reference implementation remains planned. + +Primary sources: [README](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure#readme) · [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 and verification](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure/blob/main/docs/TESTING.md). + + +## 7. SIRM runtime model and invariants SIRM specifies runtime constraints for deterministic state transitions. The compact notation below is mapped to implementation variables immediately afterward. @@ -185,7 +213,7 @@ Where $\mathtt{effective\_balance}[i]=\mathtt{base\_balance}[i]+\mathtt{global\_ The $O(1)$ distribution argument concerns a shared scalar update and lazy effective-balance calculation. It does not imply every operation is $O(1)$, nor does the spectral theorem prove the SIRM invariants. Runtime tests, fuzzing, audits, and deployment evidence have implementation-specific scope. -## 6. Evidence vocabulary +## 8. Evidence vocabulary | Label | Meaning | |---|---| @@ -200,7 +228,7 @@ The $O(1)$ distribution argument concerns a shared scalar update and lazy effect A passing workflow proves only the assertions it executes. Fuzz counts and test totals are source-reported snapshots unless the page explicitly implements a live data source. -## 7. Historical reading order +## 9. Historical reading order 1. **Invariant-first engineering:** define runtime state constraints and check them at transitions. 2. **Specific spectral theorem:** state a closed fourth-moment identity for a defined SU(2) operator family; preserve the formal and numerical evidence separately. @@ -210,7 +238,7 @@ A passing workflow proves only the assertions it executes. Fuzz counts and test This is a conceptual map, not a substitute for commit-backed chronology. Use [UltraCore history](https://github.com/RFT-SIRM/UltraCore-RFT/commits/main), [theorem history](https://github.com/RFT-SIRM/Evgeny-Theorem/commits/main), [synthesis history](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything/commits/main), and [Phi-Genesis history](https://github.com/RFT-SIRM/Phi-Genesis/commits/main) for exact dates and changes. -## 8. Release checklist +## 10. Release checklist - [ ] Verify formulas and hypotheses against the primary theorem/specification. - [ ] Keep the fourth-moment Lean theorem separate from higher-moment conjectures. diff --git a/mkdocs.yml b/mkdocs.yml index 9a3d72e..10b42c5 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -63,13 +63,17 @@ extra_javascript: nav: - Home: index.md + - Core Development: + - Research Map: research-map.md + - Mathematical Results: results.md + - Phi-Genesis: https://github.com/RFT-SIRM/Phi-Genesis + - RFT-QPU-Sierpinski: https://github.com/RFT-SIRM/RFT-QPU-Sierpinski + - SIRM Financial Infrastructure: https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure - Focused SU(2) Dissertation: DISSERTATION.md - Research Monographs: monographs.md - - Mathematical Results: results.md - Daily Phi-Genesis Computations: phi-genesis-computations.md - Interactive Portal: https://rft-sirm.github.io/UltraCore-RFT/interactive/ - Portal Guide: portal-guide.md - - Research Map: research-map.md - Application Programmes: application-programmes.md - Ecosystem Control: ecosystem-control.md - History: history.md From 138f0f7fd7ea0be29427f21e6ec61f8ae268df55 Mon Sep 17 00:00:00 2001 From: RFT-SIRM Date: Fri, 13 Nov 2026 11:25:35 +0300 Subject: [PATCH 2/3] docs: fix math markup and theorem source link --- README.md | 2 +- docs/research-map.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a0465e4..e0887ee 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ UltraCore-RFT is the central navigation and evidence hub for four primary, indep | Core strand | Canonical source | Current work | Evidence boundary | |---|---|---|---| | **SU(2) mathematical theorem** | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Lean 4 formalization of the stated all-level fourth-moment trace-defect identity for the specified SU(2)-connected Sierpiński-gasket operators. Higher moments H⁶/H⁸/H¹⁰ have separate, narrower proof and certificate statuses. | The theorem covers its encoded operators and quantifiers; it does not prove every higher-moment extension or a physical implementation. | -| **Signed-flux spectral theory** | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and, for the signless graph Laplacians and their gauge-conjugate signed matrices at $Nge6$, least-eigenvalue identification and convergence to a limit in an exact rational interval. | Gate A, the quadratic increment law, levels $N<6$, and the external $ heta=2pi$ identification remain open. This is a distinct operator family from the SU(2) fourth-moment theorem. | +| **Signed-flux spectral theory** | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and, for the signless graph Laplacians and their gauge-conjugate signed matrices at $N\ge6$, least-eigenvalue identification and convergence to a limit in an exact rational interval. | Gate A, the quadratic increment law, levels $N<6$, and the external $\theta=2\pi$ identification remain open. This is a distinct operator family from the SU(2) fourth-moment theorem. | | **Sierpiński quantum-processing architecture** | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | A proposed level-1 tile has 6 graph sites, 9 edges, 3 selected non-commuting X/Y/Z SU(2) links, 12 transmon modes, and 22 effective exchange channels. A candidate logical qubit is represented by a two-dimensional low-energy subspace; Stage 11B records a re-quantized three-mode gate-model study. | **Pre-experimental.** Stage 11B figures are closed-system model projections, not measured gate fidelities or a full 12-transmon simulation. No chip has been fabricated or measured; the complex-Z link and graph-wide multi-tone plan remain unresolved. | | **Formal financial infrastructure** | [SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4 specifies supply and holder state, balanced general-ledger postings, authorization and finite registries, exact asset-unit conversion and migration residuals, nonce/receipt handling, and integrated pooled escrow, time-lock, and first-stage dispute-freeze transitions. | An abstract formal state-transition model, not a deployed financial service. Rust refinement, production persistence and signatures, custody, reserves, settlement, legal and regulatory operation remain separate obligations. | diff --git a/docs/research-map.md b/docs/research-map.md index 84b4567..7551c4d 100644 --- a/docs/research-map.md +++ b/docs/research-map.md @@ -39,8 +39,8 @@ The arrows describe an evidence-first reading order, not a theorem asserting tha | Layer | Programme | Status and boundary | |---|---|---| | 1. Mathematical anchor | [Evgeny's Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) | Lean 4 proof of the stated fourth-moment identity for the specified SU(2) operators and quantifiers | -| 2. Higher-moment extension | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theory-of-Everything) · [broader synthesis](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything) | H⁶/H⁸ recurrences for $mge3$ with finite bridges; H¹⁰ recurrence for $mge4$ and affine form for $mge5$; a unified general recurrence remains open | -| 3. Separate spectral model | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and least-eigenvalue convergence for the specified signed/signless graph matrices at $Nge6$; Gate A and the quadratic law remain open | +| 2. Higher-moment extension | [Evgeny-Theorem](https://github.com/RFT-SIRM/Evgeny-Theorem) · [broader synthesis](https://github.com/RFT-SIRM/Evgeny-s-Theory-of-Everything) | H⁶/H⁸ recurrences for $m\ge3$ with finite bridges; H¹⁰ recurrence for $m\ge4$ and affine form for $m\ge5$; a unified general recurrence remains open | +| 3. Separate spectral model | [Phi-Genesis](https://github.com/RFT-SIRM/Phi-Genesis) | Lean proves the stated signed-Laplacian lower bound and least-eigenvalue convergence for the specified signed/signless graph matrices at $N\ge6$; Gate A and the quadratic law remain open | | 4. Quantum-processing architecture | [RFT-QPU-Sierpinski](https://github.com/RFT-SIRM/RFT-QPU-Sierpinski) | Proposed 12-transmon mapping and candidate two-dimensional logical subspace; closed-system model only, pre-experimental, no fabricated or measured device | | 5. Formal financial infrastructure | [SIRM-Financial-Infrastructure](https://github.com/RFT-SIRM/SIRM-Financial-Infrastructure) | Lean 4.33.1 abstract financial-state and accounting specification; production runtime, cryptographic identity, custody, reserves, and Rust refinement remain open | | 6. Exact invariant limit and phenomenological models | [RFT-Cosmology-Genesis](https://github.com/RFT-SIRM/RFT-Cosmology-Genesis) | Exact algebraic limit/remainder for its defined invariant; physical coupling and cosmological response remain phenomenological and observationally unvalidated | From f9fadf00bb337df36b66575bae01d3ca7a8d137f Mon Sep 17 00:00:00 2001 From: RFT-SIRM Date: Fri, 13 Nov 2026 11:41:03 +0300 Subject: [PATCH 3/3] docs: add core development portfolio to interactive portal --- .github/workflows/docs.yml | 12 +++++ .github/workflows/pages.yml | 13 ++++- portal-src/README.md | 10 ++-- portal-src/core-development.html | 83 +++++++++++++++++++++++++++++++ scripts/inject_core_portfolio.py | 84 ++++++++++++++++++++++++++++++++ 5 files changed, 197 insertions(+), 5 deletions(-) create mode 100644 portal-src/core-development.html create mode 100644 scripts/inject_core_portfolio.py diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 6c17bfd..b234f77 100644 --- a/.github/workflows/docs.yml +++ b/.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 diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 70e8c54..8f751bf 100644 --- a/.github/workflows/pages.yml +++ b/.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 diff --git a/portal-src/README.md b/portal-src/README.md index feff6d8..4f645ca 100644 --- a/portal-src/README.md +++ b/portal-src/README.md @@ -1,8 +1,10 @@ # Interactive portal source bundle -`index.html.gz` is the compressed, self-contained static HTML/CSS/JavaScript bundle deployed to `/interactive/`. It is kept outside `docs/` so MkDocs does not create a competing page at that route. +`index.html.gz` is the compressed, self-contained static HTML/CSS/JavaScript research-explorer bundle deployed to `/interactive/`. -To inspect or edit the page: +The **Core Development** section is maintained separately in [`core-development.html`](core-development.html). The Pages workflow injects this readable fragment into the decompressed portal HTML immediately before ``. This keeps the interactive explorer bundle untouched while making the portfolio content easy to review and update. + +To inspect or edit the original interactive explorer bundle: ```sh gzip -dc portal-src/index.html.gz > /tmp/ultracore-portal.html @@ -10,4 +12,6 @@ gzip -dc portal-src/index.html.gz > /tmp/ultracore-portal.html gzip -n -9 -c /tmp/ultracore-portal.html > portal-src/index.html.gz ``` -The Pages workflow expands the bundle into `site/interactive/index.html` after the strict MkDocs build. +To edit the Core Development section, change [`core-development.html`](core-development.html). The injection helper is [`scripts/inject_core_portfolio.py`](../scripts/inject_core_portfolio.py); it checks that the portfolio is inserted once and remains inside the HTML body. + +The Pages workflow expands the explorer bundle into `site/interactive/index.html`, injects the portfolio fragment, verifies the existing explorer controls plus all four core project references, and only then publishes the artifact to `gh-pages`. diff --git a/portal-src/core-development.html b/portal-src/core-development.html new file mode 100644 index 0000000..eea9a72 --- /dev/null +++ b/portal-src/core-development.html @@ -0,0 +1,83 @@ + +
+ +
+

UltraCore-RFT · Core development

+

Sierpiński-first research and engineering

+

The central RFT-SIRM programme connects the Sierpiński quantum-processing architecture with its mathematical foundations, formal financial infrastructure, and independently verified spectral research. Each project keeps its own source of truth and evidence boundary.

+
+ +
+ Flagship engineering architecture · pre-experimental +

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 maps the graph to transmon modes and selects a two-dimensional low-energy subspace as a candidate logical qubit.

+

Stage 11B records a re-quantized three-mode A–coupler–B gate-model study. Its high projected overlap is a closed-system numerical result—not a measured gate fidelity or a full simulation of the 12-mode tile. No chip has been fabricated or measured.

+ Open QPU architecture and engineering record +
+
+
Graph sites6
+
Graph edges9
+
Selected SU(2) links3
+
Transmon modes12
+
Effective exchange channels22
+
+ +
+ +

Formal engineering · Lean 4

+

SIRM Financial Infrastructure

+

Formal financial-state and accounting specification: holder/supply reconciliation, paired holder and general-ledger transitions, authorization, typed registries, migration arithmetic, replay receipts, and integrated escrow safeguards. Rust implementation and production runtime remain future stages.

+ Open financial specification + + +

Mathematical foundation · Lean 4

+

Evgeny's Theorem

+

The stated all-level fourth-moment trace-defect identity for the specified non-commuting SU(2) connections on Sierpiński-gasket graphs. Higher moments H⁶, H⁸ and H¹⁰ have distinct, narrower evidence statuses.

+ Open theorem and formalization + + +

Spectral research · Lean 4

+

Phi-Genesis

+

Signed-flux graph Laplacians, Schur analysis, and a proved least-eigenvalue convergence result for the specified graph-matrix sequence at N ≥ 6. Gate A and the quadratic increment law remain open.

+ Open spectral research and proofs + +
+

Evidence boundary: mathematical proofs apply to their encoded statements; numerical circuit results are not hardware measurements; and Lean financial invariants do not establish deployed custody, reserves, settlement, legal status, or a production network.

+

Connected research: + Evgeny's Theory of Everything · + SIRM formalization status · + QPU validation gates · + Phi-Genesis verified results +

+
+ diff --git a/scripts/inject_core_portfolio.py b/scripts/inject_core_portfolio.py new file mode 100644 index 0000000..65f1d67 --- /dev/null +++ b/scripts/inject_core_portfolio.py @@ -0,0 +1,84 @@ +#!/usr/bin/env python3 +"""Inject the editable core-development portfolio into the compressed portal build.""" +from __future__ import annotations +import argparse +import os +from pathlib import Path +import re +import tempfile + +ROOT = Path(__file__).resolve().parents[1] +DEFAULT_FRAGMENT = ROOT / "portal-src" / "core-development.html" +MARKER = "" +REQUIRED_TEXT = ( + 'id="ultracore-core-development"', + "RFT-QPU-Sierpinski", + "SIRM Financial Infrastructure", + "Evgeny's Theorem", + "Phi-Genesis", +) + +def inject(document: str, fragment: str) -> str: + if MARKER in document: + raise ValueError("The core-development portfolio is already present.") + for required in REQUIRED_TEXT: + if required not in fragment: + raise ValueError(f"Portfolio fragment is missing required content: {required}") + closing_tags = list(re.finditer(r"", document, flags=re.IGNORECASE)) + if len(closing_tags) != 1: + raise ValueError(f"Expected exactly one closing tag; found {len(closing_tags)}.") + pos = closing_tags[0].start() + return document[:pos] + "\n" + fragment.strip() + "\n" + document[pos:] + +def atomic_write(path: Path, content: str) -> None: + path.parent.mkdir(parents=True, exist_ok=True) + fd, temp_name = tempfile.mkstemp(prefix=f".{path.name}.", suffix=".tmp", dir=path.parent) + try: + with os.fdopen(fd, "w", encoding="utf-8", newline="") as handle: + handle.write(content) + os.replace(temp_name, path) + except Exception: + try: + os.unlink(temp_name) + except FileNotFoundError: + pass + raise + +def self_test(fragment: str) -> None: + fixture = "\n
Research explorer fixture
\n" + result = inject(fixture, fragment) + if result.count(MARKER) != 1 or result.index(MARKER) > result.lower().rfind(""): + raise AssertionError("Portfolio marker was not injected exactly once inside the body.") + if not all(required in result for required in REQUIRED_TEXT): + raise AssertionError("One or more required project entries are missing.") + try: + inject(result, fragment) + except ValueError as exc: + if "already present" not in str(exc): + raise + else: + raise AssertionError("Duplicate injection was not rejected.") + +def main() -> int: + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("html", nargs="?", help="Decompressed interactive portal HTML file.") + parser.add_argument("fragment", nargs="?", default=str(DEFAULT_FRAGMENT), help="HTML fragment.") + parser.add_argument("--self-test", action="store_true", help="Run an in-memory insertion test.") + args = parser.parse_args() + fragment_path = Path(args.fragment) if not args.self_test else DEFAULT_FRAGMENT + fragment = fragment_path.read_text(encoding="utf-8") + if args.self_test: + self_test(fragment) + print("portal injection self-test: PASS") + return 0 + if not args.html: + parser.error("html is required unless --self-test is selected") + html_path = Path(args.html) + document = html_path.read_text(encoding="utf-8") + result = inject(document, fragment) + atomic_write(html_path, result) + print(f"Injected core-development portfolio into {html_path}") + return 0 + +if __name__ == "__main__": + raise SystemExit(main())