Start with one .lspx file, keep effects at the invocation boundary, and make the final expression the value you want the CLI to print.
At a glance
LISPEX
(define (eligible? age active?) (and (>= age 18) active?))
(eligible? 21 #t)Result
OUTPUT
#tWorking method
- Define small pure procedures, call them with literal data, then run
lispex rule.lspxor pipe the file to stdin. - Treat stdout, diagnostics, warnings, and exit status as separate observations in automation.
- Pin the Lispex version and test boundary cases before turning a rule into a Vouch corpus.
Boundaries
- Do not hide file, network, time, or randomness inside a rule expected to replay deterministically.