You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
<pclass="abstract">v3.5 extends the CKP ontology with base instance shapes inherited by all kernels, a materialised proof model with SHA-256 hash verification, PROV-O aligned provenance properties, and the kernel-as-datatype rule — every kernel's <code>ontology.yaml</code> is its type definition, and every instance is a typed individual. The ontology governs the tool, not the reverse.</p>
@@ -86,7 +86,7 @@ <h2>v3.5 Additions</h2>
86
86
<tr><td>Action Class</td><td>core.ttl</td><td><code>ckp:Action</code> (BFO Process) — every kernel exposes typed actions with access levels.</td></tr>
87
87
<tr><td>Edge Predicates</td><td>core.ttl</td><td>EXTENDS, COMPOSES, TRIGGERS — governance-loop relationship types for edges.</td></tr>
<pclass="abstract">v3.5-alpha6 extends the CKP ontology with four-layer import chain grounding (BFO 2020 + IAO + CCO + PROV-O + ValueFlows), new kernel types for podless and static deployments, project-level organization, operator reconciliation, and a complete serving/storage/deployment model. Every class is annotated with its IAO/CCO grounding where applicable.</p>
0 commit comments