repl: env var was dead code (hardcoded 2s), empty frame gave misleading error check-tangle: show full SBCL output on compile failure, not filtered verify-repl: blacklist now configurable via VERIFY_REPL_EXCLUDE env var; regex tightened to ';; +REPL-VERIFIED:' from ';;.REPL.VERIFIED:' (ambiguous) org-eval: 1-based indexing to match repl-block; errors on out-of-range; errors on <1
verify-repl
Compliance checker for literate programming discipline. Scans .org files for violations of the REPL-first and one-per-block rules.
== Usage
verify-repl org/
verify-repl projects/passepartout/org/
== Checks performed
- REPL-first — every
(defun|defmacro|defvar|defstruct|defmethod|defclass)block must have;; REPL-VERIFIED: <timestamp>on the line above#+begin_src lisp. Any definition block without this comment is a violation. - One-per-block — each
#+begin_src lispblock must contain exactly one top-level form. Multiple defuns in the same block are a violation. - Prose-before-code — each code block must be preceded by an Org headline (the prose explanation). Blocks without a preceding headline are a violation.
== Exempt files
Some core infrastructure files are blacklisted (package definitions, setup),
defined in the script's BLACKLIST array. Extend as needed.
== Dependencies
Bash, grep.