@plures/praxis

---

@plures/praxis / index / verifyContractExamples

Function: verifyContractExamples()

verifyContractExamples<TContext>(rule, contract): ContractVerificationResult

Defined in: packages/praxis-core/src/decision-ledger/contract-verification.ts:32

Actually run a rule's implementation against each contract example's given state and verify the output matches then.

This is deeper than contract existence checking — it executes the rule.

Type Parameters

TContext

TContext = unknown

Parameters

rule

RuleDescriptor<TContext>

The rule descriptor to verify

contract

Contract

The contract with Given/When/Then examples to run against the rule

Returns

ContractVerificationResult

A ContractVerificationResult with per-example pass/fail status