Repository navigation
P-0.4: honest headline: kernel · descriptive · fleet figures derived by pv status --headline; README checked as a floor (#2630) (FALSIFY-PVI-004) #2914
Description
DAG row P-0.4 — 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: teamwork
Blockers (rows): P-0.3, DEC-D-11
Linked issues: —
A — acceptance (exit 0 = done):
. scripts/pv_bin.sh && "$PV" status --headline prints the three figures; crates/aprender-core/tests/readme_contract.rs checks README as a floor
Contract: contracts/pv-p-0-4-v1.yaml
Mutation → RED: type a headline number by hand -> readme_contract 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).
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 31/38). Reopen = pull. Applied by aprender-d1 under a 3-lane quorum receipt (handoff/balance-quorum-rev4.json).