@plures/praxis

---

@plures/praxis / index / verifyInvariants

Function: verifyInvariants()

verifyInvariants<TContext>(registry): InvariantCheck[]

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

Check that stated invariants hold across all rules.

For each rule with a contract, check if the invariants are consistent with the rule's behavior description and examples.

Type Parameters

TContext

TContext = unknown

Parameters

registry

PraxisRegistry<TContext>

The Praxis registry containing all rules with contracts

Returns

InvariantCheck[]

Array of InvariantCheck objects, one per invariant per rule