Skip to content
KortexyaKortexyaReasoning Layer SDK

Interface: ExplorationSearchBounds

@kortexya/reasoninglayer

@kortexya/reasoninglayer / ExplorationSearchBounds

Interface: ExplorationSearchBounds

Section titled “Interface: ExplorationSearchBounds”

Defined in: src/types/analysis.ts:153

The bounds of one native exploration search step.

Remarks

Section titled “Remarks”

Each call that advances the search (start, confirm, refute, advance) accepts these. When a bound stops the search, the response has no question and search.stop names the bound; resume with advanceExploration.

Extended by

Section titled “Extended by”

Properties

Section titled “Properties”

maxCandidates?

Section titled “maxCandidates?”

optional maxCandidates?: number

Defined in: src/types/analysis.ts:155

Maximum new implication-closed candidates examined in this call.

maxWork?

Section titled “maxWork?”

optional maxWork?: number

Defined in: src/types/analysis.ts:157

Maximum native search steps in this call. 0 suspends before any work.

searchTimeoutMs?

Section titled “searchTimeoutMs?”

optional searchTimeoutMs?: number

Defined in: src/types/analysis.ts:159

Search deadline in milliseconds, checked between native primitives.