Interface: TaggedDerivedFact

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

A derived fact with provenance confidence from tagged forward chaining.

Properties

confidence: number

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

Provenance confidence in [0.0, 1.0].

isInitial: boolean

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

Whether this was an initial fact (axiom) or newly derived.

optional sortName: string | null

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

The sort name of the derived fact.

termId: string

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

The term ID of the derived fact (UUID).