Interface: Contradiction
August 8, 2026 ยท View on GitHub
@plures/praxis / index / Contradiction
Interface: Contradiction
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:97
Two rules that produce conflicting facts
Properties
conflictingTag
conflictingTag:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:103
The conflicting fact tag
reason
reason:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:105
Description of the conflict
ruleA
ruleA:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:99
First rule
ruleB
ruleB:
string
Defined in: packages/praxis-core/src/decision-ledger/analyzer-types.ts:101
Second rule