// All verification-layer interfaces and the frozen default limits. No runtime logic lives here
// beyond the frozen constant tables the type layer exposes as values, mirroring the
// ADR-0003/0004/0005/0006 `types.ts` precedent. `readonly` everywhere; optional props are
// `| undefined` because exactOptionalPropertyTypes is on. Every shape is plain JSON-serializable
// so the #10 audit ledger can persist a VerificationReport without ad-hoc parsing.
// Wave-1 defaults. maxMemoryBytes is undefined by default: memory enforcement is opt-in and
// Linux-only (ADR-0007 D2/D3). network defaults to the no-network posture, documented-not-enforced.
export const DEFAULT_VERIFICATION_LIMITS = {
    wallTimeMs: 120_000,
    maxOutputBytes: 1_048_576,
    maxMemoryBytes: undefined,
    network: "none",
};
