Module read_only_verifier 

Optional read-only producer of a LOOP-1 verification report.

Off by default. The editor role cannot mark the report passed. A verifier Failed or NeedsReview remains a non-pass under the completion gate.

Enums

ReportAuthor

Constants

VERIFIER_TURN_INPUT

Functions

accept_report

failed_report

nested_call_allowed

Nested program calls do not re-enter the verifier tool list. A check producer may run; anything else must have declared itself read-only.

presentable

should_invoke

tool_allowed