/**
 * src/verify/formal/result.ts
 *
 * Sprint-587 — Z3 formal verification result type.
 *
 * 4-state result discipline:
 *   - SAFE     : Z3 proved the post-conditions hold under pre-conditions
 *   - UNSAFE   : Z3 found a counterexample (state where pre-conditions hold
 *                but post-conditions are violated)
 *   - UNKNOWN  : Z3 returned `unknown` (timeout, undecidable, or solver
 *                limitation). EXPLICIT — never silently treated as SAFE.
 *   - SKIPPED  : Verification not run (consumer mode = permissive opt-out,
 *                or solver binary unavailable when caller chooses to skip)
 *
 * The distinction between UNKNOWN and SAFE is the core epistemic discipline
 * of this module : we never assert proof when none was produced.
 *
 * @module verify/formal/result
 */
export {};
//# sourceMappingURL=result.js.map