Interface: FormalJudgeResponse

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Oversight / FormalJudgeResponse

Interface: FormalJudgeResponse

Defined in: src/types/oversight.ts:182

Response from the FormalJudge oversight pipeline.

Properties

agentSubVerdicts?

optional agentSubVerdicts: AgentSubVerdictDto[]

Defined in: src/types/oversight.ts:184

Per-agent sub-verdicts for multi-agent trajectories.

---

certificate?

optional certificate: CertificateDto | null

Defined in: src/types/oversight.ts:186

Full validity certificate with per-layer attestations (if safe and enabled).

---

certificateHash?

optional certificateHash: string | null

Defined in: src/types/oversight.ts:188

Merkle root hash of the validity certificate (if safe).

---

deceptionFactMap?

optional deceptionFactMap: object | null

Defined in: src/types/oversight.ts:190

Deception fact map: all 25 atomic deception facts with boolean answers.

---

detectedDeceptionPredicates?

optional detectedDeceptionPredicates: string[]

Defined in: src/types/oversight.ts:192

Deception predicates that triggered.

---

elapsedMs

elapsedMs: number

Defined in: src/types/oversight.ts:194

Processing time in milliseconds.

---

extractionStats

extractionStats: ExtractionStatsDto

Defined in: src/types/oversight.ts:196

Extraction statistics (deterministic vs. semantic).

---

fabricationsDetected

fabricationsDetected: number

Defined in: src/types/oversight.ts:198

Number of fabricated facts detected.

---

faithfulnessScore?

optional faithfulnessScore: number | null

Defined in: src/types/oversight.ts:200

Faithfulness/deception detection score (if enabled).

---

fixSuggestions

fixSuggestions: FixSuggestionDto[]

Defined in: src/types/oversight.ts:202

Actionable fix suggestions for violations.

---

isDeceptive?

optional isDeceptive: boolean | null

Defined in: src/types/oversight.ts:204

Whether the master deception predicate triggered.

---

layerResults

layerResults: LayerResultDto[]

Defined in: src/types/oversight.ts:206

Per-layer verification results.

---

overallScore

overallScore: number

Defined in: src/types/oversight.ts:208

Overall aggregated score (T-norm of layer scores, 0.0-1.0).

---

proofTraces?

optional proofTraces: ProofTraceDto[]

Defined in: src/types/oversight.ts:210

Failed proof traces with causal chains for violated constraints.

---

verdict

verdict: string

Defined in: src/types/oversight.ts:212

Overall verdict: “safe”, “unsafe”, “partial”, or “residuated”.

---

violations

violations: ViolationDto[]

Defined in: src/types/oversight.ts:214

Specific constraint violations (if any).