allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
195 commits 18 branches 0 tags 425 MiB
Commit graph

195 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Brandon Schneider
96d8867c61 feat(physics): protium atom probes alpha running at current bound 
The 21 cm line (1420.4057517667 MHz) and 1s-2s transition
(2.466e15 Hz) are the most precisely measured spectral features.

Torsion model predicts Delta(alpha)/alpha = +1.13e-5 per z from
SM QED running. Current bound from quasar absorption: 1e-5.
The prediction is RIGHT AT the bound — barely consistent.

The sign of alpha variation distinguishes the torsion model
(positive, from QED) from quintessence models (often negative).
SKA 21 cm at z > 10 will resolve this at > 10 sigma.
 2026-05-13 21:28:17 -05:00