Skip to content

Commit fa9a164

Browse files
committed
Fix: ontology index pages — bare v3.5 refs → v3.5-alpha3 (no v3.5 release)
1 parent f6ae1ea commit fa9a164

4 files changed

Lines changed: 12 additions & 12 deletions

File tree

docs/public/ontology/v3.5-alpha3/index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -43,7 +43,7 @@ <h1>CKP Ontology v3.5 <span class="status status-alpha">Alpha-4</span></h1>
4343

4444
<dl class="meta">
4545
<dt>This version</dt>
46-
<dd><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">https://conceptkernel.org/ontology/v3.5/</a></dd>
46+
<dd><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">https://conceptkernel.org/ontology/v3.5-alpha3/</a></dd>
4747
<dt>Previous version</dt>
4848
<dd><a href="https://conceptkernel.org/ontology/v3.4/">https://conceptkernel.org/ontology/v3.4/</a> (stable)</dd>
4949
<dt>Namespace URI</dt>
@@ -65,8 +65,8 @@ <h2>Ontology Modules</h2>
6565
<table>
6666
<tr><th>Module</th><th>File</th><th>Description</th><th>BFO</th></tr>
6767
<tr><td>Core</td><td><a href="core.ttl">core.ttl</a></td><td>Kernel, Edge, Instance, HotKernel, ColdKernel, GovernanceMode, Action, InformationEntity, ConsensusProposal; edge predicates EXTENDS, COMPOSES, TRIGGERS</td><td class="bfo">0000040, 0000031, 0000015, 0000016</td></tr>
68-
<tr><td>Base Instances</td><td><a href="base-instances.ttl">base-instances.ttl</a> <span class="new-tag">v3.5</span></td><td>InstanceManifest, SealedInstance, LedgerEntry</td><td class="bfo">0000031</td></tr>
69-
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding.</td><td class="bfo">0000031</td></tr>
68+
<tr><td>Base Instances</td><td><a href="base-instances.ttl">base-instances.ttl</a> <span class="new-tag">v3.5-alpha3</span></td><td>InstanceManifest, SealedInstance, LedgerEntry</td><td class="bfo">0000031</td></tr>
69+
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5-alpha3</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding.</td><td class="bfo">0000031</td></tr>
7070
<tr><td>Kernel Metadata</td><td><a href="kernel-metadata.ttl">kernel-metadata.ttl</a></td><td>Metadata registry: Runtime, Capability, KernelStatus, dependencies, ports</td><td class="bfo">0000031, 0000019, 0000016</td></tr>
7171
<tr><td>Processes</td><td><a href="processes.ttl">processes.ttl</a></td><td>Invocation, EdgeCommunication, Consensus, Broadcast</td><td class="bfo">0000015</td></tr>
7272
<tr><td>Relations</td><td><a href="relations.ttl">relations.ttl</a></td><td>Properties, property chains, SWRL rules</td><td></td></tr>

