Skip to content

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 exist

This 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:

LayerOntologyScope
0BFO 2020Upper ontology
0.5IAO + CCO + PROV-O + ValueFlowsInformation, agents, provenance, economics
1CKPProtocol: kernel, edge, instance, action
2Per-kernel ontology.yamlDomain-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

TypeProcessNATSDescription
HOTlong-runningserver listen + sendAPI service, always-on
COLDexecute + exitsend onlyOn-demand execution
INLINEnone (browser)WSS + JWTBrowser-side JS with CK.Lib.Js
STATICnonenoneGateway serves files directly

Read more →

New Ontology Classes (alpha-6)

  • ckp:InlineKernel — podless browser-side kernel
  • ckp:StaticKernel — no process, gateway serves storage/web/
  • ckp:Project — .ckproject declaration (cco:Organization)
  • ckp:Reconciliation — operator reconciliation cycle
  • ckp:StorageMedium — FILESYSTEM / DOCUMENT_STORE / CONFIGMAP
  • ckp:DeploymentMethod — VOLUME / FILER / CONFIGMAP_DEPLOY / INLINE_DEPLOY
  • ckp:ServingDisposition — API / Web / NATS / Browser WSS

Browse all classes →

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

Read more →

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.

Read more →

Implementation Patterns

Eight patterns extracted from production CKP deployments:

  1. Dual-Store — TBox in graph DB, ABox in document DB
  2. Classification — typed pipeline stage
  3. Quality Assessment — sosa:Observation
  4. Composition — OWL property validation
  5. Economic Event — ValueFlows for payments
  6. Pipeline Stage — PROV-O mandatory
  7. Provenance Mandate — every action traces
  8. 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 →

Released under the MIT License.