Interface: CertificateDto

@kortexya/reasoninglayer

---

@kortexya/reasoninglayer / Oversight / CertificateDto

Interface: CertificateDto

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

Full validity certificate with per-layer cryptographic attestations.

Properties

allSatisfied

allSatisfied: boolean

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

Whether all constraints are satisfied.

---

attestations

attestations: AttestationDto[]

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

Per-layer constraint attestations.

---

constraintsVerified

constraintsVerified: number

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

Number of constraints verified.

---

id

id: string

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

Certificate ID.

---

inferenceSteps

inferenceSteps: number

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

Number of inference steps in the proof.

---

issuedAt

issuedAt: number

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

When the certificate was issued (unix ms).

---

problemName

problemName: string

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

Problem name.

---

proofRoot?

optional proofRoot: string | null

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

Merkle root hash for quick verification.

---

solveTimeMs?

optional solveTimeMs: number | null

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

Solving time in milliseconds.