Skip to content

Interface: TaggedForwardChainResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / TaggedForwardChainResponse

Interface: TaggedForwardChainResponse

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

Response from tagged forward chaining.

Properties

derivedCount

derivedCount: number

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

Number of newly derived facts (excluding initial).


executionTimeMs

executionTimeMs: number

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

Execution time in milliseconds.


facts

facts: TaggedDerivedFact[]

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

Derived facts with provenance tags.


fixpointReached

fixpointReached: boolean

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

Whether fixpoint was reached.


iterations

iterations: number

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

Number of iterations performed.


totalFacts

totalFacts: number

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

Total facts after materialization (initial + derived).