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
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
Brandon Schneider
302f48d416 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
55d86f0bc5 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
aa4563cdf5 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
2bbf896d3f 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
20c3cc252d 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
e2bcfa62dd 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
8f61b9ed28 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
7c1b05ecce 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
b1499de843 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
2c5b6bcfdd 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
04187c4990 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
b2a5a8c9e6 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