# `mix ptc.validate_spec`
[🔗](https://github.com/andreasronge/ptc_runner/blob/main/lib/mix/tasks/ptc.validate_spec.ex#L1)

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

---

*Consult [api-reference.md](api-reference.md) for complete listing*