Research-Stack/codebase-memory-receipt-2026-05-13/src/main.rs
Brandon Schneider 58d9d20e77 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

45 lines
1.3 KiB
Rust

use std::env;
use std::path::Path;
use codebase_memory::adapter::load_for_hermes;
fn main() {
let args: Vec<String> = env::args().collect();
let root = if args.len() > 1 {
&args[1]
} else {
"."
};
let memory_path = Path::new(root).join(".hermes").join("codebase_memory.json");
let mut adapter = load_for_hermes(Path::new(root), &memory_path);
println!("[hermes-memory] Loaded adapter for {}", root);
println!("[hermes-memory] Domains: 7");
for dom in codebase_memory::types::CodeDomain::all() {
println!(
" {}: {} active / {} capacity",
dom.as_str(),
adapter.active_count(dom.as_str()),
adapter.capacity()
);
}
println!("\n--- Sample query: AGENTS.md ---");
let results = adapter.query_all("AGENTS.md");
for (domain, cells) in &results {
println!(" {}: {} matches", domain, cells.len());
}
println!("\n--- Committing all domains ---");
for dom in codebase_memory::types::CodeDomain::all() {
let receipt = adapter.commit(dom.as_str());
println!(
" {}: success={} invariant={}",
dom.as_str(),
receipt.success,
receipt.invariant
);
}
println!("\n[hermes-memory] Done.");
}