@plures/praxis

---

@plures/praxis / index / findContractGaps

Function: findContractGaps()

findContractGaps<TContext>(registry): ContractCoverageGap[]

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

Find rules with contracts that don't cover all code paths.

Analyzes contract examples to find:

• Rules with only happy-path examples (no error cases)
• Rules with no boundary condition examples
• Rules that handle multiple event types but only have examples for some

Type Parameters

TContext

TContext = unknown

Parameters

registry

PraxisRegistry<TContext>

The Praxis registry containing all rules with contracts

Returns

ContractCoverageGap[]

Array of ContractCoverageGap objects for insufficiently covered contracts