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
385 commits 18 branches 0 tags 425 MiB
Commit graph

4 commits

Author SHA1 Message Date
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
9213d9755e Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Brandon Schneider
ccf22174e2 docs: add rainbow raccoon compiler image via git lfs 2026-05-07 02:58:33 -05:00
Brandon Schneider
f3a326a22f docs: add repository social preview image 2026-05-07 02:40:28 -05:00