What's New in v3.5
Conceptual Changes
Three Loops as Description Logic Boxes
The defining change. Each loop maps to a formal DL box:
CK Loop → TBox (terminological) — what CAN exist
TOOL Loop → RBox (relational) — how things RELATE
DATA Loop → ABox (assertional) — what DOES existThis is not a metaphor. Each box is an independently-versioned volume with different write authority and git semantics. Read more →
Four-Layer Ontology Import Chain
CKP now grounds through established mid-level ontologies:
| Layer | Ontology | Scope |
|---|---|---|
| 0 | BFO 2020 | Upper ontology |
| 0.5 | IAO + CCO + PROV-O + ValueFlows | Information, agents, provenance, economics |
| 1 | CKP | Protocol: kernel, edge, instance, action |
| 2 | Per-kernel ontology.yaml | Domain-specific types |
Key reclassifications: KernelOntology → iao:Document, Instance → iao:DataItem, Kernel → cco:Agent, Action → iao:PlanSpecification. Read more →
Kernel-as-Datatype Rule
A kernel IS a datatype. ontology.yaml defines the type. storage/instances/ holds individuals. Empty ontology.yaml is a compliance failure, not an incomplete feature.
New Kernel Types
| Type | Process | NATS | Description |
|---|---|---|---|
| HOT | long-running | server listen + send | API service, always-on |
| COLD | execute + exit | send only | On-demand execution |
| INLINE | none (browser) | WSS + JWT | Browser-side JS with CK.Lib.Js |
| STATIC | none | none | Gateway serves files directly |
New Ontology Classes (alpha-6)
ckp:InlineKernel— podless browser-side kernelckp:StaticKernel— no process, gateway serves storage/web/ckp:Project— .ckproject declaration (cco:Organization)ckp:Reconciliation— operator reconciliation cycleckp:StorageMedium— FILESYSTEM / DOCUMENT_STORE / CONFIGMAPckp:DeploymentMethod— VOLUME / FILER / CONFIGMAP_DEPLOY / INLINE_DEPLOYckp:ServingDisposition— API / Web / NATS / Browser WSS
Physical Topology
- Three volumes per kernel via volume driver (TBox ReadOnly, RBox ReadOnly, ABox ReadWrite)
- Gateway split routing:
/action/*→ container,/*→ filesystem - Explicit version directories (
storage/web/v1/,v2/) — no weighted canary - Separation axiom enforced physically by volume
readOnly
CK.Operator
Replaces manual deployment tooling. A Kubernetes operator that reconciles .ckproject and conceptkernel.yaml into gateway resources. Watches cluster state, publishes events via NATS.
Implementation Patterns
Eight patterns extracted from production CKP deployments:
- Dual-Store — TBox in graph DB, ABox in document DB
- Classification — typed pipeline stage
- Quality Assessment — sosa:Observation
- Composition — OWL property validation
- Economic Event — ValueFlows for payments
- Pipeline Stage — PROV-O mandatory
- Provenance Mandate — every action traces
- Kernel Type Matrix — four deployment modes
PROV-O Mandate
No longer optional. Every action that produces an instance MUST record prov:wasGeneratedBy, prov:wasAttributedTo, prov:generatedAtTime. Enforced by check.provenance.
Deliberately Deferred
- CCO Geospatial, Facility, Time, Currency, Quality ontologies
- ODRL, Hydra Core, SWRL
- See full list →