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
Research-Stack/3-Mathematical-Models
History
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
..
AMMR initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
bezier-kit initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
cad_models Consolidate research stack updates 2026-05-05 21:09:48 -05:00
eigenvector_tsm Consolidate research stack updates 2026-05-05 21:09:48 -05:00
equations_compressed initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
equations_parallel_10000 initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
equations_parallel_test initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
genetics initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
hutter_eigenvector Consolidate research stack updates 2026-05-05 21:09:48 -05:00
hutter_howto initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
language_math_models/synthesis initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
manifold_compression Consolidate research stack updates 2026-05-05 21:09:48 -05:00
arxiv_findings_50.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
arxiv_findings_500.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
arxiv_findings_500_remapped.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
arxiv_llm_mapped.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
auto_findings_1000.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
auto_findings_test.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
batch_findings_mapped.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
equations_NUVMAP_index.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
extracted_equations.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
fix_kwargs_meta.py initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
fix_metadata.py initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
fix_remaining.py initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
fix_sbox.py initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
fractional_unified_field.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
gut_synthesis_100years.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
half_mobius_investigation.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
mass_number_proofs.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
math_centric_samples.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
MATH_MODEL_MAP.tsv initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
math_raw_summary.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
math_self_discovered.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
particle_spin_rainbow_table.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_compression_bridge.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_eqs_eigenvector_mapped.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_eqs_mapped.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_eqs_mapped_parallel.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_eqs_mapped_pro.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
physics_metaprobe.jsonl Consolidate research stack updates 2026-05-05 21:09:48 -05:00
pist_biological_polymorphic_shifter_v3.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
pist_biological_polymorphic_shifter_v3_complete.py collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 2026-05-06 23:42:01 -05:00
pist_biological_polymorphic_shifter_v3_part2.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
pist_biological_polymorphic_shifter_v3_part3.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
pist_biological_polymorphic_shifter_v3_part4.py Consolidate research stack updates 2026-05-05 21:09:48 -05:00
README.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
recursive_branch_cut_self_similarity.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
structural_discovery.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
thermodynamic_test_recursive_branch_cut.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
torsional_cosmology_spin.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
uncertainty_from_torsional_vibration.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
unified_9pattern_samples.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
unified_equation.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
universal_evolutionary_equation.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00
unknown_discovery_report.json initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
variable_omega_edge_anomalies.md Consolidate research stack updates 2026-05-05 21:09:48 -05:00

README.md

3-Mathematical-Models

Purpose: Central equation registry, proof tracking, and mathematical substrate index.

Depends on: 0-Core-Formalism, 2-Search-Space

Contents (Target)

Source Destination
data/mathlib_database/ 3-Mathematical-Models/database/
data/equation_extraction_* 3-Mathematical-Models/equations_*

Registry Format

TSV-style with columns: Model_Name | Family | Equation | Variables | Purpose | Location | Implemented | Status | Cross_Refs | Domain_Type | Bind_Class

Rule

All new mathematical models MUST be added to the registry before creating separate documentation.