Interface: CertificateDto
@kortexya/reasoninglayer / CertificateDto
Interface: CertificateDto
Section titled “Interface: CertificateDto”Defined in: src/types/oversight.ts:149
Full validity certificate with per-layer cryptographic attestations.
Properties
Section titled “Properties”allSatisfied
Section titled “allSatisfied”allSatisfied:
boolean
Defined in: src/types/oversight.ts:161
Whether all constraints are satisfied.
attestations
Section titled “attestations”attestations:
AttestationDto[]
Defined in: src/types/oversight.ts:167
Per-layer constraint attestations.
constraintsVerified
Section titled “constraintsVerified”constraintsVerified:
number
Defined in: src/types/oversight.ts:159
Number of constraints verified.
id:
string
Defined in: src/types/oversight.ts:151
Certificate ID.
inferenceSteps
Section titled “inferenceSteps”inferenceSteps:
number
Defined in: src/types/oversight.ts:163
Number of inference steps in the proof.
issuedAt
Section titled “issuedAt”issuedAt:
number
Defined in: src/types/oversight.ts:155
When the certificate was issued (unix ms).
problemName
Section titled “problemName”problemName:
string
Defined in: src/types/oversight.ts:157
Problem name.
proofRoot?
Section titled “proofRoot?”
optionalproofRoot?:string|null
Defined in: src/types/oversight.ts:153
Merkle root hash for quick verification.
solveTimeMs?
Section titled “solveTimeMs?”
optionalsolveTimeMs?:number|null
Defined in: src/types/oversight.ts:165
Solving time in milliseconds.