/**
 * The shape of the deterministic gate report.
 *
 * Every fact in this payload carries one of three states, never two.
 * `verified` means this run checked it and this is the answer — including when
 * the answer is "no". `unknown` means the fact exists but this run could not
 * reach it. `not-applicable` means there is no such fact here at all.
 *
 * The distinction is the whole point of the report rather than a nicety. This
 * repository has catalogued controls that reported success while proving
 * nothing; a report that folded "could not check" into "pass" would be that
 * defect sited at the one screen an operator would trust. So `unknown` is
 * structurally distinct — not a boolean, not an absent key, not a default — and
 * every count states its unknown band explicitly.
 * @module cli/gate-report-types
 */
/** Report format version, bumped when a consumer would have to change. */
export const GATE_REPORT_VERSION = 2;
//# sourceMappingURL=gate-report-types.js.map