Function: crossReferenceContracts()

August 8, 2026 ยท View on GitHub

@plures/praxis


@plures/praxis / index / crossReferenceContracts

Function: crossReferenceContracts()

crossReferenceContracts<TContext>(registry): CrossReference[]

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

Find contracts that reference facts from other rules and verify those producing rules actually exist.

Type Parameters

TContext

TContext = unknown

Parameters

registry

PraxisRegistry<TContext>

The Praxis registry containing all rules with contracts

Returns

CrossReference[]

Array of CrossReference objects describing inter-rule fact dependencies