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
135 commits 18 branches 0 tags 425 MiB
Commit graph

42 commits

Author SHA1 Message Date
Brandon Schneider
8fca3b5532 feat(physics): cross-scale test — same Menger geometry at CERN, cosmic, human 
Tests the scale invariance claim: if the 16D model is correct, the
same void hierarchy geometry applies at every scale.

  CERN (Higgs/Planck):  n = 128 iterations from v/M_Pl = 2.02e-17
  DESI (cosmic web):    n = 4 iterations, predicts 70% void fraction
  Human (1m/1mm):       n = 6 iterations, abstract void fraction

The total void iterations (n_CC + n_obs = 132) matches total
expansion e-folds (138) within 4%. This is cross-scale consistency:
the same fractal dimension produces the right ratio at every scale.
 2026-05-13 21:00:43 -05:00
Brandon Schneider
98e4a575a5 feat(physics): Higgs calibration from CERN 6-sigma data 
Calibrates the 16D Menger/Koch void hierarchy using CERN PDG 2024
precision measurements (all > 6-sigma):

  Top mass:   172.76 +- 0.30 GeV (576 sigma)
  Higgs mass: 125.11 +- 0.11 GeV (1137 sigma)
  W mass:     80.377 +- 0.012 GeV (6698 sigma)
  Z mass:     91.1876 +- 0.0021 GeV (43423 sigma)

Derived constants:
  lambda = 0.129095 (Higgs self-coupling)
  y_t = 0.9923      (top Yukawa, drives RG running)
  d(lam)/d(ln mu) = -0.0369 (one-loop, top-dominated)

Key calibration result:
  v/M_Pl = 2.02e-17 → Menger void iterations n = 128
  This sets the natural cosmological constant suppression factor.
  Observable iterations n_obs = 3 (from BAO scale / cell size).
 2026-05-13 20:59:30 -05:00
Brandon Schneider
4d1cc83552 feat(physics): multi-valve cosmological test suite — S8, BAO, age 
Valves tested with native_decide theorems:

1. S8 tension: model (0.798) sits between CMB (0.834, 2.2s)
   and DES/KiDS weak lensing (0.776, 1.3s). Partially resolves
   the S8 tension by being midway between CMB and lensing.

2. BAO distances at z=0.51 (DESI DR1 LRG):
   DM/rd: model 13.26 vs DESI 13.30 (±0.25) — within 0.14s
   DH/rd: model 22.50 vs DESI 20.98 (±0.61) — within 2.5s

3. Cosmic age: model 13.36 Gyr vs Planck 13.787 Gyr.
   Well above globular cluster bound (12.5 Gyr).

Also fixes DESI DR1 BAO points which had wrong D_H values
(11.67 and 13.74 were actually D_V/r_d, not D_H/r_d).
 2026-05-13 20:50:08 -05:00
Brandon Schneider
526c34cee7 feat(physics): H0 valve test — model rules out SH0ES at 4.8s 
Tests the 16D horn-fiber model against the Hubble constant tension.
Model predicts H0 ~ 68.0 +- 1.2 km/s/Mpc from its w0, wa, Om parameters.

Theorems:
  model_consistent_with_planck:  (|diff| = 0.60 km/s/Mpc, 1.2s)
  model_consistent_with_desi:    (|diff| = 0.26 km/s/Mpc, 0.6s)
  model_inconsistent_with_sh0es: (|diff| = 4.78 km/s/Mpc, 4.8s)

This is a falsifiable prediction: if SH0ES (73.04) is correct,
the 16D model is wrong at > 4s confidence.
 2026-05-13 20:46:11 -05:00
Brandon Schneider
2b8664ae62 fix(physics): correct DESI constants to match published DR1/DR2 values 
DESI DR1 (arXiv:2404.03002, 2024):
  w0 = -0.827 +- 0.063,  wa = -0.75 +- 0.29
  Om = 0.295 +- 0.008,   H0 = 68.52 +- 0.50

