Interface: ForwardChainResponse
@kortexya/reasoninglayer / ForwardChainResponse
Interface: ForwardChainResponse
Section titled “Interface: ForwardChainResponse”Defined in: src/types/inference.ts:623
Response from forward chaining inference.
Properties
Section titled “Properties”completion?
Section titled “completion?”
optionalcompletion?:ForwardChainCompletion
Defined in: src/types/inference.ts:660
Completion evidence for this execution: whether a fixpoint was reached and whether a budget truncated rule matching. Absent for a previously materialized answer whose execution evidence is unavailable.
derivedCount
Section titled “derivedCount”derivedCount:
number
Defined in: src/types/inference.ts:627
Number of newly derived facts.
derivedFacts
Section titled “derivedFacts”derivedFacts:
PsiTermDto[]
Defined in: src/types/inference.ts:625
Facts derived during forward chaining.
iterations
Section titled “iterations”iterations:
number
Defined in: src/types/inference.ts:629
Number of iterations performed.
keptCount?
Section titled “keptCount?”
optionalkeptCount?:number
Defined in: src/types/inference.ts:642
Derivations this run KEPT in the tenant’s store.
Remarks
Section titled “Remarks”Non-zero only when the request carried keepDerived: true, since a default
run rolls its output back. Counts meta.clause wrappers, which is one per
conclusion.
materializationTimeMs
Section titled “materializationTimeMs”materializationTimeMs:
number
Defined in: src/types/inference.ts:633
Materialization time in milliseconds.
provenanceTags?
Section titled “provenanceTags?”
optionalprovenanceTags?:ProvenanceTagDto[]
Defined in: src/types/inference.ts:644
Provenance tags for derived facts (only present when enable_provenance_tags was true).
residuated?
Section titled “residuated?”
optionalresiduated?:ResidualDerivationDto[]
Defined in: src/types/inference.ts:654
Derivations SUSPENDED on an unbound slot (residuation).
Remarks
Section titled “Remarks”A rule whose antecedent is satisfied on every bound feature and blocked only by a feature whose value is an unbound variable. Each entry names the rule, the fact, the feature, the variable and the value the rule requires: the question to ask next. The engine omits the key when nothing is waiting.
totalFacts
Section titled “totalFacts”totalFacts:
number
Defined in: src/types/inference.ts:631
Total facts after materialization.