mix ptc.validate_spec (PtcRunner v0.9.0)

Copy Markdown View Source

Validates PTC-Lisp specification against implementation.

Extracts examples from the specification and runs them through the PTC-Lisp interpreter to detect drift between specification and implementation.

Usage

mix ptc.validate_spec
mix ptc.validate_spec --clojure

Options

  • --clojure - Compare results with Babashka/Clojure (requires Babashka installed)

Output

Displays:

  • Examples grouped by specification section
  • Validation results (passed/failed)
  • Warnings for section hash mismatches
  • Optional Clojure comparison results

Exit Codes

  • 0: All examples passed
  • 1: Some examples failed
  • 2: Could not load or validate specification