Interface FullCutoverGateVerificationResult

interface FullCutoverGateVerificationResult {
    allowedDiffs?: readonly KernelContractAllowedDiff[];
    contract: KernelContractVerificationResult;
    contractVerdict: "PASS" | "FAIL";
    gate: FullCutoverGateResult;
    verdict: "PASS" | "FAIL";
    version: "v1";
}

Index

Properties

allowedDiffs? contract contractVerdict gate verdict version

Properties

`Optional` `Readonly`allowedDiffs

allowedDiffs?: readonly KernelContractAllowedDiff[]

`Readonly`contract

contract: KernelContractVerificationResult

`Readonly`contractVerdict

contractVerdict: "PASS" | "FAIL"

`Readonly`gate

gate: FullCutoverGateResult

`Readonly`verdict

verdict: "PASS" | "FAIL"

`Readonly`version

version: "v1"