DESI DR2 (arXiv:2503.14738, 2025):
  w0 = -0.838 +- 0.055,  wa = -0.59 +- 0.25
  Om = 0.2975 +- 0.0086, H0 = 68.26 +- 0.45

Model predictions vs DR1 (all within 1s):
  w0: calibrated match (residual = 0)
  wa: -0.55 vs -0.75 (residual = +0.20, 0.69s)
  Om: 0.290 vs 0.295 (residual = -0.005, 0.63s)
  s8: 0.812 vs 0.812 (exact match)
 2026-05-13 20:44:13 -05:00
Brandon Schneider
91c894aff5 feat(math): adjacent coprime classification for second-order recurrences 
Formalize theorem: for a_{n+1} = c_1*a_n + c_2*a_{n-1}:

  gcd(a_n, a_{n+1}) = 1  for all n >= 1
  iff
  gcd(a_1, a_2) = gcd(a_2, c_2) = gcd(c_1, c_2) = 1

Key identity: gcd(a_n, a_{n+1}) = gcd(a_n, c_2*a_{n-1})
Invariant core: gcd(a_n, a_{n+1}) = gcd(a_n, c_2) when prev coprime

5 distinct recurrences, 30 native_decide theorems verified.
Maps directly to: state flow + gate + hidden history channel + leakage failure.
 2026-05-13 20:38:03 -05:00
Brandon Schneider
d8047fbe30 feat(physics): DESI invariant and 16D horn-fiber model projection 
Add two Lean modules projecting the Menger/Koch/Gabriel-Horn fiber model
onto DESI DR2 cosmological observables:

- DESIInvariant.lean: Hardcoded DESI DR1/DR2 constants as Q16_16 Int
  literals. Zero Float arithmetic. 7 observational parameters + sigma
  bounds. 5 native_decide theorems. 7 eval! receipts.

- DESIModelProjection.lean: Maps 16D model predictions onto DESI
  observables. 4-component residual computation with verdict
  classification. 17 native_decide theorems proving:
    * All 4 observables within 1s of DESI DR2
    * Directional agreement on w0 > -1, wa < 0
    * Menger/Koch geometric facts (d_H < 3, D_K < d_H, divergence > 1)
    * Horn volume bounded, surface grows, torsion drives boundary

Receipt: desi_model_projection_receipt_2026-05-13.md
Build: lake build Semantics 3529 jobs, zero errors
 2026-05-13 20:21:18 -05:00
Brandon Schneider
a6311ed940 chore: preserve working tree before secure wipe 
- Update .gitignore with **/target/ for Rust build artifacts
- Add eval receipts to UniversalBridge.lean (compile-time verification comments)
- Add PCIe Idle-Cycle Compute Harvester to ROADMAP.md
- Clean up deprecated scripts, generated Verilog, and old tools (23 deletions)
- Stage new infrastructure: Xen/Alpine embedded surface, QFOX topology manager
- Stage new probes: boundary activation field, holographic carving
- Stage new applications: finance manager, script roots
- Stage new research spec: PCIe idle-cycle substrate
 2026-05-13 17:36:02 -05:00
Brandon Schneider
4905aef4e8 feat(codebase-memory): FAMM-based persistent multi-domain memory for Hermes 
- Rust crate: codebase-memory with cargo check + 6/6 tests pass
- types.rs: Q16_16, 7 CodeDomain banks, scar tracking, dual-map state
- adapter.rs: observe, commit_gate, advance_epoch, query_all, save/load
- main.rs: load_for_hermes binary entry point
- hermes_integration_manifest.json: agent contract and promotion gates
- Manifest: shared-data/data/stack_solidification/codebase_memory_receipt_2026-05-13.md
- Deleted Python adapter, replaced with Rust runtime
- FAMM.lean fix: UInt4→UInt8 for capability cells, proper Q16_16 comparisons
- Semantics.lean: quarantine imports for CodebaseMemory/CodebaseFSDU/CodebaseReceipt
- Quarantined 3 Lean files from lake build (field notation issues)

