Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion docs/debt/r3-debt-paydown-ledger-2026-05-02.md
Original file line number Diff line number Diff line change
Expand Up @@ -82,7 +82,7 @@ The highest concentration is in Substrate-adjacent rows: operator authority, val
| Missing diagnostics-empty bootstrap gate | 2026-04-30 | R3 Substrate + Verification | Open | `diagnostics_empty_after_bootstrap` ratchet for new bootstrap authorities. |
| `test_runner.rs` predicate-language growth | 2026-04-30 | R3 Evaluator + PB | Partial | Bundle 4b: `.github/PULL_REQUEST_TEMPLATE.md` Evaluator-freeze section + `docs/debt/r3-bundle-4b-test-runner-freeze-receipt.md` enforce a named dissolution hook for any `test_runner.rs` edit; bespoke arms remain until dissolved per brief table. |
| `dsl/v3/std/emit_model.dag` facade | 2026-04-30 | R3 Substrate / Grounding | Open | Ratchet facade as non-canonical; retire when v2/CI resolves canonical v3 std. |
| Method-template consumer migration | 2026-04-30 | R3 Grounding | Partial | PR #1549 (`dfc61af7e`) lands Phase 1 audit (`docs/briefs/method-template-consumer-migration-audit.md`): enumerates Rust + `.dag` consumers of `*_method_templates` / `rust_method_wraps_result` / `rust_simple_method_specs`, leaf-first retirement order. Phase 2 execution PRs in flight (#1560 PB-Zero projection packet, #1561 `string_contains` registry classification). |
| Method-template consumer migration | 2026-04-30 | R3 Grounding | Partial | PR #1549 (`dfc61af7e`) lands Phase 1 audit (`docs/briefs/method-template-consumer-migration-audit.md`): enumerates Rust + `.dag` consumers of `*_method_templates` / `rust_method_wraps_result` / `rust_simple_method_specs`, leaf-first retirement order. Phase 1 partial closures: Gap 1 + Gap 2 active in Substrate; Gap 3 reference-only via `BootstrapAuthority` carrier #1554. Subsequent landings: #1560 PB-Zero projection packet (decision-gated), #1561 `string_contains` registry classification, #1568 Rust projection oracle / test helper. **Gap 4 + Gap 5 (build-step consumer surface, leaf migrations) remain blocked** on either Substrate build-pipeline support for ephemeral generated-source-root `.dag` imports (tied to #1558 dissolution-first reframe) or a Gap 5 design that avoids needing that surface. Grounding's calm-tern Phase 2 leaf migration parked until then. |
| Reflection completeness over-trusted | 2026-04-30 | R3 Verification | Open | Generated conformance walker or equivalent mechanical theorem. |
| Provider/API mirror multiplication risk | 2026-04-30 | R3 Grounding | Open | Shared service ingestion path before more provider mirrors. |
| Hand-Rust acceptance growth | 2026-04-30 | R3 Verification + Substrate | Open | `.dag` TestClaim capability for reflected-Dag structural assertions. |
Expand Down
Loading