|
19 | 19 | {"id":"loop-9mn","title":"Spec Agent Implementation","description":"Implement specialized agent for specification creation and refinement.","status":"closed","priority":1,"issue_type":"feature","created_at":"2026-01-16T10:32:52Z","updated_at":"2026-01-16T12:14:27Z","closed_at":"2026-01-16T12:14:27Z"} |
20 | 20 | {"id":"loop-9t4","title":"Phase 4: Python Bindings (PyO3)","description":"Create Python bindings for rlm-core using PyO3.\n\n## Deliverables\n- PyO3 build configuration\n- Core bindings: Orchestrator, MemoryStore, TrajectoryEmitter\n- Async support via asyncio\n- Type stubs for IDE support\n- PyPI-publishable package\n\n## Technical Notes\n- Use maturin for build\n- Support Python 3.11+\n- Full type annotations","acceptance_criteria":"- [ ] PyO3 bindings compile\n- [ ] All core traits exposed\n- [ ] Async operations work\n- [ ] Package installable via pip","status":"closed","priority":1,"issue_type":"feature","created_at":"2026-01-15T16:08:07Z","updated_at":"2026-01-15T17:29:58Z","closed_at":"2026-01-15T17:29:58Z","close_reason":"Complete - PyO3 bindings, maturin build, type stubs, all tests pass"} |
21 | 21 | {"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."} |
22 | | -{"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"]} |
| 22 | +{"id":"loop-azq","title":"Up-next critical SPEC refinements backlog","description":"Track up-next critical implementation scope following 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 immediate decomposition into executable tranche tasks.","status":"open","priority":0,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-20T00:57:15Z","created_by":"Rand Arete","updated_at":"2026-02-20T01:04:29Z","labels":["critical-scope","execution-plan","spec-gap","up-next"]} |
23 | 23 | {"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."} |
24 | 24 | {"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"]} |
25 | 25 | {"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":"{}"}]} |
|
0 commit comments