Research-Stack/CHANGELOG.md

# CHANGELOG

## 2026-06-21 — Bosonic Tensor Network Regime Discovery on neon-64gb

### Bosonic Tensor Network (`rrc_bosonic_tensor_network.py`)

- Ran beyond-Perceval photonic centrality stress tests on **neon-64gb** (18 ARM64 CPUs, 62 GiB RAM).
- Discovered a clean **two-regime computational phase transition** governed by photon count `p`:
  - **Bosonic MC regime (`p ≤ 4`)**: Monte Carlo sampling over `p×p` permanents; true bosonic interference preserved.
  - **Classical approximation regime (`p ≥ 5`)**: falls back to `distinguishable_k*` independent-photon product approximation; no permanent evaluation, no bosonic interference.
- Observed at `N = 2000`:
  - `p = 3`: Hilbert dim ≈ 1.335×10⁹, H ≈ 10.12 bits, method `mc_permanent3`
  - `p = 4`: Hilbert dim ≈ 6.687×10¹¹, H ≈ 10.80 bits, method `mc_permanent4`
  - `p = 5`: Hilbert dim ≈ 2.680×10¹⁴, H ≈ 10.83 bits, method `distinguishable_k5`
  - `p = 6`: Hilbert dim ≈ 8.956×10¹⁶, H ≈ 10.85 bits, method `distinguishable_k6`
- Entropy plateau (~10.8–10.9 bits for `p ≥ 4`) reflects **estimator saturation** under the classical approximation, not a physical Fock-space entropy limit.
- Corrected Hilbert-dimension formula in result summary from `C(N, p)` to `C(N+p-1, p)`.
- Complexity clarification: runtime is `O(shots × N) + O(shots × p!)` for bosonic MC; the `rng.choice(N, ...)` sampling term dominates at large `N`. The `p ≥ 5` fallback collapses to roughly `O(shots × p)`.
- Interpretation: the system is a **piecewise stochastic estimator over linear-optical observables**, not a full Fock-space simulator. It decouples computational cost from Hilbert-space cardinality by exploiting `p ≪ N`.
- Receipts generated on neon at `/tmp/rrc_bosonic_tensor_receipt.json`.

### Glossary Additions

- Added **BMCTE**, **SBOE**, **LPMCE**, **effective support**, and **observable estimation vs exact simulation** distinctions to `6-Documentation/docs/GLOSSARY.md`.

## 2026-05-09 through 2026-05-19 — Lean Hardening, Storage Stack, Gates & Physics Expansion

### Infrastructure / Storage

- Updated sqlx 0.7 → 0.8.6 to resolve Dependabot vulnerabilities; added ene-rds Cargo.lock.
- Added OpenGL/X11 libraries, pkg-config, and openssl to the devcontainer Nix flake.
- Expanded ene-rds Rust workspace membership and refined devcontainer configuration.
- Expanded devcontainer with full Python stack, added MCP servers for Notion and AWS, and strengthened Lean theorem stubs.
- Added storage observer/optimizer agent (`storage_agent.py`).
- Fixed Porkbun DNS configuration, automated postgres backup jobs, and resolved rds_probe dependency vulnerabilities.
- Added `apiProvider` service kind, credential gateway service, and cupfox routing layer.
- Added EC2 recovery backup suite: NixOS config, AppFlowy compose/env template, credential server bootstrap script, and recovery guide.
- Added RDS probe tool, credential server, and Notion/Linear ingestion pipeline.

### Lean / Core Formalism

- Added `Q16_16.add_pos_of_pos` lemma (quarantined with TODO pending sign-semantics resolution).
- Agent sorry-sprint: closed 9 open sorrys, fixed SSMS sign bug, corrected a false theorem statement.
- Quarantined sorry blocks, fixed `RcloneIntegration` proof, added ENE wiki re-ingest script, and added ZFS setup notes.
- Corrected `Q16_16` add/sub signed-vs-unsigned bug and added missing supporting lemmas.
- Added eigensolid convergence proof, QC flagging tool, and full pass/fail review receipt.
- QC cleanup: created `Q16Utils`, removed dead code, consolidated duplicate proofs.
- QC report: 14 structural and efficiency issues identified and recorded.
- Cleanup crew pass: fixed 95 inspection issues across the Lean surface.
- Created Lean Expert Agent with full inspection protocol.
- Stripped all non-mathematical commentary from `Physics/` files.
- Removed 8 broken, empty, or tautological theorems and 3 ornamental files.
- Full-stack assumption audit across 78 files covering approximately 280 assumptions.
- Fixed 3 critical jiggle issues and documented 10 known remaining jiggles.
- Deterministic build receipt recorded: 3529 jobs, 0 errors.
- Added adjacent coprime classification theorem for second-order recurrences.

### Gates & Documentation (adversarial / compression / witness)

