Interface: ArgumentationEvaluateRequest
@kortexya/reasoninglayer / ArgumentationEvaluateRequest
Interface: ArgumentationEvaluateRequest
Section titled “Interface: ArgumentationEvaluateRequest”Defined in: src/types/argumentation.ts:35
Request to evaluate a set of claims.
Remarks
Section titled “Remarks”The engine’s body schema is closed: a key it does not define is refused
with 422. The SDK sends only the keys below that are set.
Properties
Section titled “Properties”claims
Section titled “claims”claims:
ArgumentClaim[]
Defined in: src/types/argumentation.ts:37
Claims in a stable caller order (argument order).
enableDerivation?
Section titled “enableDerivation?”
optionalenableDerivation?:boolean
Defined in: src/types/argumentation.ts:43
Run the rule-derivation layer. Default true.
matchThreshold?
Section titled “matchThreshold?”
optionalmatchThreshold?:number|null
Defined in: src/types/argumentation.ts:53
Pairwise co-reference threshold (default 0.7, clamped to 0.1..=1.0).
preferences?
Section titled “preferences?”
optionalpreferences?:ArgumentPreference[]
Defined in: src/types/argumentation.ts:39
User resolutions accumulated so far (each deletes one attack).
retracted?
Section titled “retracted?”
optionalretracted?:string[]
Defined in: src/types/argumentation.ts:41
Argument ids withdrawn entirely (dropped before evaluation).
rulesOsfql?
Section titled “rulesOsfql?”
optionalrulesOsfql?:string|null
Defined in: src/types/argumentation.ts:51
Extra inline OSFQL (DERIVE … WHEN …;) compiled into the ephemeral
analysis KB — conflict-sort rules turn derived facts into attacks carrying
a derivation proof. Never touches the tenant KB.
useTenantRules?
Section titled “useTenantRules?”
optionaluseTenantRules?:boolean
Defined in: src/types/argumentation.ts:45
Consult the tenant KB’s homoiconic rules when deriving conflicts.