Interface: RuleCertificationDelta
@kortexya/reasoninglayer / RuleCertificationDelta
Interface: RuleCertificationDelta
Section titled “Interface: RuleCertificationDelta”Defined in: src/types/inference.ts:1651
How an edit changed the rule base’s termination and order-independence guarantees.
Properties
Section titled “Properties”orderIndependentAfter
Section titled “orderIndependentAfter”orderIndependentAfter:
boolean
Defined in: src/types/inference.ts:1659
Whether it is order-independent after.
orderIndependentBefore
Section titled “orderIndependentBefore”orderIndependentBefore:
boolean
Defined in: src/types/inference.ts:1657
Whether it was order-independent before the edit.
regressed
Section titled “regressed”regressed:
boolean
Defined in: src/types/inference.ts:1666
true when the edit weakened either guarantee. The edit is still applied —
refusing it would make a rule base unfixable once a previous edit had
broken it — but a client that ignores this is flying blind into a diverging
chain run.
terminatedBefore
Section titled “terminatedBefore”terminatedBefore:
boolean
Defined in: src/types/inference.ts:1653
Whether the rule base terminated before the edit.
terminatesAfter
Section titled “terminatesAfter”terminatesAfter:
boolean
Defined in: src/types/inference.ts:1655
Whether it terminates after.