Interface: ResidualDerivationDto
@kortexya/reasoninglayer / ResidualDerivationDto
Interface: ResidualDerivationDto
Section titled “Interface: ResidualDerivationDto”Defined in: src/types/inference.ts:694
One forward-chaining derivation suspended on an unbound slot.
Properties
Section titled “Properties”factId
Section titled “factId”factId:
string
Defined in: src/types/inference.ts:700
The fact that carries the unbound slot (UUID).
feature
Section titled “feature”feature:
string
Defined in: src/types/inference.ts:702
The feature whose value is unbound.
headSortName?
Section titled “headSortName?”
optionalheadSortName?:string|null
Defined in: src/types/inference.ts:698
Name of the rule’s conclusion sort, when it has one.
requiredValue
Section titled “requiredValue”requiredValue:
string
Defined in: src/types/inference.ts:708
The value the rule requires in that slot, rendered as text.
ruleId
Section titled “ruleId”ruleId:
string
Defined in: src/types/inference.ts:696
The rule (its head clause) that would fire (UUID).
variableId
Section titled “variableId”variableId:
string
Defined in: src/types/inference.ts:704
The unbound variable in the slot (UUID).
variableName?
Section titled “variableName?”
optionalvariableName?:string|null
Defined in: src/types/inference.ts:706
The variable’s declared name (for example ?P), when known.