/**
 * Post-check engine tests (mmnto-ai/totem#2103, strategy#474 slice 4).
 *
 * The invariants the cohort pre-build round locked in:
 *   - ADR-109: `isRejected` IFF a `decidable` rule fails; a `sensor` fail never gates.
 *   - codex must-fold: a rule that THROWS fails at its OWN declared tier — a
 *     sensor throw must not reject (no silent upgrade to decidable).
 *   - codex OQ1: caller identity prefers `runMetadata.caller`, else a `taskProfile`
 *     alias incl. the legacy `Shield → review`; unknown → undefined (abstain loudly).
 */
export {};
//# sourceMappingURL=post-checks.test.d.ts.map