Build verified: lake build Semantics.FAMM passes (3,300 jobs)
 2026-05-13 16:11:27 -05:00
Brandon Schneider
7a8d46ee2a Fix q16_div truncation and correct comment: round 2 adversarial review 
- Fix q16_div to use truncation-toward-zero (matching q16_mul) so that
  negative intermediates in intermittency produce correct Q16.16 values
- Correct Hagen-Poiseuille attribution in laminar branch comment
- Update preamble note to cover both q16_mul and q16_div truncation
- All 24 theorems still pass, build clean (3527 jobs)
 2026-05-13 11:44:12 -05:00
Brandon Schneider
a06cf96d30 Add C¹-continuous Hermite spline bridge for 16D Reynolds regime transition 
Implements the UniversalBridge module in Lean with Q16.16 fixed-point
arithmetic, connecting the laminar exit (Re=2300, f=0.0278) and turbulent
entry (Re=4000, f=0.0398) with provable C¹ continuity.

Includes 24 verification theorems (boundary conditions, basis function
values, regime classification, controller gate semantics) and 10
executable #eval! witnesses as computational receipts.
 2026-05-13 11:11:18 -05:00
Brandon Schneider
d14d6b4b25 Refactor provenance sources for open witness backends 2026-05-12 05:57:04 -05:00
Brandon Schneider
cb96c6bed2 Update repository agent operating contracts 2026-05-11 22:48:54 -05:00
Brandon Schneider
a99e839bab Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
Brandon Schneider
64e7da3e0f Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
Brandon Schneider
a60b092cff Track EigenGate dependency slice 2026-05-11 22:10:42 -05:00
Brandon Schneider
29f9b78b6d Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
Brandon Schneider
75bbb80209 Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Brandon Schneider
06c83af4c8 Add EntropyCollapseDetector kernel and arithmetic spec 
- Add EntropyCollapseDetector.lean: executable checks for triple condition
  (braid crossings, σ_q/Hurst, D_q/Rényi D_2) with dense_rank tie handling
- Add Manifest.lean: imports EntropyCollapseDetector into HCMMR
- Add ArithmeticSpec_Corrected_2026-05-11.md: verified arithmetic constants
  K=21 for W=8 (~5% FPR), σ_c=0.4, D_c=0.7 (heuristic)

Arithmetic self-verified in Python:
- Braid crossings: 12 (K=7 non-selective, K=21 selective)
- σ_q = H = 0.032 (anti-persistent oscillating series)
- D_2 = 0.514 (moderate concentration)
- D_c=1.2 invalid for 1D Rényi D_2; corrected to 0.7

Prime gap re-test with K=21 shows signal mostly dies:
- 1M primes: 86,565 fires at K=7 (artifact) vs 38 at K>21 (genuine)
- Detector now selective but potentially too conservative

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-11 21:44:47 -05:00
Allaun Silverfox
a7a09410d0 docs: add bio optical witness living light equations 2026-05-09 20:53:51 -05:00
Allaun Silverfox
412649f79d docs: add BMVR BVMR AVMR CMR receipt quotient 2026-05-09 19:51:46 -05:00
Allaun Silverfox
c86206a319 docs: add semiautonomous orbit-zoom sniffer protocol 2026-05-09 19:09:57 -05:00
Brandon Schneider
38ddec024d Add RRC projection receipts and roadmap mirrors 2026-05-08 14:50:03 -05:00
Brandon Schneider
eff316ff3f wip: refined investigation script for Erdős–Gyárfás conjecture 
Created refined investigation script for Erdős–Gyárfás conjecture
where previous test found no power-of-two cycles (conjecture holds: False).

Refinements:
- Regular graph construction (all vertices same degree)
- Exhaustive DFS cycle detection
- More samples per n (5 instead of 3)
- Extended n values [8, 10, 12, 14, 16]

