This is the core vocabulary the Concept Kernel runtime ships and enforces. It governs the protocol's own operations: every governed write is validated against these shapes at commit. The namespace IRI is a stable handle — the vocabulary is versioned by the specification that governs it, and the IRI holds still so that every sealed instance, every client, and every example dereferences the same address across protocol epochs.
| Class | Meaning |
|---|---|
ckp:Kernel | A versioned, ontology-defined unit of behaviour. |
ckp:Organ | CK | TOOL | DATA. |
ckp:Affordance | Binds an inbound verb to an action. |
ckp:LedgerEntry | Append-only HMAC-authenticated audit record. |
ckp:Proof | Verifiable HMAC-backed attestation about an instance. |
ckp:Provenance | PROV-O subset for derivation. |
ckp:Proposal | A governed change to the kernel's own types — the entry to the governance plane. |
ckp:Vote | A participant's recorded position on a Proposal. |
ckp:QuorumLevel | The threshold a Proposal must clear to apply. |
ckp:Grant | Who may invoke which verb on which class. |
ckp:Transition | A declared, shape-gated state move. |
Each shape is the seal gate for its class: ckp:KernelShape, ckp:AffordanceShape, ckp:LedgerEntryShape, ckp:ProofShape, ckp:ProposalShape, ckp:VoteShape, ckp:GrantShape, ckp:TransitionShape. A candidate body that violates its shape is rejected at the seal.
Adopter types are project-scoped URNs, composed into the runtime alongside this core: urn:ckp:<project>/type/<Name> for classes, urn:ckp:<project>/prop/<name> for properties, urn:ckp:<project>/shape/<Name> for their gates. A domain concept is addressed by what it means.