clm-kernel 0.0.2__tar.gz → 0.0.4__tar.gz

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: clm-kernel
-Version: 0.0.2
+Version: 0.0.4
 Summary: Card Lifecycle Manager (CLM) Kernel — Sovereign Functional Agentic Operating System
 Author: GovTech Digital Identity & Autonomous Systems
 License: MIT
@@ -59,26 +59,31 @@ Description-Content-Type: text/markdown
 
 Card Lifecycle Manager (CLM) Kernel — Sovereign Functional Agentic Operating System.
 
-`clm-kernel` is the foundational Python implementation of the Cubical Logic Model (CLM), providing a stratified 5-layer architecture for sovereign, functional, deterministically auditable agentic execution.
+`clm-kernel` is the foundational Python implementation of the Cubical Logic Model (CLM), providing a stratified **six-layer** architecture (`layer0` … `layer5`) for sovereign, functional, deterministically auditable agentic execution.
+
+> **Layer model (DOC-02).** This package implements the six logical strata defined in
+> [`docs/architecture/six_layers_architecture.md`](../../docs/architecture/six_layers_architecture.md)
+> and [`docs/spec/20-architecture/system-architecture.md`](../../docs/spec/20-architecture/system-architecture.md).
+> The authoritative stratum ↔ package mapping is
+> [`docs/sprints/13_documentation-reconciliation/DOC-02-layer-model-reconciliation.md`](../../docs/sprints/13_documentation-reconciliation/DOC-02-layer-model-reconciliation.md).
 
 ## Architectural Layers
 
-- **Layer 0: Cryptographic Substrate & Storage**
-  - Content-addressable storage via BLAKE3 hashing
-  - Merkle DAG tree synthesis and verification
-  - TriDatabase manager and multi-agent Vector Clocks
-- **Layer 1: Type Lattice & Schema Model**
-  - Pydantic-backed invariant validation
-  - Deterministic AST transformations and MCard schemas
-- **Layer 2: Reactive Graph & CPN-VM**
-  - Coloured Petri Net (CPN) virtual machine
-  - Token passing, transition firings, and concurrency invariants
-- **Layer 3: Cordis Spatiotemporal Actor Model**
-  - Effect isolation, savepoints (`SavepointGuard`), and cleanup scopes (`DisposableList`)
-  - Monadic execution with rollback guarantees
-- **Layer 4: Sovereign Execution & Gateway**
-  - Full CLI (`clm`, `clmEval`)
-  - Triad Gateway and Model Context Protocol (MCP) server integration
+- **Layer 0: Stateless Kenotic Core (Microkernel)** (`clm/layer0/`)
+  - Pure algebraic primitives, AST parsers, codecs, hashing, and static schemas
+  - Content-addressable identity and MCard primitives
+- **Layer 1: Colored Petri Net (CPN) Virtual Machine** (`clm/layer1/`)
+  - Coloured Petri Net (CPN) virtual machine, token passing, transition firings
+  - Incidence-matrix / Noetherian invariant solving; Baldwin operator algebra
+- **Layer 2: Content-Addressable Storage (CAS) & Cordis Fiber Substrate** (`clm/layer2/`)
+  - Tri-Database storage, CAS/Merkle substrate, Cordis spatiotemporal fibers
+  - Effect isolation, savepoints (`SavepointGuard`), and cleanup scopes
+- **Layer 3: Distributed Network Gateway & Multi-Agent Coordination** (`clm/layer3/`)
+  - Reticulum mesh transport/discovery, Satori speech-act protocol, handle routing
+- **Layer 4: Human Interaction Surface & Conversational Programming** (`clm/layer4/`)
+  - Conversational gateways, presentation membranes, EOA sponsor signing, CLI (`clm`, `clmEval`)
+- **Layer 5: System Orchestration, Evaluator Engine & Playbooks** (`clm/layer5/`)
+  - Continuous-learning stratum ($\Gamma$), epistemic fitness ($\Delta E$), telemetry hooks
 
 ## Installation
 
@@ -102,14 +107,19 @@ clm init-tridb --path ./data
 ## Python API Quick Start
 
 ```python
-from clm.layer0.merkle import MerkleTree
-from clm.layer4 import SovereignExecutor
-
-# Create and verify Merkle DAG
-tree = MerkleTree()
-tree.insert("card-1", b"payload data")
-root_hash = tree.compute_root()
-print(f"Merkle Root: {root_hash}")
+from clm.layer0.hash import prefixed_hash
+from clm.layer0.mcard import MCardPayload, create_mcard, verify_mcard_integrity
+
+# Construct a content-addressed MCard (BLAKE3) and verify its integrity
+card = create_mcard(
+    uri="mcard://example/greeting",
+    payload=MCardPayload(kind="Text", value="payload data"),
+    author="did:clm:example",
+)
+
+print(f"Content hash: {prefixed_hash(b'payload data')}")  # blake3:<hex>
+print(f"Card hash:    {card.hash}")
+assert verify_mcard_integrity(card)
 ```
 
 ## License

clm_kernel-0.0.4/README.md

