Interface: FuzzyProveResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / FuzzyProveResponse

Interface: FuzzyProveResponse

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

Response from fuzzy proof search.

Properties

goalId?

optional goalId: string | null

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

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

---

queryTimeMs

queryTimeMs: number

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

Query execution time in milliseconds.

---

solutions

solutions: SolutionDto[]

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

Solutions with fuzzy certainty scores.