RELEASE: v0.1.0 - The Sovereign Foundation

gtd.org

@@ -23,6 +23,59 @@
 :END:
 Org-agent: A Neurosymbolic AI Agent.
 
+*** PHASE: SOVEREIGN MVP (v0.1.0 Released)
+:PROPERTIES:
+:ID:       proj-mvp-v0-1-0
+:END:
+The "Zero-to-One" release. The agent must be mathematically secure, CLI-first, and capable of autonomous Memex maintenance.
+
+**** DONE 1. Harness Hardening (The Final Audit)
+     - [X] Audit remaining core skills (`org-skill-policy.org`, `org-skill-bouncer.org`) to the new Literate Granularity standard.
+     - [X] Implement Verification Lock: Ensure `MANDATORY_SKILLS` pass `validate-lisp-syntax` before boot proceeds.
+     - [X] Logging & Transparency: Ensure `context-get-system-logs` is utilized by the Reason engine to explain blocked actions.
+
+**** DONE 2. The Sovereign Scribe & Gardener (The Primary Value Prop)
+     - [X] Implement `org-skill-scribe.org`: Background worker that distills daily chronological logs into structured Zettelkasten notes.
+     - [X] Implement `org-skill-gardener.org`: Heartbeat-driven skill that autonomously flags orphaned nodes and repairs broken links.
+
+**** DONE 3. The Zero-to-One Experience (setup.org)
+     - [X] Consolidate installation instructions, `onboard.sh`, and `Dockerfile` into a single, literate `setup.org` file.
+     - [X] Ensure the setup process interactively builds the `.env` and verifies SBCL/Quicklisp dependencies.
+
+**** TODO 4. CLI-First Actuation
+     - [ ] Verify the `cli` actuator and inbound gateway handle standard I/O interaction gracefully, treating Emacs as an optional power-user viewport.
+
+*** PHASE: INTERACTIVE REFINEMENT (v0.2.0 Target)
+:PROPERTIES:
+:ID:       proj-refinement-v0-2-0
+:END:
+Elevating the user interface from raw shell piping to a high-fidelity, native Lisp experience.
+
+**** TODO 1. Common Lisp TUI (The "gemini-cli" parity)
+     - [ ] Implement a rich, interactive TUI natively in Common Lisp (e.g., via `cl-charms`, `croatoan`, or `cl-ncurses`).
+     - [ ] Support syntax highlighting for code blocks and Org-mode syntax.
+     - [ ] Implement a fixed bottom input box with command history.
+     - [ ] Implement Slash Commands (`/help`, `/exit`, `/clear`, `/skill-load`).
+
+**** TODO 2. Direct Lisp-to-Terminal Actuation
+     - [ ] Refactor the `:cli` actuator to use the native TUI rendering instead of raw stream printing.
+
+*** PHASE: EVOLUTIONARY ROADMAP
+**** TODO v1.0.0 (Phase 2.5): The Verified Wrapper (SOTA Parity)
+
+     - Complete Formal Verification gates for external tools.
+     - Achieve secure, end-to-end autonomous engineering workflows.
+**** TODO v2.0.0 (Phase 3): Cannibalizing the Toolchain
+     - Ingest DOM as native Lisp AST (Cannibalize Browser).
+     - Replace string-based bash with native OS bindings (Cannibalize Shell).
+**** TODO v3.0.0 (Phase 4): True Symbolic Determinism
+     - Relegate LLM to Semantic Translator.
+     - Implement Deterministic Planner (The Solver).
+     - Implement Self-Correcting Syntax Gates.
+**** TODO v4.0.0+ (Phase 5): The Neurosymbolic Singularity
+     - Homoiconic Self-Writing (Hot-reloading literate source).
+     - Asynchronous Swarm Cognition (Jailed sub-agents).
+
 *** PHASE: FOUNDATION (Complete)
 **** DONE Draft Swank/Socket communication protocol between CL and Emacs
 :PROPERTIES:
@@ -44,7 +97,7 @@ Org-agent: A Neurosymbolic AI Agent.
 :CREATED: [2026-03-22 Sun 17:30]
 :ASSIGNED: Agent
 :END:
-**** DONE Design Deterministic Engine Heuristics (Lisp logic over Object Store)
+**** DONE Design Deterministic Engine Heuristics (Lisp logic over Memory)
 :PROPERTIES:
 :CREATED: [2026-03-22 Sun 17:30]
 :END:
