Function boundedModelCheck

boundedModelCheck(
    agentId: string,
    bounds?: {
        maxDelegationDepth?: number;
        maxFailures?: number;
        maxTrustScore?: number;
    },
): {
    certificates: ProofCertificate[];
    totalStates: number;
    violations: InvariantCheckResult[];
}
Bounded model checking with proper proof construction. Generates states by varying parameters within bounds. Produces proof certificates using the property's proof strategy.
Parameters
- agentId: string
- Optionalbounds: { maxDelegationDepth?: number; maxFailures?: number; maxTrustScore?: number }
Returns {
    certificates: ProofCertificate[];
    totalStates: number;
    violations: InvariantCheckResult[];
}
- Defined in src/enforce/formalVerification.ts:504