From 0760dc80129f5445596d88e537a82563257a292f Mon Sep 17 00:00:00 2001 From: Amr Gharbeia Date: Sun, 3 May 2026 07:49:11 -0400 Subject: [PATCH] docs: merge TODO into ROADMAP, delete TODO.org - ROADMAP.org now has per-version ** Tasks sections with TODO/DONE states - The TODO headings are the authoritative task tracker - Feature tables kept for readability; checkboxes removed (state is in headlines) - docs/TODO.org deleted - All references updated to point to ROADMAP.org --- README.org | 2 +- docs/ROADMAP.org | 263 +++++++++------ docs/TODO.org | 827 ----------------------------------------------- 3 files changed, 169 insertions(+), 923 deletions(-) delete mode 100644 docs/TODO.org diff --git a/README.org b/README.org index ebd7cf2..c4b4bdb 100644 --- a/README.org +++ b/README.org @@ -59,7 +59,7 @@ See [[file:docs/USER_MANUAL.org][User Manual]] for the full guide. | [[file:docs/ARCHITECTURE.org][Architecture]] | How does it work inside? | | [[file:docs/DESIGN_DECISIONS.org][Design Decisions]] | Why was it built this way? | | [[file:docs/ROADMAP.org][Roadmap]] | Where is it going? When? | -| [[file:docs/TODO.org][TODO]] | Who is doing what? | +| [[file:docs/ROADMAP.org][TODO]] | Who is doing what? | | [[file:docs/CONTRIBUTING.org][Contributing]] | How do I contribute? | * License diff --git a/docs/ROADMAP.org b/docs/ROADMAP.org index 8e8b139..40a10a2 100644 --- a/docs/ROADMAP.org +++ b/docs/ROADMAP.org @@ -1,11 +1,12 @@ #+TITLE: Passepartout Evolutionary Roadmap #+STARTUP: content +#+FILETAGS: :docs:roadmap: * The Evolutionary Roadmap -The roadmap is designed working backwards from SOTA parity (V 1.0.0), guiding each version toward a fully autonomous, self-editing agent. Each version builds on the previous, with features designed to be implemented in pure Common Lisp + Org-mode. +The roadmap is designed working backwards from SOTA parity (v1.0.0), guiding each version toward a fully autonomous, self-editing agent. Each version builds on the previous, with features designed to be implemented in pure Common Lisp + Org-mode. -Per-version task tracking: [[file:../TODO.org][TODO.org]] +The TODO states in each version's Tasks section are the authoritative task tracker. The feature tables describe what each version delivers. ** Non-Negotiable Identity - Pure Common Lisp + Org-mode. No JSON. No YAML. No external databases. @@ -16,156 +17,228 @@ Per-version task tracking: [[file:../TODO.org][TODO.org]] ** Version Roadmap -*** v0.1.0: The Autonomous Foundation — CURRENT RELEASE ✅ +*** v0.1.0: The Autonomous Foundation — RELEASED The secure, auditable Lisp kernel. All core infrastructure in place. -| Component | Status | Notes | -|-----------------------------------+--------+-----------------------------------------------------------------------| -| Perceive-Reason-Act pipeline | ✅ | 3-stage metabolic loop | -| Skills engine with jailed loading | ✅ | defskill, topological sort, hot-reload | -| Policy skill (6 invariants) | ✅ | Transparency, Autonomy, Bloat, Modularity, Mentorship, Sustainability | -| Bouncer skill | ✅ | Command whitelist guard functions | -| Memory (org-object + Merkle) | ✅ | Hash tables, snapshots, rollback | -| Lisp validator skill | ✅ | Syntax validation before eval | -| Scribe + Gardener skills | ✅ | Heartbeat-driven distillation + audit | -| LLM gateway (OpenRouter + Ollama) | ✅ | Provider cascade | -| Shell actuator | ✅ | Safe command execution | -| Emacs bridge via Swank | ✅ | Point/buffer updates | -| FiveAM test suite | ✅ | Memory, boot, pipeline, act, communication | -| Credentials vault | ✅ | Encrypted storage | +- Perceive-Reason-Act pipeline (3-stage metabolic loop) +- Skills engine with jailed loading (defskill, topological sort, hot-reload) +- Policy skill (6 invariants) +- Memory (memory-object + Merkle hashing) +- Scribe + Gardener background workers +- LLM gateway (OpenRouter, Ollama) +- Shell actuator, Emacs bridge, credentials vault +- FiveAM test suite -*** v0.2.0: Interactive Refinement ✅ +*** v0.2.0: Interactive Refinement — RELEASED The "Brain" meets the "Machine." Standardization and professionalization of the user interface and environment. -| Feature | Status | Notes | -| :--- | :---: | :--- | -| Minimalist Kernel | ✅ | Purified harness targeting I/O & Memory only. | -| Sovereign Skills | ✅ | Diagnostics and Configuration extracted to Userland. | -| POSIX/XDG Compliance | ✅ | Standardized paths (~/.config, ~/.local). | -| Professional TUI | ✅ | Styled, scrollable, and verified Lisp interface. | -| Onboarding Wizard | ✅ | Modular Lisp setup for multiple LLM providers. | -| Linkage Command | ✅ | Real-time verification of external gateways (Telegram). | -| Self-Editing | ✅ | Detects errors, applies fixes, learns from outcomes. | -| Enhanced Utilities | ✅ | Structural Lisp/Org manipulation + REPL evaluation. | -| Memory Rollback | ✅ | Snap back to known-good state on critical errors. | +- Professional TUI (Croatoan-based, styled, scrollable) +- Self-editing (detects errors, applies fixes, learns from outcomes) +- Enhanced utilities (structural Lisp/Org manipulation + REPL) +- Onboarding wizard (modular Lisp setup for multiple LLM providers) +- Memory rollback (snap back to known-good state) +- Project renamed to Passepartout +- Secret Exposure Gate, Shell Safety, Lisp Validation Gate +- Multi-distro deployment (Debian + Fedora), systemd service, Docker +- 31 org files with full literate prose *** v0.3.0: Event Orchestration + HITL -Unified control plane and Human-in-the-Loop (HITL) state management. +Unified control plane and Human-in-the-Loop state management. -| Feature | Description | -|--------------------------------+-----------------------------------------------------------------------------------------------------------------------------------------------------------| -| org-skill-event-orchestrator | Unified hooks + cron + routing. Three tiers: =:REFLEX= (no LLM), =:COGNITION= (light LLM), =:REASONING= (full LLM). | -| Human-in-the-Loop (HITL) | Continuation-based interaction. The agent can "suspend" its cognitive loop to ask for permission or clarification and resume precisely where it left off. | -| org-skill-context-manager | Stack-based project scoping. =push-context= / =pop-context=. Path resolution relative to context. | -| Memory scope segmentation | =:scope= property on org-objects: memex/session/project. Scope-aware retrieval. | -| Model-tier routing | Complexity-based model selection: heartbeat → tiny, user → medium, reasoning → large. | -| Slash commands | =M-x= style command palette in TUI. Commands defined in Org-mode. | -| Asynchronous Embedding Gateway | Provider-agnostic vector generation (Ollama, local llama.cpp) via background worker. | -| Telegram Gateway Skill | Full implementation of the message receiver for linked Telegram bots. | +** Tasks + +*** DONE Project Renaming (Bouncer → Dispatcher) [2026-05-02 Sat] +The Dispatcher's role has evolved beyond security guard. It is the seed of the deterministic engine — it learns to execute procedures without invoking the neural net. + +*** DONE Event Orchestrator (unified hooks+cron+routing) +Unified control plane for hooks, cron, and complexity-based routing. +- *hook-registry* + *cron-registry* + tier classifier +- Hooks via ~#+HOOK:~ Org-mode properties +- Three complexity tiers: ~:REFLEX~ (no LLM), ~:COGNITION~ (light LLM), ~:REASONING~ (full LLM) +- Hooked into heartbeat for cron processing +- Rule-based tier classifier (overrideable via ~*tier-classifier*~) + +*** TODO Context Manager (project scoping) +Stack-based context with ~push-context~ / ~pop-context~. +Path resolution relative to current context. +Memory scope: ~:scope~ property on memory-objects (memex/session/project). +Implement lazy-loading proxies for large-scale memory traversal. + +*** TODO Model-Tier Routing (cost optimization) +Extend ~*model-selector-fn*~ for complexity-based routing. +- Heartbeats → smallest model +- User input → medium model +- Complex reasoning → large model + +*** TODO Memory Scope Segmentation +Extend memory-object with ~:scope~ property. +- ~:memex~ (permanent knowledge), ~:session~ (ephemeral), ~:project~ (current work) +- Scope-aware retrieval in memory layer + +*** TODO Asynchronous Embedding Gateway +Provider-agnostic vector generation (Ollama, llama.cpp, OpenAI). +Edits mark nodes as ~:vector :pending~; background worker batches and updates Merkle tree. + +*** TODO TUI Experience (Daily Driver Quality) +The TUI is a standalone Croatoan app in ~org/gateway-tui.org~. +None of these changes require daemon modifications — the protocol between TUI and +daemon (port 9105, framed plists) is stable. + +- P0: Chat scrollback (Page Up/Down) — ~2h +- P0: Input history (up/down arrows) — ~1h +- P1: Status bar (daemon, model, time) — ~3h +- P1: Message rendering (timestamps, colors, wrapping) — ~2h +- P2: Command palette (/help redesign) — ~4h +- P2: Multi-line input (Shift+Enter) — ~3h +- P3: Background activity indicator — ~2h +- P4: Tab completion for / commands — ~3h +- P4: Configurable theme — ~4h + +*** TODO Human-in-the-Loop (HITL) +Continuation-based interaction. The agent can suspend its cognitive loop to ask for +permission or clarification and resume precisely where it left off. Builds on the +dispatcher's existing Flight Plan mechanism. *** v0.4.0: Long-Horizon Planning + Git Workflows Structured tracking, failure handling, and course correction for multi-step engineering work. -| Feature | Description | -|------------------------+---------------------------------------------------------------------------------------------------------------------------------------------| -| org-skill-long-horizon | Decompose tasks into Org-mode headline trees. Terminal states: =:done= / =:blocked= / =:stuck=. Parent summarises children. Branch pruning. | -| org-skill-git-steward | Status, diff, commit, push, branch. Policy enforces commit-before-modify. | -| TDD runner | FiveAM on file save. =:test-failure= events. Hook into self-fix for auto-repair. | -| Deep Emacs integration | Full org-agenda awareness. Navigate, clock time, refile, archive. | +** Tasks + +*** TODO Long-Horizon Planning (task tree DAG) +Decompose complex tasks into Org-mode headline trees. +Terminal states: ~:todo~ → ~:next-action~ → ~:in-progress~ → ~:done~ / ~:blocked~ / ~:stuck~. +Parent summarises child results. +Branch pruning when paths fail. + +*** TODO Git Steward (version control integration) +Status, diff, commit, push, branch operations. +Policy enforces commit-before-modify gate. +Log commits to memory. + +*** TODO TDD Runner Integration +Run FiveAM tests on file save. +Inject ~:test-failure~ event on red. +Hook into self-fix for auto-repair proposals. + +*** TODO Deep Emacs Integration +Full org-agenda awareness: navigate, clock time, refile, archive. +Uses org-element + org-id. *** v0.5.0: Interactive Actuation & Environment Stewardship Interactive terminal sessions and autonomous dependency management. -| Feature | Description | -|--------------------------+-------------------------------------------------------------------------------------------------------------------------------------| -| Interactive PTY Actuator | Stream long-running process output to the context window (e.g., `npm run dev`, REPLs) with async interrupt control. | -| The Environment Steward | Autonomously detect missing dependencies (e.g., "Command not found"), propose an installation command, and retry the failed action. | +** Tasks + +*** TODO Interactive PTY Actuator +Stream long-running process output to the context window (e.g., ~npm run dev~, REPLs). +Async interrupt control (Ctrl+C emulation). + +*** TODO The Environment Steward +Autonomously detect missing dependencies ("Command not found"). +Propose installation command and retry the failed action. *** v0.6.0: Concurrency + Creator + GTD The agent bootstraps itself and manages parallel workstreams. -| Feature | Description | -|-----------------------------+---------------------------------------------------------------------------------------------------------------------------------------| -| org-skill-sub-agent-manager | Lightweight Lisp-native sub-agents (via bordeaux-threads) that share memory but have isolated execution contexts for background work. | -| org-skill-creator | LLM drafts complete skill org-file from natural language. Mandatory: syntax validation → jail-load → test → register. | -| org-skill-architect | Scan =:STATUS: FROZEN= PRDs. Generate Phase B PROTOCOL. | -| org-skill-gtd | Full GTD cycle: capture, clarify, organize, reflect, engage. org-gtd v4.0 DAG (=:TRIGGER:=, =:BLOCKER:=). | -| Consensus loop | Run multiple providers for critical decisions. Compare results, detect disagreements. | -| Web research | Headless Chromium via Python bridge. Text extraction, screenshots, Gemini Web UI automation. | +** Tasks + +*** TODO Skill Creator (autonomous skill generation) +LLM drafts complete skill org-file from natural language. +Mandatory: syntax validation → jail-load → test → register. + +*** TODO Architect Agent (PRD → PROTOCOL) +Scan ~:STATUS: FROZEN~ PRDs. Generate Phase B PROTOCOL from Phase A. + +*** TODO GTD Integration (project tracking) +Full GTD cycle: capture, clarify, organize, reflect, engage. +org-gtd v4.0 DAG (~:TRIGGER:~, ~:BLOCKER:~). + +*** TODO Consensus Loop (multi-model agreement) +Run multiple providers for critical decisions. +Compare results, detect disagreements. +Confidence scoring. + +*** TODO Web Research (Playwright browsing) +Headless Chromium via Python bridge. +Text extraction, screenshots, Gemini Web UI automation. + +*** TODO Memex Management (PARA lifecycle) +Archive DONE tasks, suggest refiling. +Detect orphaned nodes. +PARA/Zettelkasten maintenance. *** v0.7.0: Visual Grounding & MCP Bridge Multimodal visual interaction and ecosystem-wide tool compatibility. -| Feature | Description | -|-----------------------+------------------------------------------------------------------------------------------------------------------------------------------------------------| -| Computer Use / Vision | Allow the agent to request host OS or browser screenshots, analyze the UI, and issue precise X/Y coordinate click/type commands via an X11/Wayland bridge. | -| MCP Gateway Bridge | Lisp-native client for the Model Context Protocol, allowing Passepartout to connect to the entire ecosystem of external tools and data sources. | +** Tasks + +*** TODO Computer Use / Vision +Allow the agent to request host OS or browser screenshots. +Analyze UI and issue precise X/Y coordinate click/type commands via X11/Wayland bridge. + +*** TODO MCP Gateway Bridge +Lisp-native client for the Model Context Protocol. +Connect Passepartout to external tools and data sources. *** v0.8.0: The Evaluation Harness Automated benchmarking to mathematically prove the agent's reasoning capabilities. -| Feature | Description | -|-------------------+------------------------------------------------------------------------------------------------------------------------------------------------| -| SWE-Bench Harness | Automated pipeline that clones repositories, feeds GitHub issues, tracks the multi-step resolution trajectory, runs tests, and scores success. | +** Tasks + +*** TODO SWE-Bench Harness +Automated pipeline that clones repositories and feeds GitHub issues. +Track multi-step resolution trajectory, run tests, and score success. *** v1.0.0: SOTA Parity -Feature-complete agent competitive with commercial agents. All features reimplemented in pure Lisp. +Feature-complete agent competitive with commercial agents. All features from v0.2.0 through v0.8.0 combined, verified, and tested end-to-end. -| Area | Status | Notes | -|-------------------+-----------+-------------------------------------------| -| Self-improvement | ✅ v0.2.0 | Self-edit + lisp-repair | -| Planning | ✅ v0.4.0 | Task tree DAGs with terminal states | -| Tool ecosystem | 🟡 v0.4.0 | 10+ cognitive tools | -| Context window | ✅ v0.3.0 | Semantic search + scope segmentation | -| Safety | ✅ v0.1.0 | 6 Policy invariants + formal verification | -| Multi-step tasks | ✅ v0.4.0 | Task trees with failure handling | -| Code editing | ✅ v0.2.0 | Full org-mode file read/write | -| Memory | ✅ v0.2.0 | Vector recall in org-object | -| Emacs integration | ✅ v0.2.0 | Full org-mode control | -| Autonomy | ✅ v0.1.0 | 100% local capable (Ollama) | +| Area | Parity Target | +|------|--------------| +| Self-improvement | Claude Code self-debug | +| Planning | ULTRAPLAN equivalent | +| Tool ecosystem | 10+ cognitive tools | +| Context window | Semantic search + scope segmentation | +| Safety | 6 Policy invariants + formal verification | +| Multi-step tasks | Task trees with terminal states | +| Code editing | Full file read/write via org manipulation | +| Memory | Vector recall in memory-object | +| Emacs integration | Full org-mode control (exceeds Claude Code) | +| Autonomy | 100% local capable (exceeds Claude Code) | *** v2.0.0: Lisp Machine Emergence From Lisp-using agent to true Lisp machine. Agent IS the Emacs process. -| Feature | Description | -|---------|-------------| -| Lish: Lisp editor | Org-mode as IDE. Org-babel for interactive evaluation. Full REPL in TUI. No bridge needed. | -| Lish: Shell replacement | Lisp-based shell that speaks plists. Org-mode buffers as file system. | +- Lish: Lisp editor — Org-mode as IDE. Org-babel for interactive evaluation. Full REPL in TUI. +- Lish: Shell replacement — Lisp-based shell that speaks plists. Org-mode buffers as file system. *** v3.0.0: Neurosymbolic Maturity Deterministic planner takes the wheel. LLM relegated to semantic translation. -| Feature | Description | -|---------|-------------| -| Deterministic planner | Pure Lisp task scheduler. No LLM needed for planning. | -| Self-correcting gates | Gates learn from false positives (user override patterns). | +- Deterministic planner: Pure Lisp task scheduler. No LLM needed for scheduling. +- Self-correcting gates: Gates learn from false positives (user override patterns). *** v4.0.0: AI Stack Internalized The agent understands its own weights. No external inference. -| Feature | Description | -|---------|-------------| -| Llama.cpp in Lisp | FFI binding. No Python subprocess. Pure Common Lisp inference. | -| Weights as sexps | Neural weights as Lisp data structures. Homoiconic model introspection. | +- Llama.cpp in Lisp: FFI binding. No Python subprocess. Pure Common Lisp inference. +- Weights as sexps: Neural weights as Lisp data structures. Homoiconic model introspection. *** v5.0.0: True Agency World models, temporal reasoning, goal persistence across restarts. -| Feature | Description | -|---------|-------------| -| World models | Predictive models of user behavior, project dynamics, system state. | -| Temporal reasoning | Scheduling, deadlines, elapsed duration awareness. | -| Goal persistence | Goals survive restarts. Long-term projects in org-objects. | +- World models: Predictive models of user behavior, project dynamics, system state. +- Temporal reasoning: Scheduling, deadlines, elapsed duration awareness. +- Goal persistence: Goals survive restarts. Long-term projects in memory-objects. diff --git a/docs/TODO.org b/docs/TODO.org deleted file mode 100644 index 4e3914c..0000000 --- a/docs/TODO.org +++ /dev/null @@ -1,827 +0,0 @@ -# Passepartout Project Tasks -# All Passepartout-related TODOs live here. gtd.org links to this file. -# Evolutionary context: see docs/ROADMAP.org - -* PHASE: AUTONOMOUS 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) -*** DONE Audit remaining core skills (`org-skill-policy.org`, `org-skill-bouncer.org`) to the new Literate Granularity standard. -*** DONE Implement Verification Lock: Ensure `MANDATORY_SKILLS` pass `validate-lisp-syntax` before boot proceeds. -*** DONE Logging & Transparency: Ensure `context-get-system-logs` is utilized by the Reason engine to explain blocked actions. - -** DONE 2. The Autonomous Scribe & Gardener (The Primary Value Prop) -*** DONE Implement `org-skill-scribe.org`: Background worker that distills daily chronological logs into structured Zettelkasten notes. -*** DONE 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) -*** DONE Consolidate installation instructions, `onboard.sh`, and `Dockerfile` into a single, literate `setup.org` file. -*** DONE Ensure the setup process interactively builds the `.env` and verifies SBCL/Quicklisp dependencies. - -** DONE 4. CLI-First Actuation - CLOSED: [2026-04-14 Tue 09:40] -*** DONE Verified the `cli` actuator and inbound gateway handle standard I/O interaction gracefully via a stateful `socat` connection. - -* PHASE: PUBLICATION & VERIFICATION (v0.1.0 Post-Release) -:PROPERTIES: -:ID: proj-pub-v0-1-0 -:END: -Ensuring the system is ready for the world through collaborative testing, documentation, and licensing. - -** DONE 1. Collaborative End-to-End Testing [2026-04-21 Tue] - CLOSED: [2026-04-21 Tue 17:30] -*** DONE Verified stable foundation at commit `cab0e5a`. -*** DONE Verified boot sequence and bidirectional connectivity. - -** DONE 2. Semantic Reorganization & System Stabilization [2026-04-21 Tue] - CLOSED: [2026-04-21 Tue 18:30] -*** DONE Rename directories: harness/, library/, environment/, infrastructure/. -*** DONE Consolidate Probabilistic engine into reason.lisp. -*** DONE Embed bidirectional CLI logic into passepartout.sh. -*** DONE Stabilize skill engine: 12/12 skills loaded with package jailing. -*** DONE Cleanup legacy documentation and deployment artifacts. - -** DONE 2. Comprehensive Documentation <2026-04-14 Tue> - CLOSED: [2026-04-20 Mon 18:00] -*** DONE Draft `USER_MANUAL.org`: Focus on CLI interaction, installation, and Memex structure. -*** DONE Draft `CONTRIBUTING.org`: Explain Literate Granularity and Skill creation standards. - -** DONE 3. License & Legal Finalization <2026-04-14 Tue> - CLOSED: [2026-04-17 Fri 11:25] -*** DONE Assign the AGPLv3 open-source license. -*** DONE Implement a broad Contributor License Agreement (CLA) process. -*** DONE Update `LICENSE` and `CHANGELOG` accordingly. - -** DONE 4. GitHub Migration ** TODO 4. GitHub Migration & Repository Setup <2026-04-14 Tue> Repository Setup [2026-05-02 Sat] -*** TODO Migrate primary remote to GitHub and configure canonical repository. -*** TODO Set repository topics, badges, issue templates, and CI/CD foundations. - -** TODO 5. Marketing & Social Media Launch <2026-04-14 Tue> -*** TODO Execute PR plan (Reddit, Hacker News, X/Twitter). -*** TODO Create a short, high-quality terminal demo GIF/video of the TUI interaction. - -* 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. Priority: Self-editing is the foundation of all future growth. Full org-mode manipulation makes the agent a true Emacs citizen. - -Roadmap basis: Evolutionary roadmap from README.org. Working backwards from SOTA parity. - -** DONE 0. Autonomous Self-Editing Foundation -*** DONE org-skill-lisp-repair (Lisp syntax repair) - - Deterministic: auto-balance parens via paren-counting - - Probabilistic: LLM generates surgical fix on =:syntax-error= events - - Memory rollback on failure - DONE: Now in org-skill-lisp-utils (merged from contrib) -*** DONE org-skill-emacs-edit (full org-mode manipulation) - - Read org buffers, parse AST via org-element - - Create/update/delete headlines, set properties, manage TODO states - - Handle =id:= links and internal links - - Pure Lisp implementation (no Emacs subprocess) -*** DONE Expose Structural AST Editing Tools - - Wrap org-skill-emacs-edit into def-cognitive-tool definitions - - Force LLM to use semantic node updates instead of regex file I/O -*** DONE Implement Reflection Loops - - Feed rejection traces (syntax errors, policy blocks) back to LLM to trigger self-correction -*** DONE Harden Actuators - - Fix path-traversal vulnerabilities in file I/O tools (e.g. :write-file) - - Enforce Merkle-snapshots on all state-modifying actions -*** DONE Implement tool permission tiers (ask/allow/deny) - - Per-tool permission plist stored in org-object - - =generate-tool-belt-prompt= filters denied tools before LLM sees them - - Ask-tier prompts user before execution -*** DONE Implement skill hot-reload (=:reload-skill= tool) - - Swap compiled skill files without breaking active sockets - - Reload skill into jailed package namespace - - DONE: Added :reload-skill, :read-file, :write-file, :replace-string tools - - DONE: Fixed ASDF compilation bug (position tracking issue with :serial t) - - DONE: Added explicit :depends-on declarations to passepartout.asd - -** DONE Engineering Process Improvements [2026-04-23 Wed] -*** DONE Fix ASDF compilation bug (position tracking at byte 16834) - - Root cause: Duplicate proto-get, bt: prefix issues, :serial t position cache - - Fix: Removed duplicate, fixed bt:->bordeaux-threads, explicit dependencies - - Added eval-when wrapper for new tools (good Lisp practice) -*** DONE Add test-first methodology to engineering standards - - Rule 10: Test-first - design tests before coding, run chaos testing - - Rule 11: Org as thinking medium - document investigations in prose - - Rule 12: Engineering decision audit trail - document root cause, tradeoffs - - Added to passepartout-contrib/skills/org-skill-engineering-standards.org -*** DONE Perform comprehensive architectural review and evolution strategy [2026-04-27 Mon] - - Identified hidden gaps: Org-mode round-trip, sandboxing vulnerabilities, and GC scaling. - - Defined "Structural AST Editing" and "Reflection Loops" as core strategic requirements. - - Captured findings in [[file:notes/passepartout-architectural-evolution.org][passepartout-architectural-evolution.org]]. -*** DONE Fix API drift in passepartout-contrib [2026-04-27 Mon] - - Standardized legacy keywords (:neuro/:symbolic) to new harness standard (:probabilistic/:deterministic). - - Updated 16 skills in passepartout-contrib for kernel compatibility. - -** DONE 4. Core Skills Consolidation [2026-04-23 Thu] - - Merged lisp-validator + lisp-repair → org-skill-lisp-utils.org - - Added lisp utilities: count-char, deterministic-repair, neural-repair - - Added validation: structural, syntactic, semantic checks - - Moved org-skill-self-fix from contrib → core - - Moved org-skill-engineering-standards from contrib → core - - Deleted old org-skill-lisp-validator.org - -** DONE 5. Advanced CLI Onboarding Experience -*** DONE Implement interactive Lisp CLI wizard (=passepartout setup=) -*** DONE Implement =passepartout gateway link= for Telegram/Signal bot connection [2026-05-02 Sat] -*** DONE Implement =passepartout gateway unlink= to disable a gateway [2026-05-02 Sat] -*** DONE Implement =passepartout gateway list= to show gateway status [2026-05-02 Sat] -*** DONE Implement =passepartout install = for dynamic skill downloading [2026-05-02 Sat] -*** DONE Implement =passepartout doctor= for environment health and API key validation [2026-04-28 Tue] - - Verified 22/22 skills loading with clean boot. - - Fixed macro conflicts and package jailing bugs. - -** DONE Chaos-Driven Bug Fixes (v0.2.0 Pre-Release) [2026-04-28 Tue] - - Fixed major conflict between Type A and Type B def-cognitive-tool macros. - - Enforced dynamic-only loading by removing skills from passepartout.asd. - - Fixed let/let* sequential binding bugs in emacs-edit and self-edit. - - Standardized *cognitive-tools* as a centralized hash table. - - Resolved missing in-package declarations in core skills. - -** DONE 1. Common Lisp TUI Implementation [2026-04-28 Tue] -*** DONE Integrate =croatoan= for native terminal rendering -*** DONE Implement scrollable history viewport for chat and thought streams -*** DONE Implement fixed bottom input box with multi-line support and command history -*** DONE Implement persistent status bar for background workers (Scribe/Gardener) -*** DONE Support syntax highlighting for Lisp code blocks and Org-mode syntax - -** DONE 2. Slash Commands & Interactive Control [2026-04-28 Tue] -*** DONE Implement =/help= command for system overview -*** DONE Implement =/exit= and =/clear= commands -*** DONE Implement =/skill-load = for dynamic hot-reloading -*** DONE Implement =/status=, =/config=, =/search=, =/commit= slash commands - -** DONE 3. Direct Lisp-to-Terminal Actuation [2026-04-28 Tue] -*** DONE Refactor the =:cli= actuator to use native TUI rendering - -** DONE 4. Persistent REPL for Interactive Development [2026-04-30 Thu] -*** DONE Implement org-skill-repl for persistent Lisp evaluation - - repl-eval: evaluate code with result+output+error separation - - repl-inspect: inspect variables and functions - - repl-list-vars: list bound symbols in package - - repl-load-file: load files into image - - Supports REPL-first workflow with literate reflection in org - -* PHASE: EVENT ORCHESTRATION + HITL (v0.3.0) -:PROPERTIES: -:ID: proj-orchestration-v0-3-0 -:END: -Unified control plane: hooks + cron + routing in one skill. Deep project understanding. - -** DONE 0. Project Renaming (Bouncer → Dispatcher) [2026-05-02 Sat] -*** TODO Audit all files for component names to rename -*** TODO Rename org-skill-bouncer.org → org-skill-dispatcher.org -*** TODO Rename skill-bouncer package → skill-dispatcher -*** TODO Rename cognitive tool =:bouncer= → =:dispatcher= -*** TODO Update all references in harness, skills, documentation -*** TODO Update gtd.org and ROADMAP.org terminology -*** TODO Update DESIGN_DECISIONS.org section if applicable -*** TODO Verify all tests pass after rename -:LOGBOOK: -- State "TODO" from "" [2026-05-01 Fri 15:40] -:END: - -The Dispatcher's role has evolved beyond security guard. It is the seed of the deterministic engine - it learns to execute procedures without invoking the neural net. - -** TODO 1. Event Orchestrator (unified hooks+cron+routing) -*** TODO Integrate contrib org-skill-event-orchestrator - - Merge *hook-registry* + *cron-registry* + complexity classifier - - Hooks via =#+HOOK:= Org-mode properties - - Three complexity tiers: =:REFLEX= (no LLM), =:COGNITION= (light LLM), =:REASONING= (full LLM) - - Hook into heartbeat for cron processing - -** TODO 2. Context Manager (project scoping) -*** TODO Integrate contrib org-skill-context-manager - - Stack-based context with =push-context= / =pop-context= - - Path resolution relative to current context - - Memory scope: =:scope= property on org-objects (memex/session/project) - - Implement lazy-loading proxies for large-scale memory traversal (offload cold nodes to disk) - -** TODO 3. Model-Tier Routing (cost optimization) -*** TODO Extend =*model-selector-fn= for complexity-based routing - - Heartbeats → smallest model - - User input → medium model - - Complex reasoning → large model - - Source: GBrain sub-agent model routing - -** TODO 4. Memory Scope Segmentation -*** TODO Extend org-object with =:scope= property - - =:memex= (permanent knowledge) - - =:session= (ephemeral context) - - =:project= (scoped to current work) - - Scope-aware retrieval in memory.lisp - -** TODO 5. Asynchronous Embedding Gateway -*** TODO Implement provider-agnostic org-skill-embedding-gateway - - Support Ollama, llama.cpp, and OpenAI based on .env config - - Implement lazy-loading: edits mark nodes as =:vector :pending= - - Background worker thread batches pending nodes and updates Merkle tree silently - -** TODO 6. TUI Experience (Daily Driver Quality) -Architectural note: The TUI is a standalone Croatoan app in ~org/gateway-tui.org~. -None of these changes require daemon modifications — the protocol between TUI and -daemon (port 9105, framed plists) is stable. A tmux session provides a virtual -terminal for REPL-based TUI testing: ~tmux send-keys~ / ~tmux capture-pane~. - -*** TODO P0: Chat scrollback (Page Up/Down) - Track rendered history beyond the window height; Page Up/Down scrolls through it. ~2h. - -*** TODO P0: Input history (up/down arrows) - Maintain a ring buffer of sent messages; up arrow recalls previous, down advances. ~1h. - -*** TODO P1: Status bar (bottom line) - Shows daemon connection status, active LLM model, current time. Separator line - between input area and status. ~3h. - -*** TODO P1: Message rendering - Timestamps (HH:MM), styled prefixes (⬆ sent vs ⬇ received in different colors), - line wrapping for long messages. ~2h. - -*** TODO P2: Command palette (/help redesign) - /help shows a scrollable popup overlay with categories: chat, system, skills, debug. - Absorbs the old /-prefix command mode item. ~4h. - -*** TODO P2: Multi-line input (Shift+Enter for newline) - Detect Shift+Enter vs plain Enter; expand input window for long messages. ~3h. - -*** TODO P3: Background activity indicator - Spinner or dots when the agent is processing; reads from daemon heartbeats. ~2h. - -*** TODO P4: Tab completion for / commands - Tab after / completes command name. ~3h. - -*** TODO P4: Configurable theme - Color scheme variables in the TUI package; basic /theme command. ~4h. - -* PHASE: LONG-HORIZON PLANNING + GIT WORKFLOWS (v0.4.0) -:PROPERTIES: -:ID: proj-planning-v0-4-0 -:END: -Multi-step task mastery, structured tracking with failure handling and course correction. - -** TODO 0. Long-Horizon Planning (task tree DAG) -*** TODO Implement org-skill-long-horizon - - Decompose complex tasks into Org-mode headline trees - - Terminal states: =:todo= → =:next-action= → =:in-progress= → =:done= / =:blocked= / =:stuck= - - Parent summarises child results - - Branch pruning when paths fail - - Source: Claude Code ULTRAPLAN (reimplemented in Lisp) - -** TODO 1. Git Steward (version control integration) -*** TODO Integrate contrib org-skill-git-steward - - Status, diff, commit, push, branch operations - - Policy: commit-before-modify gate (from contrib engineering-standards) - - Log commits to memory - -** TODO 2. TDD Runner Integration -*** TODO Integrate contrib org-skill-tdd-runner - - Run FiveAM tests on file save - - Inject =:test-failure= event on red - - Hook into self-fix for auto-repair proposals - -** TODO 3. Deep Emacs Integration -*** TODO Full org-agenda awareness - - Navigate, clock time, refile, archive - - Uses org-element + org-id - -* PHASE: INTERACTIVE ACTUATION & ENVIRONMENT STEWARDSHIP (v0.5.0) -:PROPERTIES: -:ID: proj-actuation-v0-5-0 -:END: -Interactive terminal sessions and autonomous dependency management. - -** TODO 0. Interactive PTY Actuator -*** TODO Stream long-running process output to the context window (e.g., `npm run dev`, REPLs) -*** TODO Implement async interrupt control (Ctrl+C emulation) - -** TODO 1. The Environment Steward -*** TODO Autonomously detect missing dependencies (e.g., "Command not found") -*** TODO Propose an installation command and retry the failed action - -* PHASE: CREATOR + ARCHITECT + GTD (v0.6.0) -:PROPERTIES: -:ID: proj-creator-v0-5-0 -:END: -Agent bootstraps itself: creates skills autonomously, designs projects from PRDs, tracks work. - -** TODO 0. Skill Creator (autonomous skill generation) -*** TODO Integrate contrib org-skill-creator - - LLM drafts complete skill org-file from natural language - - Mandatory: syntax validation → jail-load → test → register - -** TODO 1. Architect Agent (PRD → PROTOCOL) -*** TODO Integrate contrib org-skill-architect - - Scan =:STATUS: FROZEN= PRDs - - Generate Phase B PROTOCOL from Phase A - - Write to same file - -** TODO 2. GTD Integration (project tracking) -*** TODO Integrate contrib org-skill-gtd - - Full GTD cycle: capture, clarify, organize, reflect, engage - - org-gtd v4.0 DAG (=:TRIGGER:=, =:BLOCKER:=) - -** TODO 3. Consensus Loop (multi-model agreement) -*** TODO Integrate contrib org-skill-consensus - - Run multiple providers for critical decisions - - Compare results, detect disagreements - - Confidence scoring - -** TODO 4. Web Research (Playwright browsing) -*** TODO Integrate contrib org-skill-playwright + org-skill-web-research - - Headless Chromium via Python bridge - - Text extraction and screenshots - - Gemini Web UI automation - -** TODO 5. Memex Management (PARA lifecycle) -*** TODO Integrate contrib org-skill-memex + org-skill-workspace-manager - - Archive DONE tasks, suggest refiling - - Detect orphaned nodes - - PARA/Zettelkasten maintenance - -* PHASE: VISUAL GROUNDING & MCP BRIDGE (v0.7.0) -:PROPERTIES: -:ID: proj-vision-v0-7-0 -:END: -Multimodal visual interaction and ecosystem-wide tool compatibility. - -** TODO 0. Computer Use / Vision -*** TODO Allow the agent to request host OS or browser screenshots -*** TODO Analyze UI and issue precise X/Y coordinate click/type commands via an X11/Wayland bridge - -** TODO 1. MCP Gateway Bridge -*** TODO Build a Lisp-native client for the Model Context Protocol -*** TODO Connect Passepartout to external tools and data sources - -* PHASE: THE EVALUATION HARNESS (v0.8.0) -:PROPERTIES: -:ID: proj-eval-v0-8-0 -:END: -Automated benchmarking to mathematically prove the agent's reasoning capabilities. - -** TODO 0. SWE-Bench Harness -*** TODO Automated pipeline that clones repositories and feeds GitHub issues -*** TODO Track multi-step resolution trajectory, run tests, and score success - -* PHASE: SOTA PARITY (v1.0.0) -:PROPERTIES: -:ID: proj-sota-v1-0-0 -:END: -Feature-complete agent competitive with commercial agents. All borrowed concepts reimplemented in pure Lisp. - -All features from v0.2.0 through v0.8.0 combined, verified, and tested end-to-end. - -| Area | Parity Target | -|------|--------------| -| Self-improvement | Claude Code self-debug | -| Planning | ULTRAPLAN equivalent | -| Tool ecosystem | 10+ cognitive tools | -| Context window | Semantic search + scope segmentation | -| Safety | 6 Policy invariants + formal verification | -| Multi-step tasks | Task trees with terminal states | -| Code editing | Full file read/write via org manipulation | -| Memory | Vector recall in org-object | -| Emacs integration | Full org-mode control (exceeds Claude Code) | -| Autonomy | 100% local capable (exceeds Claude Code) | - -* PHASE: LISP MACHINE EMERGENCE (v2.0.0) -:PROPERTIES: -:ID: proj-lisp-v2-0-0 -:END: -From Lisp-using agent to true Lisp machine. Agent IS the Emacs process. - -** TODO Lish: Lisp editor as Org-mode IDE - - Org-babel for interactive Lisp evaluation - - Full REPL in TUI - - No bridge needed — direct memory access -** TODO Lish: Shell replacement - - Lisp-based shell that speaks plists - - Org-mode buffers as file system - - No bash dependency - -* PHASE: NEUROSYMBOLIC MATURITY (v3.0.0) -:PROPERTIES: -:ID: proj-neuro-v3-0-0 -:END: -Deterministic planner takes the wheel. LLM relegated to semantic translation. - -** TODO Deterministic planner - - Planner as pure Lisp function - - No LLM needed for scheduling - - Generates task graphs without probabilistic inference -** TODO Self-correcting gates - - Gates learn from false positives (user override patterns) - - Adaptive threshold adjustment - -* PHASE: AI STACK INTERNALIZED (v4.0.0) -:PROPERTIES: -:ID: proj-ai-v4-0-0 -:END: -The agent understands its own weights. No external inference. - -** TODO Llama.cpp in Lisp - - FFI binding to llama.cpp - - No Python subprocess - - Pure Common Lisp inference -** TODO Weights as sexps - - Neural weights represented as Lisp data structures - - Homoiconic model introspection - -* PHASE: TRUE AGENCY (v5.0.0) -:PROPERTIES: -:ID: proj-agency-v5-0-0 -:END: -World models, temporal reasoning, goal persistence across restarts. - -** TODO World models - - Agent builds predictive models of user behavior - - Project dynamics awareness - - System state forecasting -** TODO Temporal reasoning - - Scheduling and deadline awareness - - Elapsed duration tracking - - Calendar integration -** TODO Goal persistence - - Goals survive restarts - - Long-term projects tracked in org-objects - - Cross-session continuity - -* PHASE: EVOLUTIONARY ROADMAP (Previous — Superseded by Critical Analysis) -:PROPERTIES: -:ID: proj-old-roadmap -:END: -Superseded by the critical analysis-informed roadmap above (v0.2.0 through v5.0.0). This section kept for historical reference. - -** TODO v0.1.0: The Autonomous Foundation (Current Release) — Now COMPLETE -** TODO v1.0.0 (Phase 2.5): The Verified Wrapper (SOTA Parity) — Now v1.0.0 -** TODO v2.0.0 (Phase 3): Cannibalizing the Toolchain — Now v2.0.0 -** TODO v3.0.0 (Phase 4): True Symbolic Determinism — Now v3.0.0 - -* 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-autonomous-boundary -:END: -Slim down the passepartout 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 Cycle 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. -** DONE Implement Unified Envelope Architecture & Channel-Awareness - CLOSED: [2026-04-20 Mon 13:20] - - Removed specialized :CHAT type; reverted to semantic :REQUEST/:EVENT protocol. - - Decoupled routing metadata into a :META envelope (SOURCE, SESSION-ID). - - Updated TUI, Emacs, and CLI gateways to use the unified protocol. - - Verified end-to-end loop with TUI; kernel correctly routes responses back to origin interface. - - Achieved "Equality of Clients" mandate. -** DONE Full review of passepartout's harness - CLOSED: [2026-05-01 Fri 12:46] - :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`. - - [X] Implement Unified Envelope (Channel-Aware Routing). - - [X] 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] **FIXED:** Implemented symbolic guard check in `act-gate` via Dispatcher skill refactoring. - - [X] **FIXED:** Harness `deterministic-verify` now correctly respects skill triggers. - - [X] **FIXED:** Resolved TUI crash by removing `--non-interactive` from `passepartout.sh` and adding defensive coordinate handling. - - [X] **VERIFIED:** Confirmed bidirectional TUI communication and signed off v0.2.0. - - [X] Ensure alignment with System Policy and Engineering Standards. - - [X] Restored structural integrity by fixing `manifest.org` loading sequence. - -** 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 Dispatcher) for Complex Actions - CLOSED: [2026-04-11 Sat 15:30] - :PROPERTIES: - :CREATED: [2026-04-01 Wed 17:00] - :END: - - Implemented `dispatcher-check` interceptor in `symbolic.lisp`. - - Created `org-skill-dispatcher.org` for flight plan serialization. - - Verified asynchronous Org-native approval loop via `dispatcher-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. - -** DONE Refactor org-skill-policy.org: Concrete Invariants, Conflict Hierarchy, and Auditable Gate - CLOSED: [2026-04-22 Wed 11:50] - :PROPERTIES: - :ID: policy-refactor-concrete-invariants - :END: - - Added explicit Override Hierarchy (Transparency > Autonomy > Bloat > Mentorship > Sustainability). - - Implemented `policy-check-transparency`: blocks user-facing actions without :explanation. - - Implemented `policy-check-autonomy`: flags proprietary domain references as autonomy debt. - - Implemented `policy-check-bloat`: warns on :create-skill actions exceeding size threshold. - - Implemented `policy-check-mentorship`: blocks high-impact actions missing :mentorship-note. - - Implemented `policy-check-sustainability`: logs cloud-provider usage as sustainability debt. - - Implemented `policy-explain`: formats auditable rationale for every policy decision. - - Implemented `policy-find-engineering-standards-gate`: robust cross-package search for standards skill. - - Hardened `policy-deterministic-gate`: never returns NIL silently; always returns action or auditable log. - - Raised skill priority from 100 to 500 to ensure it runs before other deterministic gates. - -** DONE Add Invariant 6 (Modularity) and Harness Boundary Contract to Policy/Manifest - CLOSED: [2026-04-22 Wed 12:10] - :PROPERTIES: - :ID: policy-modularity-invariant - :END: - - Added Modularity as Invariant 6 in `org-skill-policy.org`: general life principle that complexity must live at the edges. - - Implemented `policy-check-modularity`: blocks modifications to protected core paths unless `:modularity-justification` is provided. - - Defined `*modularity-protected-paths*` as project-configurable variable (defaults: harness/, passepartout.asd). - - Updated Override Hierarchy to include Modularity between Bloat and Mentorship. - - Added Harness Boundary Contract section to `harness/manifest.org` documenting primary boundary files and generated artifacts. - - Converted checkbox sub-tasks to hierarchical TODO headlines per GTD standard. - -** DONE Implement `org-skill-lisp-validator` (3-phase deterministic validation gate) - CLOSED: [2026-04-22 Wed 12:30] - :PROPERTIES: - :ID: lisp-validator-implementation - :END: - - Created 3-phase validation pipeline: Structural (O(n) paren scanner), Syntactic (reader with *read-eval* nil), Semantic (whitelist AST walk). - - Implemented `lisp-validator-validate` returning structured plists for machine parsing. - - Exposed `:validate-lisp` cognitive tool for Probabilistic Engine self-correction. - - Replaced `validate-lisp-syntax` in `harness/skills.org` with delegation to the validator. - - Added mandatory validation rule to Probabilistic Engine system prompt in `harness/reason.org`. - - Fixed paren balance and `return-from` compilation errors in org source; tangled and validated in SBCL. - -** DONE Fix Skill Loader to Respect `:tangle` Blocks and Eliminate Circular Dependency - CLOSED: [2026-04-22 Wed 12:45] - :PROPERTIES: - :ID: skill-loader-tangle-fix - :END: - - Updated `load-skill-from-org` in `harness/skills.org` to only collect blocks with `:tangle` directives pointing to runtime `.lisp` files, excluding `tests/` and `test/` paths. - - Added fallback to `validate-lisp-syntax` so it uses a basic reader check when `lisp-validator-validate` is not yet loaded (breaks circular harness->skill dependency). - - Verified full boot: 13/13 skills loaded successfully into SBCL, including `skill-lisp-validator` at priority 900 and `skill-policy` at priority 500. - -* TRACK: SECURITY & CONTAINMENT (The 5-Vector Dispatcher 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 `passepartout.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: -*** TODO Check for new Debian security patches (`apt-get update` check) -*** TODO Check for new `signal-cli` releases (compare vs v0.14.0) -*** TODO Check for new Quicklisp distribution (monthly snapshot) -*** TODO Verification: Update `Dockerfile`, run `docker-compose build --no-cache`, and execute full test suite -*** TODO 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> \ No newline at end of file