mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
eafbee22b7
Project-wide sweep to find and fix every place Lean was treated as secondary,
optional, or subordinate to Python/Rust. The invariant: Lean is the source of
truth. Python and Rust are extraction targets only; they contain no logic, no
invariant checks, no decisions.
Changes:
1-Distributed-Systems/ene/src/lib.rs
- CRITICAL: Remove 'Rust is the canonical implementation language for
operational components' — replace with correct extraction-target framing
1-Distributed-Systems/agents/claw/README.md
- Remove 'canonical implementation lives in rust/' and 'source of truth is
ultraworkers/claw-code' blanket claims — scope to CLI binary only;
add Research Stack domain-logic note (Lean is source of truth per AGENTS.md)
- 'canonical Rust workspace' → 'Rust workspace (I/O extraction target)'
1-Distributed-Systems/agents/claw/src/Tool.py
- 'Python-first porting summary' → 'Lean-to-Python extraction summary'
1-Distributed-Systems/agents/claw/src/projectOnboardingState.py
- python_first: bool = True → lean_first: bool = True (Lean always leads)
6-Documentation/docs/specs/ENE_MEMORY_ATLAS_SPEC.md
- CRITICAL: 'Python first (reference) ... Lean-formal next' → correct order:
Lean specification first, Python extraction shim, Verilog hardware extraction
6-Documentation/docs/recovered/geocognition_equation_types_map.mmd
- 'Lean owns logic; Rust owns boundary' → 'Lean owns all logic and decisions;
Rust is boundary shim only'
6-Documentation/docs/semantics/HYPER_DIMENSIONAL_PHYSICS_INTRO.md
- 'Python implementation ... Lean formalization' → 'Lean specification (source
of truth) ... Python extraction shim'
6-Documentation/docs/geometry/GEOMETRY_TAXONOMY_FOR_NLOCAL_ADAPTATION.md
- 'reference specification for the Python implementation' → 'source of truth;
Python is an extraction shim against this spec'
6-Documentation/docs/protocols/TM_MCP_SPECIFICATION.md
- 'Python reference implementation' → 'Python extraction shim' (×2)
5-Applications/scripts/snn/README.md
- 'deterministic Python reference' → 'Python extraction shim / golden-vector
harness'; add TODO(lean-port) note; RTL must match 'Python shim (pending
Lean golden vector)' not 'Python reference'
6-Documentation/docs/METAPROBE_APPROACH.md
- 'DeltaGCLCompression.lean — Lean implementation / scripts/delta_gcl_encoder.py
— Python reference implementation' → Lean is source of truth / Python is
extraction shim
Generated with Devin (https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
|
||
|---|---|---|
| .. | ||
| missingproofs | ||
| 4CHAN_DISCOVERY_MODEL.md | ||
| ADAPTIVE_1BIT_CMYK_MERGED.md | ||
| AMMR_NODE_REDEFINITION.md | ||
| BASIN_STABILITY_CERTIFICATE.md | ||
| BEHAVIORAL_MANIFOLD_PIPELINE.md | ||
| BHOCS.md | ||
| BIND_BRIDGE_EQUATIONS.md | ||
| BODEGA_KERNEL_TRIAGE_INGEST_DIFF_2026_04_25.md | ||
| candidate_theorems_565_plus.md | ||
| CANONICAL_FORMULA_INDEX.md | ||
| CARTESIAN_PHONON_PRIME_INTEGRATION.md | ||
| CARTOGRAPHY_OF_COMPRESSION_FAILURE.md | ||
| CELLULAR_WARDEN_LOGIC.md | ||
| chatgpt_digestion_report.md | ||
| COMPRESSION_MECHANICS_EXECUTION_PLAN.md | ||
| CORE_MANIFEST.md | ||
| EMOJI_MACHINE.md | ||
| ene_complete_archive_manifest.md | ||
| ene_link_index.md | ||
| ene_maximum_resolution_report.md | ||
| ene_schema_specification.md | ||
| high_resolution_research.md | ||
| HUTTER_PRIZE_STRATEGY.md | ||
| HYPER_DIMENSIONAL_PHYSICS_INTRO.md | ||
| ICP_FORMULA_SPECIFICATION.md | ||
| IMPLEMENTATION_PLAN_BEHAVIORAL_MANIFOLD.md | ||
| INCOMPATIBLE_MANIFOLDS_AND_LAWFUL_LOSS.md | ||
| INFORMATION_THEORY_COLLAPSE.md | ||
| LEAN_NAMING_CONVENTIONS.from-docs.md | ||
| LEAN_NAMING_CONVENTIONS.md | ||
| LEAN_PORT_ORCHESTRATION_MAP.md | ||
| LUT_AS_DSP_EQUATION.md | ||
| manifold_viewer.html | ||
| MEMETIC_LOAD_DYNAMICS_MODEL.md | ||
| MEMETIC_PATHOGEN_SPREAD_MODEL.md | ||
| MIRROR_LUT_EQUATIONS.md | ||
| NATURE_RIGOR_PREP.md | ||
| NEXT_STEPS_PLAN.md | ||
| notation_ingest_bundle.md | ||
| O_AMMR_CRC_PATTERN_MEMORY.md | ||
| obelisk_manifold.html | ||
| PAYOFF_MATRIX.md | ||
| PBACS_CANONICAL_SIGNAL_ARCHITECTURE.md | ||
| PBACS_DNA_THEORETICAL_FRAMEWORK.md | ||
| pist_workflow_diagram.html | ||
| RG_FLOW_DEFINITION.md | ||
| schema_coverage_report.md | ||
| SUSPECT_MODULE_AUDIT_2026-04-24.md | ||
| SUSPECT_MODULE_AUDIT_HUTTER_COMPRESSION.md | ||
| TREE_FIDDY.md | ||
| TROPHIC_CASCADE_MANIFOLD_DATA.md | ||
| UNIFIED_LOAD_EQUATION_SPEC.md | ||