Interface ProofCertificate

A complete proof certificate — independently verifiable.

interface ProofCertificate {
    certificateHash: string;
    counterexample?: SystemState;
    generatedAt: number;
    id: string;
    proofDepth: number;
    proofTree: ProofNode;
    property: FormalProperty;
    statesExplored: number;
    valid: boolean;
}

Index

Properties

certificateHash counterexample? generatedAt id proofDepth proofTree property statesExplored valid

Properties

certificateHash

certificateHash: string

SHA-256 of the serialized proof tree

`Optional`counterexample

counterexample?: SystemState

Counterexample if property is falsified

generatedAt

generatedAt: number

id

id: string

proofDepth

proofDepth: number

proofTree

proofTree: ProofNode

property

property: FormalProperty

statesExplored

statesExplored: number

Statistics

valid

valid: boolean

The proof is valid iff all leaves are axioms/verified-assumptions and all rules are sound