Interface RuntimeShieldStageSummary

interface RuntimeShieldStageSummary {
    formalVerification: {
        certificateHash: string;
        passed: boolean;
        propertiesVerified: number;
    };
    shieldGate: {
        checks: {
            credentialFreshness: "valid"
            | "expired"
            | "stale";
            dataLeakageRisk: "low" | "high" | "medium" | "none";
            instructionHierarchyValid: boolean;
            uncertaintyAcceptable: boolean;
        };
        evidenceId: string;
        passed: boolean;
        reason: string;
        trustScore0to100: number;
    };
    trustToken: { expiresAt: number; issued: boolean; tokenId: string };
    zkProof: { claim: string; generated: boolean; proofId: string };
}