Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
cd58157
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
59d6a9f
fix(ci): P5 SG-0 receipt for gunbc_ci; align selection docs
briansrls May 12, 2026
f2bcaea
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
3d82c87
chore(ci): retrigger checks after SG-0 PR-body discipline fix
briansrls May 12, 2026
71ef6fa
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
74e3aad
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
49ded1f
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
f01203b
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
02aed25
fix(ci): fail-closed gunbc_ci on bad edges and non-DAG prerequisites
briansrls May 12, 2026
ef6e0ee
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
208ffc5
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
598e50e
fix(ci): fail-closed on duplicate gate ids in gunbc_ci roster
briansrls May 12, 2026
47e9d23
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
ee9f09c
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
1653318
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
d9c3bd7
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
dd1dedc
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
bce13c0
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
541f00c
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
38553f1
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
aaf1fb5
WIP: S6 #103 Slice 7 affected-set implementation; brief at docs/brief…
briansrls May 12, 2026
4fb538e
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 12, 2026
679d14e
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
2873c8b
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
9e58d05
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
4fd6ca5
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
3cc6f4c
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
c69eb67
Merge remote-tracking branch 'origin/main' into session/swift-wren-365
briansrls May 13, 2026
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
1 change: 1 addition & 0 deletions INVARIANTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -347,6 +347,7 @@ Per **Dispatch-Discipline Mechanisms (b)**, each path in `EXPECTED_HAND_AUTHORED
| Path | Receipt |
|------|---------|
| `src/v3/compiler/src/cementing_dispatch.rs` | **ROADMAP:** `ROADMAP.md` — **v3 lens capability honesty pass** (same posture as `wiring_scanner_test.rs`). **Dissolution (host scan):** reflected wiring facts at the runner edge so dispatch does not read `tests/integration.rs` from disk. **Dissolution (receipt expansion):** move the `expected_cementing_receipt_triples` projection bridge out of Rust into structural `.dag` data keyed from the register ∩ `regen.dag` projection (single roster authority). **Interim ratchet:** `CementingDispatchMatchesProjection` + closed `CementingBandCReceiptKind` in `tests/dag/cementing_dispatch.dag`. |
| `src/v3/compiler/src/gunbc_ci.rs` | **ROADMAP:** `ROADMAP.md` § **Forward-Tracked Lane: T-Workflow-As-Data** (≈L57–L63; substrate lane feeding program gate **#103** `ci_uses_affected_set_selection` per `docs/r3-program-plan.md` + `docs/briefs/r3-wave1-s6-slice7-affected-set-impl-worker.md`). **Dissolution:** remove when `CIWorkflowDag` affected-gate dispatch is owned by `.dag` programs / generated `TestClaim` receipts (or the dag compiler emits selection) with **no** parallel Rust mirror over the `dsl/gunbc/ci.dag` carrier. **Interim ratchet:** `select_affected_gates` + in-module hermetic tests pin symmetric edge-expansion semantics consistent with `CIGateEdge { from, to }` in `dsl/gunbc/ci.dag`. |
| `src/v3/compiler/src/integration_rs_wiring_scan.rs` | **ROADMAP:** same **v3 lens capability honesty pass** bullet as `wiring_scanner_test.rs`. **Dissolution:** remove when `tests/integration.rs` cementing `#[path]` / `mod` wiring can be validated structurally (no line scanner). **Interim ratchet:** `Err` (not panic) on raw/byte string openers in **Code** so `CementingDispatchMatchesProjection` surfaces `ClaimResult::Fail`. |
| `src/v3/compiler/src/r3_gate_87_cementing_regen_runner_suites.rs` | **ROADMAP:** same **v3 lens capability honesty pass** / gate #87 closure. **Dissolution:** PB-B-1 gate-#87 harness inventory is generated or reflected as substrate facts (no hand-maintained `R3_GATE_87_CEMENTING_REGEN_SUITES` table); `t_pb_b_1_dag_runner_test`, `cementing_dispatch`, and `r3_gate_87_lens_cementing_regen_receipts_test` consume that single authority. **Interim ratchet:** one merge-visible table shared across those consumers (INVARIANTS P2 single authority). |

Expand Down
Loading
Loading