# `mix surfex.validate`
[🔗](https://github.com/dcoai/surfex/blob/v0.6.2/lib/mix/tasks/surfex.validate.ex#L1)

Records a **review** (`Surfex.Record.validate/6`, §18): the test was examined against the
spec unit, judged to validate it, and passes against the code.

    mix test
    mix surfex.validate "MyApp.CartTest: rejects a closed cart" spec.md#closed \
      --note "asserts {:error, :closed} and that the cart is unchanged: both claims of the unit"

Before running it, do the work: read the unit's claims and the test, and judge whether
the test accurately validates that component of the spec: its cases, its boundaries,
what must stay unchanged. Fix or extend the test where it falls short. The note says
which claim each assertion checks.

It needs a `verifies` relation from the test to the unit, and the last `mix test` to have
passed the test's current version. It validates that relation and each `implements`
relation of the unit whose code the test exercised, each only if it isn't validated
already (a `verifies` on its failing run keeps that basis); with nothing left to record
it refuses. One test and one unit per run, or, with `--file PATH`, many: one per line,
tab-separated `TEST`, `UNIT`, `NOTE`, each reviewed as the single form reviews it, with
distinct notes (`Surfex.Record.batch/3`).

`--merge PATH` (once per file) also reads other runs' evidence, such as CI artifacts,
with the local run as one history (`Surfex.Evidence.combined/1`), so a test excluded
locally counts from the run that had its environment. A missing file fails.

Code usually implements a section while its tests verify the hints inside it. Review
the test against its hint first, then against the section, judging that it validates
the section's claims for the code it exercises:

    mix surfex.validate "MyApp.CartTest: rejects a closed cart" spec.md#closed-test --note …
    mix surfex.validate "MyApp.CartTest: rejects a closed cart" spec.md#carts --note …

The second records the section's `implements` relations alone.

---

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