chore(beads): close M7 epic loop-bih

Author: rand

.beads/issues.jsonl

@@ -21,7 +21,7 @@
 {"id":"loop-avh","title":"E2E Validation: Exercise rlm-core capabilities end-to-end","description":"Exercise rlm-core capabilities end-to-end corresponding to actual usage by rlm-claude-code and recurse. This is a precondition for migrations.\n\n## Test Categories\n\n### 1. Complexity Classification \u0026 Activation\n- Simple queries → bypass RLM (fast-path)\n- Multi-file references → activate\n- Cross-context reasoning → activate\n- Debugging tasks → activate\n- User intent signals (thorough/fast)\n\n### 2. Memory System (Hypergraph)\n- Node CRUD (Entity, Fact, Experience, Decision, Snippet)\n- Tier evolution (Task → Session → LongTerm → Archive)\n- HyperEdge relationships\n- Content search (BM25/semantic)\n- Memory gate (epistemic filtering)\n\n### 3. REPL Environment\n- Context externalization (files, messages, tool_outputs)\n- Helper functions (peek, search, summarize)\n- Deferred operations (LLM calls)\n- Sandbox restrictions\n\n### 4. Trajectory Streaming\n- All 20+ event types\n- Verbosity levels\n- Cost tracking events\n- JSON export\n\n### 5. Recursive Orchestration\n- Depth ladder (0→1→2→3)\n- Model tier selection per depth\n- Cost aggregation across depths\n\n### 6. Epistemic Verification (Strawberry)\n- Claim extraction\n- KL divergence computation\n- Evidence scrubbing\n- Memory gate filtering\n\n### 7. LLM Client \u0026 Routing\n- Multi-provider support\n- Smart routing based on query type\n- Prompt caching\n\n### 8. Formal Verification (Lean)\n- Lean REPL interaction\n- Proof automation tiers\n- Dual-track sync (Topos ↔ Lean)","notes":"## E2E Validation Results (2026-01-17)\n\n### ✅ PASSED\n1. **Rust build** - rlm-core compiles with 14 warnings (unused code)\n2. **Python bindings** - PyO3 builds and installs successfully\n3. **Complexity classification** - PatternClassifier works, correctly detects signals\n4. **Memory system** - CRUD, search, tier evolution, statistics all work\n5. **Trajectory events** - All 21 event types, factory methods, log_line serialization\n6. **Go bindings** - All 21 tests pass after fixes\n7. **Python REPL** - Helpers (peek, search), sandbox (blocks dangerous ops), protocol\n\n### 🔧 FIXED (committed)\n- Go bindings: Added missing header includes to memory.go, trajectory.go\n- Go bindings: Removed unused json import from rlmcore.go  \n- Go bindings: Fixed example function name in example_test.go\n\n### ⚠️ GAPS DISCOVERED\n1. **loop-ocz**: Epistemic verification not exposed in Python bindings (blocks loop-cyl migration)\n2. **loop-eby**: Lean REPL requires Lean 4 installation for full testing (environment gap)\n\n### RECOMMENDATION\nThe core rlm-core capabilities are validated and ready for migrations. The epistemic module gap (loop-ocz) should be addressed before rlm-claude-code migration since that plugin uses hallucination detection.","status":"closed","priority":1,"issue_type":"task","assignee":"claude","created_at":"2026-01-16T17:13:10Z","updated_at":"2026-01-16T17:53:23Z","closed_at":"2026-01-16T17:53:23Z","close_reason":"E2E validation complete. Core capabilities validated. 2 gaps discovered and tracked. Go binding fixes committed."}
 {"id":"loop-azq","title":"Post-M7 deferred SPEC refinements backlog","description":"Track deferred implementation items left after M7 closure: SPEC-20 composition validation hardening, SPEC-21 custom switch strategy support, SPEC-22 lean diagnostic-feedback loop integration, SPEC-23 CLI/advanced HTML visualization controls, SPEC-24 metric trait/object-safety refinements, SPEC-25 explicit SizeConfig/auto_chunk APIs, and SPEC-26 provider-aware rate-limit/backoff policy. This issue owns decomposition into executable tranche tasks.","status":"open","priority":2,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-20T00:57:15Z","created_by":"Rand Arete","updated_at":"2026-02-20T00:57:15Z","labels":["execution-plan","spec-gap"]}
 {"id":"loop-b7b","title":"Add REPL FFI bindings to rlm-core","description":"The rlm-core Rust crate has a REPL module (src/repl.rs) with:\n- ReplConfig for configuration\n- ReplHandle for process management  \n- execute(), get_variable(), set_variable(), resolve_operation() methods\n\nBut there's no FFI binding exposed yet. This blocks Phase 4 of the recurse-rlmcore migration.\n\nRequired work:\n1. Add FFI functions in src/ffi/repl.rs\n2. Add C header declarations in include/rlm_core.h\n3. Add Go bindings in go/rlmcore/repl.go\n4. Test cross-language REPL operations","status":"closed","priority":2,"issue_type":"task","assignee":"claude","owner":"rand.arete@gmail.com","created_at":"2026-01-20T10:03:28Z","created_by":"Rand Arete","updated_at":"2026-01-20T10:29:45Z","closed_at":"2026-01-20T10:29:45Z","close_reason":"Completed REPL FFI bindings: Rust FFI (src/ffi/repl.rs), C header (include/rlm_core.h), Go bindings (go/rlmcore/repl.go). All builds compile successfully. Integration testing requires Python rlm-repl package."}
-{"id":"loop-bih","title":"M7 spec completion and integration hardening","notes":"M7 execution plan and gate matrix authored in docs/execution-plan; tasks loop-bih.1..loop-bih.10 ready for implementation sequencing.","status":"in_progress","priority":1,"issue_type":"epic","owner":"rand.arete@gmail.com","created_at":"2026-02-19T23:11:57Z","created_by":"Rand Arete","updated_at":"2026-02-19T23:14:39Z","labels":["execution-plan","m7"]}
+{"id":"loop-bih","title":"M7 spec completion and integration hardening","notes":"M7 execution plan and gate matrix authored in docs/execution-plan; tasks loop-bih.1..loop-bih.10 ready for implementation sequencing.","status":"closed","priority":1,"issue_type":"epic","owner":"rand.arete@gmail.com","created_at":"2026-02-19T23:11:57Z","created_by":"Rand Arete","updated_at":"2026-02-20T01:01:47Z","closed_at":"2026-02-20T01:01:47Z","close_reason":"M7 execution tranche complete: loop-bih.1..loop-bih.11 closed with evidence-backed gate coverage; residual deferred spec refinements moved to loop-azq.","labels":["execution-plan","m7"]}
 {"id":"loop-bih.1","title":"M7-T01 SPEC-26 LLM_BATCH end-to-end runtime closure","notes":"Recovered crash-session REPL/SUBMIT + llm_batch helper/test bundle integrated on codex/recovery-crash-integration with M7-T01 gate artifacts. Remaining SPEC-26 host-orchestration closure still pending.","status":"closed","priority":1,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-19T23:11:57Z","created_by":"Rand Arete","updated_at":"2026-02-19T23:55:38Z","closed_at":"2026-02-19T23:55:38Z","close_reason":"Completed M7-T01: implemented Rust host llm_batch resolution path (pending_operations RPC + ReplHandle::resolve_pending_llm_batches), refreshed VG-LOOP-BATCH-001/VG-LOOP-REPL-001/VG-EFFICACY-001 artifacts, and added host roundtrip batch integration evidence.","labels":["execution-plan","m7"],"dependencies":[{"issue_id":"loop-bih.1","depends_on_id":"loop-bih","type":"parent-child","created_at":"2026-02-19T16:11:57Z","created_by":"Rand Arete","metadata":"{}"}]}
 {"id":"loop-bih.10","title":"M7-T10 spec/governance reconciliation and promotion","notes":"Starting M7-T10 in safe mode: reconcile SPEC-20..27 status snapshots + acceptance checklists with implemented runtime/evidence, then refresh STATUS/TASK-REGISTRY/compatibility claims and capture VG-DOC-SPEC-002 + VG-CONTRACT-001 + consumer gate evidence references.","status":"closed","priority":2,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-19T23:12:00Z","created_by":"Rand Arete","updated_at":"2026-02-20T01:00:24Z","closed_at":"2026-02-20T01:00:24Z","close_reason":"Completed M7-T10: reconciled SPEC-20..27 status/governance metadata, refreshed compatibility claims, captured VG-DOC-SPEC-002 + VG-CONTRACT-001 + VG-RCC-001 + VG-LA-001 + VG-RFLX-001 evidence, and tracked residual deferred gaps under loop-azq.","labels":["execution-plan","m7"],"dependencies":[{"issue_id":"loop-bih.10","depends_on_id":"loop-bih","type":"parent-child","created_at":"2026-02-19T16:12:00Z","created_by":"Rand Arete","metadata":"{}"}]}
 {"id":"loop-bih.11","title":"M7-T11 crash residue cleanup and ignore hygiene","description":"Classify and remove generated residue from crash session, add ignore guards, and preserve only intentional artifacts.","notes":"Noise cleanup and ignore hygiene in progress.","status":"closed","priority":2,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-19T23:27:31Z","created_by":"Rand Arete","updated_at":"2026-02-19T23:32:39Z","closed_at":"2026-02-19T23:32:39Z","close_reason":"Completed: removed crash residue and added root ignore guardrails.","labels":["execution-plan","m7"],"dependencies":[{"issue_id":"loop-bih.11","depends_on_id":"loop-bih","type":"parent-child","created_at":"2026-02-19T16:27:31Z","created_by":"Rand Arete","metadata":"{}"}]}