|
83 | 83 | {"id":"loop-ljr","title":"Run Ops-Weekly cadence packet after loop-5va reconciliation","description":"Execute scripts/run_weekly_cadence_packet.sh using D-017 clean-clone tuple policy, then update evidence/tracker notes with current tuple results.","notes":"Ran weekly cadence packet with LOOP_MIN_AVAILABLE_MIB=3072 after fixing non-fatal rg parsing and heredoc quoting in run_weekly_cadence_packet.sh. Result: VG-RCC-001=pass, VG-LA-001=pass, VG-LA-002 advisory=936 passed, VG-RFLX-001=fail (cargo lock permission in /Users/rand/src/io-rflx).","status":"closed","priority":1,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-19T20:59:27Z","created_by":"Rand Arete","updated_at":"2026-02-19T21:02:17Z","closed_at":"2026-02-19T21:02:17Z","close_reason":"Weekly cadence packet executed; tuple/evidence refreshed with known VG-RFLX-001 environment failure."} |
84 | 84 | {"id":"loop-m0c","title":"Migration: recurse to rlm-core","description":"Migrate recurse from Go RLM implementation to rlm-core Go bindings.","design":"See detailed migration specification: docs/migration-spec-recurse.md\n\nSummary: 10-phase migration replacing Go RLM implementation (~200+ files) with rlm-core CGO bindings. Estimated 5-7 weeks.\n\nKey phases:\n1. Add rlm-core FFI dependency\n2. Migrate memory system → SqliteMemoryStore\n3. Migrate classification/routing → PatternClassifier, SmartRouter\n4. Migrate REPL → ReplPool/ReplHandle\n5. Migrate trajectory → TrajectoryEvent callbacks\n6. Migrate epistemic verification\n7. Migrate reasoning strategies (ToT, LATS)\n8. Migrate orchestrator\n9. Migrate learning/budget\n10. Cleanup legacy code\n\nGo TUI layer (~100+ files) remains in Go, communicating with rlm-core via CGO FFI.","notes":"Migration completed via loop-p95 (recurse-rlmcore fork).\n\nAll 10 phases done:\n1. ✓ Add rlm-core FFI dependency\n2. ✓ Migrate memory system → SqliteMemoryStore\n3. ✓ Migrate classification/routing → PatternClassifier\n4. ✓ Migrate REPL → ReplPool/ReplHandle\n5. ✓ Migrate trajectory → TrajectoryEvent callbacks\n6. ✓ Migrate epistemic verification\n7. ✓ Migrate reasoning strategies (ToT, LATS)\n8. ✓ Migrate orchestrator\n9. ✓ Migrate learning/budget → CostTracker\n10. ✓ Cleanup legacy code (integrated all bridges)\n\nImplementation in: ~/src/recurse-rlmcore (branch: rlm-core-migration)\nFeature flag: RLM_USE_CORE=true enables all rlm-core bridges.","status":"closed","priority":2,"issue_type":"task","created_at":"2026-01-15T16:08:48Z","updated_at":"2026-01-20T15:43:53Z","closed_at":"2026-01-20T15:43:53Z","close_reason":"Migration completed via loop-p95. All 10 phases done in recurse-rlmcore fork."} |
85 | 85 | {"id":"loop-m6h","title":"Fix HyperEdge Python bindings - missing member construction","description":"HyperEdge Python bindings create empty edges with no way to add node members. Need to add constructor that accepts node_ids and/or add_member method.","status":"closed","priority":1,"issue_type":"bug","created_at":"2026-01-16T20:11:51Z","updated_at":"2026-01-17T11:24:32Z","closed_at":"2026-01-17T11:24:32Z","close_reason":"Fixed - HyperEdge Python bindings now support member construction via with_member(), binary(), and store operations"} |
86 | | -{"id":"loop-nr7","title":"Comprehensive documentation architecture pass","description":"Build a comprehensive, high-quality docs system across conceptual, internals, developer, and user workflows with consistent voice, no em-dash punctuation, stronger cross-linking, and practical troubleshooting/reference coverage.","status":"in_progress","priority":1,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-20T17:03:21Z","created_by":"Rand Arete","updated_at":"2026-02-20T17:03:24Z"} |
| 86 | +{"id":"loop-nr7","title":"Comprehensive documentation architecture pass","description":"Build a comprehensive, high-quality docs system across conceptual, internals, developer, and user workflows with consistent voice, no em-dash punctuation, stronger cross-linking, and practical troubleshooting/reference coverage.","status":"closed","priority":1,"issue_type":"task","owner":"rand.arete@gmail.com","created_at":"2026-02-20T17:03:21Z","created_by":"Rand Arete","updated_at":"2026-02-20T17:09:01Z","closed_at":"2026-02-20T17:09:01Z","close_reason":"implemented + verified"} |
87 | 87 | {"id":"loop-nw2","title":"Phase 7: Claude Code Plugin Adapter","description":"Create adapter exposing rlm-core via MCP tools and hooks for Claude Code.\n\n## Deliverables\n- ClaudeCodeAdapter Python class\n- MCP tools: rlm_execute, rlm_status, memory_query, memory_store\n- Hooks: SessionStart, UserPromptSubmit, PreCompact\n- Skill integration\n\n## Technical Notes\n- Uses Python bindings from Phase 4\n- Replaces current rlm-claude-code implementation","acceptance_criteria":"- [ ] MCP tools work\n- [ ] Hooks integrate correctly\n- [ ] Existing functionality preserved\n- [ ] Integration tests pass","status":"closed","priority":1,"issue_type":"feature","assignee":"claude","created_at":"2026-01-15T16:08:34Z","updated_at":"2026-01-16T13:38:22Z","closed_at":"2026-01-16T13:38:22Z","close_reason":"Implemented Claude Code Plugin Adapter with MCP tools, hooks, skills. 45 tests passing."} |
88 | 88 | {"id":"loop-o99","title":"Dual-Track Sync Engine","description":"Implement bidirectional synchronization between Topos specs and Lean formalizations.\n\n## Tasks\n- [ ] DualTrackSync struct with Topos and Lean project paths\n- [ ] Drift detection (structural and semantic comparison)\n- [ ] Topos → Lean generation (concepts → structures, behaviors → function specs)\n- [ ] Lean → Topos updates (reverse sync)\n- [ ] Formalization level support (Types, Invariants, Contracts, FullProofs)\n- [ ] CLI commands: sync, drift, formalize\n- [ ] Tests for sync scenarios and conflict resolution\n\n## Technical Notes\n- Semantic drift detection may use LLM for comparison\n- Generation respects formalization level setting\n- Conflicts flagged for human resolution\n\n## References\n- Design: docs/lean-formal-verification-design.md#4-topos-lean-dual-track-sync","status":"closed","priority":2,"issue_type":"feature","assignee":"claude","created_at":"2026-01-16T10:32:45Z","updated_at":"2026-01-16T12:14:28Z","closed_at":"2026-01-16T12:14:28Z","close_reason":"Completed: Dual-Track Sync with drift detection, bidirectional generators, Topos↔Lean sync - 91KB code"} |
89 | 89 | {"id":"loop-o9r","title":"BootstrapFewShot Optimizer","description":"Implement DSPy-style automatic optimization via BootstrapFewShot.\n\n## Background\n\nDSPy's BootstrapFewShot:\n- Runs module on training data with temperature=1.0\n- Filters examples meeting metric threshold\n- Composes demonstrations from successful traces\n- Returns module with injected few-shot examples\n\n## Requirements\n\n### SPEC-24.01: Optimizer Trait\n```rust\npub trait Optimizer {\n fn compile\u003cS: Signature, M: Module\u003cSignature = S\u003e\u003e(\n \u0026self,\n module: M,\n trainset: \u0026[Example\u003cS\u003e],\n metric: impl Fn(\u0026S::Outputs, \u0026S::Outputs) -\u003e f64,\n ) -\u003e Result\u003cOptimizedModule\u003cS, M\u003e\u003e;\n}\n```\n\n### SPEC-24.02: BootstrapFewShot Configuration\n```rust\npub struct BootstrapFewShot {\n /// Maximum bootstrapped demonstrations to include\n pub max_bootstrapped_demos: usize, // default: 4\n /// Maximum labeled demonstrations from trainset\n pub max_labeled_demos: usize, // default: 16\n /// Number of bootstrap rounds\n pub max_rounds: usize, // default: 1\n /// Minimum metric score for inclusion\n pub metric_threshold: f64, // default: 0.0\n /// Temperature for diverse sampling\n pub temperature: f64, // default: 1.0\n}\n```\n\n### SPEC-24.03: OptimizedModule\n```rust\npub struct OptimizedModule\u003cS: Signature, M: Module\u003cSignature = S\u003e\u003e {\n inner: M,\n demonstrations: Vec\u003cDemonstration\u003cS\u003e\u003e,\n optimization_stats: OptimizationStats,\n}\n\npub struct Demonstration\u003cS: Signature\u003e {\n pub inputs: S::Inputs,\n pub outputs: S::Outputs,\n pub trace: Option\u003cReasoningTrace\u003e,\n pub metric_score: f64,\n}\n```\n\n### SPEC-24.04: Optimization Process\n1. Run module on trainset with temperature=1.0\n2. Evaluate each output with metric function\n3. Filter examples meeting metric_threshold\n4. Rank by metric score\n5. Select top max_bootstrapped_demos\n6. Inject as few-shot demonstrations\n\n### SPEC-24.05: Metric Functions\n```rust\npub mod metrics {\n /// Exact match (for classification)\n pub fn exact_match\u003cT: PartialEq\u003e(pred: \u0026T, gold: \u0026T) -\u003e f64;\n \n /// F1 score (for extraction)\n pub fn f1_score(pred: \u0026[String], gold: \u0026[String]) -\u003e f64;\n \n /// Semantic similarity (requires embeddings)\n pub fn semantic_similarity(pred: \u0026str, gold: \u0026str, embedder: \u0026dyn Embedder) -\u003e f64;\n}\n```\n\n## Acceptance Criteria\n\n- [ ] Optimizer trait definition\n- [ ] BootstrapFewShot implementation\n- [ ] OptimizedModule wrapper\n- [ ] Built-in metric functions\n- [ ] Integration with Module/Signature system\n- [ ] Example optimization workflow","status":"closed","priority":2,"issue_type":"feature","assignee":"claude","created_at":"2026-01-20T16:17:20Z","updated_at":"2026-01-21T09:50:33Z","closed_at":"2026-01-21T09:50:33Z","close_reason":"Implemented SPEC-24.01-24.05: Optimizer trait, BootstrapFewShot configuration with presets (greedy/thorough), OptimizedModule wrapper, metrics module (exact_match, f1_score, jaccard, edit_distance, combine_weighted), OptimizationStats tracking"} |
|
0 commit comments