eml-check — audit EML trees

Read ../_shared/eml-foundations.md for the operator, axioms, leaf alphabet, and branch convention.

When this skill triggers (and when it doesn't)

Triggers on: "verify this EML tree", "is this a valid witness for …", "check the proof-engine K=… tree", "audit the leaves of this compiled form", "does this really equal sqrt(x)?".

Does not trigger on: generic math verification, symbolic proof, or formula simplification. For "is this identity true?" on arbitrary elementary expressions (not EML trees), use /math-identity-check.

Subcommands

script	what it does
`scripts/audit.py`	Full audit: shape stats + interior-sample numerical agreement + branch-cut probes. Emits `audit.json` / `audit.md`, plus `audit.blog.md` under `--format blog` (embedded Mermaid with RPN fallback, K-context table, witness provenance, probe table). Primary entry point.
`scripts/check.py`	Focused slices of the same pipeline: `verify` (numerical only), `leaves` (shape only), `branch-audit` (probes only). Useful when you don't need the full bundle.
`scripts/minimality.py`	Exhaustive minimality enumeration up to `--max-k` (no cap, function-hash dedup). Cheap through K=13 on a laptop; higher K gated behind `EML_SLOW=1` in CI.

Both audit entry points share skills/_shared/eml_core/ and these exit codes: 0 verified / 1 mismatch / 2 shape-invalid / 3 usage.