Interface: RefuteRequest
@kortexya/reasoninglayer / RefuteRequest
Interface: RefuteRequest
Section titled “Interface: RefuteRequest”Defined in: src/types/analysis.ts:303
Request to refute an implication with a counterexample.
Extends
Section titled “Extends”Properties
Section titled “Properties”features
Section titled “features”features:
string[]
Defined in: src/types/analysis.ts:321
Features of the counterexample.
Remarks
Section titled “Remarks”They must include every premise feature of the pending implication, lack
at least one of its conclusion features, and respect every confirmed
implication (a confirmed premise brings its conclusion). The engine
refuses any other set with 400.
label:
string
Defined in: src/types/analysis.ts:311
Label for the counterexample.
maxCandidates?
Section titled “maxCandidates?”
optionalmaxCandidates?:number
Defined in: src/types/analysis.ts:155
Maximum new implication-closed candidates examined in this call.
Inherited from
Section titled “Inherited from”ExplorationSearchBounds.maxCandidates
maxWork?
Section titled “maxWork?”
optionalmaxWork?:number
Defined in: src/types/analysis.ts:157
Maximum native search steps in this call. 0 suspends before any work.
Inherited from
Section titled “Inherited from”ExplorationSearchBounds.maxWork
questionId
Section titled “questionId”questionId:
string
Defined in: src/types/analysis.ts:309
The pending question’s ExplorationQuestion.questionId. Any other id
answers 409 with code exploration_question_not_pending, and nothing is
applied.
searchTimeoutMs?
Section titled “searchTimeoutMs?”
optionalsearchTimeoutMs?:number
Defined in: src/types/analysis.ts:159
Search deadline in milliseconds, checked between native primitives.