Skip to content
Closed
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
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
7 changes: 7 additions & 0 deletions docs/briefs/v3-v4-interim-validation-ledger.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# v3/v4 Interim Validation Ledger

This ledger records PR-level dispositions for v4 validation proposals that would otherwise add or preserve v3 hand-authored Rust integration tests. The default under the Rust-to-0 review gate is that new `src/v3/compiler/tests/integration/v4_*_smoke_test.rs` receipts do not land as interim v4 validation.

| PR | Proposed receipt | Disposition | Preferred receipt |
| --- | --- | --- | --- |
| `#3330` | `src/v3/compiler/tests/integration/v4_test_bootstrap_wave0_smoke_test.rs`, a new v3 hand-Rust parse-surface ratchet over `src/v4/lens/testgen.dag`, `src/v4/workflow/bootstrap.dag`, and `src/v4/workflow/ci.dag`. | **Dropped before merge.** This was new interim v4-validation debt, not grandfathered. It is not listed in `EXPECTED_HAND_AUTHORED_TEST`, has no `INVARIANTS.md` P5 row, and is not wired from `src/v3/compiler/tests/integration.rs`. | Use non-census substrate/build receipts: CI `v4` / `v2-compiler compile --source-root src/v4 --target dag` for whole-tree v4 parse/resolve viability, plus the T-19/T-20/T-22/T-24 `.dag` authority PRs and their generated/TestClaim follow-ups for semantic surface checks. |
Loading