Ontology coverage: extractors, focus nodes and typed entities (ONT-4/5/9) #5335

Scope

Ontology build-out (ONT-4, ONT-5, ONT-9): extractors, focus nodes and typed entities that are not yet covered.

Why it matters

The ontology answers what exists and what is verified. Gaps here are questions it cannot answer yet.

Done when

Each row below lands its extractor or entity with a test, or is closed as no longer needed.

Parent epic: #3269.

Rows

• ONT-001 to 80% in 0.69 (≈7 more rows) with SHACL armed and falsifiable — and the §11 one-row-per-train conflict this creates #3559 — ONT-001 to 80% in 0.69 (≈7 more rows) with SHACL armed and falsifiable — and the §11 one-row-per-train conflict this creates (branch: 0d/3559-ghosts)
• Docs, all 1037 examples and the cookbook: pv-SHACL validated and current for Qwen3.5 (6 of ~1500 artifacts mention it today) #3560 — Docs, all 1037 examples and the cookbook: pv-SHACL validated and current for Qwen3.5 (6 of ~1500 artifacts mention it today) (branch: c1/3560-r5-on-4502)
• binary-debt #1: ledger + DERIVED-universe guard (BINARY_DEBT ≤ 22, LEGACY_NAMES ≤ 13 at 0.70) — a new binary must be classified #4058 — binary-debt Feature Request: Decision Tree & Random Forest for Classification Tasks #1: ledger + DERIVED-universe guard (BINARY_DEBT ≤ 22, LEGACY_NAMES ≤ 13 at 0.70) — a new binary must be classified (branch: feat/4058-binary-debt-ledger)
• 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:KernelSymbol ⊑ ont:Symbol, v4.15) (branch: c1/4069-ont-4c4-fresh)
• ONT-4d: subsumption in Σ; shapes inherit down the hierarchy #4070 — ONT-4d: subsumption in Σ; shapes inherit down the hierarchy (branch: df/4070-ont4d-fixture-sigma)
• ONT-2c: in-house OWL 2 EL writer; TBox check via the oracle, advisory #4071 — ONT-2c: in-house OWL 2 EL writer; TBox check via the oracle, advisory (branch: la-72/4071-tbox-differential-regen)
• 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 (branch: GH-4073-refine-callsite-test)
• ONT-5: pv-sat offline behind a bin boundary; witness checked in the gate; two positive controls #4074 — ONT-5: pv-sat offline behind a bin boundary; witness checked in the gate; two positive controls
• ONT-4e: requires/ensures as first-class; Liskov rule on refines, witness-checked #4075 — ONT-4e: requires/ensures as first-class; Liskov rule on refines, witness-checked
• 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-solution generation (branch: PMAT-4078-ont-9)
• 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 focus nodes (ONT-001 v4.16) (branch: PMAT-4330-ont-4f-github-entities)
• ont extract:example ignores [[example]] targets — apr-cookbook read 0 of 1825 examples and passed #4466 — ont extract:example ignores [[example]] targets — apr-cookbook read 0 of 1825 examples and passed (branch: fix/4466-example-targets)
• ONT coverage P0: make contracts stops after pv lint (.ONESHELL exit); extract --check not on PRs; per-entity-type shape coverage ratchet #4475 — ONT coverage P0: make contracts stops after pv lint (.ONESHELL exit); extract --check not on PRs; per-entity-type shape coverage ratchet
• ONT-4g: every binary is an ONT-001 entity (Σ binary + extract:binary + surface_audit.csv ledger) #4476 — ONT-4g: every binary is an ONT-001 entity (Σ binary + extract:binary + surface_audit.csv ledger) (branch: 52/4476-ont4g-arm)
• FND-20260927-sigma-skips-crate-contracts: Σ extract must walk crates/*/contracts (PV-DUP-001 on non-identical stems) #4538 — FND-20260927-sigma-skips-crate-contracts: Σ extract must walk crates/*/contracts (PV-DUP-001 on non-identical stems) (branch: 6b/4538-sigma-crate-contracts)
• simular: serve command for web GET endpoints (post-0.70; 3 ONT-10 S13 rows marked 'unserved: GET') #4553 — simular: serve command for web GET endpoints (post-0.70; 3 ONT-10 S13 rows marked 'unserved: GET') (branch: feat/simular-serve-4553)
• apr code: record the prompt bytes sent and consumed, and exit ≠ 0 when consumed < sent (L22 slice 1) #5190 — apr code: record the prompt bytes sent and consumed, and exit ≠ 0 when consumed < sent (L22 slice 1)
• pv binary extractor: ledger rows naming a non-default feature (unblocks arming the apr surfaces) #5304 — pv binary extractor: ledger rows naming a non-default feature (unblocks arming the apr surfaces)

Each row was a separate ticket, folded here under the 100-open-ticket cap (TRIAGE-100, 2026-10-14) and closed as not planned. Reopen a row's ticket when its work starts; an open PR for it reopens it.

Agent: aprender-clerk