import type { Writable } from "node:stream"; import { z } from "zod"; import type { ClassifiedRun } from "../../core/src/classify/classifier.js"; import { type Finding } from "../../schema/src/records/finding.js"; import { type ExitStatus, type RunConditions } from "./exit-status.js"; export declare const CLI_RESULT_VERSION: "cli-result/v1"; export declare const hookMetadataSchema: z.ZodObject<{ mode: z.ZodLiteral<"advisory">; impactKnown: z.ZodBoolean; requiredCommand: z.ZodNullable; changedPaths: z.ZodArray; selectedSurfaceIds: z.ZodArray; }, z.core.$strict>; export declare const ciSummarySchema: z.ZodObject<{ lane: z.ZodEnum<{ full: "full"; focused: "focused"; deep: "deep"; }>; targets: z.ZodObject<{ selected: z.ZodNumber; exercised: z.ZodNumber; }, z.core.$strict>; preconditionFailures: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; inertPerturbations: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; unsupportedCapabilities: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; closure: z.ZodObject<{ runtime: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; artifacts: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; bindings: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>; harnessOutcomesByPhase: z.ZodRecord; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"harness-outcome/v1">; status: z.ZodLiteral<"harness-failure">; phase: z.ZodEnum<{ setup: "setup"; detector: "detector"; adapter: "adapter"; infrastructure: "infrastructure"; }>; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; plannedContext: z.ZodOptional>>; cause: z.ZodObject<{ code: z.ZodString; message: z.ZodString; retryable: z.ZodBoolean; }, z.core.$strict>; artifactRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; runId: z.ZodString; }, z.core.$strict>>>; coverageOutcomes: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; productDefects: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"finding/v1">; evidenceFingerprint: z.ZodString; detector: z.ZodObject<{ id: z.ZodString; version: z.ZodString; }, z.core.$strict>; class: z.ZodString; lane: z.ZodEnum<{ blocking: "blocking"; advisory: "advisory"; accepted: "accepted"; resolved: "resolved"; }>; certainty: z.ZodEnum<{ inferred: "inferred"; proven: "proven"; "confirmed-contract": "confirmed-contract"; "visual-advisory": "visual-advisory"; }>; severity: z.ZodEnum<{ critical: "critical"; high: "high"; medium: "medium"; low: "low"; info: "info"; }>; target: z.ZodObject<{ kind: z.ZodString; canonical: z.ZodString; }, z.core.$strict>; context: z.ZodType>; summary: z.ZodString; evidence: z.ZodUnknown; artifacts: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; contractIds: z.ZodArray; firstSeenRunId: z.ZodString; lastSeenRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>; export declare const machineResultSchema: z.ZodObject<{ schemaVersion: z.ZodLiteral<"cli-result/v1">; runId: z.ZodString; exitStatus: z.ZodUnion, z.ZodLiteral<1>, z.ZodLiteral<2>, z.ZodLiteral<3>, z.ZodLiteral<4>, z.ZodLiteral<5>]>; conditions: z.ZodObject<{ configError: z.ZodBoolean; reviewConflict: z.ZodBoolean; blockingViolation: z.ZodBoolean; harnessFailure: z.ZodBoolean; coverageIncomplete: z.ZodBoolean; }, z.core.$strict>; scopes: z.ZodObject<{ requested: z.ZodArray; defaultScopeApplied: z.ZodBoolean; resolved: z.ZodArray; }, z.core.$strict>; findings: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"finding/v1">; evidenceFingerprint: z.ZodString; detector: z.ZodObject<{ id: z.ZodString; version: z.ZodString; }, z.core.$strict>; class: z.ZodString; lane: z.ZodEnum<{ blocking: "blocking"; advisory: "advisory"; accepted: "accepted"; resolved: "resolved"; }>; certainty: z.ZodEnum<{ inferred: "inferred"; proven: "proven"; "confirmed-contract": "confirmed-contract"; "visual-advisory": "visual-advisory"; }>; severity: z.ZodEnum<{ critical: "critical"; high: "high"; medium: "medium"; low: "low"; info: "info"; }>; target: z.ZodObject<{ kind: z.ZodString; canonical: z.ZodString; }, z.core.$strict>; context: z.ZodType>; summary: z.ZodString; evidence: z.ZodUnknown; artifacts: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; contractIds: z.ZodArray; firstSeenRunId: z.ZodString; lastSeenRunId: z.ZodString; }, z.core.$strict>>; coverageOutcomes: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; harnessOutcomes: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"harness-outcome/v1">; status: z.ZodLiteral<"harness-failure">; phase: z.ZodEnum<{ setup: "setup"; detector: "detector"; adapter: "adapter"; infrastructure: "infrastructure"; }>; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; plannedContext: z.ZodOptional>>; cause: z.ZodObject<{ code: z.ZodString; message: z.ZodString; retryable: z.ZodBoolean; }, z.core.$strict>; artifactRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; runId: z.ZodString; }, z.core.$strict>>; counts: z.ZodObject<{ byLane: z.ZodObject<{ blocking: z.ZodNumber; advisory: z.ZodNumber; accepted: z.ZodNumber; resolved: z.ZodNumber; }, z.core.$strict>; byClass: z.ZodRecord; journeys: z.ZodObject<{ selected: z.ZodNumber; exercised: z.ZodNumber; }, z.core.$strict>; }, z.core.$strict>; artifactRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; timings: z.ZodRecord; environment: z.ZodObject<{ platform: z.ZodString; node: z.ZodString; seed: z.ZodString; }, z.core.$strict>; hook: z.ZodOptional; impactKnown: z.ZodBoolean; requiredCommand: z.ZodNullable; changedPaths: z.ZodArray; selectedSurfaceIds: z.ZodArray; }, z.core.$strict>>; ci: z.ZodOptional; targets: z.ZodObject<{ selected: z.ZodNumber; exercised: z.ZodNumber; }, z.core.$strict>; preconditionFailures: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; inertPerturbations: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; unsupportedCapabilities: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; closure: z.ZodObject<{ runtime: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; artifacts: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; bindings: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>; harnessOutcomesByPhase: z.ZodRecord; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"harness-outcome/v1">; status: z.ZodLiteral<"harness-failure">; phase: z.ZodEnum<{ setup: "setup"; detector: "detector"; adapter: "adapter"; infrastructure: "infrastructure"; }>; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; plannedContext: z.ZodOptional>>; cause: z.ZodObject<{ code: z.ZodString; message: z.ZodString; retryable: z.ZodBoolean; }, z.core.$strict>; artifactRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; runId: z.ZodString; }, z.core.$strict>>>; coverageOutcomes: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"coverage-outcome/v1">; status: z.ZodLiteral<"coverage-incomplete">; scope: z.ZodObject<{ id: z.ZodString; detectorId: z.ZodOptional; surfaceId: z.ZodOptional; }, z.core.$strict>; context: z.ZodType>; reason: z.ZodEnum<{ "empty-selection": "empty-selection"; "unproven-precondition": "unproven-precondition"; "inert-perturbation": "inert-perturbation"; "failed-known-bad": "failed-known-bad"; "unsupported-capability": "unsupported-capability"; "unreachable-target": "unreachable-target"; "missing-artifact": "missing-artifact"; }>; witnessRefs: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; capabilityProfileRef: z.ZodOptional>; interaction: z.ZodOptional; phase: z.ZodLiteral<"activation">; evidence: z.ZodObject<{ kind: z.ZodEnum<{ "unknown-command": "unknown-command"; "unsupported-activation": "unsupported-activation"; }>; phase: z.ZodLiteral<"activation">; obligations: z.ZodArray>; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ gapKind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; evidence: z.ZodObject<{ kind: z.ZodLiteral<"unproven-precondition">; phase: z.ZodLiteral<"precondition">; obligations: z.ZodArray>; unproven: z.ZodDiscriminatedUnion<[z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected">; observed: z.ZodJSONSchema; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-observed">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodOptional; setup: z.ZodOptional; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-expected-and-observed">; locator: z.ZodString; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-setup-and-locator">; expected: z.ZodJSONSchema; witness: z.ZodObject<{ id: z.ZodString; }, z.core.$strict>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-locator-and-witness">; expected: z.ZodJSONSchema; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"missing-witness-and-artifact">; expected: z.ZodJSONSchema; locator: z.ZodString; observed: z.ZodJSONSchema; setup: z.ZodJSONSchema; }, z.core.$strict>, z.ZodObject<{ unproven: z.ZodLiteral<"unrecognized-precondition-gap">; failedPrecondition: z.ZodString; observed: z.ZodJSONSchema; locator: z.ZodOptional; setup: z.ZodOptional; witness: z.ZodOptional>; artifact: z.ZodOptional>; }, z.core.$strict>>; }, z.core.$strict>], "unproven">; }, z.core.$strict>>; }, z.core.$strict>; control: z.ZodObject<{ accessibleName: z.ZodString; locator: z.ZodString; }, z.core.$strict>; }, z.core.$strict>]>>; runId: z.ZodString; }, z.core.$strict>>; productDefects: z.ZodArray; componentId: z.ZodOptional; }, z.core.$strict>; schemaVersion: z.ZodLiteral<"finding/v1">; evidenceFingerprint: z.ZodString; detector: z.ZodObject<{ id: z.ZodString; version: z.ZodString; }, z.core.$strict>; class: z.ZodString; lane: z.ZodEnum<{ blocking: "blocking"; advisory: "advisory"; accepted: "accepted"; resolved: "resolved"; }>; certainty: z.ZodEnum<{ inferred: "inferred"; proven: "proven"; "confirmed-contract": "confirmed-contract"; "visual-advisory": "visual-advisory"; }>; severity: z.ZodEnum<{ critical: "critical"; high: "high"; medium: "medium"; low: "low"; info: "info"; }>; target: z.ZodObject<{ kind: z.ZodString; canonical: z.ZodString; }, z.core.$strict>; context: z.ZodType>; summary: z.ZodString; evidence: z.ZodUnknown; artifacts: z.ZodArray; dimensions: z.ZodOptional>; sourceRunId: z.ZodString; }, z.core.$strict>>; contractIds: z.ZodArray; firstSeenRunId: z.ZodString; lastSeenRunId: z.ZodString; }, z.core.$strict>>; }, z.core.$strict>>; }, z.core.$strict>; export type MachineResult = z.infer; export type HookMetadata = z.infer; export type CiSummary = z.infer; export type BuildMachineResultInput = { runId: string; requestedScopes: string[]; defaultScopeApplied: boolean; run: ClassifiedRun; conditions: RunConditions; timings: Record; environment: { platform: string; node: string; seed: string; }; exitStatusOverride?: ExitStatus; hook?: HookMetadata; ci?: CiSummary; journeyCounts?: { selected: number; exercised: number; }; }; export declare class MachineOutputError extends Error { constructor(message: string); } export declare function sortFindings(findings: Finding[]): Finding[]; export declare function buildMachineResult(input: BuildMachineResultInput): MachineResult; export declare function parseMachineResult(value: unknown): MachineResult; export declare function emitMachineResult(result: MachineResult, stdout: Writable): void; export declare function writeMachineLog(line: string, stderr: Writable): void; //# sourceMappingURL=machine-output.d.ts.map