Brandon Schneider 1e4a7fd6d5 archive: remove dated receipts, experimental probes, and uncompiled prototypes ... - Move 2026-05-13 dated receipt dirs to archive/ - Move 62 experimental Lean Probe/Metaprobe files to archive/lean-probes/ - Move uncompiled rust-conversions/ prototype to archive/ - Move uncompiled gpu/ prototype to archive/ (including wasmgpu submodule) - Delete one-shot infra scripts with hardcoded secrets - Remove stray git bare-repo internals at root (config, HEAD, hooks/, info/, description) - Remove stale root-level artifacts (re, changes.zip, etc.) - Update .gitignore for venvs, scratch tests, ai-math-discovery-systems		2026-05-25 16:51:58 -05:00
..
extensions.json	Track HCMMR sources and ignore generated mirrors	2026-05-11 21:53:32 -05:00
mcp.json	WIP: accumulated changes	2026-05-25 16:24:21 -05:00
settings.json	archive: remove dated receipts, experimental probes, and uncompiled prototypes	2026-05-25 16:51:58 -05:00
tasks.json	Track DeepSeek review receipts and CAD setup tasks	2026-05-11 22:41:44 -05:00