196 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Allaun Silverfox	364ae73d3f	Add Sidon FAMM map runner	2026-05-16 17:18:49 -05:00
Allaun Silverfox	90bd41a81f	Add Sidon FAMM map documentation	2026-05-16 17:17:26 -05:00
Allaun Silverfox	8fe3b92b6b	Add Builder-Judge-Warden Erdos-Szekeres example	2026-05-16 17:06:26 -05:00
Allaun Silverfox	dfe0ad8f82	Add Builder-Judge-Warden cleanup receipt schema	2026-05-16 17:00:28 -05:00
Allaun Silverfox	6536e36071	Add Builder-Judge-Warden geodesic cleanup runner	2026-05-16 16:59:26 -05:00
Allaun Silverfox	2b8ce47022	Add Builder-Judge-Warden geodesic cleanup filter documentation	2026-05-16 16:57:56 -05:00
Allaun Silverfox	85c29ec5dc	Add 16D logogram chirality anchor pack	2026-05-16 16:36:53 -05:00
Allaun Silverfox	a0c095e06e	Add logogram chirality witness example	2026-05-16 16:35:55 -05:00
Allaun Silverfox	51715467dc	Add logogram chirality witness schema	2026-05-16 16:35:07 -05:00
Allaun Silverfox	870e3ec769	Add logogram chirality route gate runner	2026-05-16 16:31:01 -05:00
Allaun Silverfox	61ef0ff160	Add logogram chirality route gate documentation	2026-05-16 16:30:15 -05:00
Allaun Silverfox	640f07af52	Add NUVMAP Delta-DAG graph coloring example	2026-05-16 16:15:20 -05:00
Allaun Silverfox	1a202ad165	Add NUVMAP Delta-DAG receipt schema	2026-05-16 16:14:43 -05:00
Allaun Silverfox	96081d6faa	Add NUVMAP Delta-DAG graph coloring compressor	2026-05-16 16:13:58 -05:00
Allaun Silverfox	e17984aed5	Add NUVMAP Delta-DAG sharding spec	2026-05-16 16:12:10 -05:00
Allaun Silverfox	182e4e118b	Add NUVMAP Delta-DAG search compressor documentation	2026-05-16 16:05:53 -05:00
Allaun Silverfox	a4c189dbf0	Add common-noise MFG 16D anchor pack	2026-05-16 15:11:10 -05:00
Allaun Silverfox	8eb91c8ab2	Add common-noise MFG Riccati gate documentation	2026-05-16 15:04:56 -05:00
Allaun Silverfox	649f6791be	Add bio-organoid 16D anchor pack	2026-05-16 14:54:17 -05:00
Allaun Silverfox	cb3d9ca0bb	Add bio-organoid signal field gate documentation	2026-05-16 14:49:05 -05:00
Allaun Silverfox	bb3624a325	Add 16D Chaos Game example config	2026-05-16 14:44:29 -05:00
Allaun Silverfox	51916c0b72	Add 16D Chaos Game receipt schema	2026-05-16 14:43:21 -05:00
Allaun Silverfox	eb22e84890	Add 16D Chaos Game field shrinker runner	2026-05-16 14:39:56 -05:00
Allaun Silverfox	5c97074197	Add 16D Chaos Game Field Shrinker documentation	2026-05-16 14:39:03 -05:00
Allaun Silverfox	d395b4b057	Document Semantic Mass route plow runner	2026-05-16 13:51:09 -05:00
Allaun Silverfox	86387f220b	Add example Semantic Mass route plow config	2026-05-16 13:50:19 -05:00
Allaun Silverfox	cb34d4c93c	Add Semantic Mass route plow receipt schema	2026-05-16 13:42:25 -05:00
Allaun Silverfox	1f28c7f66f	Add Semantic Mass route plow runner	2026-05-16 13:41:51 -05:00
Allaun Silverfox	6d61780a31	Add FAMM Semantic Mass math-forest plow documentation	2026-05-16 13:35:56 -05:00
Allaun Silverfox	3ce6fe082f	Add example Semantic Mass Z accelerator config	2026-05-16 13:27:42 -05:00
Allaun Silverfox	6fba3bfe01	Add Semantic Mass Z receipt schema	2026-05-16 13:25:39 -05:00
Allaun Silverfox	ffb22aff88	Add Semantic Mass Z-domain accelerator runner	2026-05-16 13:24:51 -05:00
Allaun Silverfox	902769bffb	Add Semantic Mass Z-domain accelerator documentation	2026-05-16 13:24:06 -05:00
Allaun Silverfox	a3878666a8	Document empirical Hessian receipt pass	2026-05-16 13:18:08 -05:00
Allaun Silverfox	d1f932989a	Add example FAMM Hessian receipt config	2026-05-16 13:17:24 -05:00
Allaun Silverfox	3e011b6e5e	Add FAMM Hessian curvature receipt schema	2026-05-16 13:16:48 -05:00
Allaun Silverfox	429ed92782	Add FAMM empirical Hessian receipt runner	2026-05-16 13:14:33 -05:00
Brandon Schneider	5ee3b59680	feat: eigensolid convergence proof + QC flagging tool + full pass/fail review ... Resolves the convergence_to_fixed_point failure by proving the correct eigensolid statement: stepExact stabilizes all value components (N_7, N_8, N_11) in one application. The original theorem was mathematically false (iteration counter is free-running). QC cleanup sweep across Physics/ (20 files): - 3 remaining LOW items fixed: h00/h01 factoring, rD->rd, rdDr1/rdDr2 x100 - 6 of 7 sorry theorems proved; 1 explicitly FAILED (convergence) - Unused imports removed, naming violations fixed, #eval witnesses added - 210 -> 144 issues remaining (all WARNING/INFO, zero ERROR) New tooling: - scripts/qc-flag/lean_qc_flagger.py implemements 5-point inspection protocol - Outputs structured JSON + Markdown pass/fail reports DAG receipts at shared-data/data/stack_solidification/qc_*_dag_2026-05-13.md	2026-05-14 00:04:08 -05:00
Brandon Schneider	f77ca5a6c1	chore: QC cleanup — create Q16Utils, remove dead code, consolidate proofs ... NEW: Q16Utils.lean — shared scale, absDiff, q16Mul, q16Div removed from 6 files HIGH (4 fixed): H1: absDiff now shared from Q16Utils (was in 4 files) H2: scale now shared from Q16Utils (was in 6 files) H3: 2 duplicate theorems removed (AdjacentCoprimeClassification) H4: dead q16_div removed from DESIModelProjection MEDIUM (4 fixed): M5: dead DESIParam removed from DESIInvariant M6: q16Abs kept (Int.abs not available in Lean 4.30) M7: 6 dead structures removed from DESIModelProjection M8: 40 theorems consolidated into 5 ∧ chains (AdjacentCoprimeClassification) M9: q16Div now shared from Q16Utils LOW (2 fixed): L11: SuperpositionalBoundaryLayers now uses shared Q16Utils L12: SCALE → scale in SuperpositionalBoundaryLayers Build: 3530 jobs, zero errors	2026-05-13 22:18:13 -05:00
Brandon Schneider	1319cd8a21	chore: QC report — 14 structural/efficiency issues found ... HIGH (4): absDiff 4x duplicated, scale 6x duplicated, duplicate theorems, dead q16_div MEDIUM (5): dead DESIParam, q16Abs=Int.abs, dead structures, 25 theorems unconsolidated, q16_div duplicated LOW (5): Hermite helper, Q16.16 consistency, SCALE casing, rD field naming, rd precision	2026-05-13 22:11:16 -05:00
Brandon Schneider	c4bfceda5e	chore: cleanup crew — fix 95 inspection issues ... NAMING (79 issues fixed): UniversalBridge.lean — 26 theorems + SCALE renamed to camelCase DESIInvariant.lean — 20 defs + 5 theorems renamed DESIModelProjection.lean — 14 theorems + 2 defs renamed H0ValveTest.lean — 6 defs + 4 theorems renamed ValveTestSuite.lean — 9 theorems + SCALE renamed ClusterBHAnchors.lean — 6 theorems + 3 defs renamed AdjacentCoprimeClassification.lean — 25 theorems renamed STRUCTURAL (16 issues fixed): 2 unused imports removed (Semantics.FixedPoint) 13 #eval → #eval! consistency fixes 3 duplicate theorems removed (fib_cond1, fib_cond2, ex3_cond1) 1 linter suppression removed (dupNamespace) 1 namespace dependency fixed (open Semantics removed after import cut) Build: 3529 jobs, zero errors	2026-05-13 22:08:38 -05:00
Brandon Schneider	f53ab15787	feat: create Lean Expert Agent with full inspection protocol ... Agent inspects Lean code for: 1. Structural health (theorem/def/eval/sorry counts) 2. Naming conventions (camelCase/PascalCase per AGENTS.md) 3. Q0_16/Q16_16 compliance 4. Proof quality (native_decide, .isSome guards, tautologies) 5. Dependency analysis (unused imports, circular deps) First inspection of Physics/ found 95 issues: 79 naming violations (systematic snake_case) 2 unused imports (Semantics.FixedPoint) 4 trivial/tautological proofs 3 #eval vs #eval! inconsistencies 1 duplicate theorem 6 def naming violations (SCALE, absDiff) Trigger with: /inspect <target>	2026-05-13 22:01:12 -05:00
Brandon Schneider	b9838ec82e	dag: strip all non-mathematical commentary from Physics/ ... REMOVED (8 narrative-only files): BreakPoints.lean, BrokenChains.lean, NewtonWalls.lean — zero theorems JupiterMoons.lean, ProtiumProbe.lean — no theorems, torsion speculation GWTorsionTest.lean — 1 trivial theorem, rest narrative PhotonTorsionProbe.lean — 0 theorems after placeholder removal RGManifoldSeams.lean — 2 theorems buried in narrative STRIPPED (8 files): UniversalBridge.lean — removed '16D controller' narrative from header DESIInvariant.lean — removed 'horn-fiber' reference DESIModelProjection.lean — removed metaphor from theorem docstrings H0ValveTest.lean — removed 'horn-fiber' and 'valve' narrative ValveTestSuite.lean — removed all interpretation comments ClusterBHAnchors.lean — removed FAILURE narrative AdjacentCoprimeClassification.lean — removed project language injection (4 more files from earlier rip/tear already committed) KEPT (6 files, math-only): UniversalBridge.lean, DESIInvariant.lean, DESIModelProjection.lean, H0ValveTest.lean, ValveTestSuite.lean, ClusterBHAnchors.lean, AdjacentCoprimeClassification.lean	2026-05-13 21:57:34 -05:00
Brandon Schneider	97a263fec6	dag: rip/tear — remove 8 broken/empty/tautological theorems, 3 ornamental files ... REMOVED theorems (8): BraidCross.lean — 2 trivial zero-strand witnesses FAMM.lean — 2 tautological identities (X = X) MengerSpongeFractalAddressing.lean — 3 empty theorem bodies NBody.lean — verlet_preserves_energy_approximate references nonexistent lemma REMOVED files (3): CMBTorsion.lean — 0 theorems, invented alpha formula CouplingRotation.lean — heuristic w0 projection formula TorsionWall.lean — alpha = max|beta|/(4*pi) invented relation Build: 3529 jobs, zero errors after all removals	2026-05-13 21:50:09 -05:00
Brandon Schneider	5e513ddc3e	dag: full-stack assumption audit — 78 files, ~280 assumptions ... Breakdown: Physics/Lean: 15 files, 1 green, 4 yellow, 10 red Infrastructure: 33 files, ~190 heuristic assumptions 5-Applications: 30 files, 88 assumptions Critical action items: NBody.lean:1395 — broken theorem, references nonexistent lemma MengerSponge:197-208 — 3 empty theorem bodies FAMM.lean:141,223 — 2 tautological theorems BraidCross.lean:71,78 — trivial zero-strand only Well-scoped: PIST.lean, buoyancy_added_mass, solids_physics, alphafold_probe, CAD harness, finance_manager, review_emitter	2026-05-13 21:44:53 -05:00
Brandon Schneider	71f707041c	dag: trace 7 generations of RG flow assumptions ... Gen 1 SM beta functions SOLID — standard, validated to 10^-12 Gen 2 omega = |beta|/|g| CURIOSITY — defined, interpretation weak Gen 3 alpha = max|beta|/(4π) INVENTED — no Lagrangian, looks like fitting Gen 4 w0 projection HEURISTIC — needs QFT derivation, circular with LCDM Gen 5 wa from SM HONEST GAP — factor 10, most interesting tension Gen 6 CMB from omega BROKEN — Q off by 13x, eta circular Gen 7 M-sigma sum CURIOSITY — numerical coincidence Recommended: delete CMBTorsion, TorsionWall, CouplingRotation or derive properly. omega=0.05775 is real; the projections are not.	2026-05-13 21:41:48 -05:00
Brandon Schneider	cff05df656	dag: fix 3 critical jiggles, document 10 known ... FIXED: PhotonTorsionProbe.lean:37 — placeholder theorem (proved 1>0) DESIInvariant.lean:208-221 — 4 vacuous sigma-range theorems UniversalBridge.lean:261 — missing .isSome for intermittency(3150) DOCUMENTED (known jiggles): Moody chart slopes (heuristic but acceptable) wa has no SM derivation (largest open question) w0 projection formula (self-acknowledged heuristic) alpha = max|beta|/(4*pi) (invented relation) CMB Q factor 13 discrepancy (unresolved) 10 known jiggles total, 69/82 theorems clean (84%)	2026-05-13 21:40:38 -05:00
Brandon Schneider	d895968409	feat(physics): superpositional boundary layers — the universal bridge ... The smoothstep A(x) = 3x^2 - 2x^3 from UniversalBridge.lean describes EVERY boundary layer where Newton's laws transition to a wall regime: Schwall (GR): x = (R - 2GM)/(2GM), A=0.5 at R=3GM (photon sphere) Qwall (QM): x = (hbar/lambda)/p, A=0.5 at de Broglie wavelength Cwall (SR): x = v/c, A=0.5 at v/c=0.5 Twall (torsion): x = omega/1, A=0.5 at omega=0.5 The superposition principle: F_eff = (1-A)*F_Newton + A*F_Wall. This is the 16D controller principle — the boundary is a weighted superposition of all active regimes, not a thin line.	2026-05-13 21:34:21 -05:00
Brandon Schneider	b2a2ee7ca9	feat(physics): the absolute wall — Newton fails at omega -> 1 ... Four walls to Newton's laws: 1. Schwall (GR): R < 2GM/c^2 2. Qwall (QM): p < h/lambda 3. Cwall (SR): v -> c 4. Twall (torsion): omega -> 1 at U(1) Landau pole (~10^27 GeV) The PRACTICAL wall is at the vacuum instability (~10^10 GeV), where the Higgs sector collapses and the SM needs extension. Below: Newton + GR + SM work. Above: torsion dominates.	2026-05-13 21:33:35 -05:00
Brandon Schneider	eb03263811	feat(physics): broken chains — 5 gaps the torsion model doesn't close ... The torsion seed omega = 0.05775 is real (confirmed by alpha, M-sigma) but 5 chains are broken — the amplification mechanisms are missing: CLOSED: alpha = max|beta|/(4*pi), M-sigma = d_H + D_K = 3.989 BROKEN: baryogenesis (10^12 gap), neutrino mass, DM, CMB Q, T_CMB The seed connects SM to cosmology. The mechanisms for baryogenesis, seesaw, DM production, and inflation need to be added. These are active research directions, not failures of the seed.	2026-05-13 21:32:05 -05:00