P-0.2: derived verification_summary (#2648 b): pv validate errors on drift; the 17 known drifts fixed (FALSIFY-PVI-002) #2913

DAG row P-0.2 — 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): DEC-D-11
Linked issues: —

A — acceptance (exit 0 = done):

• . scripts/pv_bin.sh && "$PV" validate contracts/ exits non-zero on a fixture whose total_obligations != len(proof_obligations)
• the 17 drifted contracts validate

Contract: contracts/pv-p-0-2-v1.yaml
Mutation → RED: re-accept a drifted summary -> 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).