@@ -84,23 +137,23 @@ Slim down the org-agent microharness by moving non-essential cognitive functions
     :PROPERTIES:
     :ID: impl-peripheral-vision
     :END:
-**** DONE Implement Harness Protocol Schema Validation (Prevent reader macro injection in protocol.lisp)
+**** DONE Implement communication protocol Schema Validation (Prevent reader macro injection in communication.lisp)
     CLOSED: [2026-04-12 Sun 14:45]
     :PROPERTIES:
-    :ID: oacp-schema-validation
+    :ID: communication-protocol-schema-validation
     :END:
-    - Created `org-skill-oacp-validator.org`.
-    - Integrated `validate-oacp-schema` into `protocol.org`.
+    - Created `org-skill-protocol-validator.org`.
+    - Integrated `validate-communication-protocol-schema` into `communication.org`.
     - Added `protocol-validator.lisp` to system definition.
-**** DONE Implement Pluggable Harness Protocol Integrity Hashing (Core interface, Skill-based algorithms)
+**** DONE Implement Pluggable communication protocol Integrity Hashing (Core interface, Skill-based algorithms)
     CLOSED: [2026-04-12 Sun 15:15]
     :PROPERTIES:
-    :ID: oacp-integrity-hashing
+    :ID: communication-protocol-integrity-hashing
     :END:
-    - Integrated HMAC-SHA256 (`ironclad:make-mac`) in `literate/protocol.org`.
-**** DONE Implement Native Lisp Merkle-Tree Versioning (Short-term undo buffer in object-store.lisp)
+    - Integrated HMAC-SHA256 (`ironclad:make-mac`) in `literate/communication.org`.
+**** DONE Implement Native Lisp Merkle-Tree Versioning (Short-term undo buffer in memory.lisp)
     CLOSED: [2026-04-12 Sun 19:15]
-**** DONE Performance: Implement Copy-on-Write (CoW) or Persistent Data Structures for Object Store
+**** DONE Performance: Implement Copy-on-Write (CoW) or Persistent Data Structures for Memory
     CLOSED: [2026-04-12 Sun 19:15]
 **** DONE Feature: Implement Latent Reflection (Proactive Gardening) using heartbeat idle cycles
     CLOSED: [2026-04-12 Sun 19:15]
@@ -134,6 +187,19 @@ Slim down the org-agent microharness by moving non-essential cognitive functions
     - Implemented Task Integrity (GTD semantics) in symbolic.lisp.
     - Integrated Consensus Gate and Delegation hooks in core.lisp.
     - Verified with new task-orchestrator-tests.lisp.
+**** IN-PROGRESS Full review of org-agent's harness
+    :PROPERTIES:
+    :CREATED: [2026-04-13 Mon 13:30]
+    :ASSIGNED: Agent
+    :END:
+    - [X] Audit terminology: Replaced OACP with "communication protocol" workspace-wide.
+    - [X] Audit boot sequence: Synchronized loader with `org-skill-policy.org`.
+    - [-] Audit core Perceive-Think-Act loop.
+      - [X] Verified protocol framing and reader jailing (`*read-eval* nil`).
+      - [X] Refactored `loop.org` for literate granularity and configuration externalization.
+      - [X] Improved error handling (restricted rollback) and added graceful shutdown.
+      - [X] **GAP:** Missing symbolic guard check in `act-gate` (Stage 3: Act).
+    - [ ] Ensure alignment with System Policy and Engineering Standards.
 **** TODO Wake up the Scribe (Implement autonomous weekly Journal-to-Ledger distillation in org-skill-scribe.org)
 **** TODO Implement `org-skill-lisp-repair` (Self-correcting syntax gate for Deterministic Engine)
     CLOSED: [2026-04-11 Sat 15:10]
@@ -172,13 +238,13 @@ Slim down the org-agent microharness by moving non-essential cognitive functions
     - Implemented `bouncer-check` interceptor in `symbolic.lisp`.
     - Created `org-skill-bouncer.org` for flight plan serialization.
     - Verified asynchronous Org-native approval loop via `bouncer-tests.lisp`.
-**** DONE Implement Authorization Gate (Harness Protocol) for "Planning Mode"
+**** DONE Implement Authorization Gate (communication protocol) for "Planning Mode"
     CLOSED: [2026-04-11 Sat 15:30]
     :PROPERTIES:
     :CREATED: [2026-04-01 Wed 17:00]
     :END:
     - Integrated with Org-mode state transitions (`PLAN` -> `APPROVED`).
