FIX: Correct all tangle paths and regenerate Lisp sources

2026-04-09 20:53:09 -04:00
parent 740ddc4183
commit 2facbe1c82
29 changed files with 592 additions and 117 deletions
--- a/skills/org-skill-formal-verification.org
+++ b/skills/org-skill-formal-verification.org
@@ -26,7 +26,7 @@ Define a logic-based verification layer for high-integrity decision making.
 * Phase D: Build (Implementation)

 ** Invariants Registry
-#+begin_src lisp :tangle projects/org-skill-formal-verification/src/verification-logic.lisp
+#+begin_src lisp :tangle ../src/verification-logic.lisp
 (defparameter *security-invariants* 
  '((:name "Path-Safety" :formula "(assert (forall ((p String)) (=> (is-write-op p) (str.prefixof \"/home/user/memex\" p))))")))