Module verification 

Structs

VerificationPolicy

Immutable rule set shared by all concurrently executing plans.

VerifyResponse 🔒

Constants

VERIFICATION_TIMEOUT 🔒

VERIFY_CONTRACT_ID

Functions

apply_verdict 🔒

build_verifier_call 🔒

Build the common two-field Verify request. The nested payload stays opaque to Executor beyond carrying the original call context and configured args.

json_or_string 🔒

unavailable 🔒

verify_result

Verify a successful result when a rule matches. The verifier call itself goes straight through dispatch and is never recursively verified.