Skip to content

Commit fc73193

Browse files
committed
docs(v3.9.1): lift the introduction + concept-kernel openers to the front-page register
Lead with the kernel as sovereign meaning, not with 'a database' — PostgreSQL is named as the invisible engine, not the headline. Echoes the landing page: 'Meaning is the schema; the seal is the law; the door is the whole surface' / 'the engine stays invisible, the meaning stays sovereign, and the proof chain stays whole.'
1 parent 0ca8aba commit fc73193

2 files changed

Lines changed: 5 additions & 3 deletions

File tree

docs/v3.9/concept-kernel.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ description: "A concept kernel is a sovereign Material Entity whose types are on
55

66
# What a Concept Kernel Is
77

8-
A concept kernel is a sovereign unit of meaning that lives in a database. It is a **Material Entity** (BFO:0000040): a single, persistently-identified thing whose *types are ontology*. A kernel carries its own structure — RDF classes that name what kinds of thing exist, SHACL shapes that gate what may land, and OWL-RL rules that entail what follows. Meaning is the schema.
8+
A concept kernel is a sovereign unit of meaning — a single, persistently-identified thing that exists in its own right, a **Material Entity** in the precise sense of BFO 2020. It does not flicker in and out like a request; it persists through time, accumulates what it seals, and answers only for itself. Its *types are ontology*: RDF classes that name what kinds of thing may exist, SHACL shapes that gate what may land, and OWL-RL rules that entail what follows. Meaning is the schema.
99

1010
## Types that are ontology
1111

docs/v3.9/introduction.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,9 +5,11 @@ description: "Sovereign, semantic, self-governing state reached through one type
55

66
# Introduction to CKP v3.9.1
77

8-
The Concept Kernel Protocol makes a database the living home of **concept kernels** — units of meaning whose *types are ontology*, whose every change is **shape-gated, sealed, and proof-chained**, and whose only interface to the world is a single typed verb carried over NATS-WSS.
8+
A Concept Kernel is a unit of meaning that keeps its own counsel. Its types are ontology — RDF classes, SHACL shapes, OWL-RL rules, not hand-rolled columns. Its every change is **shape-gated, sealed, and proof-chained** the moment it lands. And it answers the world through a single typed word, carried over NATS-WSS. *Meaning is the schema; the seal is the law; the door is the whole surface.*
99

10-
This is **CKP v3.9.1 — Critical Isolation**. It is shipped, attested, and runnable today: the runtime is [pgCK](https://github.com/styk-tv/pgCK) `v0.4.17`, a PostgreSQL extension composed on the [pgRDF](https://github.com/styk-tv/pgRDF) semantic engine; the client is [cklib](https://github.com/ConceptKernel/CK.Lib.Js) `v1.5.3`, which speaks the protocol and nothing else.
10+
It lives inside PostgreSQL, and you would never know it. The engine that stores and reasons is invisible — no REST endpoint, no SQL handle, no query surface reaches it. What is sovereign is the meaning; what is provable is every step it has ever taken; what crosses the boundary is one verb and its typed payload. This is **CKP v3.9.1 — Critical Isolation**: the engine stays invisible, the meaning stays sovereign, and the proof chain stays whole.
11+
12+
It is shipped, attested, and runnable today — the runtime is [pgCK](https://github.com/styk-tv/pgCK) `v0.4.17` on the [pgRDF](https://github.com/styk-tv/pgRDF) semantic engine; the client is [cklib](https://github.com/ConceptKernel/CK.Lib.Js) `v1.5.3`, which speaks the protocol and nothing else.
1113

1214
## The claim, in one paragraph
1315

0 commit comments

Comments
 (0)