feat: Rust reference lattice core + verisim store + Rust/SPARK compliance#26

Merged

hyperpolymath merged 3 commits into

mainfrom

claude/peaceful-meitner-EFJ7I

Jun 4, 2026

Commits on Jun 4, 2026

feat: Rust reference lattice core + verisim store + Rust/SPARK compliance
hyperpolymath
committed
fix(lattice): drop unguarded unwrap in SCC condense (CWE-754); fix doc drift
hyperpolymath
committed
feat(cli,api): wire `build` to real ingest -> lattice -> store
hyperpolymath
committed