Allaun Silverfox
764354f83d
Add autonomous speedrun harness example
2026-05-16 19:12:25 -05:00
Allaun Silverfox
f76816548f
Add autonomous speedrun harness receipt schema
2026-05-16 19:10:51 -05:00
Allaun Silverfox
6aba73e780
Add autonomous speedrun harness gate runner
2026-05-16 19:09:42 -05:00
Allaun Silverfox
71fd40bc2e
Add autonomous speedrun harness gate documentation
2026-05-16 19:08:34 -05:00
Allaun Silverfox
0ff6cc60fd
Add MarkovJunior 16D shim example config
2026-05-16 18:47:53 -05:00
Allaun Silverfox
92fdd77593
Add MarkovJunior 16D shim receipt schema
2026-05-16 18:45:37 -05:00
Allaun Silverfox
683e931915
Add MarkovJunior 16D shim runner
2026-05-16 18:42:25 -05:00
Allaun Silverfox
5ebc4841d6
Add MarkovJunior 16D PIST rewrite shim documentation
2026-05-16 18:40:29 -05:00
Allaun Silverfox
15a03119ae
Add Sidon 16D anchor pack
2026-05-16 17:21:03 -05:00
Allaun Silverfox
3f28a32db8
Add Sidon FAMM map example config
2026-05-16 17:20:33 -05:00
Allaun Silverfox
9cd2729fbc
Add Sidon FAMM map receipt schema
2026-05-16 17:19:43 -05:00
Allaun Silverfox
ebd9ef82b2
Add Sidon FAMM map runner
2026-05-16 17:18:49 -05:00
Allaun Silverfox
dad0dca0fa
Add Sidon FAMM map documentation
2026-05-16 17:17:26 -05:00
Allaun Silverfox
a49292418f
Add Builder-Judge-Warden Erdos-Szekeres example
2026-05-16 17:06:26 -05:00
Allaun Silverfox
d0999cf1d3
Add Builder-Judge-Warden cleanup receipt schema
2026-05-16 17:00:28 -05:00
Allaun Silverfox
32fd7f759e
Add Builder-Judge-Warden geodesic cleanup runner
2026-05-16 16:59:26 -05:00
Allaun Silverfox
bc690d5558
Add Builder-Judge-Warden geodesic cleanup filter documentation
2026-05-16 16:57:56 -05:00
Allaun Silverfox
3016c13c72
Add 16D logogram chirality anchor pack
2026-05-16 16:36:53 -05:00
Allaun Silverfox
514a23cbb6
Add logogram chirality witness example
2026-05-16 16:35:55 -05:00
Allaun Silverfox
aec95d2a82
Add logogram chirality witness schema
2026-05-16 16:35:07 -05:00
Allaun Silverfox
02471b9dde
Add logogram chirality route gate runner
2026-05-16 16:31:01 -05:00
Allaun Silverfox
75f5d96dae
Add logogram chirality route gate documentation
2026-05-16 16:30:15 -05:00
Allaun Silverfox
6739070ad7
Add NUVMAP Delta-DAG graph coloring example
2026-05-16 16:15:20 -05:00
Allaun Silverfox
91fed078f1
Add NUVMAP Delta-DAG receipt schema
2026-05-16 16:14:43 -05:00
Allaun Silverfox
20fbc7a940
Add NUVMAP Delta-DAG graph coloring compressor
2026-05-16 16:13:58 -05:00
Allaun Silverfox
410258dc29
Add NUVMAP Delta-DAG sharding spec
2026-05-16 16:12:10 -05:00
Allaun Silverfox
60425bf6ec
Add NUVMAP Delta-DAG search compressor documentation
2026-05-16 16:05:53 -05:00
Allaun Silverfox
5356f8fdc2
Add common-noise MFG 16D anchor pack
2026-05-16 15:11:10 -05:00
Allaun Silverfox
0c1f4112a1
Add common-noise MFG Riccati gate documentation
2026-05-16 15:04:56 -05:00
Allaun Silverfox
c447e0373e
Add bio-organoid 16D anchor pack
2026-05-16 14:54:17 -05:00
Allaun Silverfox
6fed0fc644
Add bio-organoid signal field gate documentation
2026-05-16 14:49:05 -05:00
Allaun Silverfox
e372679c45
Add 16D Chaos Game example config
2026-05-16 14:44:29 -05:00
Allaun Silverfox
cbfe556315
Add 16D Chaos Game receipt schema
2026-05-16 14:43:21 -05:00
Allaun Silverfox
733c454d5d
Add 16D Chaos Game field shrinker runner
2026-05-16 14:39:56 -05:00
Allaun Silverfox
dab1031885
Add 16D Chaos Game Field Shrinker documentation
2026-05-16 14:39:03 -05:00
Allaun Silverfox
a7f54fbd3d
Document Semantic Mass route plow runner
2026-05-16 13:51:09 -05:00
Allaun Silverfox
1296c165f0
Add example Semantic Mass route plow config
2026-05-16 13:50:19 -05:00
Allaun Silverfox
d6859ecd23
Add Semantic Mass route plow receipt schema
2026-05-16 13:42:25 -05:00
Allaun Silverfox
f4a4ef30b0
Add Semantic Mass route plow runner
2026-05-16 13:41:51 -05:00
Allaun Silverfox
b4e242782a
Add FAMM Semantic Mass math-forest plow documentation
2026-05-16 13:35:56 -05:00
Allaun Silverfox
f56d90fb9d
Add example Semantic Mass Z accelerator config
2026-05-16 13:27:42 -05:00
Allaun Silverfox
f7283be9c1
Add Semantic Mass Z receipt schema
2026-05-16 13:25:39 -05:00
Allaun Silverfox
ac0f959cf6
Add Semantic Mass Z-domain accelerator runner
2026-05-16 13:24:51 -05:00
Allaun Silverfox
8cc1f4a84d
Add Semantic Mass Z-domain accelerator documentation
2026-05-16 13:24:06 -05:00
Allaun Silverfox
f2e04d7525
Document empirical Hessian receipt pass
2026-05-16 13:18:08 -05:00
Allaun Silverfox
b2f16b8114
Add example FAMM Hessian receipt config
2026-05-16 13:17:24 -05:00
Allaun Silverfox
f0c26fccd1
Add FAMM Hessian curvature receipt schema
2026-05-16 13:16:48 -05:00
Allaun Silverfox
0f733d03ff
Add FAMM empirical Hessian receipt runner
2026-05-16 13:14:33 -05:00
Brandon Schneider
7a20002fc2
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
5a890d4b9a
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
