`examples/README.md`'s Demonstrates column has drifted and is not gated

Obligation descriptions render a Unit-literal argument as <expr>: mk(()) reads mk(<expr>) in verify --json and E505 text

examples/file_io.vera litters the repo root with hello.txt on every run

vera compile never terminates on a self-referential refinement used in a signature (closure-lift queue feeds itself)

Checker bare-op resolution is PYTHONHASHSEED-dependent when the effect row holds two effects declaring the same op name

Consolidate the State/Exn handler naming machinery — remove the re-derivation generator behind the PR #1202 bug cluster

State/Exn import registration never walks handler clause bodies, state-init expressions, or i32_pair cells — check-green programs fail with unknown func/tag

E525 promises a runtime termination check that is never emitted — a non-terminating program passes check, passes verify, and hangs

vera run prints 0 for a function returning bare Future<String> (display-only)

let bindings of pair-represented Future payloads (let @Future<String>) are check-green but E602-skip