mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
6544f0a150
Deleted 58 Python files (~31K lines) that were experimental prototypes
and bootstrapping scripts now superseded by the Lean source of truth:
0-Core-Formalism/core/ (2 files):
- field_solver_emulator.py
- formalize_mass_number.py
0-Core-Formalism/lean/LeanGPT/ (17 files):
- All LLM bootstrapping scripts (algorithm_bootstrap, automated_conviction_loop,
classify_algorithms, external_model_bridge, genetic_hypothesis_generator,
group_algorithms_by_domain, hutter_prize_full_test, hutter_prize_test,
hypothesis_generator, mathematical_law_conviction, otom_pipeline,
performance_profiler, refine_algorithms_by_domain, skeptical_agent_concern_fix,
skeptical_agent_swarm, wgsl_hypothesis_runner)
0-Core-Formalism/lean/Semantics/ (1 file):
- expand_domains.py
0-Core-Formalism/otom/ (4 files):
- scripts/validate_routing.py
- tools/ene/ene_artifact_salvage_extractor.py
- tools/genetics/emit_selection_receipt.py
- tools/genetics/selection_metrics.py
2-Search-Space/ (14 files):
- FAMM/solve_famm_sorry.py
- GhostPivot/gist_pivot_poc.py
- PIST/hybrid_tsm_pist_torus.py, pist_sweep.py
- SVQF/microgrid_voxel_emulation.py
- manifold/ (9 files: api/server, collapse_editor, particle_interaction,
projection_engine, relativity_adapter, self_typing_engine, soliton_search,
substrate_bridge)
- search/generate_lut.py, ingest_pd.py, sweep_manifold.py
3-Mathematical-Models/ (20 files):
- dna_benchmark/compressors/ (5 files)
- pist_biological_polymorphic_shifter_v3*.py (5 files)
- fiber_optic_vibrational_tensor/fiber_optic_tensor_network.py
- manifold_compression/src/ (2 files)
- fix_kwargs_meta.py, fix_metadata.py, fix_remaining.py, fix_sbox.py
- genetics/Allelica/Allelica.py
These prototypes expressed formal concepts in Python that are now
formalized in Lean (747+ Lean modules). Per AGENTS.md, Lean is the
source of truth for formal claims.
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
|
||
|---|---|---|
| .. | ||
| AMMR | ||
| bezier-kit | ||
| cad_models | ||
| eigenvector_tsm | ||
| equations_compressed | ||
| equations_parallel_10000 | ||
| equations_parallel_test | ||
| equations_parquet_tagged | ||
| fiber_optic_vibrational_tensor | ||
| genetics | ||
| hutter_eigenvector | ||
| hutter_howto | ||
| language_math_models/synthesis | ||
| manifold_compression | ||
| microgravity-fork | ||
| arxiv_findings_50.md | ||
| arxiv_findings_500.md | ||
| arxiv_findings_500_remapped.md | ||
| arxiv_llm_mapped.md | ||
| auto_findings_1000.md | ||
| auto_findings_test.md | ||
| batch_findings_mapped.md | ||
| equations_NUVMAP_index.json | ||
| extracted_equations.md | ||
| fractional_unified_field.md | ||
| gut_synthesis_100years.md | ||
| half_mobius_investigation.md | ||
| mass_number_proofs.json | ||
| math_centric_samples.json | ||
| MATH_MODEL_MAP.tsv | ||
| math_raw_summary.json | ||
| math_self_discovered.json | ||
| particle_spin_rainbow_table.md | ||
| physics_compression_bridge.md | ||
| physics_eqs_eigenvector_mapped.md | ||
| physics_eqs_mapped.md | ||
| physics_eqs_mapped_parallel.md | ||
| physics_eqs_mapped_pro.md | ||
| physics_metaprobe.jsonl | ||
| README.md | ||
| recursive_branch_cut_self_similarity.md | ||
| structural_discovery.json | ||
| thermodynamic_test_recursive_branch_cut.md | ||
| torsional_cosmology_spin.md | ||
| uncertainty_from_torsional_vibration.md | ||
| unified_9pattern_samples.json | ||
| unified_equation.md | ||
| universal_evolutionary_equation.md | ||
| unknown_discovery_report.json | ||
| variable_omega_edge_anomalies.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.