Skip to main content

Module check_parity

Module check_parity 

Source
Expand description

pv check-parity — SEMANTIC gate for parity-matrix contracts.

pv validate is the SCHEMA gate — it checks the YAML parses and carries the fields required by the aprender-contracts schema. A parity-matrix contract (e.g. contracts/apr-code-parity-v1.yaml, kind: pattern) additionally encodes a per-row cross_check_command whose output is the mechanical verification of status. This command runs each row’s cross-check and compares the hit count against the declared expected_min_hits / expected_max_hits bounds.

Closes the SEMANTIC half of PMAT-CONTRACTS-PARITY-001.

Structs§

RowResult

Enums§

Verdict

Functions§

run