Goal: Determine if previous negative result was due to random graph construction
or if regular graphs with exhaustive cycle detection find power-of-two cycles.

Script created: investigate_erdos_gyarfas_refined.py
Execution canceled by user - awaiting further instructions.
 2026-05-08 14:50:03 -05:00
Brandon Schneider
8b9359394f formalize: 4-primitive framework for Erdős–Rényi random graphs in Lean 
Formalized the 4-primitive framework applied to Erdős–Rényi random graphs
G(n,p) in Lean.

Lean file: 0-Core-Formalism/lean/Semantics/ExtensionScaffold/Math/FourPrimitiveErdosRenyi.lean

Formalization includes:
- Field primitive (ρ(x⃗)): edge density field
- Shear primitive (G = AᵀA): Laplacian deformation metric
- Packet primitive (Γᵢ): adjacency matrix encoding
- Spectral primitive (C = UΛUᵀ): eigenbasis decomposition

Definitions:
- FieldPrimitive: edge density
- ShearPrimitive: Gram matrix AᵀA
- PacketPrimitive: adjacency matrix
- SpectralPrimitive: eigen decomposition
- spectralRadius, spectralGap, algebraicConnectivity
- Laplacian matrix
- connectivityThreshold, giantComponentThreshold
- detectPhaseTransition

Theorems (schematic):
- FourPrimitiveFramework_Validation
- SpectralPrimitive_PhaseTransition
- FieldPrimitive_Density
- ShearPrimitive_Deformation
- PacketPrimitive_Encoding

Canonical statement included: The compactified core reduces the stack to
four mutually orthogonal primitives: field state, shear metric, packet
witness, and spectral basis.
 2026-05-08 14:50:02 -05:00
Brandon Schneider
0cf775c80e collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation
- FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup)
- Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN
- Spec sheet puller: 10 components with key params and topological relevance
- Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput
- Fixed merge conflicts in AI-Newton test_experiment.ipynb
 2026-05-06 23:42:01 -05:00
Brandon Schneider
6d82e0e764 Prove fixed-point algebra lemmas 2026-05-05 21:44:15 -05:00
Brandon Schneider
d14d8e94c4 Address fixed-point review findings 2026-05-05 21:26:18 -05:00
Brandon Schneider
0709b298b3 Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Allaun Silverfox
3a8e4c2881 Add selection metrics receipt emitter 2026-05-05 13:23:10 -05:00
Allaun Silverfox
4e48f49752 Add selection metrics synthetic fixture 2026-05-05 13:22:32 -05:00
Allaun Silverfox
dbb3e35359 Add q-desic and van der Waals gap DOIs to Consensus collection 2026-05-05 07:39:43 -05:00
Allaun Silverfox
a70bc86fdb Add frozen-in gravitational fields DOI to Consensus collection 2026-05-05 02:22:12 -05:00
Allaun Silverfox
a7a2af5f19 Add genetics selection metrics scaffold 2026-05-05 02:07:28 -05:00
Allaun Silverfox
d38e3e6db1 Add genetics information substrate boundary 2026-05-05 02:01:27 -05:00
Allaun Silverfox
3c4e7ff90c Add de-anthropocentric Mass Number revision 2026-05-04 21:17:45 -05:00
Allaun Silverfox
670b3601bb Register visual primitive witness entry points 2026-05-04 19:10:11 -05:00
Allaun Silverfox
9159780fa7 Add visual primitives goxel witness research note 2026-05-04 19:08:47 -05:00
Brandon Schneider
920f02a024 Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri 2026-05-04 19:08:20 -05:00
Allaun Silverfox
883adc29a8 Wire visual primitive formalism into constitution 2026-05-04 19:08:12 -05:00
Allaun Silverfox
eb448df619 Add visual primitive witness formalism 2026-05-04 19:07:01 -05:00
Brandon Schneider
5f88abf618 initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00