diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index b234f77..6b437fa 100644 --- a/.github/workflows/docs.yml +++ b/.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 diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 8f751bf..ab4f226 100644 --- a/.github/workflows/pages.yml +++ b/.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 diff --git a/README.md b/README.md index e0887ee..2bbb5b3 100644 --- a/README.md +++ b/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 diff --git a/docs/core-development.md b/docs/core-development.md new file mode 100644 index 0000000..d7e0804 --- /dev/null +++ b/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 + +

Sierpiński-first research and engineering, connected by shared mathematical interests but kept in separate repositories with independent definitions, validation plans, and evidence boundaries.

+ +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 + +
+ +- :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) + +
+ +!!! 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 + +
+ +- :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) + +
+ +## 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) diff --git a/docs/index.md b/docs/index.md index faf5f84..4c69ba1 100644 --- a/docs/index.md +++ b/docs/index.md @@ -15,6 +15,14 @@ keywords:
+- :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** --- diff --git a/docs/portal-guide.md b/docs/portal-guide.md index 2a1fa79..5d930b6 100644 --- a/docs/portal-guide.md +++ b/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. diff --git a/mkdocs.yml b/mkdocs.yml index 10b42c5..efc0ac7 100644 --- a/mkdocs.yml +++ b/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 diff --git a/portal-src/core-development.html b/portal-src/core-development.html deleted file mode 100644 index eea9a72..0000000 --- a/portal-src/core-development.html +++ /dev/null @@ -1,83 +0,0 @@ - -
- -
-

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 deleted file mode 100644 index 65f1d67..0000000 --- a/scripts/inject_core_portfolio.py +++ /dev/null @@ -1,84 +0,0 @@ -#!/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())