Interface: FuzzyProveRequest
@kortexya/reasoninglayer / FuzzyProveRequest
Interface: FuzzyProveRequest
Section titled “Interface: FuzzyProveRequest”Defined in: src/types/inference.ts:844
Request for fuzzy proof search.
Remarks
Section titled “Remarks”Dual input mode: Provide EITHER goal OR goal_id, same as backward chaining.
Properties
Section titled “Properties”
optionalgoal?:TermInputDto|null
Defined in: src/types/inference.ts:846
Inline goal. Mutually exclusive with goal_id.
goalId?
Section titled “goalId?”
optionalgoalId?:string|null
Defined in: src/types/inference.ts:848
Saved goal reference. Mutually exclusive with goal.
kbDataVersion?
Section titled “kbDataVersion?”
optionalkbDataVersion?:string|null
Defined in: src/types/inference.ts:890
Caller-attested identity of the ontology data release the rules were
counted from (for example "hpo-2026-06-01"), sealed verbatim.
Remarks
Section titled “Remarks”The engine cannot know which upstream release its rules encode, so this
half of the knowledge identity is the caller’s attestation; the engine
computes the rule-program half from the rules that actually proved.
Defaults to "unattested" on the engine.
maxSolutions?
Section titled “maxSolutions?”
optionalmaxSolutions?:number
Defined in: src/types/inference.ts:852
Maximum number of solutions.
minDegree?
Section titled “minDegree?”
optionalminDegree?:number
Defined in: src/types/inference.ts:850
Minimum degree threshold (0.0 to 1.0).
openWorld?
Section titled “openWorld?”
optionalopenWorld?:boolean
Defined in: src/types/inference.ts:854
Whether to use open-world semantics.
saveGoal?
Section titled “saveGoal?”
optionalsaveGoal?:boolean
Defined in: src/types/inference.ts:856
Whether to persist the goal for later reuse.
scope?
Section titled “scope?”
optionalscope?:Record<string,string>
Defined in: src/types/inference.ts:870
Open-world reasoning scope: ground feature constraints every witnessing fact
must satisfy, as feature → value (string values).
Remarks
Section titled “Remarks”Safety-relevant. For patient-scoped clinical reasoning send
{ patient_id: '<id>' } so only that patient’s observations witness a diagnosis —
another patient’s fact of the same sort never does. A fact lacking the feature is
unconstrained (open world). Empty or absent ⇒ tenant-wide (legacy) behavior,
where any tenant fact may witness the goal.
optionalseal?:boolean
Defined in: src/types/inference.ts:879
Seal the returned open-world differential into a deterministic, re-verifiable diagnosis certificate (see FuzzyProveResponse.certificate).
Remarks
Section titled “Remarks”Opt-in. Only meaningful with openWorld: true; the engine ignores it
otherwise. Default false.
tnorm?
Section titled “tnorm?”
optionaltnorm?:string
Defined in: src/types/inference.ts:858
T-norm strategy: “min”, “product”, or “lukasiewicz”.