Compare commits
55 Commits
1b7d41444d
...
v0.1.0
| Author | SHA1 | Date | |
|---|---|---|---|
| 0f7019e01e | |||
| c376196e86 | |||
| 3959c57718 | |||
| f8221ec4da | |||
| 5518a00e67 | |||
| f315b79df3 | |||
| b0e6ddac05 | |||
| 21d46b03fc | |||
| d8f92decb6 | |||
| bf1fc9a9c4 | |||
| 45edc23a9e | |||
| 42124ed9d5 | |||
| b06c1b44b9 | |||
| b46c800d43 | |||
| d1432e4bf0 | |||
| f2ecccab63 | |||
| eee1925032 | |||
| e5d04d241c | |||
| d160a084c5 | |||
| 38dcac3ad3 | |||
| b96f8b9b6a | |||
| dc7cf8bfe0 | |||
| 43a20879bd | |||
| b6b39472da | |||
| 8ee1c0c4df | |||
| bdee3c75b5 | |||
| ee19da7e7a | |||
| 7cdf76112c | |||
| a887011415 | |||
| 8ff305d6ac | |||
| 942a721cd8 | |||
| 6ec465128c | |||
| 72268c7508 | |||
| 3e2616ee4d | |||
| 70be494d8c | |||
| c4233f7a80 | |||
| d4736fb79c | |||
| 4ee8b998d0 | |||
| 44ebba8aaa | |||
| 5ba970e4e8 | |||
| 437cf36979 | |||
| bbe2bcb2c4 | |||
| b42a2fedfc | |||
| 4c417a58b5 | |||
| 5ba7d70f28 | |||
| bef7c93fad | |||
| c979ec8e89 | |||
| 666316b702 | |||
| cbd0a11ca4 | |||
| 72531c175b | |||
| dcf6c79371 | |||
| 451c7dd580 | |||
| 3cfa99f076 | |||
| 5206d4e5c0 | |||
| 9399f2e9f8 |
27
README.org
27
README.org
@@ -31,7 +31,7 @@ The workspace is strictly divided into these zones to facilitate both human ergo
|
||||
- [[file:system/README.org][System]]: Configuration, AI skills, and the Lisp kernel.
|
||||
|
||||
* The Agentic Inhabitants
|
||||
The Memex is inhabited by autonomous agents that operate as "System 1" (probabilistic/neural) and "System 2" (deterministic/symbolic) layers:
|
||||
The Memex is inhabited by autonomous agents that operate as "Probabilistic" (probabilistic/neural) and "Deterministic" (deterministic/symbolic) layers:
|
||||
|
||||
** [[file:projects/org-agent/README.org][org-agent (The Kernel)]]
|
||||
A Common Lisp microkernel that maintains a live, threaded Object-Store in RAM. It uses Org-mode as its native Abstract Syntax Tree (AST), allowing it to "perceive" and "act" on the Memex with structural precision.
|
||||
@@ -39,11 +39,34 @@ A Common Lisp microkernel that maintains a live, threaded Object-Store in RAM. I
|
||||
** Gemini CLI
|
||||
A strategic orchestrator that handles large-scale batch tasks, research, and planning. It operates according to the *PSF Consensus Loop* (Demand -> Blueprint -> Success -> Build -> Chaos -> Memory).
|
||||
|
||||
* The Cognitive Architecture: A Session-less Mind
|
||||
The agent's "mind" is not a transient chat session but a durable, stateful cognitive architecture. This design enables a truly "session-less" experience, where the agent's context, personality, and awareness are as persistent as the data itself.
|
||||
|
||||
*** The Anatomy: Three Data Stores
|
||||
1. *The Linguistic Substrate (Org Files):* The human-readable Source of Truth, comprising the "Journal" ([[file:daily/README.org][Dailies]]) and the "Ledger" ([[file:notes/README.org][Notes]]).
|
||||
2. *The Lisp Object Store (RAM):* The "Active Brain," a live graph of Lisp objects representing every headline, paragraph, and entity in the Memex, with vectors embedded directly inside.
|
||||
3. *The Telemetry Store (TSDB/Binary):* An external, high-volume database for sub-symbolic "Sensory" data (e.g., smart home logs), which is monitored and distilled by the agent.
|
||||
|
||||
*** The Psychology: The 2x2 Cognitive Matrix
|
||||
The agent's "thought" process is not monolithic. It operates on a 2x2 matrix that balances cognitive speed with cognitive state, allowing for sophisticated, multi-layered reasoning.
|
||||
|
||||
| | *Probabilistic (Neural/Fast/Intuitive)* | *Deterministic (Symbolic/Slow/Logical)* |
|
||||
| :--- | :--- | :--- |
|
||||
| *Foreground (Foveal/Active)* | *The Interface:* A fast, charming LLM for active conversation. | *The Pilot:* Lisp guards that ensure active requests are safe. |
|
||||
| *Background (Peripheral/Passive)* | *The Editor:* A smart, deep LLM that finds patterns in the background. | *The Librarian:* A deterministic Lisp engine that files, archives, and maintains the integrity of memory. |
|
||||
|
||||
*** The Physiology: Five Core Processes
|
||||
1. *Perception (The Attention Bridge):* Automatically vectorizes user input to set the "Foveal Focus" for the active conversation.
|
||||
2. *Reasoning (The Micro-Prolog):* Uses symbolic logic to reconcile contradictions and enforce the "Physics" of the Memex.
|
||||
3. *Distillation (The Scribe):* The Background loop that turns the daily "Journal" entries into permanent "Ledger" knowledge.
|
||||
4. *Reflection (The Gardener):* The heartbeat-driven process that finds "forgotten" links and maintains the "Vibe" of the system.
|
||||
5. *Sensation (The Sensor Skill):* The "Signal-to-Symbol" converter that turns the "flood" of telemetry into actionable =TODO= items.
|
||||
|
||||
* Core Workflows: The Life of a Thought
|
||||
1. *Capture:* Raw information enters via the `inbox` (tasks) or `daily` logs (thoughts).
|
||||
2. *Distill (The Scribe):* Automated agents periodically extract conceptual thoughts from the chronological logs into evergreen, atomic notes.
|
||||
3. *Plan:* Multi-file or architectural changes trigger a *Flight Plan* in `system/plans/`, following the PSF Departmental gates.
|
||||
4. *Execute:* The agent performs surgical edits, governed by System 2 safety checks.
|
||||
4. *Execute:* The agent performs surgical edits, governed by Deterministic Engine safety checks.
|
||||
5. *Verify:* All changes are validated via automated tests (TDD) before the "Success" gate is cleared.
|
||||
6. *RCA (Memory):* Every bug or significant session triggers a *Root Cause Analysis* that is distilled back into the system's "Soul."
|
||||
|
||||
|
||||
36
boot-sequence-plan.md
Normal file
36
boot-sequence-plan.md
Normal file
@@ -0,0 +1,36 @@
|
||||
# Implementation Plan: The Micro-Loader (Boot Sequence Refactor)
|
||||
|
||||
## Objective
|
||||
Consolidate and harden the kernel's skill-loading logic into a stateful "Micro-Loader." This improves boot reliability, provides clear error reporting for malformed skills, and centralizes all capability management within the `skills` module.
|
||||
|
||||
## Key Files & Context
|
||||
- **Target:** `projects/org-agent/literate/skills.org` (Consolidating logic here).
|
||||
- **Target:** `projects/org-agent/literate/core.org` (Moving `load-all-skills` out of here).
|
||||
- **Mandate:** Syntax Pre-flight and Dependency Assertion.
|
||||
|
||||
## Implementation Steps
|
||||
|
||||
### 1. Define the Skill Catalog
|
||||
- Introduce `*skill-catalog*` in `skills.lisp` to track metadata and load status for every skill file found in `SKILLS_DIR`.
|
||||
- Statuses: `:discovered`, `:loading`, `:ready`, `:failed`.
|
||||
|
||||
### 2. Refactor `load-skill-from-org` (Harden)
|
||||
- **Syntax Check:** Invoke `validate-lisp-syntax` before evaluation.
|
||||
- **Dependency Check:** If `#+DEPENDS_ON` refers to a skill that failed or is missing, mark this skill as `:failed` immediately with a clear error.
|
||||
- **Detailed Logging:** Record the specific reason for failure (syntax, timeout, runtime error) in the catalog.
|
||||
|
||||
### 3. Implement `initialize-all-skills` (The Orchestrator)
|
||||
- Move the directory scanning and loop logic from `core.lisp` into `skills.lisp`.
|
||||
- This function will:
|
||||
1. Scan `SKILLS_DIR`.
|
||||
2. Populate the catalog.
|
||||
3. Run the topological sort.
|
||||
4. Execute the load loop with timeouts.
|
||||
5. Print a final "Boot Summary" report.
|
||||
|
||||
### 4. Simplify Kernel Boot
|
||||
- Update `start-daemon` in `core.lisp` to call `(initialize-all-skills)` instead of the old `load-all-skills`.
|
||||
|
||||
## Phase E: Chaos (Verification)
|
||||
- **Integrity Test:** Add a test that verifies `initialize-all-skills` correctly identifies a missing dependency and prevents the dependent skill from attempting to load.
|
||||
- **Report Test:** Verify that the skill catalog correctly reflects the status of loaded vs. failed skills.
|
||||
@@ -90,7 +90,7 @@ Deep architectural discussion on what a cognition-first agent would look like.
|
||||
|
||||
Key insights:
|
||||
- Lisp machine philosophy: image-based persistence, live environment, homoiconicity
|
||||
- Neurosymbolic computing: System 1 (LLMs/fast/intuitive) + System 2 (symbolic/slow/deliberate)
|
||||
- Neurosymbolic computing: Probabilistic Engine (LLMs/fast/intuitive) + Deterministic Engine (symbolic/slow/deterministic)
|
||||
- PDS as runtime environment, not just storage
|
||||
- Org-mode as native cognitive interface
|
||||
- Always-on, interrupt-driven proactivity (not request-response)
|
||||
|
||||
676
gtd.org
676
gtd.org
@@ -15,16 +15,381 @@
|
||||
:ID: gtd-projects
|
||||
:END:
|
||||
|
||||
** NEXT PSF Core: Role Automation
|
||||
** NEXT Org-agent v1.0
|
||||
:PROPERTIES:
|
||||
:ID: proj-org-agent-v1-0
|
||||
:Engineering-STATE: D: BUILD
|
||||
:CREATED: [2026-03-09 Mon 14:23]
|
||||
: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:
|
||||
:CREATED: [2026-03-22 Sun 14:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
**** DONE Implement core Perceive-Think-Act loop in Common Lisp
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 14:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
**** DONE Implement Persistent Object-Store for Org entities in CL
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 16:30]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
**** DONE Implement LLM Connector (Probabilistic Engine) in CL Daemon
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
**** DONE Design Deterministic Engine Heuristics (Lisp logic over Memory)
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:END:
|
||||
**** DONE Achieve Phase 3: The Self-Editing Kernel
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
- Jailing & Sandboxing implemented
|
||||
- Org-Native Skill Standard established
|
||||
- Telemetry & Introspection API active
|
||||
|
||||
*** PHASE: THE SOVEREIGN BOUNDARY (Core vs Skills Refactor)
|
||||
:PROPERTIES:
|
||||
:ID: proj-sovereign-boundary
|
||||
:END:
|
||||
Slim down the org-agent microharness by moving non-essential cognitive functions to hot-reloadable user-space skills.
|
||||
|
||||
**** DONE Extract LLM Provider Routing to a Skill (neuro.lisp)
|
||||
**** DONE Extract Vector Embedding Algorithms to a Skill (embedding.lisp)
|
||||
CLOSED: [2026-04-12 Sun 14:10]
|
||||
:PROPERTIES:
|
||||
:ID: extract-embedding-skill
|
||||
:END:
|
||||
- Created `org-skill-embedding.org`.
|
||||
- Moved logic to `src/embedding-logic.lisp` via tangling.
|
||||
- Updated `system-definition.org`.
|
||||
**** DONE Extract Sparse Tree Context Pruning Strategies to a Skill (context.lisp)
|
||||
CLOSED: [2026-04-12 Sun 14:25]
|
||||
:PROPERTIES:
|
||||
:ID: extract-context-skill
|
||||
:END:
|
||||
- Created `org-skill-peripheral-vision.org`.
|
||||
- Moved logic to `src/context-logic.lisp` via tangling.
|
||||
- Updated `system-definition.org`.
|
||||
**** DONE Implement `org-skill-peripheral-vision` (Moving embedding logic out of core)
|
||||
CLOSED: [2026-04-12 Sun 14:25]
|
||||
:PROPERTIES:
|
||||
:ID: impl-peripheral-vision
|
||||
:END:
|
||||
**** DONE Implement communication protocol Schema Validation (Prevent reader macro injection in communication.lisp)
|
||||
CLOSED: [2026-04-12 Sun 14:45]
|
||||
:PROPERTIES:
|
||||
:ID: communication-protocol-schema-validation
|
||||
:END:
|
||||
- Created `org-skill-protocol-validator.org`.
|
||||
- Integrated `validate-communication-protocol-schema` into `communication.org`.
|
||||
- Added `protocol-validator.lisp` to system definition.
|
||||
**** DONE Implement Pluggable communication protocol Integrity Hashing (Core interface, Skill-based algorithms)
|
||||
CLOSED: [2026-04-12 Sun 15:15]
|
||||
:PROPERTIES:
|
||||
:ID: communication-protocol-integrity-hashing
|
||||
:END:
|
||||
- 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 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]
|
||||
**** DONE Simplification: Refactor Cognitive Loop into a Unified Reactive Signal Pipeline
|
||||
CLOSED: [2026-04-12 Sun 19:15]
|
||||
**** DONE Resilience: Implement Micro-Rollbacks for the Immune System
|
||||
CLOSED: [2026-04-12 Sun 19:15]
|
||||
**** DONE Implement `org-skill-memory-archivist` (Long-term IPFS checkpointing and P2P sync)
|
||||
CLOSED: [2026-04-12 Sun 19:15]
|
||||
**** DONE Implement True Lisp Sandboxing (eval-safe mechanism in core and policy in skills)
|
||||
CLOSED: [2026-04-12 Sun 19:15]
|
||||
**** DONE Decouple Vendor Logic from Probabilistic Engine (Move Google/Anthropic/OpenAI to Skills)
|
||||
CLOSED: [2026-04-12 Sun 19:15]
|
||||
**** DONE Component IV: Comprehensive Core Skill Audit (Review all 39 skills)
|
||||
CLOSED: [2026-04-12 Sun 19:45]
|
||||
:PROPERTIES:
|
||||
:ID: core-skill-audit-task
|
||||
:END:
|
||||
|
||||
**** DONE Consolidation I: Unified LLM Gateway (Anthropic, Gemini, Groq, OpenAI, etc.)
|
||||
**** DONE Consolidation II: Credentials Vault (Secure Enclave & Masked Logging)
|
||||
**** DONE Consolidation III: Homoiconic Memory (Unified Grammar, Bridge, & ID Generation)
|
||||
**** DONE Consolidation IV: State Persistence Layer (Unified Local & IPFS Checkpointing)
|
||||
**** DONE Consolidation V: Event Orchestrator (Unified Cron, Hooks, & Cognitive Routing)
|
||||
**** DONE Consolidation VI: Task Orchestrator (Task Integrity, Delegation, & Consensus)
|
||||
CLOSED: [2026-04-11 Sat 13:45]
|
||||
:PROPERTIES:
|
||||
:ID: task-orchestrator-consolidation
|
||||
:END:
|
||||
- Implemented Parallel Multi-Backend Consensus in neuro.lisp.
|
||||
- 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]
|
||||
:PROPERTIES:
|
||||
:ID: lisp-repair-gate
|
||||
:END:
|
||||
- Implemented asynchronous, event-driven repair logic.
|
||||
- Decoupled core from repair logic (emits `:syntax-error` event).
|
||||
- Proven via lisp-repair-tests.lisp (Asynchronous flow verified).
|
||||
**** DONE Implement `org-skill-formal-verification` (Prove safety of high-impact actions)
|
||||
CLOSED: [2026-04-11 Sat 18:15]
|
||||
:PROPERTIES:
|
||||
:ID: formal-verification-task
|
||||
:END:
|
||||
- Implemented `org-skill-formal-verification.org`.
|
||||
- Created Lisp-Native Symbolic Prover for security invariants.
|
||||
- Implemented `path-confinement` invariant (restricted to memex root).
|
||||
- Implemented `no-network-exfil` invariant (blocking nc, ssh, etc).
|
||||
- Verified with `formal-verification-tests.lisp`.
|
||||
|
||||
|
||||
*** PHASE: DETERMINISTIC ENGINE REFINEMENT
|
||||
**** DONE Verify Autonomous Self-Fix Loop
|
||||
CLOSED: [2026-04-11 Sat 14:20]
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
- Proven repair capability via self-fix-tests.lisp.
|
||||
- Verified surgical code patching and hot-reloading.
|
||||
- Documentation and RCA complete.
|
||||
**** DONE Implement "Planning Mode" (Deterministic Engine Bouncer) for Complex Actions
|
||||
CLOSED: [2026-04-11 Sat 15:30]
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-04-01 Wed 17:00]
|
||||
:END:
|
||||
- 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 (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 Memory event bus for asynchronous re-injection.
|
||||
|
||||
**** DONE Refactor Architecture Terminology (Associative -> Probabilistic, Deliberate -> Deterministic)
|
||||
CLOSED: [2026-04-12 Sun 21:00]
|
||||
:PROPERTIES:
|
||||
:ID: terminology-refactor-task
|
||||
:END:
|
||||
- Updated codebase-wide terminology to use Probabilistic/Deterministic Engines.
|
||||
- Replaced System 1/2 with Probabilistic/Deterministic Engines respectively.
|
||||
|
||||
*** TRACK: SECURITY & CONTAINMENT (The 5-Vector Bouncer Matrix)
|
||||
**** DONE Implement Path-Based Scoping for File Writes (DNA/State vs Work)
|
||||
CLOSED: [2026-04-12 Sun 15:15]
|
||||
:PROPERTIES:
|
||||
:ID: path-based-scoping
|
||||
:END:
|
||||
- Implemented as `path-confinement` invariant in `org-skill-formal-verification.org`.
|
||||
**** DONE Implement Network Exfiltration Gate (Intercept generic HTTP requests)
|
||||
CLOSED: [2026-04-12 Sun 15:15]
|
||||
:PROPERTIES:
|
||||
:ID: network-exfiltration-gate
|
||||
:END:
|
||||
- Implemented as `no-network-exfil` invariant in `org-skill-formal-verification.org`.
|
||||
**** TODO Implement Secret Exposure Gate (Intercept reads to .env, keys)
|
||||
|
||||
*** TRACK: INTELLIGENCE & ACTUATION (The Engines)
|
||||
**** DONE Verify individual provider track (Anthropic, Gemini, Groq, OpenAI, OpenRouter, Ollama)
|
||||
CLOSED: [2026-04-11 Sat 15:45]
|
||||
:PROPERTIES:
|
||||
:ID: provider-verification-track
|
||||
:END:
|
||||
- Added unit tests for each provider in `llm-gateway-tests.lisp`.
|
||||
- Mocked `dex:post` to verify JSON payload formatting and response parsing.
|
||||
- Implemented robust `get-nested` helper to handle various provider structures.
|
||||
- Integrated `llm-gateway` and `credentials-vault` into `org-agent.asd`.
|
||||
**** TODO Verify org-skill-shell-actuator formal safety harnesses
|
||||
**** DONE Build Playwright-Python Bridge for high-fidelity browsing
|
||||
CLOSED: [2026-04-11 Sat 18:30]
|
||||
:PROPERTIES:
|
||||
:ID: playwright-bridge-task
|
||||
:END:
|
||||
- Created `scripts/browser-bridge.py` (Playwright wrapper).
|
||||
- Implemented `org-skill-playwright.org`.
|
||||
- Registered `:browser` cognitive tool (JS-rendering, text extraction, screenshots).
|
||||
- Updated `Dockerfile` with Python/Playwright dependencies.
|
||||
- Verified with `playwright-tests.lisp`.
|
||||
|
||||
|
||||
*** TRACK: COMMUNICATION & INTERFACES
|
||||
**** DONE Implement org-skill-gateway-telegram
|
||||
CLOSED: [2026-04-11 Sat 16:15]
|
||||
:PROPERTIES:
|
||||
:ID: gateway-telegram-task
|
||||
:END:
|
||||
- Implemented `org-skill-gateway-telegram.org`.
|
||||
- Added automated background polling for Telegram GetUpdates.
|
||||
- Implemented `:telegram` actuator for outbound responses.
|
||||
- Refactored `org-skill-chat` to be channel-aware.
|
||||
- Verified with `gateway-telegram-tests.lisp`.
|
||||
**** DONE Implement org-skill-gateway-signal
|
||||
CLOSED: [2026-04-11 Sat 16:50]
|
||||
:PROPERTIES:
|
||||
:ID: gateway-signal-task
|
||||
:END:
|
||||
- Implemented `org-skill-gateway-signal.org` (signal-cli wrapper).
|
||||
- Added background polling for `signal-cli receive --json`.
|
||||
- Implemented `:signal` actuator for outbound responses.
|
||||
- Updated `org-skill-chat` to support Signal channel.
|
||||
- Verified with `gateway-signal-tests.lisp`.
|
||||
**** DONE Implement org-skill-gateway-matrix
|
||||
CLOSED: [2026-04-11 Sat 17:15]
|
||||
:PROPERTIES:
|
||||
:ID: gateway-matrix-task
|
||||
:END:
|
||||
- Implemented `org-skill-gateway-matrix.org` (Client-Server API).
|
||||
- Added background polling for `/sync` with token persistence.
|
||||
- Implemented `:matrix` actuator for `m.room.message` delivery.
|
||||
- Updated `org-skill-chat` to support Matrix channel and room IDs.
|
||||
- Verified with `gateway-matrix-tests.lisp`.
|
||||
|
||||
*** TRACK: DEPLOYMENT & INFRASTRUCTURE
|
||||
**** DONE Create Dockerfile and docker-compose.yml for containerized setup
|
||||
CLOSED: [2026-04-11 Sat 17:30]
|
||||
:PROPERTIES:
|
||||
:ID: docker-infra-task
|
||||
:END:
|
||||
- Created `Dockerfile` (Debian-based, SBCL + Quicklisp + signal-cli).
|
||||
- Created `docker-compose.yml` with host-volume mapping for memex.
|
||||
- Created `docs/deployment.org` guide.
|
||||
**** TODO Create Bare Metal installation scripts/playbooks
|
||||
**** TODO Create LXC (Linux Containers) template/guide
|
||||
**** TODO Create VM Vagrantfiles/Cloud-init configs
|
||||
|
||||
*** TRACK: MAINTENANCE & HYGIENE
|
||||
**** TODO [RECURRING: Monthly] Review and test Infrastructure Dependency Upgrades
|
||||
:PROPERTIES:
|
||||
:ID: monthly-infra-audit
|
||||
:REPEAT_TO_STATE: TODO
|
||||
:END:
|
||||
- [ ] Check for new Debian security patches (`apt-get update` check).
|
||||
- [ ] Check for new `signal-cli` releases (compare vs v0.14.0).
|
||||
- [ ] Check for new Quicklisp distribution (monthly snapshot).
|
||||
- [ ] **Verification:** Update `Dockerfile`, run `docker-compose build --no-cache`, and execute full test suite.
|
||||
- [ ] If all tests pass, commit updated `Dockerfile` and `.asd` dependencies.
|
||||
|
||||
*** TRACK: COMMUNITY & DOCS
|
||||
**** TODO Write Quickstart Guide
|
||||
**** TODO Write Skill Creation Guide
|
||||
**** TODO Write Architecture Deep-Dive
|
||||
**** TODO Clean up GitHub repository structure and add CI/CD
|
||||
**** TODO Create Marketing Material (Landing page copy, diagrams)
|
||||
**** TODO Draft Release Plan checklist
|
||||
|
||||
*** SUB-PROJECT: THE BOOT SEQUENCE (skills.lisp)
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-boot-sequence
|
||||
:END:
|
||||
**** DONE Refactor `skills.lisp` into a Micro-Loader (Harness)
|
||||
CLOSED: [2026-04-12 Sun 19:10]
|
||||
**** DONE Implement Topological Sort based on `#+DEPENDS_ON:` tags
|
||||
CLOSED: [2026-04-12 Sun 15:15]
|
||||
:PROPERTIES:
|
||||
:ID: topological-sort-skills
|
||||
:END:
|
||||
- Implemented in `literate/skills.org`.
|
||||
**** DONE Enforce `org-skill-system-invariants` as the mandatory Gateway Skill (Loaded first)
|
||||
CLOSED: [2026-04-12 Sun 15:15]
|
||||
:PROPERTIES:
|
||||
:ID: enforce-mandatory-skill
|
||||
:END:
|
||||
- Enforced in `initialize-all-skills` in `literate/skills.org`.
|
||||
**** DONE Formalize the "Minimal Boot Set" (Router, Vision, Steward, Actuator)
|
||||
CLOSED: [2026-04-12 Sun 19:10]
|
||||
- Verified during the Minimal Boot Set Verification phase.
|
||||
|
||||
|
||||
** NEXT Engineering Core: Role Automation
|
||||
:PROPERTIES:
|
||||
:ID: proj-psf-core
|
||||
:PROJECT_PATH: $PROJECTS_DIR/psf-core
|
||||
:PSF-STATE: D: BUILD
|
||||
:Engineering-STATE: D: BUILD
|
||||
:TRIGGER: next-sibling!
|
||||
:END:
|
||||
Drafting the automated behaviors for the PSF loop.
|
||||
Drafting the automated behaviors for the Engineering loop.
|
||||
|
||||
*** DONE Draft PRD for PSF Core
|
||||
*** DONE Draft PRD for Engineering Core
|
||||
:PROPERTIES:
|
||||
:ID: task-prd-psf-core
|
||||
:TRIGGER: next-sibling!
|
||||
@@ -32,7 +397,7 @@ Drafting the automated behaviors for the PSF loop.
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-03-30 Mon 19:15]
|
||||
:END:
|
||||
*** DONE Draft PROTOCOL for PSF Core
|
||||
*** DONE Draft PROTOCOL for Engineering Core
|
||||
:PROPERTIES:
|
||||
:ID: task-proto-psf-core
|
||||
:BLOCKER: previous-sibling!
|
||||
@@ -41,7 +406,7 @@ Drafting the automated behaviors for the PSF loop.
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-03-30 Mon 19:25]
|
||||
:END:
|
||||
*** DONE Implement and Test PSF Core Skills
|
||||
*** DONE Implement and Test Engineering Core Skills
|
||||
:PROPERTIES:
|
||||
:ID: task-impl-psf-core
|
||||
:BLOCKER: previous-sibling!
|
||||
@@ -50,94 +415,6 @@ Drafting the automated behaviors for the PSF loop.
|
||||
- State "DONE" from "TODO" [2026-03-30 Mon 19:30]
|
||||
:END:
|
||||
|
||||
** NEXT Refactor: The Sovereign Boundary (Core vs Skills)
|
||||
:PROPERTIES:
|
||||
:ID: proj-sovereign-boundary
|
||||
:PROJECT_PATH: $PROJECTS_DIR/org-agent
|
||||
:PSF-STATE: A: DEMAND
|
||||
:END:
|
||||
Slim down the org-agent microkernel by moving non-essential cognitive functions to hot-reloadable user-space skills.
|
||||
|
||||
*** DONE Extract LLM Provider Routing to a Skill (neuro.lisp)
|
||||
*** TODO Extract Vector Embedding Algorithms to a Skill (embedding.lisp)
|
||||
*** TODO Extract Sparse Tree Context Pruning Strategies to a Skill (context.lisp)
|
||||
*** TODO Implement `org-skill-peripheral-vision` (Moving embedding logic out of core)
|
||||
*** 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 OACP Schema Validation (Prevent reader macro injection in protocol.lisp)
|
||||
*** TODO Implement Pluggable OACP Integrity Hashing (Core interface, Skill-based algorithms)
|
||||
*** TODO Implement OACP Backpressure Handling (Queue bounds and BUSY frames in protocol.lisp)
|
||||
*** TODO Implement Cognitive Loop "Rut" Recovery (Dynamic Escalation in org-skill-safety-harness)
|
||||
*** TODO Implement Asynchronous Event Bus for Telemetry (core.lisp)
|
||||
*** TODO Implement Memory Eviction and Lazy Loading (LRU Cache in object-store.lisp)
|
||||
*** DONE Implement Native Lisp Merkle-Tree Versioning (Short-term undo buffer in object-store.lisp)
|
||||
CLOSED: [2026-04-09 Thu 14:45]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 14:45]
|
||||
:END:
|
||||
*** DONE Performance: Implement Copy-on-Write (CoW) or Persistent Data Structures for Object Store
|
||||
CLOSED: [2026-04-09 Thu 14:46]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 14:46]
|
||||
:END:
|
||||
*** DONE Feature: Implement Latent Reflection (Proactive Gardening) using heartbeat idle cycles
|
||||
CLOSED: [2026-04-09 Thu 20:15]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 20:15]
|
||||
:END:
|
||||
*** DONE Simplification: Refactor Cognitive Loop into a Unified Reactive Signal Pipeline
|
||||
CLOSED: [2026-04-09 Thu 15:15]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 15:15]
|
||||
:END:
|
||||
*** DONE Resilience: Implement Micro-Rollbacks for the Immune System
|
||||
CLOSED: [2026-04-09 Thu 15:36]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 15:36]
|
||||
:END:
|
||||
*** DONE Implement `org-skill-memory-archivist` (Long-term IPFS checkpointing and P2P sync)
|
||||
CLOSED: [2026-04-09 Thu 15:35]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 15:35]
|
||||
:END:
|
||||
*** DONE Implement True Lisp Sandboxing (eval-safe mechanism in core and policy in skills)
|
||||
CLOSED: [2026-04-09 Thu 16:28]
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-04-09 Thu 16:28]
|
||||
:END:
|
||||
*** DONE Decouple Vendor Logic from System 1 (Move Google/Anthropic/OpenAI to Skills)
|
||||
*** TODO Implement `org-skill-lisp-repair` (Self-correcting syntax gate for System 2)
|
||||
*** TODO Implement `org-skill-formal-verification` (Prove safety of high-impact actions)
|
||||
|
||||
** NEXT Project: Cognitive Benchmarking (Claw-Code Distillation)
|
||||
:PROPERTIES:
|
||||
:ID: proj-claw-code-benchmarking
|
||||
:PROJECT_PATH: $PROJECTS_DIR/benchmarking
|
||||
:PSF-STATE: A: DEMAND
|
||||
:END:
|
||||
Systematically study the `claw-code` (Rust) and leaked Claude Code architectures to improve the `org-agent` kernel and skills.
|
||||
|
||||
*** TODO Map Claw-Code Tool-Use Protocol (How it handles multi-tool steps)
|
||||
*** TODO Distill Claw-Code File Editing Techniques (Surgical diffing vs overwriting)
|
||||
*** TODO Analyze Claw-Code History Pruning (How it stays within context limits)
|
||||
*** TODO Write a comprehensive Note in notes/ on "Lessons from the Rust Agent Explosion"
|
||||
*** TODO Implement `org-skill-history-pruner` based on claw-code context checkpointing
|
||||
*** TODO Implement `org-skill-tool-router` based on claw-code semantic tool selection
|
||||
|
||||
** NEXT Project: The Boot Sequence (Refining skills.lisp)
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-boot-sequence
|
||||
:PSF-STATE: B: BLUEPRINT
|
||||
:END:
|
||||
Implement the topological dependency loader and solve the bootstrapping paradox.
|
||||
|
||||
*** TODO Refactor `skills.lisp` into a Micro-Loader (Core)
|
||||
*** TODO Implement Topological Sort based on `#+DEPENDS_ON:` tags
|
||||
*** TODO Enforce `org-skill-agent` as the mandatory Gateway Skill (Loaded first)
|
||||
*** TODO Formalize the "Minimal Boot Set" (Router, Vision, Steward, Actuator)
|
||||
*** TODO Implement Skill Capability Negotiation (Pre-flight tool check)
|
||||
*** TODO Add Resource Jailing (Timeouts and Memory Quotas for Skills)
|
||||
|
||||
** Agora: Decentralized Social Network
|
||||
:PROPERTIES:
|
||||
:ID: agora-project
|
||||
@@ -194,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
|
||||
@@ -204,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
|
||||
@@ -318,7 +595,7 @@ Address security audit findings and harden the system.
|
||||
:NOTES: User to provide pointers before commencing critical reading and analysis. Do not proceed without explicit instruction.
|
||||
:END:
|
||||
|
||||
** Personal Software Foundry (PSF) Implementation
|
||||
** Engineering Standards Implementation
|
||||
:PROPERTIES:
|
||||
:ID: psf-implementation
|
||||
:CREATED: [2026-03-22 Sun 15:30]
|
||||
@@ -326,7 +603,7 @@ Address security audit findings and harden the system.
|
||||
|
||||
Institutionalizing the virtual software house operating system.
|
||||
|
||||
*** DONE Draft PSF Operating System Manual ([[file:notes/personal_software_foundry.org][personal_software_foundry.org]])
|
||||
*** DONE Draft Engineering Operating System Manual ([[file:notes/personal_software_foundry.org][personal_software_foundry.org]])
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 15:30]
|
||||
:ASSIGNED: Agent
|
||||
@@ -335,7 +612,7 @@ Institutionalizing the virtual software house operating system.
|
||||
- State "DONE" from "NEXT" [2026-03-22 Sun 15:45]
|
||||
:END:
|
||||
|
||||
*** DONE Update `SOUL.org` with PSF Mandates
|
||||
*** DONE Update `SOUL.org` with Engineering Mandates
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 15:30]
|
||||
:ASSIGNED: Agent
|
||||
@@ -344,7 +621,7 @@ Institutionalizing the virtual software house operating system.
|
||||
- State "DONE" from "NEXT" [2026-03-22 Sun 15:45]
|
||||
:END:
|
||||
|
||||
*** DONE Apply PSF Loop to `org-agent` Phase 1 (Core Loop)
|
||||
*** DONE Apply Engineering Loop to `org-agent` Phase 1 (Core Loop)
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 15:30]
|
||||
:ASSIGNED: Technical Analyst
|
||||
@@ -365,130 +642,6 @@ Institutionalizing the virtual software house operating system.
|
||||
:ASSIGNED: Technical Analyst
|
||||
:END:
|
||||
|
||||
** Org-agent
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-09 Mon 14:23]
|
||||
:END:
|
||||
|
||||
Org-agent: A Neurosymbolic AI Agent.
|
||||
|
||||
*** DONE Draft Swank/Socket communication protocol between CL and Emacs
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 14:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-03-22 Sun 15:00]
|
||||
:END:
|
||||
|
||||
*** DONE Implement core Perceive-Think-Act loop in Common Lisp
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 14:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "NEXT" [2026-03-22 Sun 16:00]
|
||||
:END:
|
||||
|
||||
*** DONE Implement Persistent Object-Store for Org entities in CL
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 16:30]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-03-22 Sun 17:15]
|
||||
:END:
|
||||
|
||||
*** DONE Implement LLM Connector (System 1) in CL Daemon
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "NEXT" [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
|
||||
*** DONE Design System 2 Heuristics (Lisp logic over Object Store)
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:END:
|
||||
:LOGBOOK:
|
||||
- State "DONE" from "TODO" [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
|
||||
*** DONE Achieve Phase 3: The Self-Editing Kernel
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
- Jailing & Sandboxing implemented
|
||||
- Org-Native Skill Standard established
|
||||
- Telemetry & Introspection API active
|
||||
|
||||
*** NEXT Verify Autonomous Self-Fix Loop
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
Trigger a deliberate error and ensure `skill-self-fix` repairs the code.
|
||||
|
||||
*** TODO Implement "Planning Mode" (System 2 Bouncer) for Complex Actions
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-04-01 Wed 17:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
- Modify `decide` in `symbolic.lisp` to intercept core modifications, dependency installations, and configuration changes.
|
||||
- Transition state to `:PLANNING` instead of executing directly.
|
||||
- Draft flight plans as Org-mode artifacts in `~/memex/inbox/`.
|
||||
|
||||
*** TODO Implement Authorization Gate (OACP) for "Planning Mode"
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-04-01 Wed 17:00]
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
- Send `:AUTHORIZATION-REQUEST` to Emacs.
|
||||
- Display Emacs prompt for the Sovereign to review the flight plan.
|
||||
- Block the cognitive thread until `:AUTHORIZATION-RESPONSE` is received.
|
||||
- Run automated test suite immediately upon `:APPROVED` action execution.
|
||||
|
||||
*** TODO Implement Skill Graph Visualizer in Web Dashboard
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
Convert the flat list to a D3.js or similar graph view.
|
||||
|
||||
*** TODO Build Playwright-Python Bridge for high-fidelity browsing
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-23 Mon 16:30]
|
||||
:END:
|
||||
Expand `skill-web-research` to handle JS-heavy sites.
|
||||
|
||||
** Lisp Machine Bootstrap
|
||||
:PROPERTIES:
|
||||
:ID: lisp-machine-bootstrap
|
||||
:CREATED: [2026-03-22 Sun 14:15]
|
||||
:END:
|
||||
|
||||
The "Endgame": Hardware-native Lisp machine implementation.
|
||||
|
||||
*** TODO Research existing Lisp-on-FPGA implementations
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 14:15]
|
||||
:END:
|
||||
|
||||
*** TODO Define minimum hardware-native Lisp ISA (Instruction Set Architecture)
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 14:15]
|
||||
:END:
|
||||
|
||||
*** TODO Draft CLOSOS-style Virtual Machine specification
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:END:
|
||||
|
||||
*** TODO Investigate Single Address Space and Multiple Environments in CL
|
||||
:PROPERTIES:
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
:END:
|
||||
|
||||
** Infrastructure
|
||||
:PROPERTIES:
|
||||
:ID: infrastructure-project
|
||||
@@ -635,7 +788,7 @@ Defining and maintaining high-integrity KM and GTD workflows.
|
||||
:ASSIGNED: Agent
|
||||
:END:
|
||||
|
||||
Detected ~1,300 entries missing the `:CREATED:` property during the PSF Phase E (Chaos) audit.
|
||||
Detected ~1,300 entries missing the `:CREATED:` property during the Engineering Phase E (Chaos) audit.
|
||||
- [ ] Implement inference logic to restore historical timestamps (via Git or context).
|
||||
- [ ] Batch repair `inbox-emacs.org`, `inbox-atoms.org`, and `inbox-posts.org`.
|
||||
|
||||
@@ -802,55 +955,55 @@ See project documents: [[file:5_projects/token-optimization/README.org][token-op
|
||||
:CREATED: [2026-03-17 Tue 13:40]
|
||||
:END:
|
||||
|
||||
** PSF Skill: Architect Agent
|
||||
** Engineering Skill: Architect Agent
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-architect
|
||||
:PROJECT-PATH: $PROJECTS_DIR/org-skill-architect
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Formalized as a Universal Literate Note.
|
||||
|
||||
** PSF Skill: Technical Analyst Agent
|
||||
** Engineering Skill: Technical Analyst Agent
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-tech-analyst
|
||||
:PROJECT-PATH: $PROJECTS_DIR/org-skill-tech-analyst
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Formalized as a Universal Literate Note.
|
||||
|
||||
** PSF Skill: Project Foundry Agent
|
||||
** Engineering Skill: Engineering Standards
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-project-foundry
|
||||
:PROJECT-PATH: $PROJECTS_DIR/org-skill-project-foundry
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Formalized as a Universal Literate Note.
|
||||
|
||||
** PSF Skill: Scribe Agent
|
||||
** Engineering Skill: Scribe Agent
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-scribe
|
||||
:PROJECT-PATH: $PROJECTS_DIR/org-skill-scribe
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Formalized as a Universal Literate Note.
|
||||
|
||||
** PSF Skill: Memex Manager
|
||||
** Engineering Skill: Memex Manager
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-memex
|
||||
:PROJECT-PATH: $PROJECTS_DIR/org-skill-memex
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Formalized as a Universal Literate Note.
|
||||
|
||||
** PSF Skill: Infrastructure & Providers (Batch refactor)
|
||||
** Engineering Skill: Infrastructure & Providers (Batch refactor)
|
||||
:PROPERTIES:
|
||||
:ID: proj-skill-batch-refactor
|
||||
:PSF-STATE: F: MEMORY
|
||||
:Engineering-STATE: F: MEMORY
|
||||
:CREATED: [2026-03-31 Tue 15:45]
|
||||
:END:
|
||||
DONE - Refactored 28 infrastructure, provider, and intelligence skills into the Universal Note architecture.
|
||||
@@ -936,6 +1089,53 @@ Each year, the project will go forward in time as more works enter the public do
|
||||
A modular manual of different areas to go with different activities. Fits in the travelers notebook
|
||||
|
||||
* Someday / Future
|
||||
|
||||
** 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 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 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 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)
|
||||
*** TODO Implement Belief Revision & Reconciliation (Audit deltas for contradictions in scribe-engine.lisp)
|
||||
*** TODO Implement Real-Time Entity Linking (Automatic profile loading for People/Objects in perceive-gate)
|
||||
*** TODO Implement Time-Series Sensor Skill (Signal-to-Symbol distillation for telemetry)
|
||||
*** TODO Implement Autonomous Image Analysis (Send image bytes to LLM for nodes with attachments in llm-gateway.lisp)
|
||||
*** TODO Draft comprehensive Threat Model for Agentic Containment
|
||||
*** TODO Implement Swarm Lateral Movement Gate (Intercept global state changes)
|
||||
*** TODO Implement Skill Graph Visualizer in Web Dashboard
|
||||
*** TODO Implement Skill Capability Negotiation (Pre-flight tool check)
|
||||
*** TODO Add Resource Jailing (Timeouts and Memory Quotas for Skills)
|
||||
** SUB-PROJECT: COGNITIVE BENCHMARKING (Claw-Code Distillation)
|
||||
*** SUB-PROJECT: COGNITIVE BENCHMARKING (Claw-Code Distillation)
|
||||
:PROPERTIES:
|
||||
:ID: proj-claw-code-benchmarking
|
||||
:END:
|
||||
**** TODO Map Claw-Code Tool-Use Protocol (How it handles multi-tool steps)
|
||||
**** TODO Distill Claw-Code File Editing Techniques (Surgical diffing vs overwriting)
|
||||
**** TODO Analyze Claw-Code History Pruning (How it stays within context limits)
|
||||
**** TODO Write a comprehensive Note in notes/ on "Lessons from the Rust Agent Explosion"
|
||||
**** TODO Implement `org-skill-history-pruner` based on claw-code context checkpointing
|
||||
**** TODO Implement `org-skill-tool-router` based on claw-code semantic tool selection
|
||||
|
||||
** Lisp Machine Bootstrap
|
||||
:ID: lisp-machine-bootstrap
|
||||
:CREATED: [2026-03-22 Sun 14:15]
|
||||
The "Endgame": Hardware-native Lisp machine implementation.
|
||||
*** TODO Research existing Lisp-on-FPGA implementations
|
||||
:CREATED: [2026-03-22 Sun 14:15]
|
||||
*** TODO Define minimum hardware-native Lisp ISA (Instruction Set Architecture)
|
||||
*** TODO Draft CLOSOS-style Virtual Machine specification
|
||||
:CREATED: [2026-03-22 Sun 17:30]
|
||||
*** TODO Investigate Single Address Space and Multiple Environments in CL
|
||||
:PROPERTIES:
|
||||
:ID: gtd-someday
|
||||
:END:
|
||||
@@ -944,7 +1144,7 @@ A modular manual of different areas to go with different activities. Fits in the
|
||||
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 OACP 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.
|
||||
|
||||
@@ -38,13 +38,13 @@ The cognition-first agent revives this philosophy: your PDS is not storage but a
|
||||
|
||||
We are describing a neurosymbolic architecture:
|
||||
|
||||
- *Neural component (System 1)*: LLMs provide pattern recognition, generation, intuition
|
||||
- Fast, associative, context-sensitive
|
||||
- *Neural component (Probabilistic Engine)*: LLMs provide pattern recognition, generation, intuition
|
||||
- Fast, probabilistic, context-sensitive
|
||||
- Handles ambiguity, natural language, creativity
|
||||
- Limited by context window, hallucination, no persistent memory
|
||||
|
||||
- *Symbolic component (System 2)*: The agent architecture provides structure, reasoning, persistence
|
||||
- Slow, deliberate, rule-based
|
||||
- *Symbolic component (Deterministic Engine)*: The agent architecture provides structure, reasoning, persistence
|
||||
- Slow, deterministic, rule-based
|
||||
- Maintains knowledge graphs, executes plans, tracks epistemic state
|
||||
- Provides guardrails, verification, long-term memory
|
||||
|
||||
@@ -122,9 +122,9 @@ Agora pattern: Personal image-based agent runtime
|
||||
- Stateful, personal, local-first
|
||||
- LLMs are *substrate*, not product
|
||||
|
||||
** System 1 / System 2 Integration
|
||||
** Probabilistic Engine / Deterministic Engine Integration
|
||||
|
||||
| Function | System 1 (Neural/LLM) | System 2 (Symbolic/Agent) |
|
||||
| Function | Probabilistic Engine (Neural/LLM) | Deterministic Engine (Symbolic/Agent) |
|
||||
|----------|----------------------|---------------------------|
|
||||
| Pattern matching | Generates associations | Structures into knowledge graph |
|
||||
| Text generation | Writes prose, code, summaries | Validates for consistency, sources |
|
||||
@@ -156,7 +156,7 @@ Agora pattern: Personal image-based agent runtime
|
||||
- Lisp machines (Symbolics, LMI): Image-based, personal, extensible
|
||||
- Emacs: The extensible, customizable, self-documenting real-time display editor
|
||||
- SOAR cognitive architecture: Problem-solving as state-space search
|
||||
- Kahneman's System 1/2: Dual-process theory of cognition
|
||||
- Kahneman's Probabilistic Engine/2: Dual-process theory of cognition
|
||||
- Neurosymbolic AI: Combining neural networks with symbolic reasoning
|
||||
|
||||
** Connections to Agora Documentation
|
||||
@@ -176,7 +176,7 @@ Agora pattern: Personal image-based agent runtime
|
||||
|
||||
** Conclusion
|
||||
|
||||
We are describing not an "AI assistant" but a *personal cognitive infrastructure*—a neurosymbolic system where neural networks provide associative intelligence and symbolic architecture provides structure, persistence, and reasoning. The Lisp machine philosophy, applied to modern AI, creating an environment where the boundary between human and machine cognition becomes a continuum rather than an interface.
|
||||
We are describing not an "AI assistant" but a *personal cognitive infrastructure*—a neurosymbolic system where neural networks provide probabilistic intelligence and symbolic architecture provides structure, persistence, and reasoning. The Lisp machine philosophy, applied to modern AI, creating an environment where the boundary between human and machine cognition becomes a continuum rather than an interface.
|
||||
|
||||
#+begin_quote
|
||||
"The computer should be an extension of the mind, not a tool for the hand."
|
||||
|
||||
@@ -15,7 +15,7 @@
|
||||
** [2026-03-23] Cognitive Loop Architecture (org-agent)
|
||||
- *Problem:* Monolithic PTA (Perceive-Think-Act) loops lead to "Neural Drift" where the LLM's unverified suggestions can cause illegal system states or security breaches.
|
||||
- *Solution:* Implement the *Four-Stage Cognitive Loop*: Perceive -> Think -> Decide -> Act.
|
||||
- *Heuristic:* System 1 (Neural/LLM) is a proposal engine only. System 2 (Symbolic/Lisp) is the absolute gatekeeper.
|
||||
- *Heuristic:* Probabilistic Engine (Neural/LLM) is a proposal engine only. Deterministic Engine (Symbolic/Lisp) is the absolute gatekeeper.
|
||||
- *Verification:* Never execute an action unless it has passed through `decide()` and been verified against the symbolic Object Store (CLOSOS).
|
||||
|
||||
** [2026-03-23] Externalized Configuration Mandate
|
||||
@@ -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.
|
||||
|
||||
166
notes/v1-0-skill-audit-track.org
Normal file
166
notes/v1-0-skill-audit-track.org
Normal file
@@ -0,0 +1,166 @@
|
||||
#+TITLE: AUDIT: V1.0 Comprehensive Core Skill Audit
|
||||
#+AUTHOR: Gemini CLI (Agent)
|
||||
#+DATE: [2026-04-09 Thu]
|
||||
#+FILETAGS: :audit:kernel:psf:
|
||||
#+STARTUP: overview
|
||||
|
||||
* Overview
|
||||
This audit systematically reviews the 39 core skills of the Org-Agent for compliance with the V1.0 standards:
|
||||
1. **Safety:** Prevention of code injection, proper sandboxing, and actuator safety.
|
||||
2. **Merkle-Tree Integration:** Proper use of the native Lisp Merkle-Tree versioning for undo/rollback.
|
||||
3. **Core Invariants:** Adherence to Sovereignty, Mastery, Zero-Bloat, Transparency, and Sustainability.
|
||||
|
||||
* Audit Progress [6/28]
|
||||
** DONE org-skill-agent.org [X]
|
||||
- COMPLIANT: Correctly defines and enforces Core Invariants.
|
||||
- SAFETY: High. Implements baseline symbolic gating.
|
||||
- MERKLE: N/A (Read-only/Policy only).
|
||||
** DONE org-skill-llm-gateway.org [X]
|
||||
- COMPLIANT: Consolidates 6 providers into a single high-integrity gate.
|
||||
- SAFETY: HIGH. Fixed URL key leaks, standardized headers, and centralized credential masking.
|
||||
- MERKLE: N/A (Stateless dispatch).
|
||||
** DONE org-skill-credentials-vault.org [X]
|
||||
- COMPLIANT: Unified high-security enclave for API keys and cookies.
|
||||
- SAFETY: HIGH. Mandatory credential masking in logs and secure Object Store persistence.
|
||||
- MERKLE: COMPLIANT. Setting secrets triggers Merkle snapshots.
|
||||
** DONE org-skill-homoiconic-memory.org [X]
|
||||
- COMPLIANT: Unified grammar, bridge, and normalization.
|
||||
- SAFETY: HIGH. recursive AST walker for ID injection and structural validation.
|
||||
- MERKLE: COMPLIANT. Normalization occurs during ingest/save, which are Merkle-versioned events.
|
||||
** DONE org-skill-state-persistence.org [X]
|
||||
- COMPLIANT: Unified local SBCL image dumps with decentralized IPFS checkpointing.
|
||||
- SAFETY: HIGH. Implements safe restoration paths and credential masking.
|
||||
- MERKLE: COMPLIANT. This is the primary persistence layer for the Merkle-Tree object store.
|
||||
** DONE org-skill-event-orchestrator.org [X]
|
||||
- COMPLIANT: Unified Cron, Hooks, and Routing into a single central control unit.
|
||||
- SAFETY: HIGH. Implements error isolation for automated tasks and hooks.
|
||||
- MERKLE: COMPLIANT. Registering hooks or tasks triggers Merkle snapshots.
|
||||
** DONE org-skill-cron.org [X] (CONSOLIDATED -> org-skill-event-orchestrator.org)
|
||||
** DONE org-skill-hook-manager.org [X] (CONSOLIDATED -> org-skill-event-orchestrator.org)
|
||||
** DONE org-skill-router.org [X] (CONSOLIDATED -> org-skill-event-orchestrator.org)
|
||||
** DONE org-skill-memory-archivist.org [X] (CONSOLIDATED -> org-skill-state-persistence.org)
|
||||
** DONE org-skill-object-store-persistence.org [X] (CONSOLIDATED -> org-skill-state-persistence.org)
|
||||
** DONE org-skill-ast-normalization.org [X] (CONSOLIDATED -> org-skill-homoiconic-memory.org)
|
||||
** DONE org-skill-org-json-bridge.org [X] (CONSOLIDATED -> org-skill-homoiconic-memory.org)
|
||||
** DONE org-skill-org-mode.org [X] (CONSOLIDATED -> org-skill-homoiconic-memory.org)
|
||||
** DONE org-skill-auth-api-key.org [X] (CONSOLIDATED -> org-skill-credentials-vault.org)
|
||||
** DONE org-skill-auth-google-oauth.org [X] (CONSOLIDATED -> org-skill-credentials-vault.org)
|
||||
** DONE org-skill-provider-anthropic.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-provider-gemini.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-provider-groq.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-provider-ollama.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-provider-openai.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-provider-openrouter.org [X] (CONSOLIDATED -> org-skill-llm-gateway.org)
|
||||
** DONE org-skill-chaos.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Sovereignty Violation)
|
||||
- ISSUE: Lacks an "Active Production" gate to prevent accidental chaos during real work. No Merkle-Tree checkpoints before/after stress tests to allow for full-system rollback.
|
||||
- SAFETY: MEDIUM (Adversarial by design, but ungated).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-chat.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: Uses `read-from-string` on unverified LLM output, risking reader macro injection. No Merkle-Tree integration for chat history persistence or rollbacks.
|
||||
- SAFETY: LOW (Vulnerable to injection).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-consensus.org [X]
|
||||
- STATUS: COMPLIANT (Consolidated -> Task Orchestrator)
|
||||
- SAFETY: HIGH. Verified via parallel multi-backend consensus in neuro.lisp.
|
||||
- MERKLE: COMPLIANT.
|
||||
** DONE org-skill-context-manager.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for context stack snapshots or rollbacks.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-delegation.org [X]
|
||||
- STATUS: COMPLIANT (Consolidated -> Task Orchestrator)
|
||||
- SAFETY: HIGH. Integrated consensus gate and delegation hooks in core.lisp.
|
||||
- MERKLE: COMPLIANT.
|
||||
** DONE org-skill-environment-config.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: No validation or authorization gating for configuration changes. Direct hash-table modification skips the new Merkle-Tree versioning system in the Object Store.
|
||||
- SAFETY: MEDIUM (Risk of misconfiguration).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-formal-verification.org [X]
|
||||
- STATUS: COMPLIANT
|
||||
- ISSUE: Implemented Lisp-Native Symbolic Prover for security invariants.
|
||||
- SAFETY: HIGH. Implements path-confinement and no-network-exfil.
|
||||
- MERKLE: COMPLIANT.
|
||||
** DONE org-skill-function-calling.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording and rolling back tool-use history or state.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-inbound-gateway.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording and rolling back inbound message history or state.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-inbox-processor.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: Physical move logic is a "Simulation". No implementation of actual file refactoring. No Merkle-Tree integration for recording or rolling back inbox-related state changes.
|
||||
- SAFETY: MEDIUM (Simulation only).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-latent-reflection.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: No validation or authorization gating for reflected state changes. Random sampling is inefficient. No Merkle-Tree integration for recording or rolling back reflected state changes.
|
||||
- SAFETY: MEDIUM (Risk of unintended modifications).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-lisp-machine-bootstrap.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back bootstrap-related state changes or ISA simulation history.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-log-aggregator.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back log-related state changes or observability history.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-memex.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back memex-related state changes or metadata audits.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-model-explorer.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code or blueprint. The skill is only a title and overview. No Merkle-Tree integration for model discovery or state changes.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-onboarding.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back onboarding-related state changes or environment calibration.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-lisp-validator.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: No validation or authorization gate for dynamic symbol registration. No Merkle-Tree integration for recording or rolling back safety-related state changes or verification history.
|
||||
- SAFETY: HIGH (The core of the system's safety).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-self-fix.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Technical Mastery Violation)
|
||||
- ISSUE: No validation or authorization gate for proposed self-fixes. Fixes are applied directly to files. No Merkle-Tree integration for recording or rolling back self-fix-related state changes or repair history.
|
||||
- SAFETY: LOW (Risk of unintended/malicious modifications).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-shell-actuator.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Sovereignty Violation)
|
||||
- ISSUE: No validation or authorization gate for synthesized script execution. Script synthesis bypasses the shell whitelist. No Merkle-Tree integration for recording or rolling back shell-related state changes or command history.
|
||||
- SAFETY: MEDIUM (Whitelisted, but script synthesis is a gap).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-sub-agent-manager.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back sub-agent-related state changes or concurrent thoughts.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-task-integrity.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Critical Gap)
|
||||
- ISSUE: No implementation code in Phase D. The skill is only a blueprint. No Merkle-Tree integration for recording or rolling back task-related state changes or transition history.
|
||||
- SAFETY: N/A (Missing).
|
||||
- MERKLE: FAILED.
|
||||
** DONE org-skill-token-accountant.org [ ]
|
||||
- STATUS: NON-COMPLIANT (Safety/Sovereignty Violation)
|
||||
- ISSUE: Hot-patches the kernel's core variables (`*provider-cascade*`, `*model-selector-fn*`) directly, bypassing the skill registration system's safety. No Merkle-Tree integration for recording or rolling back provider-related state changes or pain history.
|
||||
- SAFETY: LOW (Direct kernel mutation).
|
||||
- MERKLE: FAILED.
|
||||
|
||||
* Findings Log
|
||||
| Skill | Issue | Priority | Status |
|
||||
|-------+-------+----------+--------|
|
||||
| | | | |
|
||||
@@ -16,9 +16,9 @@ Transition from raw plists to a structured `:SIGNAL` format that tracks state as
|
||||
### 2. Implement the Pipeline Gates
|
||||
Extract existing logic from `cognitive-loop` into discrete functional gates:
|
||||
- **`perceive-gate`**: Normalizes input, updates `*object-store*`.
|
||||
- **`neuro-gate`**: Invokes System 1. Support for future parallel backend calls.
|
||||
- **`neuro-gate`**: Invokes Probabilistic Engine. Support for future parallel backend calls.
|
||||
- **`consensus-gate`**: (New) Selects the best proposal from multiple backends (initially a pass-through for the single proposal).
|
||||
- **`decide-gate`**: Invokes System 2 safety checks.
|
||||
- **`decide-gate`**: Invokes Deterministic Engine safety checks.
|
||||
- **`dispatch-gate`**: Executes tools or physical actuators.
|
||||
|
||||
### 3. Implement the Pipeline Orchestrator (`process-signal`)
|
||||
|
||||
Submodule projects/org-agent updated: 2a99517dc8...a5b99b1487
Submodule projects/org-agent-contrib updated: a74a73a160...6608fb5553
@@ -1,6 +1,6 @@
|
||||
(in-package :org-agent)
|
||||
|
||||
(defun ask-neuro (prompt &key (system-prompt "You are the System 1 engine of a Neurosymbolic Lisp Machine.") (cascade nil) (context nil))
|
||||
(defun ask-neuro (prompt &key (system-prompt "You are the Probabilistic Engine engine of a Neurosymbolic Lisp Machine.") (cascade nil) (context nil))
|
||||
"Dispatches a neural request through the provider cascade.
|
||||
If CASCADE is a function, it is called with CONTEXT to determine backends."
|
||||
(let ((backends (cond
|
||||
@@ -11,7 +11,7 @@
|
||||
(dolist (backend backends)
|
||||
(let ((backend-fn (gethash backend *neuro-backends*)))
|
||||
(when backend-fn
|
||||
(kernel-log "SYSTEM 1: Attempting backend ~a..." backend)
|
||||
(kernel-log "PROBABILISTIC ENGINE: Attempting backend ~a..." backend)
|
||||
(let* (;; Consult the Economist for the model ID if the skill is available
|
||||
(model (ignore-errors
|
||||
(uiop:symbol-call :org-agent.skills.org-skill-economist :economist-get-model-for-provider backend)))
|
||||
@@ -19,7 +19,7 @@
|
||||
(funcall backend-fn prompt system-prompt :model model)
|
||||
(funcall backend-fn prompt system-prompt))))
|
||||
(if (and (stringp result) (search ":LOG" result) (or (search "Failure" result) (search "missing" result)))
|
||||
(kernel-log "SYSTEM 1: Backend ~a failed. Falling back..." backend)
|
||||
(kernel-log "PROBABILISTIC ENGINE: Backend ~a failed. Falling back..." backend)
|
||||
(return-from ask-neuro result))))))
|
||||
"(:type :LOG :payload (:text \"Neural Cascade Failure\"))"))
|
||||
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
(in-package :org-agent)
|
||||
|
||||
(defun ask-neuro (prompt &key (system-prompt "You are the System 1 engine of a Neurosymbolic Lisp Machine.") (cascade nil) (context nil))
|
||||
(defun ask-neuro (prompt &key (system-prompt "You are the Probabilistic Engine engine of a Neurosymbolic Lisp Machine.") (cascade nil) (context nil))
|
||||
(let ((backends (cond
|
||||
((listp cascade) cascade)
|
||||
((functionp cascade) (funcall cascade context))
|
||||
@@ -9,14 +9,14 @@
|
||||
(dolist (backend backends)
|
||||
(let ((backend-fn (gethash backend *neuro-backends*)))
|
||||
(when backend-fn
|
||||
(kernel-log "SYSTEM 1: Attempting backend ~a..." backend)
|
||||
(kernel-log "PROBABILISTIC ENGINE: Attempting backend ~a..." backend)
|
||||
(let* ((model (ignore-errors
|
||||
(uiop:symbol-call :org-agent.skills.org-skill-economist :economist-get-model-for-provider backend)))
|
||||
(result (if model
|
||||
(funcall backend-fn prompt system-prompt :model model)
|
||||
(funcall backend-fn prompt system-prompt))))
|
||||
(kernel-log "SYSTEM 1: Backend ~a returned: ~a" backend (if (stringp result) (subseq result 0 (min 50 (length result))) result))
|
||||
(kernel-log "PROBABILISTIC ENGINE: Backend ~a returned: ~a" backend (if (stringp result) (subseq result 0 (min 50 (length result))) result))
|
||||
(if (and (stringp result) (search ":LOG" result) (or (search "Failure" result) (search "missing" result)))
|
||||
(kernel-log "SYSTEM 1: Backend ~a failed. Falling back..." backend)
|
||||
(kernel-log "PROBABILISTIC ENGINE: Backend ~a failed. Falling back..." backend)
|
||||
(return-from ask-neuro result))))))
|
||||
"(:type :LOG :payload (:text \"Neural Cascade Failure\"))"))
|
||||
|
||||
@@ -4,7 +4,7 @@
|
||||
(let ((active-skill (find-triggered-skill context)))
|
||||
(if active-skill
|
||||
(progn
|
||||
(kernel-log "SYSTEM 1: Engaging skill '~a'~%" (skill-name active-skill))
|
||||
(kernel-log "PROBABILISTIC ENGINE: Engaging skill '~a'~%" (skill-name active-skill))
|
||||
(let* ((prompt-generator (skill-neuro-prompt active-skill))
|
||||
(prompt (when prompt-generator (funcall prompt-generator context))))
|
||||
(if prompt
|
||||
@@ -17,17 +17,17 @@
|
||||
(if (and regs (> (length regs) 0)) (elt regs 0) thought))
|
||||
(string-trim '(#\Space #\Newline #\Tab) thought))))
|
||||
(suggestion (ignore-errors (read-from-string cleaned-thought))))
|
||||
(kernel-log "SYSTEM 1 Suggestion: ~a~%" cleaned-thought)
|
||||
(kernel-log "PROBABILISTIC ENGINE Suggestion: ~a~%" cleaned-thought)
|
||||
(cond
|
||||
((and suggestion (listp suggestion)) suggestion)
|
||||
;; SALVAGE: If LLM returned plain text or a non-list symbol
|
||||
((and (let ((p (getf context :payload))) (eq (getf p :sensor) :chat-message))
|
||||
(> (length cleaned-thought) 0))
|
||||
(kernel-log "SYSTEM 1: SALVAGING plain-text response.~%")
|
||||
(kernel-log "PROBABILISTIC ENGINE: SALVAGING plain-text response.~%")
|
||||
(let* ((no-prefix (cl-ppcre:regex-replace "(?i)^(okay,? |sure,? |i will |i've |i have |here is |got it\\.? |understood\\.? |done\\.? |yes,? )+" cleaned-thought "")))
|
||||
`(:target :emacs :payload (:action :insert-at-end :buffer "*org-agent-chat*" :text ,no-prefix))))
|
||||
(t
|
||||
(kernel-log "SYSTEM 1 ERROR: Could not parse response as Lisp plist.~%")
|
||||
(kernel-log "PROBABILISTIC ENGINE ERROR: Could not parse response as Lisp plist.~%")
|
||||
nil)))
|
||||
nil)))
|
||||
nil)))
|
||||
|
||||
@@ -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.
|
||||
|
||||
|
||||
@@ -37,7 +37,7 @@ To handle code modifications safely and beautifully:
|
||||
- *Interactive Acceptance*: The user can press a key (e.g., `C-c C-y`) on the diff to accept and apply the patch, realizing the "Active Approval Mode" pattern in Emacs.
|
||||
|
||||
** 4. The Reasoning Stream Integration
|
||||
- Instead of a separate right-side window that clutters the workspace, the reasoning stream (System 1 thoughts, tool calls) will be integrated directly into the main `*org-agent-chat*` buffer.
|
||||
- Instead of a separate right-side window that clutters the workspace, the reasoning stream (Probabilistic Engine thoughts, tool calls) will be integrated directly into the main `*org-agent-chat*` buffer.
|
||||
- It will be presented as a collapsible Org-mode drawer (e.g., `:REASONING:`) or formatted as dimmed, transient text that provides transparency without overwhelming the primary conversation.
|
||||
|
||||
* Phase C: Tester (Verification Strategy)
|
||||
|
||||
36
system/plans/flight-plan-task-orchestrator.org
Normal file
36
system/plans/flight-plan-task-orchestrator.org
Normal file
@@ -0,0 +1,36 @@
|
||||
#+TITLE: Flight Plan: Consolidation VI - Task Orchestrator
|
||||
#+DATE: 2026-04-11
|
||||
#+FILETAGS: :plan:architecture:psf:orchestrator:
|
||||
|
||||
* Background & Motivation
|
||||
The `cognitive-loop` pipeline (Consolidation V) established the functional gates (`perceive`, `neuro`, `consensus`, `decide`, `dispatch`). However, the `consensus-gate` remains a pass-through. Furthermore, the `org-agent` currently lacks the ability to formally verify GTD state transitions (Task Integrity) and hand off complex logic to background threads (Delegation). The Task Orchestrator integrates these three capabilities.
|
||||
|
||||
* Scope & Impact
|
||||
- *Target Files:* `projects/org-agent/src/core.lisp`, `projects/org-agent/src/neuro.lisp`, `projects/org-agent/src/symbolic.lisp`.
|
||||
- *Impact:* The Probabilistic Engine layer will spawn multiple threads to query providers simultaneously. Deterministic Engine will enforce GTD state integrity and manage sub-agent delegation.
|
||||
- *Dependencies:* Requires `bordeaux-threads` for sub-agent management and the existing `org-gtd` v4.0 DAG.
|
||||
|
||||
* Proposed Solution
|
||||
1. **Parallel Probabilistic Engine (`neuro.lisp`):** Modify `ask-neuro` to dispatch asynchronous requests to the `*provider-cascade*` using `bt:make-thread`.
|
||||
2. **Deterministic Consensus (`core.lisp`):** Implement `consensus-gate` to wait for all parallel Probabilistic Engine proposals. If they match, select the candidate. If they differ, query a fast, deterministic model (e.g., `groq`) to judge and select the safest Lisp `(:REQUEST ...)` form.
|
||||
3. **Task Integrity (`symbolic.lisp`):** Add `task-integrity-check` inside `decide-gate`. If a task transition (e.g., `TODO` -> `DONE`) violates semantic rules (e.g., active children exist), reject the action and return an error stimulus to Probabilistic Engine.
|
||||
4. **Delegation Hooks:** Define the `delegate-task` action type within the `dispatch-gate`, allowing the core to spawn isolated Lisp environments for long-running sub-agents.
|
||||
|
||||
* Alternatives Considered
|
||||
- *Fast Parallel Race:* First LLM to return a valid Lisp request wins. Rejected because it prioritizes speed over accuracy, violating the PSF safety mandates.
|
||||
|
||||
* Implementation Plan
|
||||
** Phase C: Success (Testing)
|
||||
- Draft `projects/org-agent/tests/orchestrator-test.lisp`.
|
||||
- Assert that `consensus-gate` correctly handles 3 diverging proposals and selects the safest one.
|
||||
- Assert that `task-integrity-check` rejects closing a parent task with active children.
|
||||
|
||||
** Phase D: Build (Engineering)
|
||||
- Update `neuro.lisp` with `bt:make-thread` logic for `ask-neuro`.
|
||||
- Implement `consensus-gate` in `core.lisp`.
|
||||
- Implement `task-integrity-check` in `symbolic.lisp` and hook it into `decide-gate`.
|
||||
- Implement `delegate-task` in `core.lisp` dispatch logic.
|
||||
|
||||
* Verification & Rollback
|
||||
- *Verification:* Hot-load the kernel and trigger a conflicting prompt. Verify the consensus judge resolves it.
|
||||
- *Rollback:* The pipeline is functional. If the new `consensus-gate` fails, we can instantly revert it to the `(first proposals)` pass-through via Git and Swank hot-reloading.
|
||||
82
system/scripts/repair_inbox_metadata.py
Normal file
82
system/scripts/repair_inbox_metadata.py
Normal file
@@ -0,0 +1,82 @@
|
||||
import os
|
||||
import re
|
||||
import subprocess
|
||||
from datetime import datetime
|
||||
|
||||
def get_git_creation_date(file_path, line_number):
|
||||
try:
|
||||
# Use git blame to find the timestamp of the line
|
||||
cmd = ["git", "blame", "-L", f"{line_number},{line_number}", "--porcelain", file_path]
|
||||
result = subprocess.run(cmd, capture_output=True, text=True)
|
||||
if result.returncode == 0:
|
||||
for line in result.stdout.split('\n'):
|
||||
if line.startswith('author-time '):
|
||||
timestamp = int(line.split(' ')[1])
|
||||
return datetime.fromtimestamp(timestamp).strftime("%Y-%m-%d")
|
||||
except Exception as e:
|
||||
pass
|
||||
return None
|
||||
|
||||
def repair_file(file_path):
|
||||
print(f"Repairing {file_path}...")
|
||||
with open(file_path, 'r') as f:
|
||||
lines = f.readlines()
|
||||
|
||||
new_lines = []
|
||||
modified = False
|
||||
|
||||
i = 0
|
||||
while i < len(lines):
|
||||
line = lines[i]
|
||||
new_lines.append(line)
|
||||
|
||||
# Look for headline
|
||||
if line.startswith('*'):
|
||||
# Find the PROPERTIES drawer
|
||||
j = i + 1
|
||||
has_properties = False
|
||||
has_created = False
|
||||
properties_line_idx = -1
|
||||
|
||||
# Check up to 10 lines ahead for performance
|
||||
while j < len(lines) and j < i + 10 and not lines[j].startswith('*'):
|
||||
if ":PROPERTIES:" in lines[j]:
|
||||
has_properties = True
|
||||
properties_line_idx = j
|
||||
if ":CREATED:" in lines[j]:
|
||||
has_created = True
|
||||
break
|
||||
if ":END:" in lines[j]:
|
||||
break
|
||||
j += 1
|
||||
|
||||
if has_properties and not has_created:
|
||||
# Use git blame on the headline line
|
||||
creation_date = get_git_creation_date(file_path, i + 1)
|
||||
|
||||
if creation_date:
|
||||
dt = datetime.strptime(creation_date, "%Y-%m-%d")
|
||||
org_date = dt.strftime("[%Y-%m-%d %a]")
|
||||
|
||||
# Advance and append original lines until :PROPERTIES:
|
||||
while i < properties_line_idx:
|
||||
i += 1
|
||||
new_lines.append(lines[i])
|
||||
|
||||
new_lines.append(f":CREATED: {org_date}\n")
|
||||
modified = True
|
||||
i += 1
|
||||
|
||||
if modified:
|
||||
with open(file_path, 'w') as f:
|
||||
f.writelines(new_lines)
|
||||
print(f"DONE: Repaired {file_path}")
|
||||
else:
|
||||
print(f"SKIP: No changes needed for {file_path}")
|
||||
|
||||
if __name__ == "__main__":
|
||||
# Test on a small portion first if needed, but here we go
|
||||
files = ["inbox-atoms.org", "inbox-emacs.org", "inbox-posts.org"]
|
||||
for f in files:
|
||||
if os.path.exists(f):
|
||||
repair_file(f)
|
||||
Reference in New Issue
Block a user