Module contracts 

Design-by-Contract verification harness.

Parses contracts/agent-loop-v1.yaml and validates that all invariant test_binding entries correspond to real tests. Provides verify_contracts() for CI integration.

See: docs/specifications/batuta-agent.md Section 13.

Structs

ContractFile

Top-level contract structure parsed from YAML.

ContractMeta

Contract metadata.

Invariant

A formal invariant with preconditions, postconditions, and test binding.

InvariantStatus

Status of a single invariant verification.

VerificationResult

Result of contract verification.

VerificationTargets

Verification targets from the contract.

Functions

parse_contract

Parse a contract YAML file.

verify_bindings

Verify contract invariants against a set of known test names.