Skip to content

Interface: TaggedForwardChainResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / TaggedForwardChainResponse

Interface: TaggedForwardChainResponse

Defined in: src/types/inference.ts:653

Response from tagged forward chaining.

Properties

derivedCount

derivedCount: number

Defined in: src/types/inference.ts:655

Number of newly derived facts (excluding initial).


executionTimeMs

executionTimeMs: number

Defined in: src/types/inference.ts:657

Execution time in milliseconds.


facts

facts: TaggedDerivedFact[]

Defined in: src/types/inference.ts:659

Derived facts with provenance tags.


fixpointReached

fixpointReached: boolean

Defined in: src/types/inference.ts:661

Whether fixpoint was reached.


iterations

iterations: number

Defined in: src/types/inference.ts:663

Number of iterations performed.


totalFacts

totalFacts: number

Defined in: src/types/inference.ts:665

Total facts after materialization (initial + derived).