notrest

eval (B)

Part 3 · EACH TOOL · Slide 18 of 60

"Do the laws hold?" One static pass, zero tokens.
15 checks: every law must leave a fingerprint in the shipped
files — offload policy, honesty labels, scripts compile, cited
files exist, append-only ledgers, worker contracts, safe
front-matter, silent hooks, the router and its parity, the
release surface.

   eval.py check ──► SUMMARY PASS/FAIL · exit 0 / 5 / 6
   doctor checks the INSTALL; eval checks the LAWS.