P-0.5: freeze the archived upstream: port the two stranded commits + the dirty manzana binding; remove the ../provable-contracts/lean fallback; ARCHIVED-UPSTREAM.md; untrack the 10 .pv/ c #2915

DAG row P-0.5 — 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):

• git ls-files | grep -c "\.pv/" prints 0
• grep -rn "../provable-contracts" crates/aprender-contracts/src prints nothing
• ARCHIVED-UPSTREAM.md exists

Contract: contracts/pv-p-0-5-v1.yaml
Mutation → RED: re-add the fallback path -> the no-fallback test 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).