Skip to content

Interface: TaggedForwardChainResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Inference / TaggedForwardChainResponse

Interface: TaggedForwardChainResponse

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

Response from tagged forward chaining.

Properties

derivedCount

derivedCount: number

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

Number of newly derived facts (excluding initial).


executionTimeMs

executionTimeMs: number

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

Execution time in milliseconds.


facts

facts: TaggedDerivedFact[]

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

Derived facts with provenance tags.


fixpointReached

fixpointReached: boolean

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

Whether fixpoint was reached.


iterations

iterations: number

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

Number of iterations performed.


totalFacts

totalFacts: number

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

Total facts after materialization (initial + derived).