Research-Stack/6-Documentation
allaun 8ea9ca9116 feat: NK-Hodge-FAMM formal axiom + Lonely Runner Betti mapping + numerical Betti tracker + vorticity resolution
Four interconnected solves:

1. NKHodgeFAMM.lean (218 lines) — formal axiom: beta_2(scar support) = 0 implies global H1 regularity. Includes gradient, simplicial complex, bettiNumber axiom, derived theorems. Build: 8598 jobs, 0 errors.

2. lonely_runner_betti_mapping.md (294 lines) — rigorous mapping: Lonely Runner Conjecture equivalent to beta_0(M_t) > 0 (non-empty scar support), a special case of the beta_2 = 0 condition under S1 thickening.

3. betti_tracker.py + test_betti_tracker.py — numerical Betti tracker via gudhi cubical persistence. Computes beta_0, beta_1, beta_2 from velocity field gradient norms. 7 unit tests pass including spherical void detection.

4. cole_hopf_vorticity_resolution.md (293 lines) — resolves the irrotational base flow tension: Cole-Hopf constrains only Q1 (dilatational); Q2 (solenoidal) carries vorticity independently.
2026-06-16 22:14:10 -05:00
..
Adversarial Data collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
articles collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
chat-log-dumps collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
conformance chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
docs feat: NK-Hodge-FAMM formal axiom + Lonely Runner Betti mapping + numerical Betti tracker + vorticity resolution 2026-06-16 22:14:10 -05:00
famm Add turbulence model atlas gate documentation 2026-05-19 10:24:36 -05:00
finance/raw initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
invention_record initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
reports Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
reviews Expand ene-rds Rust workspace and refine devcontainer 2026-05-19 07:52:39 +00:00
security Track remaining Dependabot transitive exceptions 2026-05-11 23:45:53 -05:00
tiddlywiki-local wiki: link PIST route-repair receipt update from home 2026-05-26 14:38:39 -05:00
wiki chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
16D_YANG_COLUMN_RIGOR.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
API_DOCS.md docs: runbook, FPGA programming guide, disaster recovery, API docs 2026-05-29 01:26:41 -05:00
calculator_plain_math.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
DISASTER_RECOVERY.md docs: runbook, FPGA programming guide, disaster recovery, API docs 2026-05-29 01:26:41 -05:00
ELEVATOR_PITCH.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
EXPLANATION_FOR_HUMANS.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
FPGA_PROGRAMMING_GUIDE.md docs: runbook, FPGA programming guide, disaster recovery, API docs 2026-05-29 01:26:41 -05:00
INFRASTRUCTURE.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00
README.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
RUNBOOK.md chore(repo): push local 768-commit branch state onto clean remote baseline 2026-06-15 22:46:50 -05:00

6-Documentation

Purpose: Papers, extended semantics, wiki exports, archive, invention records.

Depends on: 0 through 5

Contents (Target)

Source Destination
docs/ 6-Documentation/docs/
archive/ 6-Documentation/archive/
invention_record/ 6-Documentation/invention_record/
Obdisidan connector/ 6-Documentation/wiki/Obsidian-connector/

Papers

Paper Topic Status
Paper 12 PIST — Perfectly Imperfect Square Theory Draft
(TBD) SVQF / FAMM / Braid Theory Planned
(TBD) ENE Mesh — Self-Replicating Consensus Planned

Acronym Registry

Acronym Expansion
OTOM Ordered Transformation & Orchestration Model
PIST Perfectly Imperfect Square Theory
ENE Endless Node Edges
AMMR Algebraic Merkle Mountain Range
SVQF Spherical Quaternion Vector Field
FAMM Frustration-Aware Manifold Mesh
SLUQ Stochastic Look-Up Queue
TTM Layered architecture (Layer F = Control)