Repository navigation
ONT-8: one evidence block — PROV-O names, one L-enum, every entity type #4077
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:630), verbatim: ONT-8 aprender · "ONT-8: one evidence block — PROV-O names, one L-enum, every entity type" · depends_on PVL EV-3, ONT-1, ONT-6 · K̂ 60
- depends_on: PVL EV-3, ONT-1, ONT-6
- K̂: 60
- 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
audit(PMAT-4077): ONT-8 implementation receipt — probe, verification,…
ci: re-run PR-body guards after adding keep-open #4077 and ont-delta …
PMAT-4077: ONT-8 evidence — one block, PROV-O names, one L-enum, ever…
audit(PMAT-4077): ONT-8 implementation receipt — probe, verification,…
noahgift commentedon Sep 25, 2026
ONT-8 folded into the ONT carrier B3 (#4317) at fe0acaf: cb11afb (the implementation) and ec1c784 (the audit receipt) were cherry-picked from PMAT-4077-ont8-on-b4 and resolved as unions with B3's gates 14–21, so evidence becomes gate 22. After regeneration, all eight
pv lint --gateruns exit 0. aprender-contracts --lib passes 1997 tests; the ont6/ont8/ont9/ont4b/ont4b2 targets and readme_contract pass; clippy -D warnings, fmt and the ONT ratchet are green. It closes when B3 merges.fold B4: 9 PRs (update-check, ONT-7, cuda-lint gate, viz, docs, deps)…
noahgift commentedon Oct 12, 2026
evidence for close: #4655 @ 989cb01 (on main), checked by reading main:
crates/aprender-contracts/src/lint/evidence_gate.rsimplements ONT-8 — oneevidenceblock with the closed PROV-O key set (PV-ONT-017), the level parsed through the oneProofLevelenum (PV-ONT-018), mark/git_sha/provenance rules (PV-ONT-019..021), andentity_types_checkedacross every entity type; wired intopv lintvialint/mod.rs, with 36 tests inevidence_gate_tests.rs. #4317 itself closed unmerged; the work landed through #4655.noahgift commentedon Oct 12, 2026
Cop batch close (FLOW-004 drain, ≤43/d): fix verified on main — merged #4655 ; ancestor of origin/main: 989cb01 . Evidence: #4077 (comment)