Interface: FuzzyProveResponse
@kortexya/reasoninglayer / FuzzyProveResponse
Interface: FuzzyProveResponse
Section titled “Interface: FuzzyProveResponse”Defined in: src/types/inference.ts:894
Response from fuzzy proof search.
Properties
Section titled “Properties”certificate?
Section titled “certificate?”
optionalcertificate?:DiagnosisCertificate
Defined in: src/types/inference.ts:917
The sealed diagnosis certificate. Present only when the request set FuzzyProveRequest.seal on an open-world query.
Remarks
Section titled “Remarks”Kept in the engine’s own encoding (snake_case keys, not camelCased) on purpose: the certificate is re-verified by deserializing it verbatim, so any translation would break that. Absent also when the payload does not match the documented encoding (see DiagnosisCertificate.version).
derivationComplete?
Section titled “derivationComplete?”
optionalderivationComplete?:boolean
Defined in: src/types/inference.ts:944
Whether the closed-world derivation exhausted its search with no pending
constraints. false includes depth, work and solution limits. Only true
permits reading an empty solution set as a completed refutation. Absent
for open-world evidence ranking, which has no such verdict.
goalId?
Section titled “goalId?”
optionalgoalId?:string|null
Defined in: src/types/inference.ts:906
Goal ID if the goal was saved (when saveGoal is true).
The engine stores the saved goal apart from the tenant’s facts: it is
not visible to MATCH or to getFacts, and it is reached through
listGoals / getGoal / deleteGoal.
logoddsCoverageBonus?
Section titled “logoddsCoverageBonus?”
optionallogoddsCoverageBonus?:number|null
Defined in: src/types/inference.ts:937
The log-odds coverage term λ in effect for this query. Present whenever solutions were computed.
Remarks
Section titled “Remarks”The companion input to the calibration term above and to the
+λ·credited coverage reward.
logoddsObservationCount?
Section titled “logoddsObservationCount?”
optionallogoddsObservationCount?:number|null
Defined in: src/types/inference.ts:928
Observation count k the log-odds null calibration used for THIS query
(the number of scope-consistent facts). Present only for scoped queries.
Remarks
Section titled “Remarks”With FuzzyProveResponse.logoddsCoverageBonus, lets a caller that
renders the additive score decomposition reproduce the engine’s
− k·(null_llr_rate + λ·null_hit_rate) term exactly, without shared
configuration.
openWorldSearch?
Section titled “openWorldSearch?”
optionalopenWorldSearch?:OpenWorldSearchCompletion
Defined in: src/types/inference.ts:949
Whether the open-world ranking traversal was exhaustive. Present only on an open-world query; never a closed-world negative verdict.
queryTimeMs
Section titled “queryTimeMs”queryTimeMs:
number
Defined in: src/types/inference.ts:898
Query execution time in milliseconds.
solutions
Section titled “solutions”solutions:
SolutionDto[]
Defined in: src/types/inference.ts:896
Solutions with fuzzy certainty scores.