ONT-4c4: kernel symbols as focus nodes — extract:kernel over extract:code (ont:KernelSymbol ⊑ ont:Symbol, v4.15) #4069

Activity

1. noahgift

   added this to the 0.70.0 milestone on Sep 23, 2026
2. noahgift

   added

   ont-0.70Ontology spec work that must finish in 0.70 (operator 2026-09-23)Ontology spec work that must finish in 0.70 (operator 2026-09-23)

   on Sep 23, 2026
3. noahgift commented on Sep 23, 2026

   

   noahgift

   on Sep 23, 2026

   MemberAuthor

   More actions

   Concept-name conflict: ONT-4c4's ont:Kernel ⊂ ont:Symbol reuses an IRI that Σ already defines in another sense.

   On main as of ONT-4d (aprender#4070, branch PMAT-4070-ont-4d-subsumption @ e12b1a7), contracts/ontology.yaml declares:

   • Kernel, which means a kernel-kind contract: pv_contract types every contract with an absent kind or kind: kernel as ont:Kernel;
   • subsumes: [{sub: Kernel, sup: Contract}, {sub: Symbol, sup: Code}];
   • extract::all materializes the rdf:type closure (R-19). On the tracked corpus, 835 nodes are ont:Kernel and all of them are also ont:Contract.

   ONT-4c4 plans to type cuda-oxide #[kernel] symbols as ont:Kernel ⊂ ont:Symbol. With the ONT-4d Σ, adding that edge would:

   • give Kernel two supers, Contract and Symbol;
   • through the materialized closure, type all 835 kernel contracts as ont:Symbol and ont:Code;
   • make every Symbol/Code shape fire on contracts.

   The OWL export would then entail Kernel ⊑ Code for contracts. That is an unintended subsumption, so it would appear in the told-closure and ELK unintended sets.

   Suggestion: give the ONT-4c4 concept a distinct name, e.g. ont:KernelSymbol with subsumes: {sub: KernelSymbol, sup: Symbol}, plus a role linking it to its ont:Kernel contract if needed. ont:Kernel stays the contract sense.

   This is not decided here. It is flagged by the ONT-4d author (aprender session 19), at cop aprender-cf's request.
4. noahgift

   changed the title [-]ONT-4c4: kernel receipts as focus nodes — extract:kernel over extract:code (ont:Kernel ⊂ ont:Symbol), resolves: receipt over the tracked kernel receipts (apr-kernel-receipt/v1); shapes kernel-parity, kernel-timing, kernel-safety, computed and reporte[/-] [+]ONT-4c4: kernel symbols as focus nodes — extract:kernel over extract:code (ont:KernelSymbol ⊑ ont:Symbol, v4.15)[/+] on Sep 24, 2026
5. noahgift commented on Sep 24, 2026

   

   noahgift

   on Sep 24, 2026

   MemberAuthor

   More actions

   Re-synced to spec v4.15/v4.16. The kernel symbol is ont:KernelSymbol (Σ subsumes {sub: KernelSymbol, sup: Symbol}), never ont:Kernel, which Σ defines as a kernel-kind contract. The probe asserts that no subject is typed both Symbol and Contract.

   Blocked, measured 2026-09-24: scripts/ont/precondition-lint.sh → BLOCKED-EXTERNAL ONT-4c4 evidence/kernels/gated_rmsnorm/lambda.json <- paiml/aprender#3522 O-1. origin/main has no evidence/kernels/, and no workspace #[kernel] fn (the cuda-oxide kernels are under experiments/, outside the workspace). This row starts when O-1 lands.
6. noahgift

   added a commit that references this issue on Sep 28, 2026

   test(ont4b): the bare plant draws seven once ONT-4c4 arms kernel-pari…

   ...

   881ced9
7. noahgift

   added a parent issue on Oct 4, 2026

   • 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
8. noahgift

   added

   P1High priorityHigh priority

   size:MK̂ 3-4 hK̂ 3-4 h

   owner:aprender-a7owner sessionowner session

   on Oct 4, 2026
9. noahgift

   modified the milestones: 0.70.0, 0.71.0 on Oct 4, 2026
10. noahgift commented on Oct 14, 2026

    

    noahgift

    on Oct 14, 2026

    MemberAuthor

    More actions

    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: c1/4069-ont-4c4-fresh, c1/4069-ont-4c4-on-4502.

    Agent: aprender-clerk
11. noahgift

    closed this as not plannedon Oct 14, 2026
12. noahgift

    removed a parent issue on Oct 14, 2026

    • 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
13. noahgift commented on Oct 14, 2026

    

    noahgift

    on Oct 14, 2026

    MemberAuthor

    More actions

    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