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

acceptance_shell_commands_for_workspace

Parse machine ACCEPTANCE criteria from active .a3s/loops/*/ACCEPTANCE.md so Core shell evidence and Host ACCEPTANCE re-checks share the same predicates.

bind_host_shell_reports_to_mutations

When a Host shell check proves a mutated path still exists (test -f / ACCEPTANCE kind:file_exists synthesized to test -f), bind the current mutation ledger digest so the completion gate can Allow(Verified). Bare true / unrelated presets do not bind — that would overfit the gate.

bind_host_shell_reports_to_mutations_with_content

Like bind_host_shell_reports_to_mutations, optionally requiring content_match = Some((expected_ledger_digest, on_disk_digest)).

format_verification_summary

goal_achieved_after_evidence_gate

Combine an LLM achievement judgment with structured verification evidence.

host_report_for_verified_mutation_path

Synthesize a Host Passed report when bash successfully runs test -f / test -e on a path that is already on the mutation ledger.

host_report_for_verified_mutation_path_with_content

Like host_report_for_verified_mutation_path with optional content match.

is_acceptance_verification_subject

True when a shell verification subject was derived from ACCEPTANCE.md.

merge_shell_verification_metadata

Merge a shell-preset verification report into tool metadata when applicable.

normalize_shell_command

Normalize shell text for preset command coverage checks.

path_from_existence_check_command

Extract the path from the first existence-check segment.

reports_include_passing_acceptance

True when reports include at least one passing ACCEPTANCE-derived shell report.

shell_command_covers_preset

True when command executes preset (exact, with trailing args, or after && / ;).

shell_verification_report_for_command

Build a verification report when a shell command covers a workspace preset command or a durable /goal ACCEPTANCE.md machine criterion (kind:command or synthesized test -f for kind:file_exists).

should_emit_goal_achieved

Decide whether planning should emit GoalAchieved before End.

should_emit_goal_achieved_for_workspace

Decide whether planning should emit GoalAchieved before End.

verification_presets_for_workspace

verification_status_label