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
3 changes: 2 additions & 1 deletion docs/r2-closure-ledger.md
Original file line number Diff line number Diff line change
Expand Up @@ -144,7 +144,8 @@ Granularity column distinguishes whether the row tracks a full lane, a sub-lane,
| **R3-continuation: T-LensProducer-Retirement** | lane (3 internal sub-gates) | one program; sub-gate granularity per Director cascade Item 8 | `lens_producer_retirement_subgate_1_structural` + `lens_producer_retirement_subgate_2_structural` + `lens_producer_retirement_subgate_3_structural` | not-started | — | **Reports as one row with three sub-gates, NOT three lanes** (per dispatch directive). |
| **R3-continuation: T-FixedPoint** | sub-gate progress | fixed-point lane | tracked in R3 ledger at standup | not-started | — | Evaluator-gated. |
| **R3-continuation: T-Tier3-Dissolution** | sub-gate progress | Tier 3 dissolution at R3 scope | tracked in R3 ledger at standup | not-started | — | Evaluator-gated. |
| **R3-continuation: 3 distributed bridge retirements** | sub-gate progress | 3 PB-side bridges from T-Bridge-Retirement distribution map | tracked in R3 ledger at standup | in-flight | #1171, #1183, #1192 | **PB-side slices landed:** pipeline `include_str` side channel (#1171); canonical lens-name dispatch (#1183); lower-helper `patch_lower_helpers_*` residual ratchet (#1192). Unified Verification gate **`bridge_retirement_ledger_zero`** remains **R3 / Verification Manager** — row stays **in-flight** until that ledger fires, not **green** here. |
| **R3-continuation: 3 distributed bridge retirements** | sub-gate progress | Aggregate PB-side bridges from T-Bridge-Retirement distribution map (**narrow landed slices** vs outstanding **`include_str`** bridge — split below) | tracked in R3 ledger at standup | in-flight | #1183, #1192, #1171 (suspend), [#1282](https://github.com/gunb-ai/gunbc/pull/1282) | **Narrow slices landed:** canonical lens-name dispatch (#1183); lower-helper `patch_lower_helpers_*` residual ratchet (#1192). **`bridge_include_str_side_channels_retired`** is **not** structurally closed — **dedicated row** below (#1171 **suspended** `reconcile_with_compile_body`; **5-bridge** audit **#1282**). Unified Verification gate **`bridge_retirement_ledger_zero`** remains **R3 / Verification Manager** — aggregate stays **in-flight**. |
| **R3-continuation: bridge_include_str_side_channels_retired (distribution map #4)** | sub-gate progress | PB-owned **`include_str!`** pipeline side-channel retirement (`pipeline_authority.rs`); emission compile-body authority per [`design-emission-model.md`](design-emission-model.md) | `bridge_include_str_side_channels_retired` | in-flight | #1171, [#1282](https://github.com/gunb-ai/gunbc/pull/1282) | **Outstanding — waiting:** #1171 **suspended** `reconcile_with_compile_body` rather than swapping **`include_str!`** for runtime IO; gate **open** until **structural compile-body witness** / derivation lands (~[`design-emission-model.md`](design-emission-model.md) posture). **Distribution-map owner:** PB Manager ([`docs/r3-structure.md`](r3-structure.md) bridge **#4**). **Ownership clarification (Director-flagged):** witness/carrier shape may route through **Substrate** — PB vs Substrate split **next dispatch**. Verification Manager owns unified **`bridge_retirement_ledger_zero`** audit gate, not per-bridge retirement execution. |

### Evaluator Manager — T-Evaluator

Expand Down
Loading