Repository navigation
PVI-1.3-4.3: PV-IMPROVE phases 1.3-4.3 under #2556: empty macro arm, scoped codegen, PV-ENF-003, one binding registry, Kani/Lean nightly receipts, registry:true removed, prose test -> predictio #2978
Description
DAG row PVI-1.3-4.3 — docs/specifications/pp-066-dag.yaml (epic #2873; spec: PP-066 §6).
Track: 0.67 · lane: 0.67 · host: any · owner: spec-owner · expiry: 2026-12-31 · quorum: per card when opened
Blockers (rows): P-1.1, P-0.2, P-0.5
Linked issues: —
A — acceptance (exit 0 = done):
kill if: per #2870
Contract: none (docs/decision)
Mutation → RED: none
Note: 0.67 lane: carried as data; expiry placeholder 2026-12-31 until the 0.67 spec dates it (D-4).
Filed by the PP-066 driver STEP 5; status tracked in the DAG (status: complete after the receipt docs/audits/impl-<ticket>-receipt.md).
Activity
noahgift commentedon Sep 23, 2026
triage 2026-09-23 (aprender-dd, standing triage owner): milestoned to 0.70.0, theme Fast Train (CI, gates, pv, release tooling, hygiene); it moved out of
backlog(the 2026-09-17 overflow bucket, not a release).noahgift commentedon Sep 25, 2026
Parked by APR-EPIC-001: over S2 budget (rank 34/38). Reopen = pull. Applied by aprender-d1 under a 3-lane quorum receipt (handoff/balance-quorum-rev4.json).