Interface: TaggedDerivedFact

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

A derived fact with provenance confidence from tagged forward chaining.

Properties

confidence: number

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

Provenance confidence in [0.0, 1.0].

isInitial: boolean

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

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

optional sortName: string | null

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

The sort name of the derived fact.

termId: string

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

The term ID of the derived fact (UUID).