Repository navigation
ONT-2c: in-house OWL 2 EL writer; TBox check via the oracle, advisory #4071
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:599), verbatim: ONT-2c aprender · "ONT-2c: in-house OWL 2 EL writer; TBox check via the oracle, advisory" · depends_on ONT-2b, ONT-0 · K̂ 120
- depends_on: ONT-2b, ONT-0
- K̂: 120
- state: READY (the cop is staffing it)
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
ONT-2c: implementation receipt (#4071)
ONT-2c: CLI integration test for pv ontology + the tbox gate's Adviso…
ONT-2c: wire tests/ont2c_owl_tbox.rs into CI's explicit lane; registe…
ONT-2c: destructure Role exhaustively too, so a new role flag cannot …
ONT-2c: the ELK oracle's work dir is created exclusively; a pre-exist…
ONT-2c: quorum receipt — 3/3 PASS at 27315ed, degraded same-family (a…
docs(ONT-2c): re-quorum at 9fad260 — 3/3 PASS (agy gemini x3); indepe…
docs(ONT-2c): record the cop's ruling on the re-quorum and its ref at…
Merge origin/main into PMAT-4071 (ONT-2c); re-audit the pv cli.rs led…
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:
la-72/4071-tbox-differential-regen,PMAT-4071-receipts-onto-b3.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