Repository navigation

resolve OQ-001 (A): coordinator + verification host — drop redundant src/ ABI/FFI scaffold - #56

Merged

hyperpolymath merged 2 commits into

mainfrom

claude/confident-shannon-xf0Td

Jun 15, 2026

Merged

resolve OQ-001 (A): coordinator + verification host — drop redundant src/ ABI/FFI scaffold#56
hyperpolymath merged 2 commits into
mainfrom
claude/confident-shannon-xf0Td

Commits on Jun 15, 2026
- chore: drop redundant src/ RSR scaffold; relax Justfile + ignore proof artifacts
  claude
  committed
  b186bd8
- docs: reconcile identity as coordinator + verification host (OQ-001 resolved)
  claude
  committed
  4a77160