-    - Leveraged Object Store event bus for asynchronous re-injection.
+    - Leveraged Memory event bus for asynchronous re-injection.
 
 **** DONE Refactor Architecture Terminology (Associative -> Probabilistic, Deliberate -> Deterministic)
     CLOSED: [2026-04-12 Sun 21:00]
@@ -405,7 +471,7 @@ All 14 atomic notes created and cross-referenced.
 :LOGBOOK:
 - State "DONE" from "TODO" [2026-03-18 Wed 01:35]
 :END:
-- LOCATION: memex/5_projects/agora/agora-pds-sync-protocol.org
+- LOCATION: memex/5_projects/agora/agora-pds-sync-communication.org
 - PENDING: Integration into agora-requirements-03-infrastructure.org
 
 **** DONE CRITICAL: Delta Sync Protocol → FILLED
@@ -415,7 +481,7 @@ All 14 atomic notes created and cross-referenced.
 :LOGBOOK:
 - State "DONE" from "TODO" [2026-03-18 Wed 01:50]
 :END:
-- LOCATION: memex/5_projects/agora/agora-delta-sync-protocol.org
+- LOCATION: memex/5_projects/agora/agora-delta-sync-communication.org
 - PENDING: Integration into agora-requirements-08-implementation.org
 
 **** DONE CRITICAL: Persona Revocation Protocol → ALREADY-EXISTS
@@ -1026,16 +1092,16 @@ A modular manual of different areas to go with different activities. Fits in the
 
 ** Architecture Astronaut Archive
 *** TODO Implement Privacy-Aware Background Indexer (Local hashes for @personal, Semantic for others)
-*** TODO Decouple Transport from Protocol (True Actuator-Agnosticism in protocol.lisp)
-*** TODO Implement Harness Protocol Backpressure Handling (Queue bounds and BUSY frames in protocol.lisp)
+*** TODO Decouple Transport from Protocol (True Actuator-Agnosticism in communication.lisp)
+*** TODO Implement communication protocol Backpressure Handling (Queue bounds and BUSY frames in communication.lisp)
 *** TODO Implement Cognitive Loop "Rut" Recovery (Dynamic Escalation in org-skill-lisp-validator)
 *** TODO Implement Asynchronous Event Bus for Telemetry (core.lisp)
-*** TODO Implement Memory Eviction and Lazy Loading (LRU Cache in object-store.lisp)
+*** TODO Implement Memory Eviction and Lazy Loading (LRU Cache in memory.lisp)
 *** TODO Implement Two-Speed Reflection (Immediate :post-action + Latent Heartbeat)
 *** TODO Implement Context-Aware Routing (Autonomous Foveal Switching on intent shift)
 *** TODO Implement Intent-Shift Detector (Semantic topic-shift flagging in neuro.lisp)
 *** TODO Implement Cognitive Economics (Dynamic LLM routing based on 2x2 matrix complexity)
-*** TODO Implement Micro-Prolog Logic Engine (Lisp-native unification & pattern matching for Object Store)
+*** TODO Implement Micro-Prolog Logic Engine (Lisp-native unification & pattern matching for Memory)
 *** TODO Implement Sovereign Logic Synthesis (Hybrid SubSys2: Neural pattern detection + Symbolic rule generation)
 *** TODO Implement Continuous Vibe (Sentiment-weighted personality in system-prompt)
 *** TODO Implement Search-Before-Think Bridge (Autonomous target-id population via vector search in perceive-gate)
@@ -1078,7 +1144,7 @@ The "Endgame": Hardware-native Lisp machine implementation.
 The endgame of the Lisp Machine Mandate. Eliminate context-switching by unifying the browser, the agent, and the editor into a single Common Lisp image.
 
 *** TODO [Grail 1] Emacs xwidget-webkit integration
-Embed a full WebKit engine inside an Emacs buffer. Allow the agent to interact with the live DOM via the Harness Protocol socket.
+Embed a full WebKit engine inside an Emacs buffer. Allow the agent to interact with the live DOM via the communication protocol socket.
 
 *** TODO [Grail 2] Lisp-native Agentic Browser
 Build a 'Neural Browser' in CL. Instead of HTML, it renders websites as a navigable Org-mode DAG. Mark headlines TODO to trigger clicks/fills.

notes/institutional-memory.org

