Module verification 

Verification contracts for A3S Code 2.0.

Verification is represented as structured checks and reports. The first stage is intentionally conservative: required checks start as needs_review until a verifier or the harness marks them passed/failed.

Structs

StaticVerifier

VerificationCheck

VerificationCommand

VerificationPreset

VerificationReport

VerificationSummary

Enums

VerificationStatus

Constants

VERIFICATION_REPORT_SCHEMA

Traits

Verifier

Functions

format_verification_summary

verification_presets_for_workspace

verification_status_label