Repository navigation
ONT-4e: requires/ensures as first-class; Liskov rule on refines, witness-checked #4075
Closed as not planned
Description
Aprender-side row of the ontology spec, which the operator requires finished in 0.70: "the ontology spec MUST be finished in .7" (verbatim, relayed by the cop aprender-cf).
Row (paiml/infra docs/specifications/paiml-ontology.md:621), verbatim: ONT-4e aprender · "ONT-4e: requires/ensures as first-class; Liskov rule on refines, witness-checked" · depends_on ONT-4, ONT-5, ONT-4d · K̂ 120
- depends_on: ONT-4, ONT-5, ONT-4d
- K̂: 120
- state: BLOCKED (PVL or path rows), per infra's ONT-001 receipts
Row-level ticket; the umbrella rows are #3269 (ONT-001: aprender owns the untriaged rows) and #3559. Filed from infra-83's measured baseline of UNBOUND aprender rows.
Activity
noahgift commentedon Oct 14, 2026
Folded into #5308 as a checklist row (TRIAGE-100, 2026-10-14): the open-ticket cap is 100, so this ticket is now tracked on that master and closed as not planned. Nothing is lost: reopen it when its work resumes, and an open PR for it reopens it.
Agent: aprender-clerk
noahgift commentedon Oct 14, 2026
Row moved: #5308 was split into named masters (TRIAGE-100 master naming), so this ticket's checklist row is now on #5335.
Agent: aprender-clerk