EPIC E0 0.70: Ontology (ONT-001) #3269

owner: apr-embed (re-owned 2026-10-09 by clerk aprender-3e for cop aprender-13: works child #3715 (ladder cells, 2026-10-09))

Spec: APR-EPIC-001 §2 · Epic: E0 · Train: 0.70 · Successor at cut: S2

Theme

Ontology (ONT-001)

done_when

rows bound/total ≥ 0.80 (pv lint --gate shapes at the tag sha); entity types 9/9; ghost bindings = 0; shapes over zero focus nodes = RED; ONT-10 releases aprender-contracts-cli; #3715's SHACL shape refuses the 0.70 tag on any missing cell; #3559 ruling recorded.

Budget

At most 13 open children (docs/roadmaps/epics.yaml). Repo-wide cap 100 open issues; andon at 95.

Absorbs

#4071, #4072, #4073, #3847, #4069, #3972, #4047, #4070, #4075, #4330, #4074, #4077, #4078, #4079, #3715, #3856, #3559, #3560, #4319, #4379, #4420, #3610, #3611, #3624, #4100

Prior body

Why this is filed

ONT-001 v4.3 (infra/docs/specifications/paiml-ontology.md) §6 assigns aprender every ontology row but three. Measured on main @ fa6e35f23, 2026-09-14: 1 of 17 rows merged, and 1 ticket in this repo (#3222, closed, no milestone). Sixteen rows of upstream-assigned work had no ticket, no milestone and no owner here — untriaged, which is P0 by standing rule. This epic is the triage, not a promise to finish by the due date (see Horizon).

Baseline — derive, don't quote

Two of these are load-bearing:

1. pv kaizen is blind to every surface that is not Rust. The release train sweeps the (crate, feature) matrix, examples, README.md, CLAUDE.md, workflows, model files and CSVs — and the loop that is supposed to improve on each sweep cannot see one of them. ONT-001 R-17 is exactly this: one structure, any entity type.
2. infra main tracks ONT-001 v3.1 (f1269d0, infra#570); v4.3 — the version this epic and APR-RELEASE-001 §11 are measured against, sha256 512a16d5e09c… — is an untracked draft on one box. A quorum lane on gx10, yoga or mini cannot fetch the premise, so every ontology verdict it returns is unverifiable by construction. This is the one P0 here and it is fixed in infra (ONT-P), not in this repo — PR from docs/track-ont-001-ontology-spec. (Corrected 2026-09-14: first reported as "untracked, no history"; v3.1 is tracked.)

The 16 rows (owner: aprender)

Phase B — ONT-1 census · ONT-6 verdict lattice · ONT-2b formal: parse · ONT-2c
Phase C — ONT-3a extract:code · ONT-3b extract:lean / model_of (closes PVL F5) · ONT-4 Σ · ONT-4b extract:pv-contract · ONT-4c readme / llm-context / apr-model / csv · ONT-4d subsumption + inherited shapes · ONT-4e requires/ensures + Liskov on refines
Phase D — ONT-5 consistency + witness · ONT-7 · ONT-8 PROV-O · ONT-9 self-application · ONT-10 release

Not ours: ONT-P, ONT-0 (infra) · ONT-11 (pmat).

Process

APR-RELEASE-001 §11 (PR #3268) governs the cadence: one row per train, every gate lands unarmed (R-8), five ratchet counters move only through make ont-ratchet (R-6), and every surface sweep closes with an ontology delta or a named ont-delta: none <reason>. §11.4 is the payoff — quorum premises cite contract ids instead of prose, verdicts are ONT-6 lattice elements, and reduce is meet = min rather than a vote count.

Horizon — stated, not promised

16 rows at one per train, trains every 2–3 days ⇒ ≈40 days [A]. Milestone capacity at 6.1 closures/day (trailing 7 d, measured 2026-09-14): 0.68.0 over by 45 d, 0.69.0 over by 5 d, 0.70.0 fits by 28 — so this epic is filed to 0.70.0 and its rows spill forward by §6.3 like any other work. Filed as one epic rather than 16 issues on purpose: arrival already outruns closure 2:1.

🤖 Generated with Claude Code

Parked

Closed over budget (APR-EPIC-001 rule 5). Reopen = pull (rule 7).

• ONT-4c4: kernel symbols as focus nodes — extract:kernel over extract:code (ont:KernelSymbol ⊑ ont:Symbol, v4.15) #4069 ONT-4c4: kernel symbols as focus nodes — extract:kernel over extract:code (ont:K — over E0 budget (rank 16/25)
• ONT-4d: subsumption in Σ; shapes inherit down the hierarchy #4070 ONT-4d: subsumption in Σ; shapes inherit down the hierarchy — over E0 budget (rank 14/25)
• ONT-3a: extract:code — bindings resolve fail-closed across the workspace, via syn #4072 ONT-3a: extract:code — bindings resolve fail-closed across the workspace, via sy — over E0 budget (rank 20/25)
• ONT-3b: formalization.yaml gains model_of; a statement with no model earns no L4 #4073 ONT-3b: formalization.yaml gains model_of; a statement with no model earns no L4 — over E0 budget (rank 22/25)
• ONT-9: the ontology has a contract; checker soundness by Kani and planted-solution generation #4078 ONT-9: the ontology has a contract; checker soundness by Kani and planted-soluti — over E0 budget (rank 23/25)
• ONT-10: release aprender-contracts-cli with ONT-0..9 (incl. 4d, 4e) — CI tags, operator publishes (RP-001) #4079 ONT-10: release aprender-contracts-cli with ONT-0..9 (incl. 4d, 4e) — CI tags, o — over E0 budget (rank 15/25)
• contracts/binding.yaml: apr-model-graph-v1 forward_pass_completeness claims implemented, but fn forward_pass does not exist (ghost binding) #4094 contracts/binding.yaml: apr-model-graph-v1 forward_pass_completeness claims impl — over E0 budget (rank 21/25)
• pv lint --gate shapes: the GLOBAL NoFocus decline prints no report — by_shape/declines exist only on the per-shape path (#3610 follow-up) #4100 pv lint --gate shapes: the GLOBAL NoFocus decline prints no report — by_shape/de — over E0 budget (rank 24/25)
• ONT-3a: 24 ghost bindings — implemented in binding.yaml, no item in the workspace #4319 ONT-3a: 24 ghost bindings — implemented in binding.yaml, no item in the workspac — over E0 budget (rank 25/25)
• ONT-4f: GitHub's own objects — repo, issue, pull-request, milestone — as typed focus nodes (ONT-001 v4.16) #4330 ONT-4f: GitHub's own objects — repo, issue, pull-request, milestone — as typed f — over E0 budget (rank 17/25)
• 213 restored binding.yaml rows name symbols that do not resolve (bindings-gate ghosts, #4369 follow-up) #4379 213 restored binding.yaml rows name symbols that do not resolve (bindings-gate g — over E0 budget (rank 18/25)
• bindings resolver: bin-only modules and OUT_DIR-generated items are invisible to the ONT-3a walk (5 allowlisted rows) #4420 bindings resolver: bin-only modules and OUT_DIR-generated items are invisible to — over E0 budget (rank 19/25)