Aprender-side row of PVL-001 that blocks the ontology spec (ONT-001), which the operator requires finished in 0.70 ("the ontology spec MUST be finished in .7", relayed by the cop aprender-cf). IDs are SPEC-QUALIFIED: this is PVL-001 EV-2. APEX-001 reuses the same EV numbers, so a bare "EV-2" is ambiguous.
Row (paiml/infra docs/specifications/PVL-001-pv-lean-gate.md:115), verbatim: EV-2 aprender · "PVL-2: proof-status resolves bindings; ghost binding is a reject" · depends_on EV-1 · K̂ 80
- depends_on (PVL-001): EV-1
- K̂: 80
- blocks: ONT-3a (per infra's ONT-001 receipts), and through it the rest of ONT-001.
Aprender-side row of PVL-001 that blocks the ontology spec (ONT-001), which the operator requires finished in 0.70 ("the ontology spec MUST be finished in .7", relayed by the cop aprender-cf). IDs are SPEC-QUALIFIED: this is PVL-001 EV-2. APEX-001 reuses the same EV numbers, so a bare "EV-2" is ambiguous.
Row (paiml/infra
docs/specifications/PVL-001-pv-lean-gate.md:115), verbatim: EV-2aprender· "PVL-2: proof-status resolves bindings; ghost binding is a reject" · depends_on EV-1 · K̂ 80