@@ -0,0 +1,251 @@
+Study 
+
+# Cubical Logic Model (CLM)
+
+[![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](LICENSE)
+[![Tests: 1,677 Passing](https://img.shields.io/badge/Tests-1%2C677%20Passing-brightgreen)](tests/)
+[![Rust: 2024 Edition](https://img.shields.io/badge/Rust-2024%20Edition-orange)](kernel/clm_rust_core/)
+[![Python: 3.10+](https://img.shields.io/badge/Python-3.10%2B-blue)](kernel/clm_py_core/)
+[![Node.js: 20+](https://img.shields.io/badge/Node.js-20%2B-green)](kernel/clm_js_core/)
+[![Polyglot Consensus: 100%](https://img.shields.io/badge/Polyglot%20Consensus-100%25-success)](tests/polyglot/)
+[![Boundary Gates: 24/24 Green](https://img.shields.io/badge/Boundary%20Gates-24%2F24%20Green-brightgreen)](tools/make/boundaries.mk)
+
+> **The Cubical Logic Model (CLM)** is a polyglot computational substrate and conversational operating system implementing the Kenotic Layer 0–5 strata. It unifies content-addressable storage (BLAKE3/SHA-256), Colored Petri Net workflows, and the Satori conversational speech act protocol across three equivalent, character-for-character identical runtimes: **Python**, **Rust**, and **TypeScript**.
+
+---
+
+## 🚀 Key Highlights & Performance
+
+- **Tri-Language Univalence**: Bit-for-bit and byte-for-byte identical evaluation across Python, Rust, and TypeScript with 100% consensus on all 108 polyglot test vectors.
+- **Microsecond Systems Substrate**: Rust native CPN transitions execute in $\le 25\mu\text{s}$, zero-copy rollback in $<0.1\text{ms}$, and WAL database throughput exceeds $>900\text{k}$ QPS.
+- **Architectural Certification**: 100% green across all 24 Layer Boundary Gates and 14 foundational architectural invariants (`INV-01` through `INV-14`).
+- **High-Velocity Parallel Fleet**: 1,677 tests executed in parallel in **14.79s** via `make test-parallel-fast` ($\le 30.0\text{s}$ target budget).
+
+---
+
+## 🛠️ Installation & Setup
+
+Before running the `clm` CLI or switching runtimes, install and activate the environment.
+
+### 1. Quick Install (From Source)
+
+Clone the repository, provision dependencies across all runtimes, and activate your shell:
+
+```bash
+# Clone repository
+git clone https://github.com/xlp0/CLM.git
+cd CLM
+
+# 1. Provision all multi-runtime dependencies, compile Rust core, & init databases
+make install    # or: make setup
+
+# 2. Activate Python virtual environment (adds 'clm' to your PATH)
+source .venv/bin/activate       # On macOS/Linux
+# source .venv/Scripts/activate # On Windows (PowerShell: .venv\Scripts\Activate.ps1)
+
+# 3. Verify installation
+clm version                     # or: clm --version
+```
+
+> **Zero-Activation Shortcut**: You can also use the repository's native root launcher directly without activating `.venv`:
+>
+> ```bash
+> ./clmEval evaluate assets/clm/manifests/example.yaml --json
+> ```
+
+### 2. Prerequisites & Toolchains
+
+- **Python**: 3.10+ (with `uv` or `pip` / `venv`)
+- **Rust**: 1.80+ (`cargo` with 2024 edition support)
+- **Node.js**: 20+ (`npm` or `pnpm`)
+- **Build Tools**: GNU Make 3.81+, SQLite 3.38+
+
+### 3. Granular Build Targets
+
+- **Recompile Rust Core**: `make build-rust` (`cargo build --release --features python`)
+- **Compile TypeScript Bundle**: `npm --prefix kernel/clm_js_core run build`
+- **Rebuild All Polyglot Targets**: `make build-all`
+
+### 4. Install Pre-built Packages
+
+Consume CLM directly via language-specific package managers:
+
+```bash
+pip install clm-kernel          # Python (PyPI)
+npm install clm-kernel clm-wasm # Node.js / Web (npm)
+cargo install clm-kernel        # Rust (crates.io)
+```
+
+> **Windows Developers**: Windows is fully supported natively (PowerShell / Git Bash) and via WSL. See [`docs/guides/windows-setup-and-practices.md`](docs/guides/windows-setup-and-practices.md) for automated bootstrap scripts, path normalization, and MSVC settings.
+
+---
+
+## 🌐 The Three Language Runtimes
+
+Under the **Kenotic Principle (`INV-01`)**, CLM strictly separates abstract specifications ($A$) from concrete host execution ($C$). It delivers three equivalent, interchangeable execution engines:
+
+```mermaid
+flowchart TD
+    SPEC["Universal Specification (A)<br/>YAML Schemas • CEL Dicts • CPN Graphs"]
+  
+    SPEC --> PY["<b>Python Runtime</b><br/>kernel/clm_py_core/ (clm-kernel)<br/>• Dynamic Duck-Typing & Pydantic v2<br/>• AI Agent Orchestration & REPL<br/>• PyO3 Native Acceleration Bridge"]
+  
+    SPEC --> RS["<b>Rust Microkernel</b><br/>kernel/clm_rust_core/ (clm-kernel)<br/>• Zero-Cost Systems Substrate<br/>• Sub-25µs Petri Net Transition<br/>• Bare-Metal Daemon & CLI Fastpath"]
+
+    SPEC --> TS["<b>TypeScript / JS Runtime</b><br/>kernel/clm_js_core/ (clm-kernel, clm-wasm)<br/>• Isomorphic V8 & WebAssembly<br/>• Cordis Reactive Plugin Micro-Harness<br/>• WebStudio & In-Browser CAS Storage"]
+
+    PY <===>|"Gate 23 (TypeInterpreter) & Gate 24 (TypedValue)"| RS
+    RS <===>|"Byte-Identical BLAKE3 & Marking Parity"| TS
+    TS <===>|"Universal Subcommand Grammar (USG)"| PY
+```
+
+### Runtime Capability & Performance Matrix
+
+| Runtime              | Implementation                                         | Primary Role                                               | Latency Profile                                              | Primary Target                 |
+| :------------------- | :----------------------------------------------------- | :--------------------------------------------------------- | :----------------------------------------------------------- | :----------------------------- |
+| **Python**     | `kernel/clm_py_core/` (`clm-kernel`)               | Reference model, AI agents, dynamic prototyping            | ~5ms (pure) / <2ms (PyO3)                                    | `clm` / `python -m clm`    |
+| **Rust**       | `kernel/clm_rust_core/` (`clm-kernel`)             | Systems microkernel, zero-copy CAS, high-throughput daemon | $\le 25\mu\text{s}$ transition, $<0.1\text{ms}$ rollback | `clm_rust_core` / native FFI |
+| **TypeScript** | `kernel/clm_js_core/` (`clm-kernel`, `clm-wasm`) | Web & edge runtime, Cordis plugins, in-browser CAS         | ~1ms V8 / WASM execution                                     | `npx clmEval` / Browser      |
+
+### 🔀 Transparent Runtime Selection (`CLM_RUNNER`)
+
+Once your environment is activated, CLM routes commands through a Universal Subcommand Grammar facade. Switch engines dynamically on the fly using the `CLM_RUNNER` environment variable:
+
+```bash
+# 1. Auto-dispatch (resolves compiled Rust binary if available, falls back to Python)
+clm evaluate assets/clm/manifests/example.yaml --json
+
+# 2. Force native Rust microkernel (<2ms dispatch, sub-25µs transitions)
+CLM_RUNNER=rust clm evaluate assets/clm/manifests/example.yaml --json
+
+# 3. Force Python reference engine
+CLM_RUNNER=python clm evaluate assets/clm/manifests/example.yaml --json
+
+# 4. Force Node.js / TypeScript engine
+CLM_RUNNER=node clm evaluate assets/clm/manifests/example.yaml --json
+```
+
+For the comprehensive comparative analysis of algorithms and benchmarks, see [`docs/architecture/tri-language-runtime-parity-and-performance.md`](docs/architecture/tri-language-runtime-parity-and-performance.md).
+
+---
+
+## ⚡ Common Workflows & Developer Tools
+
+### 1. Headless Streaming Gateway Server
+
+Launch the universal WebSocket JSON-RPC 2.0 streaming gateway on port 4000:
+
+```bash
+clm gateway
+```
+
+### 2. Interactive Developer TUI Menu
+
+Launch the interactive terminal dashboard for running tests, diagnostics, and benchmarks:
+
+```bash
+make menu
+# or: python3 tools/make/interactive_menu.py
+```
+
+### 3. Programmatic SDK Usage
+
+#### Python
+
+```python
+from clm.layer0.typed_value import TypedValue
+
+# Create and canonically hash a universe-stratified value
+tv = TypedValue.from_data({"status": "ready", "tokens": 42}, universe="U0")
+print(f"MIME: {tv.mime} | Hash: {tv.content_hash}")
+```
+
+#### TypeScript
+
+```typescript
+import { TypedValue } from "@clm/core";
+
+const tv = TypedValue.fromData({ status: "ready", tokens: 42 }, "application/json", "U0");
+console.log(`MIME: ${tv.mime} | Hash: ${tv.contentHash}`);
+```
+
+#### Rust
+
+```rust
+use clm_rust_core::typed_value::TypedValue;
+use serde_json::json;
+
+let tv = TypedValue::from_data(json!({"status": "ready", "tokens": 42}), "application/json".into(), "U0".into());
+println!("Hash: {}", tv.content_hash);
+```
+
+For extended guides, see [`docs/guides/polyglot-quick-start.md`](docs/guides/polyglot-quick-start.md) and [`docs/guides/web-ui-quick-start.md`](docs/guides/web-ui-quick-start.md).
+
+---
+
+## 🏛️ Core Architecture Overview
+
+CLM organizes computation into six stratified, hermetically isolated layers ($L_0$ to $L_5$):
+
+| Layer                                                                                                                                                          | Stratum Name                                                                                                                                                | Primary Function                                                                                        | Canonical Spec                                                                |
+| :------------------------------------------------------------------------------------------------------------------------------------------------------------- | :---------------------------------------------------------------------------------------------------------------------------------------------------------- | :------------------------------------------------------------------------------------------------------ | :---------------------------------------------------------------------------- |
+| **$L_0$** | **Substrate Primitives** | Codecs, RFC 8785 canonical JSON, `TypedValue` ($U_0$), BLAKE3/SHA-256 CAS                             | [`docs/spec/20-architecture/`](docs/spec/20-architecture/)                                                                                                 |                                                                                                         |                                                                               |
+| **$L_1$**                                                                                                                                              | **Type Lattice & CPN VM**                                                                                                                             | Colored Petri Net transition runner,$O(1)$ Noetherian conservation ($x^\top D = 0$)                 | [`docs/spec/40-behavior/`](docs/spec/40-behavior/)                           |
+| **$L_2$**                                                                                                                                              | **Storage & Fibers**                                                                                                                                  | Tri-Database isolation (`agent`, `content`, `log`), Cordis spatiotemporal fibers, sub-ms rollback | [`docs/architecture/kernel-pillars.md`](docs/architecture/kernel-pillars.md) |
+| **$L_3$** | **Dialectic Mesh** | Satori Protocol, Austin-Searle speech acts ($U_3$), universe-annotated lambda terms                           | [`docs/architecture/satori-protocol-and-clm-layers-networking-interfacing.md`](docs/architecture/satori-protocol-and-clm-layers-networking-interfacing.md) |                                                                                                         |                                                                               |
+| **$L_4$** | **Presentation Membrane** | Pluggable Membrane SPI, `TypedEnvelope` ($U_4$), WebStudio (`mcard-studio`), CLI TUI               | [`docs/spec/30-interfaces/presentation-membrane-spi.md`](docs/spec/30-interfaces/presentation-membrane-spi.md)                                             |                                                                                                         |                                                                               |
+| **$L_5$** | **Epistemic Learning** | Meta-circular continuous learning loop ($\Gamma$), monotonic epistemic fitness ($\Delta E$), quarantine | [`docs/architecture/agentic-conversational-programming.md`](docs/architecture/agentic-conversational-programming.md)                                       |                                                                                                         |                                                                               |
+
+For deep architectural principles and invariants, see [`docs/architecture/six_layers_architecture.md`](docs/architecture/six_layers_architecture.md), [`docs/architecture/architectural-invariants.md`](docs/architecture/architectural-invariants.md), and [`docs/architecture/zero-trust-made-concrete.md`](docs/architecture/zero-trust-made-concrete.md) (Zero Trust Architecture & PKC Quadriad Audit).
+
+---
+
+## 🧪 Testing & Quality Assurance
+
+CLM features a comprehensive stratified test suite across all six layers. The primary developer targets are:
+
+```bash
+# 1. High-speed parallel test fleet (1,677 tests in ~15s, budget <= 30.0s)
+make test-parallel-fast
+
+# 2. Complete regression test suite
+make test
+
+# 3. Verify all 24 Layer Boundary & Hygiene Guards (zero-regression gate)
+make check-boundaries
+
+# 4. Verify all 14 foundational architectural invariants (INV-01 to INV-14)
+make check-invariants
+
+# 5. Rust 2024 compiler and Clippy zero-warning check
+make clippy-check
+
+# 6. Tri-runtime consensus test battery across Python, Rust, and TypeScript
+make test-polyglot-all
+```
+
+> **Historical Sprint Tests**: For the complete catalog of historical sprint verification targets (Sprints 144–244) and the full 35-row Makefile command reference, see [`docs/guides/sprint-test-target-reference.md`](docs/guides/sprint-test-target-reference.md).
+
+---
+
+## 📚 Documentation & Project Evolution
+
+| Knowledge Domain                  | Authoritative Documentation                                                                     | Description                                                                                                                                                                                                                                                                                                                                |
+| :-------------------------------- | :---------------------------------------------------------------------------------------------- | :----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| **Formal Specifications**   | [`docs/spec/`](docs/spec/)                                                                     | Complete 8-part normative specification suite ($L_0$–$L_5$)                                                                                                                                                                                                                                                                           |
+| **Architecture Canons**     | [`docs/architecture/`](docs/architecture/)                                                     | Six-layer model, Kenotic theory, Zero Trust Quadriad, and tri-runtime execution                                                                                                                                                                                                                                                            |
+| **Foundational Theory**     | [`docs/theory/why-clm-exists.md`](docs/theory/why-clm-exists.md)                               | Universal MCard ontology, Kenotic Model, and CHL isomorphism                                                                                                                                                                                                                                                                               |
+| **Historical Lineage**      | [`docs/architecture/lineage-and-inspiration.md`](docs/architecture/lineage-and-inspiration.md) | 50-year chronology: 1969 Logic Frame to Cordis & Koishi.js                                                                                                                                                                                                                                                                                 |
+| **Developer Guides**        | [`docs/guides/`](docs/guides/)                                                                 | 60-second onboarding, Web UI, Headless client, Windows setup                                                                                                                                                                                                                                                                               |
+| **Active Work**          | [`docs/sprints/_active/`](docs/sprints/_active/README.md)                                               | Implementation sprint tracker (none in flight; codebase stabilized at v0.0.1). Completed Documentation Reconciliation Program (DOC-01 … DOC-07): [`docs/sprints/13_documentation-reconciliation/`](docs/sprints/13_documentation-reconciliation/README.md).                                                                                                                                                                                                                                                     |
+| **Thematic Sprint Archive** | [`docs/sprints/`](docs/sprints/)                                                               | Catalog of 460+ completed sprints and master log[`sprint_log.md`](docs/sprints/_index/sprint_log.md) — latest: History Provenance Integrity Suite (467–469, [`04_storage-network/`](docs/sprints/04_storage-network/)) & README Modernization Suite (461–466, [`06_kernel-reorganization/`](docs/sprints/06_kernel-reorganization/)) |
+| **Weekly Changelogs**       | [`docs/changelog/`](docs/changelog/)                                                           | Chronological weekly logs (Current:[`2026-W41.md`](docs/changelog/2026-W41.md))                                                                                                                                                                                                                                                           |
+
+---
+
+## 📄 License & Community
+
+CLM is open-source software licensed under the [MIT License](LICENSE).
+
+- **Issues & Discussions**: [GitHub Issues](https://github.com/xlp0/CLM/issues)
+- **Active Work Tracking**: [`docs/sprints/_active/README.md`](docs/sprints/_active/README.md) (implementation sprints) · [`docs/sprints/13_documentation-reconciliation/README.md`](docs/sprints/13_documentation-reconciliation/README.md) (completed documentation reconciliation, DOC-01 … DOC-07)

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/README.md

@@ -35,6 +35,7 @@ graph TD
         blue6["gitnexus_recommendations.md"]
         blue7["petri_net_kernel_assessment.md"]
         blue8["tutorial_repl_lifecycle.md"]
+        blue9["layer4-human-interaction-surface.md"]
     end
 
     subgraph Sprints ["Tier 3 - Historical Registers and Sprints sprints/"]
@@ -61,7 +62,7 @@ graph TD
     INV --> blue1
     INV --> green1
     WORKFLOW --> orange1
-    L4SPEC --> INV
+    blue9 --> INV
 ```
 
 ---

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/architecture/README.md

@@ -19,6 +19,13 @@ the [`archive/architecture-plan.md`](archive/architecture-plan.md) turns the cla
 > this index and the [BMAD Ubiquitous Language Glossary](../../docs/bmad/glossary.md) win.
 > File a one-line correction PR against the offending document rather than forking the term.
 
+> **Six-layer reconciliation (DOC-02):** the authoritative mapping between the six
+> logical strata ($L_0$–$L_5$) and the Python/Rust package layouts, plus the Card-Triad
+> and Petri-Net contracts, is recorded in
+> [`docs/sprints/13_documentation-reconciliation/DOC-02-layer-model-reconciliation.md`](../sprints/13_documentation-reconciliation/DOC-02-layer-model-reconciliation.md).
+> Implementation coverage per specification is tracked in
+> [`docs/sprints/13_documentation-reconciliation/DOC-02-spec-status-register.md`](../sprints/13_documentation-reconciliation/DOC-02-spec-status-register.md).
+
 ---
 
 ## 🎯 The Integrated Thesis — CLM as a Kenotic Programming Language
@@ -146,7 +153,7 @@ The architecture canon is organized into thirty-one canonical specifications str
 |:---|:---|:---|:---|
 | [`README.md`](README.md) | *This file.* Master Portal, Document Map & Canonical Nomenclature Glossary. | **Portal** | All — terms referenced across all specifications. |
 | [`integrated-thesis.md`](integrated-thesis.md) | Synthesized statement of the central thesis — nine pillars (eight structural + one purposive). | **Claim** | All — the *why* behind the entire normative suite. |
-| [`architectural-invariants.md`](architectural-invariants.md) | Thirteen non-negotiable invariants and verification commands. | **Contract** | All — the *contract* behind the normative suite. |
+| [`architectural-invariants.md`](architectural-invariants.md) | Fourteen non-negotiable invariants (INV-01 … INV-14) and verification commands. | **Contract** | All — the *contract* behind the normative suite. |
 | [`00_Architecture_Overview.md`](00_Architecture_Overview.md) | Architectural overview of the Three Pillars (CLM, PTR, VCard) of the Agentic Substrate. | **Pillars Overview** | `00-product-overview`, `20-architecture`. |
 | [`01_Foundations.md`](01_Foundations.md) | Pre-pillar substrate: Kenotic empty state ($\bot$), frozen 3-table schema, algebraic closure. | **Substrate Foundations** | `20-architecture`, `50-security`. |
 | [`02_Pillar1_CLM_Meta_Language.md`](02_Pillar1_CLM_Meta_Language.md) | Pillar 1: CLM as the Kenotic Meta-Programming Language; polynomial functors for dialectic synthesis. | **Stratum 0 / 1** | `20-architecture`, `30-interfaces`. |

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/bmad/README.md

@@ -5,6 +5,16 @@ title: BMAD Master Index
 
 # BMAD (Breakthrough Method for Agile AI-Driven Development)
 
+> **BMAD ≠ CLM (DOC-06 demarcation).** **BMAD** is the *agile methodology* — the
+> multi-agent collaboration framework (roles, epics, stories, sprints,
+> retrospectives) used to plan and track work. **CLM** (Cubical Logic Model) is the
+> *runtime architecture* — the content-addressed card protocol ($A \times C \times B$)
+> and the six-layer executable substrate in `kernel/*/layer0..layer5`.
+> BMAD artifacts are **lifecycle metadata** (`.bmad-core/`, `docs/bmad/`,
+> `AGENTS.md`); CLM code is the running OS. Never inject agile workflow
+> configuration into kernel runtime modules. See
+> [`docs/sprints/13_documentation-reconciliation/DOC-06-theory-knowledge-and-history.md`](../sprints/13_documentation-reconciliation/DOC-06-theory-knowledge-and-history.md) §3.
+
 This directory contains the project management and architectural planning artifacts for the PKC-Mesh OS. It serves as the single source of truth for project vision, roles, tracking, and ubiquitous language. Crucially, the PKC-Mesh OS is designed to function as a high-level algebraic meta-language that complements low-level kernel languages. Because it abstracts operations into pure mathematical relations, it does not bind itself to specific machine or hardware runtimes—such as architecture-specific Assembly, WebAssembly (WASM), or the Java Virtual Machine (JVM)—enabling execution on systems of any scale (from resource-constrained edge microcontrollers to massive cloud-based computing meshes). Furthermore, it functions as the semantic kernel for a new era of **Software-Defined Networking (SDN)**—enhancing raw packet routing with **Conversational Programming** to deliver verifiable, algebraic intellectual exchanges directly at the network's control plane.
 
 ## Master Index
@@ -13,7 +23,7 @@ This directory contains the project management and architectural planning artifa
 - [Vision & Architecture](vision.md): The overarching theoretical framework and architectural vision.
 - [Agent Roles](roles.md): Definition of AI agent roles aligned with the Agile lifecycle.
 - [Glossary](glossary.md): Ubiquitous language and domain terminology.
-- [Master OS Specification](file://~/Documents/Development/GovTech/MCard_TDD/clm/docs/kenotic_os_dependency_architecture.md): The concrete test dependency architecture, triadic decomposition stages, and implementation stubs across polyglot runtimes.
+- `Master OS Specification`: The concrete test dependency architecture, triadic decomposition stages, and implementation stubs across polyglot runtimes.
 
 ### Epics (The Three Pillars)
 - [Epic 1: CLM](epics/epic-01-clm.md) — The Formal Language for Conversational Programming

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/changelog/README.md

@@ -15,6 +15,7 @@ This directory contains the chronological record of engineering achievements, ar
 
 | Week | Date Range | Primary Focus & Highlights | Document |
 | :--- | :--- | :--- | :--- |
+| **Week 41** | Oct 05 – Oct 11, 2026 | Documentation Reconciliation Program (DOC-01–07) execution, active-surface consolidation to `13_documentation-reconciliation/` & GitHub Actions commit-SHA pinning | [`2026-W41.md`](2026-W41.md) |
 | **Week 39** | Sep 21 – Sep 27, 2026 | Sprints 454–460 (Satori Structured Output & TypedValue Lattice Convergence), Sprints 449–453 (PyO3 Build Hermeticity), Sprints 444–448 (TypeInterpreter SSOT), Sprints 438–443 (Release Lifecycle & Gate 22 Doc Parity) | [`2026-W39.md`](2026-W39.md) |
 | **Week 38** | Sep 14 – Sep 20, 2026 | Sprints 412–416 (Tri-Runtime Parity & Subcommand Grammar), Sprints 417–421 (High-Performance Substrate & Sub-20s Parallel Fleet), Sprints 422–426 (Makefile Coherence), Sprints 427–431 (Makefile Branch Coverage) | [`2026-W38.md`](2026-W38.md) |
 | **Week 37** | Sep 07 – Sep 13, 2026 | Sprints 402–406 (Python Test Suite Modularity), Sprints 407–411 (Kernel Clarity & Spec Coherence), Kenotic Programming Model terminology refinement | [`2026-W37.md`](2026-W37.md) |

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/guides/README.md

@@ -51,7 +51,7 @@ evolving learning state.
 The design of CLM is not isolated; it draws heavily from the conceptual and
 technical architectures of four major systems paradigms. The table below maps
 each paradigm to its core design philosophy, the corresponding CLM concept, and
-the architectural invariants (INV-01 through INV-13) it grounds:
+the architectural invariants (INV-01 through INV-14) it grounds:
 
 | Paradigm | Core Design Philosophy | CLM Mapping | Invariants Grounded |
 |:---|:---|:---|:---|
@@ -245,6 +245,8 @@ make each layer of this symmetric environment real.
 
 | Symmetry Layer | Guide | What It Makes Symmetric |
 |:---|:---|:---|
+| **Developer Onboarding** | [`developer-onboarding.md`](developer-onboarding.md) | The canonical clone→green-test path: install, activate, and run the four gates identically on any host |
+| **Operations & Recovery** | [`troubleshooting.md`](troubleshooting.md) | Common failure modes (WASM, SQLite locking, venv, ESM hash) with verified recovery commands |
 | **Entry & Interface** | [`web-ui-quick-start.md`](web-ui-quick-start.md) | Any web browser becomes a CLM triggering surface — the kenotic meta-language is accessible without a terminal |
 | **Device & OS** | [`windows-setup-and-practices.md`](windows-setup-and-practices.md) | Windows, macOS, and Linux hosts produce identical MCard hashes and VCard witnesses |
 | **Identity & Privacy** | [`did-identity-and-privacy.md`](did-identity-and-privacy.md) | Every MCard is DID-attributed and sovereignty-controlled across all platforms |
@@ -264,6 +266,7 @@ invariants proven by earlier stages — a verified bootstrap.
 
 | Stage | What Is Bootstrapped | Guide | Function-Number Output |
 |:---|:---|:---|:---|
+| **−1. Developer Onboarding** | A contributor's environment is provisioned and the four local gates run green | [`developer-onboarding.md`](developer-onboarding.md) | A reproducible build whose `make validate-docs` / `check-boundaries` gates pass |
 | **0. Entry Point** | A web browser becomes a CLM triggering surface — the kenotic meta-language is accessible without a terminal | [`web-ui-quick-start.md`](web-ui-quick-start.md) | A VCard-sealed MCard — the user's first learning step, created entirely in the browser |
 | **1. Physical Boot** | Existing computing devices (laptops, servers, VMs) become CLM nodes | [`windows-setup-and-practices.md`](windows-setup-and-practices.md) | A normalized physical node where data hashes and VCard witnesses are OS-agnostic |
 | **1.5. Identity Boot** | The node's owner establishes a DID and binds it to the PKC — identity must exist before the runtime can attribute artifacts | [`did-identity-and-privacy.md`](did-identity-and-privacy.md) | A DID-attributed PKC where every future MCard is signed by the owner's DID |

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/spec/README.md

@@ -14,7 +14,8 @@ Operating System. Every normative spec uses RFC 2119 keywords (MUST,
 SHOULD, MAY) and carries a §0 Conformance section.
 
 The CLM kernel formal specification suite operationalizes the theoretical
-treatise [*Cubical Logic Model.md*](file://~/Documents/DataVault/StudyNotes/Hub/Theory/CLM/Foundations/Cubical%20Logic%20Model.md)
+treatise *Cubical Logic Model.md* (Knowledge Vault path:
+`StudyNotes/Hub/Theory/CLM/Foundations/Cubical Logic Model.md`)
 and the root [`README.md`](../../README.md), establishing:
 1. **The 1969 USAID / OMB Logic Model Lineage & Scale-Free Conformal Invariance**: Transitioning from 2D paper governance (decoupled from live execution) to live, verifiable execution where coeffects (demand dual) and effects (production dual) are strictly conformal across all scales (Apollo Program down to a 1-bit full adder).
 2. **The 2-Simplex Reality Checkpoint**: Overcoming the 1-simplex ($A \to C$) zero-area collapse by introducing balanced expectations ($B$) to construct a **2-simplex** enclosing the **VCard proof object** in a 3D hypercube (regular hexahedron in Cubical Type Theory).
@@ -36,13 +37,22 @@ and the root [`README.md`](../../README.md), establishing:
 10. **Parameterized Multi-Algorithm Hashing**: Default BLAKE3 (>2 GB/s) with multi-algorithm coexistence via `CLM_HASH_CONFIG` (INV-02).
 11. **14 Architectural Invariants Gate**: Continuous automated compliance (INV-01 through INV-14).
 12. **The Quad-Pillar Convergence: Conversational Programming via CLM + PTR + Cordis + Satori Protocol**: Formalizing conversational interaction as first-class, verifiable computation. Austin-Searle speech acts (Assertive, Directive, Commissive, Expressive, Declarative) serve as the linguistic syntax; CLM provides the universal content-addressed MCard ontology ($A \times C \times B$); PTR executes dialogue as Colored Petri Net transitions with Noetherian conservation ($x^\top D = 0^\top$); Cordis provides turn-level isolated fibers with reactive coeffects (`@Inject`) and reversible effects via reverse-LIFO disposers (Path Inversion $-p: S_1 \rightsquigarrow S_0$) with $<1\text{ms}$ atomic rollback; delimited continuations (`shift`/`reset`) yield non-blocking turn state machines; and sheaf-theoretic gluing enforces zero cohomological obstructions ($H^1 = 0$) across multi-agent dialectics.
-13. **Pluggable Presentation Membranes & Decoupled Frontends as Hot-Loaded Modules (HLMs)**: Decoupling the presentation layer from the kernel core. Following Sprint 343's extraction of the Astro Web App into the autonomous sovereign repository [`mcard-studio`](file://~/Documents/Development/GovTech/MCard_TDD/mcard-studio) (referenced via [`assets/media/apps/MCARD_STUDIO.url`](../../assets/media/apps/MCARD_STUDIO.url)), the CLM kernel operates as a pure, headless mathematical substrate (`@clm/core`). Any interaction surface—whether MCard Studio, headless CLI/TUI, omnichannel chat bots (Discord/Slack/Telegram via Koishi), or IDE extensions—is integrated as a pluggable presentation membrane or Hot-Loaded Module (HLM) governed by Cordis's *"Everything is a Plug-in"* law.
+13. **Pluggable Presentation Membranes & Decoupled Frontends as Hot-Loaded Modules (HLMs)**: Decoupling the presentation layer from the kernel core. Following Sprint 343's extraction of the Astro Web App into the autonomous sovereign repository `mcard-studio` (sibling checkout at `../mcard-studio`; referenced via [`assets/media/apps/MCARD_STUDIO.url`](../../assets/media/apps/MCARD_STUDIO.url)), the CLM kernel operates as a pure, headless mathematical substrate (`@clm/core`). Any interaction surface—whether MCard Studio, headless CLI/TUI, omnichannel chat bots (Discord/Slack/Telegram via Koishi), or IDE extensions—is integrated as a pluggable presentation membrane or Hot-Loaded Module (HLM) governed by Cordis's *"Everything is a Plug-in"* law.
 
 > [!IMPORTANT]
 > Every hand-authored spec **must** carry YAML frontmatter per
 > [`FRONTMATTER_TEMPLATE.md`](FRONTMATTER_TEMPLATE.md). Specs without
 > frontmatter are flagged by the lint gate.
 
+> [!NOTE]
+> **Implementation coverage (DOC-02).** `status: canonical` in frontmatter means
+> *normative* (what MUST hold) and is unchanged. The orthogonal axis — whether each
+> spec is **Implemented / Partial / Target** — is audited in
+> [`docs/sprints/13_documentation-reconciliation/DOC-02-spec-status-register.md`](../sprints/13_documentation-reconciliation/DOC-02-spec-status-register.md),
+> and each spec carries an appended *Implementation Status & Verification Evidence*
+> section. Measured traceability: 19 / 36 canonical specs carry `@spec` annotations
+> (`tools/guards/check_spec_traceability.py`).
+
 ---
 
 ## Specification Catalogue

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/sprints/05_runtime-interfaces/README.md

@@ -1,11 +1,22 @@
 # 05_runtime-interfaces
 
-Sprints 28–98, 138, 164, 180–184, 194–205, 206–211, 232–238, 245–249, 263, 264–268, 289–293, 294–298, 305–308, 309–312, 313–316, 317–320, 321–324, 325–328 & 328.1, 329–332, 333–337, 338–342, 343, 344–348, 359–365, 366–367, 372–376, 412, 432–437, 438–443, 444–448, and 454–460: Multi-Language Runtime, compiled languages sandbox, ReAct LLM agent, polyglot CPN, Rust bootstrapper, two-runtime parity loops, modular runtime adapters, L4 Human Interaction Surface (Astro UI, browser-local PCard execution, EOA sponsor signing, M6 round-trip), Polyglot BLAKE3 Parameterized MCard Hashing across Rust, Python, JavaScript, and Shell runtimes, the Polyglot Library Packaging & External Distribution Suite, Polyglot Parity, Spatiotemporal Invariants & FND Canaries, the Universal Studio Runtime & Cubical Workbench Suites (Sprints 195–205), the `@clm/core` JavaScript Library & Web Refactor Suite (Sprints 206–211), the Universal TikZ & TikZ-CD Category-Theoretic Diagram Viewlets Suite (Sprints 232–238), the Universal MCard Temporal History, Version Provenance & Interactive Editing Suite (Sprints 245–249), the Universal WebApp MCard & Dedicated Zen-Mode URL Viewlet Substrate (Sprint 263), the CLM / PCard Responsive Triad Layout, Interactive Test Authoring & Generalized Fiber Execution Suite (Sprints 264–268), the Triadic CLM / PCard Transclusion Architecture, Computable Knowledge Realignment & Dynamic Studio GUI Viewlet Suite (Sprints 289–293), the Layer-4 Type-Lattice Stratification & Plug-in Decomposition Suite (Sprints 294–298), the Workbench High-Contrast Tab Accent, FileTree Action Toolbar, Dual-Mode Sync & Sovereign Card Insertion Suite (Sprints 305–308), the Sovereign MCard Collection Manipulation & Floppy Save Suite (Sprints 309–312), the Multi-Format Image Viewlet Substrate, Resilient Blob/DataURI Resolution & Sovereign Download Pipeline Suite (Sprints 313–316), the Sovereign CardPanel Native File System Bridge, Universal Save/Replace Toolbar & Multi-Modal Storage Suite (Sprints 317–320), the Asset Exemplar Expansion, Type Lattice & Petri Net Seeds, Layer 5 Continuous Learning & Manifest Rebuild Suite (Sprints 321–324), the Sovereign Viewport Security Compartmentalization, DockView Focal Control & Coordinated Side Layout Suite (Sprints 325–328 & 328.1), the Sovereign LLM Credential Substrate, Tri-Database Agent Identity Vault, Provider EOA Agency & AuthN/AuthO Synchronization Suite (Sprints 329–332), the MCard Studio DevEx Port & Runtime Modernization Suite (Sprints 333–337), the Conversational Programming: Spatiotemporal Cordis & Satori Speech Act Integration Suite (Sprints 338–342), the Layer 4 Substrate Decoupling Suite (Sprint 343), the MCard Studio Externalization & Polyglot Distribution Suite (Sprints 432–437), the Autonomous Release Lifecycle, Formal Interface Specifications, Developer Ergonomics & Documentation Excellence Suite (Sprints 438–443), the Universal Polyglot TypeInterpreter & Programmatic Judgment Engine Suite (Sprints 444–448), and the Satori Structured Output & Type Lattice Convergence Suite (Sprints 454–460).
+Sprints 28–98, 138, 164, 180–184, 194–205, 206–211, 232–238, 245–249, 263, 264–268, 289–293, 294–298, 305–308, 309–312, 313–316, 317–320, 321–324, 325–328 & 328.1, 329–332, 333–337, 338–342, 343, 344–348, 359–365, 366–367, 372–376, 412, 432–437, 438–443, 444–448, 454–460, and 476: Multi-Language Runtime, compiled languages sandbox, ReAct LLM agent, polyglot CPN, Rust bootstrapper, two-runtime parity loops, modular runtime adapters, L4 Human Interaction Surface (Astro UI, browser-local PCard execution, EOA sponsor signing, M6 round-trip), Polyglot BLAKE3 Parameterized MCard Hashing across Rust, Python, JavaScript, and Shell runtimes, the Polyglot Library Packaging & External Distribution Suite, Polyglot Parity, Spatiotemporal Invariants & FND Canaries, the Universal Studio Runtime & Cubical Workbench Suites (Sprints 195–205), the `@clm/core` JavaScript Library & Web Refactor Suite (Sprints 206–211), the Universal TikZ & TikZ-CD Category-Theoretic Diagram Viewlets Suite (Sprints 232–238), the Universal MCard Temporal History, Version Provenance & Interactive Editing Suite (Sprints 245–249), the Universal WebApp MCard & Dedicated Zen-Mode URL Viewlet Substrate (Sprint 263), the CLM / PCard Responsive Triad Layout, Interactive Test Authoring & Generalized Fiber Execution Suite (Sprints 264–268), the Triadic CLM / PCard Transclusion Architecture, Computable Knowledge Realignment & Dynamic Studio GUI Viewlet Suite (Sprints 289–293), the Layer-4 Type-Lattice Stratification & Plug-in Decomposition Suite (Sprints 294–298), the Workbench High-Contrast Tab Accent, FileTree Action Toolbar, Dual-Mode Sync & Sovereign Card Insertion Suite (Sprints 305–308), the Sovereign MCard Collection Manipulation & Floppy Save Suite (Sprints 309–312), the Multi-Format Image Viewlet Substrate, Resilient Blob/DataURI Resolution & Sovereign Download Pipeline Suite (Sprints 313–316), the Sovereign CardPanel Native File System Bridge, Universal Save/Replace Toolbar & Multi-Modal Storage Suite (Sprints 317–320), the Asset Exemplar Expansion, Type Lattice & Petri Net Seeds, Layer 5 Continuous Learning & Manifest Rebuild Suite (Sprints 321–324), the Sovereign Viewport Security Compartmentalization, DockView Focal Control & Coordinated Side Layout Suite (Sprints 325–328 & 328.1), the Sovereign LLM Credential Substrate, Tri-Database Agent Identity Vault, Provider EOA Agency & AuthN/AuthO Synchronization Suite (Sprints 329–332), the MCard Studio DevEx Port & Runtime Modernization Suite (Sprints 333–337), the Conversational Programming: Spatiotemporal Cordis & Satori Speech Act Integration Suite (Sprints 338–342), the Layer 4 Substrate Decoupling Suite (Sprint 343), the MCard Studio Externalization & Polyglot Distribution Suite (Sprints 432–437), the Autonomous Release Lifecycle, Formal Interface Specifications, Developer Ergonomics & Documentation Excellence Suite (Sprints 438–443), the Universal Polyglot TypeInterpreter & Programmatic Judgment Engine Suite (Sprints 444–448), the Satori Structured Output & Type Lattice Convergence Suite (Sprints 454–460), and the MCard-Backed Corpus Explorer & Sovereign Collection Export Suite (Sprint 476).
 
 - **Sprint 194**: [`sprint-194-polyglot-fnd-parity-property-invariants-canaries.md`](sprint-194-polyglot-fnd-parity-property-invariants-canaries.md) (Polyglot Parity, Spatiotemporal Invariants & FND Canaries) ✅
 
 ---
 
+## MCard-Backed Corpus Explorer & Sovereign Collection Export (Sprint 476 ✅)
+
+- **Sprint 476**: [`sprint-476-mcard-backed-corpus-explorer-and-sovereign-export.md`](sprint-476-mcard-backed-corpus-explorer-and-sovereign-export.md) (`MCard-Backed Corpus Explorer & Sovereign Collection Export`, `INV-02`, `INV-03`, `INV-05`, `INV-287`, `INV-288`) ✅
+  - Wires TikZiT Corpus Explorer directly to `mcard.collection` and `SqlJsBackend` browser WASM SQLite substrate.
+  - Implements 150ms debounced live handle search across `handle_registry`.
+  - Implements VCard-gated corpus seeding (`vcard:seed_corpus_integrity`) before committing rows to `content_memory.db`.
+  - Implements sovereign export via `compilePortableSqlite` → `saveDatabaseFileToDisk` saving `clm_mcard_workspace_<timestamp>.db` to client disk with format 3 magic bytes verification.
+  - Lossless round-trip import test verified with 100% row and hash parity.
+
+---
+
 ## Satori Structured Output & Type Lattice Convergence Suite (Sprints 454–460 ✅)
 
 Operationalizes first-class typed outputs, Satori speech acts, universe-annotated lambda terms, and Cordis fiber channels into universal machine-verifiable `TypedValue` primitives ($U_0 \dots U_5$) backed by RFC 8785 canonical JSON sorting and 100% tri-runtime consensus across Python, Rust, and TypeScript (Gate 24):

clm_kernel-0.0.4/docs/sprints/13_documentation-reconciliation/README.md

@@ -0,0 +1,45 @@
+# CLM Documentation Reconciliation Program
+
+**Status:** Complete (DOC-01 … DOC-07)  
+**As of:** 2026-10-10  
+**Purpose:** Reconcile CLM's maintained documentation with the checked-out implementation, tests, package contracts, and current downstream use.
+
+This documentation-reconciliation program ran as a sprint suite and, on completion, graduated to `docs/sprints/13_documentation-reconciliation/` per the Sprint 137 graduation policy. It is distinct from the implementation sprint tracker at [`docs/sprints/_active/`](../_active/README.md). The sprint plans below are not claims that their work has started or completed.
+
+## Sprint sequence
+
+| ID | Focus | Lead Persona | Invariants | Plan | Depends on | DoD Items |
+|---|---|---|---|---|---|---|
+| **DOC-01** | Corpus inventory, authority rules, and drift register | 📋 John / ✍️ Paige | `INV-01`, `INV-02`, `INV-REF-06` | [Inventory and drift register](sprint-doc01-inventory-source-of-truth-and-drift-register.md) | None | 6 items |
+| **DOC-02** | Architecture, layer model, and normative specifications | 🏛️ Winston / 🧪 Quinn | `INV-01`, `INV-02`, `INV-03`, `INV-REF-06` | [Architecture and formal contracts](sprint-doc02-architecture-and-formal-specs.md) | DOC-01 | 6 items |
+| **DOC-03** | Runtime APIs, package surfaces, CLI, and language parity | 💻 Amelia / 🧪 Bob | `INV-01`, `INV-470`, `INV-471`, `INV-474` | [Runtime and package documentation](sprint-doc03-runtime-interfaces-packaging-and-polyglot-parity.md) | DOC-01, DOC-02 | 6 items |
+| **DOC-04** | Cards, types, persistence, networking, security, and Studio boundary | 🏛️ Winston / 🛡️ Murat | `INV-02`, `INV-03`, `INV-05`, `INV-287`, `INV-288` | [Data and integration contracts](sprint-doc04-data-storage-security-network-and-studio-integration.md) | DOC-01 through DOC-03 | 6 items |
+| **DOC-05** | Onboarding, developer workflow, testing, and operations | ✍️ Paige / 💻 Amelia | `INV-01`, `INV-470` | [Guides and operations](sprint-doc05-guides-development-testing-and-operations.md) | DOC-02 through DOC-04 | 6 items |
+| **DOC-06** | Theory, computable knowledge, BMAD artifacts, and history | 🏛️ Winston / ✍️ Paige | `INV-01`, `INV-02`, `INV-REF-06` | [Theory and historical records](sprint-doc06-theory-computable-knowledge-and-history.md) | DOC-01 through DOC-05 | 5 items |
+| **DOC-07** | Entry points, indexes, links, and drift prevention | ✍️ Paige / 🧪 Bob | `INV-01`, `INV-REF-06` | [Portal and release verification](sprint-doc07-portals-links-and-drift-prevention.md) | DOC-01 through DOC-06 | 6 items |
+
+Program rationale, evidence rules, scope, and exit criteria are in the [charter](00-documentation-reconciliation-charter.md).
+
+## Deliverables
+
+| Sprint | Artifact |
+|:--|:--|
+| DOC-01 | [Inventory](DOC-01-inventory.md) · [Drift register](DOC-01-drift-register.md) (18 items) · [Traceability map](DOC-01-traceability-map.md) |
+| DOC-02 | [Layer-model reconciliation](DOC-02-layer-model-reconciliation.md) · [Spec status register](DOC-02-spec-status-register.md) |
+| DOC-03 | [Package contract](DOC-03-runtime-package-contract.md) · [Parity matrix](DOC-03-parity-matrix.md) |
+| DOC-04 | [Data & integration contracts](DOC-04-data-and-integration-contracts.md) |
+| DOC-05 | [Makefile & environment inventory](DOC-05-makefile-and-environment-inventory.md) |
+| DOC-06 | [Theory, knowledge & history](DOC-06-theory-knowledge-and-history.md) |
+| DOC-07 | [Program closeout & verification ledger](DOC-07-program-closeout.md) |
+
+**Verification:** `make validate-docs` (active surfaces, PASS) · `make validate-docs-all`
+(repository-wide, **PASS**). Broken links **351 → 0**; Mermaid errors **3 → 0**;
+layer boundary gate **24/24 PASS**.
+
+## Execution guardrails
+
+- Treat implementation, tests, guards, manifests, and package exports as evidence of current behavior; treat specifications and historical sprint narratives as intent/history unless verified.
+- Distinguish implemented, partially implemented, specification-only, planned, historical, and generated content. Do not silently turn an aspiration into an implementation claim.
+- Use mcard-studio as a downstream consumer case study, not as authority for CLM behavior. Its working tree currently contains extensive uncommitted documentation changes; keep that repository read-only and re-check source at a recorded revision before relying on its claims.
+- Refresh in place only after the evidence register identifies a document's canonical role. Preserve historical provenance and generated artifacts; do not bulk-delete or rewrite archives.
+- Run documentation validation against the touched documents and the complete documentation tree. The validator's fast gate covers `docs/sprints/_active/` and this directory together (`make validate-docs`); use `make validate-docs-all` for the repository-wide audit.

{clm_kernel-0.0.2 → clm_kernel-0.0.4}/docs/sprints/_active/README.md

@@ -9,9 +9,10 @@ This directory tracks sprints currently in execution. Once all Definition of Don
 
 ## 🏃 Active Sprints
 
-| Sprint | Title | Focus | Status |
-| :--- | :--- | :--- | :--- |
-| **[Sprint 476](sprint-476-mcard-backed-corpus-explorer-and-sovereign-export.md)** | MCard-Backed Corpus Explorer & Sovereign Collection Export | Wire TikZiT's static Explorer mock to `mcard.collection`/`SqlJsBackend` (browser WASM SQLite), live handle search, VCard-gated corpus seeding, and `clm_mcard_workspace_*.db` export via the mcard-studio `compilePortableSqlite` → `saveDatabaseFileToDisk` pipeline (INV-02/03/05, INV-287/288) | **Active** 🏃 |
+*There are currently no active code-level implementation sprints in this directory. The codebase is stabilized at release v0.0.1. The documentation reconciliation program (DOC-01 through DOC-07) is complete and archived at [`docs/sprints/13_documentation-reconciliation/`](../../sprints/13_documentation-reconciliation/README.md).*
+
+> [!NOTE]
+> **Documentation Reconciliation Program (DOC-01 … DOC-07) complete**: the suite graduated to [`docs/sprints/13_documentation-reconciliation/`](../../sprints/13_documentation-reconciliation/README.md).
 
 ---
 
@@ -19,6 +20,8 @@ This directory tracks sprints currently in execution. Once all Definition of Don
 
 | Sprint Range | Thematic Group | Focus Area | Status |
 | :--- | :--- | :--- | :--- |
+| **[DOC-01 – DOC-07](../13_documentation-reconciliation/README.md)** | [`13_documentation-reconciliation/`](../13_documentation-reconciliation/) | **Documentation Reconciliation Program**<br>• [DOC-01](../13_documentation-reconciliation/sprint-doc01-inventory-source-of-truth-and-drift-register.md): Corpus inventory (798 files), drift register (18 items), traceability map (`INV-01`, `INV-02`, `INV-REF-06`) ✅<br>• [DOC-02](../13_documentation-reconciliation/sprint-doc02-architecture-and-formal-specs.md): Six-layer/spec reconciliation, 24 specs annotated (`INV-01`–`INV-03`) ✅<br>• [DOC-03](../13_documentation-reconciliation/sprint-doc03-runtime-interfaces-packaging-and-polyglot-parity.md): Package contract & polyglot parity matrix (12/12 identical) (`INV-470/471/474`) ✅<br>• [DOC-04](../13_documentation-reconciliation/sprint-doc04-data-storage-security-network-and-studio-integration.md): Data/integration contracts, Studio consumer boundary (`INV-02/03/05`, `INV-287/288`) ✅<br>• [DOC-05](../13_documentation-reconciliation/sprint-doc05-guides-development-testing-and-operations.md): Makefile/env inventory, onboarding, CONTRIBUTING (`INV-01`, `INV-470`) ✅<br>• [DOC-06](../13_documentation-reconciliation/sprint-doc06-theory-computable-knowledge-and-history.md): Theory/knowledge/history, BMAD↔CLM demarcation (`INV-01/02`, `INV-REF-06`) ✅<br>• [DOC-07](../13_documentation-reconciliation/sprint-doc07-portals-links-and-drift-prevention.md): Portals & link integrity (351→0 broken links, 3→0 Mermaid) (`INV-01`, `INV-REF-06`) ✅ | **Graduated** ✅ |
+| **[Sprint 476](../05_runtime-interfaces/sprint-476-mcard-backed-corpus-explorer-and-sovereign-export.md)** | [`05_runtime-interfaces/`](../05_runtime-interfaces/) | **MCard-Backed Corpus Explorer & Sovereign Collection Export**<br>• [Sprint 476](../05_runtime-interfaces/sprint-476-mcard-backed-corpus-explorer-and-sovereign-export.md): Wire TikZiT Explorer to `mcard.collection`/`SqlJsBackend` (browser WASM SQLite), live handle search, VCard-gated corpus seeding, and `clm_mcard_workspace_*.db` export via mcard-studio `compilePortableSqlite` → `saveDatabaseFileToDisk` (`INV-02/03/05`, `INV-287/288`) ✅ | **Graduated** ✅ |
 | **[Sprints 470–475](../07_test-infrastructure/sprint-runbook-build-workflow-hardening-and-v001-release.md)** | [`07_test-infrastructure/`](../07_test-infrastructure/) | **Makefile Build Workflow Hardening, Tri-Runtime Cross-Validation & v0.0.1 Registry Publication Suite**<br>• [Sprint 470](../07_test-infrastructure/sprint-470-build-pipeline-audit-and-makefile-workflow-verification.md): Build Pipeline Audit & Makefile Workflow Verification (`INV-470`) ✅<br>• [Sprint 471](../07_test-infrastructure/sprint-471-tri-runtime-cross-validation-and-equivalence-gate.md): Tri-Runtime Cross-Validation & Functional Equivalence Gate (`INV-471`) ✅<br>• [Sprint 472](../07_test-infrastructure/sprint-472-semver-bump-pipeline-and-changelog.md): SemVer Bump Pipeline & CHANGELOG Authoring (`INV-472`) ✅<br>• [Sprint 473](../07_test-infrastructure/sprint-473-package-dry-run-and-consumer-test-gate.md): Package Artifact Dry-Run & Consumer Test Gate (`INV-473`) ✅<br>• [Sprint 474](../07_test-infrastructure/sprint-474-tri-registry-publication.md): Tri-Registry Publication — PyPI, npm & crates.io (`INV-474`) ✅<br>• [Sprint 475](../07_test-infrastructure/sprint-475-smoke-install-and-cross-platform-verification.md): Post-Publish Smoke Install & Cross-Platform Verification (`INV-475`) ✅ | **Graduated** ✅ |
 | **[Sprints 467–469](../04_storage-network/sprint-runbook-history-provenance-integrity.md)** | [`04_storage-network/`](../04_storage-network/) | **History Provenance Integrity & Version-List Truthfulness Suite**<br>• [Sprint 467](../04_storage-network/sprint-467-history-provenance-data-layer-hydration.md): `handle_history` Hydration & Import Replay (`INV-467`) ✅<br>• [Sprint 468](../04_storage-network/sprint-468-history-button-honest-state-contract.md): Honest History Button Contract & Popover Gating (`INV-468`) ✅<br>• [Sprint 469](../04_storage-network/sprint-469-history-provenance-verification-battery.md): Verification Battery — Reload/Import E2E & Label↔List Parity (`INV-469`) ✅ | **Graduated** ✅ |
 | **[Sprints 461–466](../06_kernel-reorganization/sprint-runbook-readme-modernization-and-doc-stratification.md)** | [`06_kernel-reorganization/`](../06_kernel-reorganization/) | **GitHub README Modernization, Polyglot Onboarding & Documentation Stratification Suite**<br>• [Sprint 461](../06_kernel-reorganization/sprint-461-epistemic-foundations-relocation-and-lineage-extraction.md): Epistemic Foundations Relocation & Architectural Lineage Extraction (`INV-461`) ✅<br>• [Sprint 462](../06_kernel-reorganization/sprint-462-sprint-test-target-catalog-extraction.md): Historical Test Target Catalog Extraction & Verification Matrix (`INV-462`) ✅<br>• [Sprint 463](../06_kernel-reorganization/sprint-463-changelog-and-sprint-archive-decoupling.md): Changelog & Historical Sprint Archive Decoupling (`INV-463`) ✅<br>• [Sprint 464](../06_kernel-reorganization/sprint-464-tri-language-runtimes-showcase-and-interchangeability.md): Tri-Language Runtimes Showcase & Interchangeability (`INV-464`) ✅<br>• [Sprint 465](../06_kernel-reorganization/sprint-465-streamlined-compilation-installation-and-quickstart.md): Streamlined Compilation, Installation & 60-Second Quick-Start (`INV-465`) ✅<br>• [Sprint 466](../06_kernel-reorganization/sprint-466-root-readme-synthesis-and-link-integrity-gate.md): Root README Synthesis, Link Integrity & Boundary Gate Verification (`INV-466`) ✅ | **Graduated** ✅ |