Skip to content

Interface: GroundedGenerateResponse

@kortexya/reasoninglayer


@kortexya/reasoninglayer / Generation / GroundedGenerateResponse

Interface: GroundedGenerateResponse

Defined in: src/types/generation.ts:176

Response of POST /api/v1/generate/grounded.

Properties

admittedTerms

admittedTerms: string[]

Defined in: src/types/generation.ts:178

SUMO sort/term labels the lattice mask admitted, in lattice order.


certifyOutcome?

optional certifyOutcome: string | null

Defined in: src/types/generation.ts:180

Certify-mode only: "certified" | "refuted" | "abstained"; null otherwise.


derivation

derivation: string

Defined in: src/types/generation.ts:182

The lattice-constrained derivation (PASS A).


feasibleModes

feasibleModes: string[]

Defined in: src/types/generation.ts:184

Motion modes the backend proved feasible for the goal.


mode

mode: GenMode

Defined in: src/types/generation.ts:186

Which technique produced this answer (echoes the request’s mode).


modelPick?

optional modelPick: string | null

Defined in: src/types/generation.ts:188

Certify-mode only: the mode the model proposed before certification; null otherwise.


prose

prose: string

Defined in: src/types/generation.ts:190

The free-prose answer (PASS B).


recommendedMode?

optional recommendedMode: string | null

Defined in: src/types/generation.ts:192

The single mode the backend recommends (minimal-resource feasible winner); null when none.


refutedModes

refutedModes: string[]

Defined in: src/types/generation.ts:194

Motion modes the backend refuted for the goal (the counter-evidence).