Brandon Schneider
6544f0a150
Remove legacy Python prototypes superseded by Lean formalization
...
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>
2026-05-19 15:34:17 +00:00
Brandon Schneider
e1ee61ff70
integrate stashed changes: math model data updates + 4 receipt dirs + container config
...
- Update 3-Mathematical-Models JSON datasets (NUVMAP index, mass proofs,
math_centric_samples, math_raw_summary, math_self_discovered +1.5M lines,
structural_discovery, unified_9pattern_samples, unknown_discovery_report)
- Add adjacent_coprime_classification receipt (Lean proof + manifest)
- Add codebase-memory-receipt (Rust crate + manifests)
- Add desi_model_projection receipt (Lean proofs + manifest)
- Add deterministic_build_receipt (Lean build proof)
- Add Containerfile, run-container.sh, cupfox-config.nix
- Restore .github assets and changes.zip
2026-05-17 12:03:19 -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
