Interface: FormalJudgeResponse
@kortexya/reasoninglayer / FormalJudgeResponse
Interface: FormalJudgeResponse
Section titled “Interface: FormalJudgeResponse”Defined in: src/types/oversight.ts:195
Response from the FormalJudge oversight pipeline.
Properties
Section titled “Properties”agentSubVerdicts?
Section titled “agentSubVerdicts?”
optionalagentSubVerdicts?:AgentSubVerdictDto[]
Defined in: src/types/oversight.ts:197
Per-agent sub-verdicts for multi-agent trajectories.
certificate?
Section titled “certificate?”
optionalcertificate?:CertificateDto|null
Defined in: src/types/oversight.ts:199
Full validity certificate with per-layer attestations (if safe and enabled).
certificateHash?
Section titled “certificateHash?”
optionalcertificateHash?:string|null
Defined in: src/types/oversight.ts:201
Merkle root hash of the validity certificate (if safe).
deceptionFactMap?
Section titled “deceptionFactMap?”
optionaldeceptionFactMap?:object|null
Defined in: src/types/oversight.ts:203
Deception fact map: all 25 atomic deception facts with boolean answers.
detectedDeceptionPredicates?
Section titled “detectedDeceptionPredicates?”
optionaldetectedDeceptionPredicates?:string[]
Defined in: src/types/oversight.ts:205
Deception predicates that triggered.
elapsedMs
Section titled “elapsedMs”elapsedMs:
number
Defined in: src/types/oversight.ts:207
Processing time in milliseconds.
extractionStats
Section titled “extractionStats”extractionStats:
ExtractionStatsDto
Defined in: src/types/oversight.ts:209
Extraction statistics (deterministic vs. semantic).
fabricationsDetected
Section titled “fabricationsDetected”fabricationsDetected:
number
Defined in: src/types/oversight.ts:211
Number of fabricated facts detected.
faithfulnessScore?
Section titled “faithfulnessScore?”
optionalfaithfulnessScore?:number|null
Defined in: src/types/oversight.ts:213
Faithfulness/deception detection score (if enabled).
fixSuggestions
Section titled “fixSuggestions”fixSuggestions:
FixSuggestionDto[]
Defined in: src/types/oversight.ts:215
Actionable fix suggestions for violations.
isDeceptive?
Section titled “isDeceptive?”
optionalisDeceptive?:boolean|null
Defined in: src/types/oversight.ts:217
Whether the master deception predicate triggered.
layerResults
Section titled “layerResults”layerResults:
LayerResultDto[]
Defined in: src/types/oversight.ts:219
Per-layer verification results.
overallScore
Section titled “overallScore”overallScore:
number
Defined in: src/types/oversight.ts:221
Overall aggregated score (T-norm of layer scores, 0.0-1.0).
proofTraces?
Section titled “proofTraces?”
optionalproofTraces?:ProofTraceDto[]
Defined in: src/types/oversight.ts:223
Failed proof traces with causal chains for violated constraints.
verdict
Section titled “verdict”verdict:
string
Defined in: src/types/oversight.ts:225
Overall verdict: “safe”, “unsafe”, “partial”, or “residuated”.
violations
Section titled “violations”violations:
FormalJudgeViolationDto[]
Defined in: src/types/oversight.ts:227
Specific constraint violations (if any).