Repository navigation
ONT-3b: formalization.yaml gains model_of; a statement with no model earns no L4 #4073
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:610), verbatim: ONT-3b aprender · "ONT-3b: formalization.yaml gains model_of; a statement with no model earns no L4" · depends_on ONT-2b, ONT-3a, PVL EV-8b · K̂ 90 · closes PVL F5
- depends_on: ONT-2b, ONT-3a, PVL EV-8b
- K̂: 90
- 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
feat(ont): ONT-3b — a Lean module earns L4 only through a resolving m…
fold: ONT-3b #4073 ported to B3 Discharged API (GH-4082-ev8b-ont3b-b3…
fold: GH-4073-refine-callsite-test @3c0a1163c
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. Pushed branch:
GH-4073-refine-callsite-test.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