docs/public/ontology/v3.5-alpha3/index.json

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"ontology": {
33
"name": "ConceptKernel BFO Ontology",
4-
"version": "v3.5",
4+
"version": "v3.5-alpha3",
55
"draft": "ALPHA",
66
"date": "2026-03-25",
77
"description": "Formal ontology mapping ConceptKernel architecture to Basic Formal Ontology (BFO)",
@@ -136,7 +136,7 @@
136136
"path": "ontology/v3.5/base-instances.ttl",
137137
"format": "text/turtle",
138138
"description": "Base instance shapes: InstanceManifest, SealedInstance, LedgerEntry (from SPEC.CKP.v3.5.alpha-3 Section 4.1)",
139-
"new_in": "v3.5",
139+
"new_in": "v3.5-alpha3",
140140
"coverage": {
141141
"entities": [
142142
"ckp:InstanceManifest",
@@ -158,7 +158,7 @@
158158
"path": "ontology/v3.5/proof.ttl",
159159
"format": "text/turtle",
160160
"description": "Proof verification: ProofRecord, ProofCheck, ProofOutcome, CheckType",
161-
"new_in": "v3.5",
161+
"new_in": "v3.5-alpha3",
162162
"coverage": {
163163
"entities": [
164164
"ckp:ProofRecord",

docs/public/ontology/v3.5-alpha6/index.html

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@
3636
<body>
3737
<div class="header">
3838
<span class="title"><a href="https://conceptkernel.org">Concept Kernel Protocol</a></span>
39-
<span><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">v3.5 (alpha-4)</a></span>
39+
<span><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">v3.5-alpha3</a></span>
4040
</div>
4141
<div class="container">
4242

@@ -46,7 +46,7 @@ <h1>CKP Ontology v3.5-alpha6 <span class="status status-alpha">Alpha-6</span></h
4646
<dt>This version</dt>
4747
<dd><a href="https://conceptkernel.org/ontology/v3.5-alpha6/">https://conceptkernel.org/ontology/v3.5-alpha6/</a></dd>
4848
<dt>Previous version</dt>
49-
<dd><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">https://conceptkernel.org/ontology/v3.5/</a> (alpha-4)</dd>
49+
<dd><a href="https://conceptkernel.org/ontology/v3.5-alpha3/">https://conceptkernel.org/ontology/v3.5-alpha3/</a> (v3.5-alpha3)</dd>
5050
<dt>Namespace URI</dt>
5151
<dd><code>https://conceptkernel.org/ontology/v3.5/</code></dd>
5252
<dt>Status</dt>
@@ -66,8 +66,8 @@ <h2>Ontology Modules</h2>
6666
<table>
6767
<tr><th>Module</th><th>File</th><th>Description</th><th>BFO</th></tr>
6868
<tr><td>Core</td><td><a href="core.ttl">core.ttl</a></td><td>Kernel, Edge, Instance, HotKernel, ColdKernel, <strong>InlineKernel</strong> <span class="alpha6-tag">a6</span>, <strong>StaticKernel</strong> <span class="alpha6-tag">a6</span>, <strong>Project</strong> <span class="alpha6-tag">a6</span>, GovernanceMode, Action, <strong>Reconciliation</strong> <span class="alpha6-tag">a6</span>, InformationEntity, ConsensusProposal; edge predicates EXTENDS, COMPOSES, TRIGGERS</td><td class="bfo">0000040, 0000031, 0000015, 0000016, 0000020</td></tr>
69-
<tr><td>Base Instances</td><td><a href="base-instances.ttl">base-instances.ttl</a> <span class="new-tag">v3.5</span></td><td>InstanceManifest, SealedInstance, LedgerEntry</td><td class="bfo">0000031</td></tr>
70-
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding.</td><td class="bfo">0000031</td></tr>
69+
<tr><td>Base Instances</td><td><a href="base-instances.ttl">base-instances.ttl</a> <span class="new-tag">v3.5-alpha3</span></td><td>InstanceManifest, SealedInstance, LedgerEntry</td><td class="bfo">0000031</td></tr>
70+
<tr><td>Proof</td><td><a href="proof.ttl">proof.ttl</a> <span class="new-tag">v3.5-alpha3</span></td><td>ProofRecord, ProofCheck, CheckType, ProofOutcome. SVID (SPIFFE identity) binding.</td><td class="bfo">0000031</td></tr>
7171
<tr><td>Kernel Metadata</td><td><a href="kernel-metadata.ttl">kernel-metadata.ttl</a></td><td>Metadata registry: Runtime, Capability, KernelStatus, dependencies, ports. <strong>StorageMedium</strong> <span class="alpha6-tag">a6</span>, <strong>DeploymentMethod</strong> <span class="alpha6-tag">a6</span>, <strong>ServingDisposition</strong> <span class="alpha6-tag">a6</span></td><td class="bfo">0000031, 0000019, 0000016</td></tr>
7272
<tr><td>Processes</td><td><a href="processes.ttl">processes.ttl</a></td><td>Invocation, EdgeCommunication, Consensus, Broadcast</td><td class="bfo">0000015</td></tr>
7373
<tr><td>Relations</td><td><a href="relations.ttl">relations.ttl</a></td><td>Properties, property chains, SWRL rules. <strong>belongsToProject, hasKernel, hasStorageMedium, hasServingDisposition, hasDeploymentMethod, reconciles</strong> <span class="alpha6-tag">a6</span></td><td></td></tr>

docs/public/ontology/v3.5-alpha6/index.json

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -174,7 +174,7 @@
174174
"path": "ontology/v3.5-alpha6/base-instances.ttl",
175175
"format": "text/turtle",
176176
"description": "Base instance shapes: InstanceManifest, SealedInstance, LedgerEntry (from SPEC.CKP.v3.5.alpha-3 Section 4.1)",
177-
"new_in": "v3.5",
177+
"new_in": "v3.5-alpha3",
178178
"coverage": {
179179
"entities": [
180180
"ckp:InstanceManifest",
@@ -196,7 +196,7 @@
196196
"path": "ontology/v3.5-alpha6/proof.ttl",
197197
"format": "text/turtle",
198198
"description": "Proof verification: ProofRecord, ProofCheck, ProofOutcome, CheckType",
199-
"new_in": "v3.5",
199+
"new_in": "v3.5-alpha3",
200200
"coverage": {
201201
"entities": [
202202
"ckp:ProofRecord",

0 commit comments

Comments
 (0)