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

36 commits

Author SHA1 Message Date
Brandon Schneider
1872b69ba7 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
382277ec28 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
0e7489559c 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
a2d6f4b467 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
62c04ddf7d 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
bacd452463 Refactor provenance sources for open witness backends 2026-05-12 05:57:04 -05:00
Brandon Schneider
7f7e452859 Update repository agent operating contracts 2026-05-11 22:48:54 -05:00
Brandon Schneider
731d470d47 Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
Brandon Schneider
5a07a31891 Track compiling Lean source slice 2026-05-11 22:14:31 -05:00
Brandon Schneider
7140625a50 Track EigenGate dependency slice 2026-05-11 22:10:42 -05:00
Brandon Schneider
53d6d0df88 Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
Brandon Schneider
9213d9755e Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Brandon Schneider
5f9e809ae7 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
6dd9fc0dc1 docs: add bio optical witness living light equations 2026-05-09 20:53:51 -05:00
Allaun Silverfox
37f1f3727b docs: add BMVR BVMR AVMR CMR receipt quotient 2026-05-09 19:51:46 -05:00
Allaun Silverfox
8834890655 docs: add semiautonomous orbit-zoom sniffer protocol 2026-05-09 19:09:57 -05:00
Brandon Schneider
8f643e3c44 Add RRC projection receipts and roadmap mirrors 2026-05-08 14:50:03 -05:00
Brandon Schneider
41d4df4ee4 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
baa2652727 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
453a366949 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
cd86db038f Prove fixed-point algebra lemmas 2026-05-05 21:44:15 -05:00
Brandon Schneider
d04ca3e6cc Address fixed-point review findings 2026-05-05 21:26:18 -05:00
Brandon Schneider
31f953bada Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Allaun Silverfox
c0a4c1b6e1 Add selection metrics receipt emitter 2026-05-05 13:23:10 -05:00
Allaun Silverfox
159063b9cd Add selection metrics synthetic fixture 2026-05-05 13:22:32 -05:00
Allaun Silverfox
1c7784c09d Add q-desic and van der Waals gap DOIs to Consensus collection 2026-05-05 07:39:43 -05:00
Allaun Silverfox
9c180db864 Add frozen-in gravitational fields DOI to Consensus collection 2026-05-05 02:22:12 -05:00
Allaun Silverfox
548bc39c31 Add genetics selection metrics scaffold 2026-05-05 02:07:28 -05:00
Allaun Silverfox
07b2ea4784 Add genetics information substrate boundary 2026-05-05 02:01:27 -05:00
Allaun Silverfox
a4cda6ad1f Add de-anthropocentric Mass Number revision 2026-05-04 21:17:45 -05:00
Allaun Silverfox
299fc3fd52 Register visual primitive witness entry points 2026-05-04 19:10:11 -05:00
Allaun Silverfox
e77d29511e Add visual primitives goxel witness research note 2026-05-04 19:08:47 -05:00
Brandon Schneider
bcb6495475 Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri 2026-05-04 19:08:20 -05:00
Allaun Silverfox
abfbdc2c1e Wire visual primitive formalism into constitution 2026-05-04 19:08:12 -05:00
Allaun Silverfox
4a52398f1b Add visual primitive witness formalism 2026-05-04 19:07:01 -05:00
Brandon Schneider
4eee4a07f6 initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00