- Added OR-Tools WASM constraint solver gate documentation.
- Added deep-dive addendum on possible constrained-agent approaches.
- Added constrained-agent approaches document with GLIA integration notes.
- Added SmallCode constrained agent execution gate documentation.
- Added citations to the Möbius-Apollonius gate.
- Added Möbius-Apollonius chord partition gate documentation.
- Added Chromatic Homotopy Height Spectral Gate documentation.
- Added Ahmed Integral scalar witness gate documentation.
- Added adversarial duals 16D anchor pack with Anti-FAMM and Anti-BraidStorm documentation and runners.
- Added Anti-BraidStorm hostile crossing gate documentation.
- Added Anti-FAMM shadow adversary documentation.
- Added BraidStorm Sidon Crossing Anti-Alias Gate documentation and runners.
- Added Golden Braid Centering Gate documentation and runners.
- Added autonomous speedrun harness gate.
- Added MarkovJunior 16D PIST rewrite shim.
- Added Sidon FAMM map documentation and runners.
- Added Builder-Judge-Warden geodesic cleanup filter.
- Added logogram chirality route gate.
- Added NUVMAP Delta-DAG search compressor documentation.
- Added common-noise MFG Riccati gate documentation.
- Added bio-organoid signal field gate documentation.
- Added 16D Chaos Game Field Shrinker.
- Added FAMM Semantic Mass math-forest plow and Z-domain accelerator.
- Added FAMM empirical Hessian curvature receipt.
- Added Universal Shortcut Center Manifold documentation.
- Added Plasma Chiral Drag Witness Gate and runners.
- Added Feynman path-integral shadow witness note.
- Added Navier-Stokes shadow control gap map note.

### Physics / RG Flow

- Added BodegaFlow horn-fiber refinements.
- Added superpositional boundary layers as a universal bridge formalism.
- Added the absolute wall analysis: Newton fails as omega → 1.
- Documented 5 gaps the torsion model does not currently close.
- Added protium atom probe for alpha running at the current experimental bound.
- Added Jupiter moons 400-year invariant test of torsion at 10^11 m scale.
- Derived torsion wall: alpha = max|beta| / (4*pi) from the Standard Model.
- Added gravitational wave torsion tests.
- Replaced discrete Menger seam model with continuous RG manifold flow.
- Added Higgs calibration derived from CERN 6-sigma data.
- Added multi-valve cosmological test suite covering S8, BAO, and universe age.
- Added H0 valve test showing the model rules out SH0ES at 4.8-sigma.
- Corrected DESI constants to match published DR1/DR2 values.
- Added DESI invariant and 16D horn-fiber model projection.

### Stack Solidification / Audits

- Disambiguated continuation receipt instructions in the wiki.
- Inventoried all 391 installed packages with FRT separation documented.

## 2026-05-04 — Documentation Consolidation

- Merged desktop manifold_compression specs into main repo
- Archived ChatGPT session logs from lean/Semantics
- Deleted stale otom doc copies, fixed duplicate files
- Created ARCHITECTURE.md, GETTING_STARTED.md, GLOSSARY.md, ROADMAP.md
- Added FRAMEWORK_RELATIONSHIPS.md reconciling GCCL/MISC/GENSIS naming
- Tauri build fixes: dependency simplification (reqwest removal), placeholder icons, navigate API
- Visual primitive witness formalism created and wired into constitution
- ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri added
- InvariantReceipt constitutional layer (Receipt, Core, Ledger, Status, SubstrateAdapter; Th1/Th2 proven, Th3/Th4/Th5 deferred)
- Auto-generated GCL glossary (195 terms) from GCL documentation
- Research Stack forest map waterfall migrated from NoDupeLabs
- Genetic information mixture primitives and corrected GCCL theory introduction
- FAMM stigmergic route memory note and photon-chased ferrite trace formation concept
- VLB nibble-delta witness substrate estimate
- KOTC completion daemon design, receipt schema, and simulator
- Offloaded massive data and archives to Gdrive (repo streamlining)

## 2026-05-03 — Repository Consolidation & Kernel Architecture

- Servo-fetch, wasmgpu, text-to-cad moved to Forked/
- Revenue/Webmoji archived
- NUVMAP kernel integration — formal coordinate projection layer
- Triumvirate Kernel — Builder/Judge/Warden consensus, 2/3 fault tolerance
- GCL Self-Host — child kernel generation with metaprobe gate and lawful boot
- Lawful Hardware layer — every hardware event produces BindResult witness
- FAMM-Neuromorphic kernel layer — spatial cognition, event-driven processing, attention, and learning
- Nano kernel with 97% Delta compression, GCL architecture, QEMU test
- LawfulLoss.lean — BindResult structure (Q0_16, substrate-agnostic)
- GCCL naming and compatibility split documented
- Delta-GCL sync layer implemented in pre-push hook
- Git LFS configured for large assets
- Mountain-on-Mountains address space documented via NUVMAP

## 2026-04-29 — Repository Restructuring

- Repository flattened: Documents/Research Stack/ → root
- Goal-based numbered structure established (0-Core-Formalism through 6-Documentation)
- Internal path references updated
- AGENTS.md v2.1 — Anti-Drift Evidence Standards codified
- Claim-state ladder defined (BEAUTIFUL_PROVISIONAL → VERIFIED)
- SI units and standard model compliance rules established
- Fixed-point arithmetic guidelines finalized (Q0_16 default, Q16_16 last resort)

## 2026-04-25 — Project Mapping

- PROJECT_MAP.md generated — sorted by ENE Schema (14-axis hyperbolic concept space)

## 2026-04-21 — Initial Foundation

- Initial commit — sovereign research stack foundation
- .env configuration established