Interface: RuleWithdrawalReport
@kortexya/reasoninglayer / RuleWithdrawalReport
Interface: RuleWithdrawalReport
Section titled “Interface: RuleWithdrawalReport”Defined in: src/types/inference.ts:1603
What withdrawing a rule removed, in every tier that held part of it.
Remarks
Section titled “Remarks”A rule is not a row. It is one conclusion term, N antecedent pattern terms, a rule-index entry, a set of in-memory justifications, a set of materialized derivations with their proof objects, and the derived terms themselves. Each tier is counted separately, because a response reporting only “deleted” would name none of it.
Properties
Section titled “Properties”consequencesInvalidated
Section titled “consequencesInvalidated”consequencesInvalidated:
number
Defined in: src/types/inference.ts:1645
In-memory consequences invalidated by the truth-maintenance cone, before the surviving ones were re-derived — including the resident conclusions the rule itself derived (each clause wrapper and ground copy), and whatever was derived through them. One withdrawn conclusion can therefore count more than once.
derivationsRemoved
Section titled “derivationsRemoved”derivationsRemoved:
number
Defined in: src/types/inference.ts:1625
Derivations whose last proof this rule was, so the derivation is gone:
derived_facts rows, and the resident conclusions a kept forward chain or
an OSFQL CHAIN wrote. Counted the way the rule_holds_derivations
refusal counts, so this and derivationsWeakened account for the
refusal’s derivations.
derivationsTruncated
Section titled “derivationsTruncated”derivationsTruncated:
boolean
Defined in: src/types/inference.ts:1637
Whether the derivation walk hit its visit cap and stopped early. A truncated retraction is not a complete one; re-issue the request.
derivationsWeakened
Section titled “derivationsWeakened”derivationsWeakened:
number
Defined in: src/types/inference.ts:1632
Derivations that lost this rule’s proofs but remain proved by another rule, in either tier. These are correctly left standing. A conclusion counts as weakened only when a surviving rule’s conclusion carries it, not an asserted twin.
queuedEventsCancelled
Section titled “queuedEventsCancelled”queuedEventsCancelled:
number
Defined in: src/types/inference.ts:1647
Incomplete dataflow queue entries cancelled because they named this rule.
ruleId
Section titled “ruleId”ruleId:
string
Defined in: src/types/inference.ts:1605
The rule that was withdrawn (UUID).
termsDeleted
Section titled “termsDeleted”termsDeleted:
number
Defined in: src/types/inference.ts:1610
Terms deleted with it: the conclusion plus the antecedent, guard, variable and operand terms the rule exclusively owned.
termsRetainedShared
Section titled “termsRetainedShared”termsRetainedShared:
number
Defined in: src/types/inference.ts:1617
Terms of the rule’s graph that were KEPT because something outside the rule still holds them — another rule’s antecedent, or a fact the body referenced. Deleting these would destroy data the rest of the knowledge base owns.