@@ -26,7 +26,7 @@
 ** [2026-03-23] Hardware Compartment Mandate
 - *Problem:* Forcing a single deployment method (e.g. Docker) creates infrastructure lock-in and limits adoption for users with specific security/performance needs.
 - *Solution:* Treat the runtime as a "Hardware Compartment." Abstract deployment into a `deploy/` directory with support for Bare Metal, Docker, LXC, and VMs.
-- *Heuristic:* The Kernel speaks OACP (TCP); it does not care about the enclosure.
+- *Heuristic:* The Kernel speaks Harness Protocol (TCP); it does not care about the enclosure.
 
 ** [2026-03-23] LLM Failover Cascade
 - *Problem:* AI providers are unreliable (rate limits, outages). A single provider failure blinds the entire agent.

notes/v1-0-skill-audit.org

@@ -1,107 +0,0 @@
-#+TITLE: Sovereign OS v1.0 Core Skill Audit Report
-#+DATE: [2026-04-09 Thu]
-#+AUTHOR: Gemini CLI Agent
-#+FILETAGS: :audit:v1-0:sovereign-os:psf:
-
-* Executive Summary
-This audit evaluated all 39 Org files in the =projects/org-agent/skills/= directory against the five core criteria for Sovereign OS v1.0. While the conceptual framework and topological foundations (IDs, Deterministic Engine hooks) are largely in place, significant implementation gaps exist in OACP compliance. The transition to Merkle-tree versioning is now COMPLETE in the core and primary persistence layers.
-
-** Overall Statistics
-- *Total Skills Scanned:* 39
-- *Topological Integrity:* ~85% (Most files have unique IDs; some depend on name-based strings)
-- *Deterministic Engine Safety:* ~70% (Hooks exist, but symbolic verification logic is often stubbed)
-- *Persistence:* ~100% (Merkle-tree logic is implemented in object-store.lisp and confirmed DONE in GTD)
-- *OACP Compliance:* ~5% (Only 2/39 skills use =def-cognitive-tool=)
-- *Sovereignty Mandate:* ~95% (High adherence to local-first, Lisp-native primitives)
-
-* Critical Skill Deep Dive
-
-** org-skill-agent (The Kernel)
-- *Status:* STABLE / MANDATORY
-- *Topological Integrity:* PASS (ID: 47425a43-2be0-423c-8509-22592cfe9c9e)
-- *GAPS:*
-  - Missing =def-cognitive-tool= for kernel introspection.
-  - Deterministic Engine (Symbolic) logic is primarily a dispatcher; needs more robust "Moral Compass" invariants implemented in code.
-
-** org-skill-lisp-validator (The Gatekeeper)
-- *Status:* FUNCTIONAL / MANDATORY
-- *Topological Integrity:* PASS (ID: 98576df2-c496-4e4a-9acb-0bca514a0305)
-- *GAPS:*
-  - Whitelist is comprehensive but needs a mechanism for skills to dynamically (and safely) register their own symbols.
-  - Missing =def-cognitive-tool= for security telemetry.
-
-** org-skill-self-fix (The Repair Mechanism)
-- *Status:* PARTIAL / EXTENSION
-- *Topological Integrity:* PARTIAL (Uses =skill-scientist= string instead of ID in =#+DEPENDS_ON:=)
-- *GAPS:*
-  - Rollback logic depends on "Interactive Steering" snapshots which are not yet fully integrated with the Merkle-tree architecture.
-  - Missing =def-cognitive-tool=.
-
-** org-skill-object-store-persistence (The Memory Image)
-- *Status:* STABLE / MANDATORY
-- *GAPS:*
-  - *MERKLE:* COMPLIANT (Integrated with native Lisp Merkle-tree versioning).
-  - Missing background sync triggers beyond basic heartbeat.
-
-** org-skill-ast-normalization (The Structure Guardian)
-- *Status:* BLUEPRINT-ONLY / MANDATORY
-- *GAPS:*
-  - *CRITICAL:* Implementation is missing. Functions like =ast-normalize-file= and =find-conflicts= are defined in the blueprint but not tangled/implemented.
-  - No integration with the Object Store for structural change tracking.
-
-* Categorized Skill Audit
-
-** Core Mandatory
-Foundational skills required for system boot and basic operation.
-| Skill | ID | Gaps |
-|-------+----+------|
-| org-skill-agent | 47425a43... | OACP compliance, deeper Deterministic Engine logic |
-| org-skill-lisp-validator | 98576df2... | Dynamic whitelist registration |
-| org-skill-ast-normalization | 1063668a... | Implementation missing (Blueprint only) |
-| org-skill-object-store-persistence | e8b500e2... | COMPLIANT (Merkle-tree integrated) |
-| org-skill-lisp-machine-bootstrap | 81e3492e... | Purely research/simulation stage |
-| org-skill-auth-api-key | ab7f8ca4... | OACP compliance |
-| org-skill-router | 0fb9e9cb... | Complexity classification is basic |
-| org-skill-sub-agent-manager | e870d860... | Needs better thread isolation logic |
-
-** Provider
-Interfaces to LLM backends.
-| Skill | ID | Gaps |
-|-------+----+------|
-| org-skill-provider-ollama | f605bf22... | OACP compliance, model discovery |
-| org-skill-provider-gemini | 52799ee8... | OACP compliance |
-| org-skill-provider-openai | c6cbd603... | OACP compliance |
-| org-skill-provider-anthropic | a44d29c6... | OACP compliance |
-
-** Actuator
-Sovereign interfaces for system modification.
-| Skill | ID | Gaps |
-|-------+----+------|
-| org-skill-shell-actuator | 0ae190ec... | Missing fine-grained permissions |
-| org-skill-org-mode | f7db1884... | Needs better AST-to-JSON bridge integration |
-| org-skill-inbound-gateway | 89ee87e0... | Multi-channel normalization is incomplete |
-
-** Extension
-Feature-rich skills extending the kernel.
-| Skill | ID | Gaps |
-|-------+----+------|
-| org-skill-latent-reflection | latent-reflection | (OACP PASS) Needs more triggers |
-| org-skill-memory-archivist | 98923a43... | (OACP PASS) IPFS restore is manual |
-| org-skill-self-fix | 65891ce2... | Implementation/Rollback logic |
-| org-skill-model-explorer | ae49bb72... | Implementation missing (Overview only) |
-
-* Global Strategic Gaps
-
-** 1. OACP Compliance (Tooling Gap)
-95% of skills do not use =def-cognitive-tool=. This means Probabilistic Engine cannot "discover" these capabilities autonomously; they must be hardcoded in the kernel or prompt, violating the PSF's extensibility mandate.
-
-** 2. Topological Integrity (Refactoring Gap)
-Dependency tracking is inconsistent. Some skills use =id:UUID=, others use =skill-name=. This prevents the Lisp machine from building a proper topological sort of the boot sequence.
-
-** 3. Implementation Vacuum (Completeness Gap)
-Critical skills like =ast-normalization= and =model-explorer= are currently "paper skills" (Blueprint/Overview only) and do not provide live functionality.
-
-* Recommendations
-1. *Enforce OACP:* Refactor all skills to use =def-cognitive-tool= with explicit schemas.
-2. *Normalize Dependencies:* Standardize all =#+DEPENDS_ON:= to use UUIDs.
-3. *Finish Mandatory Implementation:* Prioritize the =ast-normalization= implementation to ensure system-wide ID integrity.

system/plans/flight-plan-emacs-bridge.org

@@ -1,18 +1,18 @@
-* Flight Plan: Emacs OACP Outbound Bridge
+* Flight Plan: Emacs Harness Protocol Outbound Bridge
 :PROPERTIES:
 :STATUS: IN-PROGRESS
 :END:
 
 ** Analyst Phase
-The current =org-agent= kernel is a "one-way" sensory system. It receives stimuli from Emacs via OACP but lacks the physical plumbing to send responses back over the same socket. To fix this, we must:
+The current =org-agent= kernel is a "one-way" sensory system. It receives stimuli from Emacs via Harness Protocol but lacks the physical plumbing to send responses back over the same socket. To fix this, we must:
 1. Modify the kernel (literately) to pass the client TCP stream through the cognitive loop.
-2. Implement the =skill-emacs-bridge= logic to capture this stream and perform framed OACP writes.
+2. Implement the =skill-emacs-bridge= logic to capture this stream and perform framed Harness Protocol writes.
 3. Update the =skill-chat= to utilize the new bridge.
 
 ** Coder Phase
 - [X] Create =inbox/flight-plan-emacs-bridge.org= (this file).
 - [ ] Update =projects/org-agent/docs/README.org= (Literate Kernel) with the stream-passing hook.
-- [ ] Update =notes/org-skill-emacs-bridge.org= to implement the OACP outbound writer.
+- [ ] Update =notes/org-skill-emacs-bridge.org= to implement the Harness Protocol outbound writer.
 - [ ] Tangle the updated files.
 - [ ] Rebuild the daemon binary.