ALIGN: Completed terminology refactor and deleted deprecated audit reports
This commit is contained in:
8
gtd.org
8
gtd.org
@@ -87,15 +87,15 @@ Slim down the org-agent microharness by moving non-essential cognitive functions
|
|||||||
**** DONE Implement Harness Protocol Schema Validation (Prevent reader macro injection in protocol.lisp)
|
**** DONE Implement Harness Protocol Schema Validation (Prevent reader macro injection in protocol.lisp)
|
||||||
CLOSED: [2026-04-12 Sun 14:45]
|
CLOSED: [2026-04-12 Sun 14:45]
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
:ID: oacp-schema-validation
|
:ID: harness-protocol-schema-validation
|
||||||
:END:
|
:END:
|
||||||
- Created `org-skill-oacp-validator.org`.
|
- Created `org-skill-protocol-validator.org`.
|
||||||
- Integrated `validate-oacp-schema` into `protocol.org`.
|
- Integrated `validate-harness-protocol-schema` into `protocol.org`.
|
||||||
- Added `protocol-validator.lisp` to system definition.
|
- Added `protocol-validator.lisp` to system definition.
|
||||||
**** DONE Implement Pluggable Harness Protocol Integrity Hashing (Core interface, Skill-based algorithms)
|
**** DONE Implement Pluggable Harness Protocol Integrity Hashing (Core interface, Skill-based algorithms)
|
||||||
CLOSED: [2026-04-12 Sun 15:15]
|
CLOSED: [2026-04-12 Sun 15:15]
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
:ID: oacp-integrity-hashing
|
:ID: harness-protocol-integrity-hashing
|
||||||
:END:
|
:END:
|
||||||
- Integrated HMAC-SHA256 (`ironclad:make-mac`) in `literate/protocol.org`.
|
- 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)
|
**** DONE Implement Native Lisp Merkle-Tree Versioning (Short-term undo buffer in object-store.lisp)
|
||||||
|
|||||||
@@ -26,7 +26,7 @@
|
|||||||
** [2026-03-23] Hardware Compartment Mandate
|
** [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.
|
- *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.
|
- *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
|
** [2026-03-23] LLM Failover Cascade
|
||||||
- *Problem:* AI providers are unreliable (rate limits, outages). A single provider failure blinds the entire agent.
|
- *Problem:* AI providers are unreliable (rate limits, outages). A single provider failure blinds the entire agent.
|
||||||
|
|||||||
@@ -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.
|
|
||||||
@@ -1,18 +1,18 @@
|
|||||||
* Flight Plan: Emacs OACP Outbound Bridge
|
* Flight Plan: Emacs Harness Protocol Outbound Bridge
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
:STATUS: IN-PROGRESS
|
:STATUS: IN-PROGRESS
|
||||||
:END:
|
:END:
|
||||||
|
|
||||||
** Analyst Phase
|
** 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.
|
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.
|
3. Update the =skill-chat= to utilize the new bridge.
|
||||||
|
|
||||||
** Coder Phase
|
** Coder Phase
|
||||||
- [X] Create =inbox/flight-plan-emacs-bridge.org= (this file).
|
- [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 =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.
|
- [ ] Tangle the updated files.
|
||||||
- [ ] Rebuild the daemon binary.
|
- [ ] Rebuild the daemon binary.
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user