P-1.1: #[contract] fails closed (#2699 in full): generated registry, compile_error! on missing name/equation/unparseable predicate, optional is the only silent spelling and warns, lib.rs: #2917

DAG row P-1.1 — 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-10-03 · quorum: N-lane design (macro fail-closed semantics)

Blockers (rows): P-0.6, DEC-D-11
Linked issues: —

A — acceptance (exit 0 = done):

• cargo test -p aprender-contracts-macros --test trybuild (missing contract -> compile error; optional -> warns)
• cargo build -p aprender-contracts-macros succeeds; the 10 dangling call sites are P-1.2, which ships in the same PR

Contract: contracts/pv-p-1-1-v1.yaml
Mutation → RED: restore the option_env! None => nothing path -> trybuild 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).