Interface: FuzzyProveResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / FuzzyProveResponse

Interface: FuzzyProveResponse

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

Response from fuzzy proof search.

Properties

goalId?

optional goalId: string | null

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

Goal ID if the goal was saved (when save_goal=true).

---

queryTimeMs

queryTimeMs: number

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

Query execution time in milliseconds.

---

solutions

solutions: SolutionDto[]

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

Solutions with fuzzy certainty scores.