Files
Amr Gharbeia 18b289dff8 fix: tool bugs found in review audit
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
2026-05-13 13:09:50 -04:00
..

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

  1. 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.
  2. One-per-block — each #+begin_src lisp block must contain exactly one top-level form. Multiple defuns in the same block are a violation.
  3. 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.