Function: crossReferenceContracts()
August 8, 2026 ยท View on GitHub
@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
Array of CrossReference objects describing inter-rule fact dependencies