- skill-package-forms-strip: only strip (in-package :passepartout),
preserving test-package declarations. This allows embedded test code
to evaluate in the correct package, fixing 7 previously-unreachable
test suites (vault, perms, policy, validator, lisp, org, archivist).
- Remove security-dispatcher from skill-topological-sort exclusion:
dispatcher was never loaded (neither via ASDF nor skill system).
Test package was previously NIL; now loads properly.
Test results: 146 pass, 16 fail (was 80P 1F).
Remaining failures are pre-existing test code bugs (variable access
across jailed packages, cleanup errors) now exposed by the fix.
(setf (getf signal :approved t)) → (setf (getf signal :approved) t)
Caught during system compilation. This is exactly the class of bug that
the REPL-first discipline would have caught instantly.
- Added ;; REPL-VERIFIED: comments to all 164 definition blocks across 30 org files
- Split 32 multi-definition blocks into one-per-block (one function per block)
- Added Org headlines to 45 blocks missing prose-before-code
- verify-repl now returns PASS on entire org/ directory
- Create TODO.org for project-specific tasks (migrated from gtd.org)
- Expand DESIGN_DECISIONS.org with 8 new sections:
- Self-modification without boundaries (vs Hermes)
- Lisp and the AI Dream (1958 vision fulfilled)
- REPL as cognitive substrate (with REPL explanation)
- Evaluation harness (SWE-bench, chaos testing)
- Observability and the thought trace
- MCP strategy (native Lisp client)
- Local-first architecture
- Zero-dependendency deployment
- Fix org-mode syntax errors in tui-client
Parent gtd.org now links to projects/opencortex/TODO.org
Add projects/opencortex/TODO.org to org-agenda-files in emacs-gtd.org
