You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
P-0.6: pv lint as its own CI step with --min-score 0.48 (basis=measured mean score 0.48 Grade D at b1a6324b8, #2870 ledger — a floor at the current value, never an aspiration), shrink-onl #2912
DAG row P-0.6 — docs/specifications/pp-066-dag.yaml (epic #2873; spec: #2870 phase 0/1 text (improve-provable-contracts.md not in tree); PP-066 §5 Track P).
Track: P · lane: 0.66 · host: intel (CI runner) for P-0.6, else any · owner: spec-owner · expiry: 2026-09-26 · quorum: review-only
Blockers (rows):P-0.3, DEC-D-11 Linked issues: —
A — acceptance (exit 0 = done):
the ci.yml step (via scripts/pv_bin.sh) exits 0 at HEAD and prints warnings=1082 score>=0.48
bash scripts/check_pv_lint_step.sh --selftest (a contract adding one warning -> RED)
bash scripts/check_baseline_ratchets.sh PASS with the new baseline classified
Contract:contracts/pv-p-0-6-v1.yaml Mutation → RED: add a hollow contract carrying one new warning -> RED
Filed by the PP-066 driver STEP 5; status tracked in the DAG (status: complete after the receipt docs/audits/impl-<ticket>-receipt.md).
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).
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 24, 2026
PP-066 triage (0.70, cop ruling): closing as duplicate of #2870, which stays open and carries this work.