Module verify 

IR well-formedness checkers run between compiler passes. Each function is a pure check returning Result<(), VerifyError>; the compiler invokes them at the per-pass seams described in docs/COMPILER.md.

Enums

VerifyError

IR shape failure with enough context to locate the offending op.

Functions

function_calls

Verify each Call* node names a function in model.functions.

types

Verify every NodeProto.op_type is non-empty and the function table is non-empty.

wire_pairs

Verify each wire_id has both a Send and a Recv.

wire_pairs_in_function

Single-function wire-id check (no wrapping ModelProto needed).