Interface: InvariantCheck
August 8, 2026 ยท View on GitHub
@plures/praxis / index / InvariantCheck
Interface: InvariantCheck
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:168
Invariant check result
Properties
explanation
explanation:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:176
Explanation
holds
holds:
boolean
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:174
Whether it holds
invariant
invariant:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:170
The invariant statement
ruleId
ruleId:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:172
The rule it belongs to