Interface: FuzzyProveResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Inference / FuzzyProveResponse

Interface: FuzzyProveResponse

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

Response from fuzzy proof search.

Properties

goalId?

optional goalId: string | null

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

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

---

queryTimeMs

queryTimeMs: number

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

Query execution time in milliseconds.

---

solutions

solutions: SolutionDto[]

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

Solutions with fuzzy certainty scores.