Module contracts 

Performance contract verification (CI/CD gate). Extends provable-contracts framework to performance bounds. See spec section 3.4 and 7.1.

Structs

ContractVerification

Result of verifying a single contract.

FalsificationCheck

HardwareSpec

MetricBound

PerformanceBound

PerformanceContract

A performance contract loaded from YAML.

Functions

load_contract

Load a performance contract from a YAML file.

load_contracts_dir

Load all contracts from a directory.

run_generate

Generate a performance contract YAML from a profile or estimated values.

run_verify

Run contract verification for a directory of contracts.

verify_contract

Verify a contract against measured values. Loads saved profiles from /tmp/cgp-{kernel}-{size}.json if available, and checks performance bounds + falsification expressions.