/**
 * verify (CUT A1) — ADR-0011 local tarball-vs-capsule verifier. A finite
 * structured decision command: read the inputs, decode the capsule, recompute
 * the tarball manifest address, compare. The four verdicts + exit codes are the
 * structured logic and live here; the file reads + Effect-backed decode/recompute
 * are injected. No network, no pnpm, no git.
 *
 * @module
 */
import { Schema } from 'effect';
import { type ContentAddress } from '@czap/core';
import type { HandledCommand } from '../registry.js';
/**
 * Structured payload returned alongside a verdict — ONE Effect Schema is the
 * source of both {@link VerifyPayload} and the descriptor's `outputSchema`.
 *
 * `capsule_id` is modelled as a nullable string (its on-the-wire shape — a
 * `ContentAddress` is a branded string, and the brand is a phantom with no
 * JSON-Schema image), then the exported {@link VerifyPayload} re-tightens that
 * single field to the `ContentAddress | null` brand consumers expect. There is
 * still exactly ONE schema; only the static type of the one branded field
 * narrows — no hand-written JSON-Schema lives beside it.
 */
export declare const VerifyPayloadSchema: Schema.Struct<{
    readonly tarball: Schema.String;
    readonly capsule_id: Schema.NullOr<Schema.String>;
    readonly checks: Schema.Struct<{
        readonly tarball_manifest: Schema.Union<readonly [Schema.Literal<"match">, Schema.Literal<"mismatch">, Schema.Literal<"skipped">]>;
        readonly lockfile: Schema.Literal<"skipped">;
        readonly workspace_manifest: Schema.Literal<"skipped">;
        readonly chain_link: Schema.Literal<"skipped">;
    }>;
    readonly mismatches: Schema.$Array<Schema.String>;
}>;
/** Structured payload returned alongside a verdict. */
export type VerifyPayload = Omit<Schema.Schema.Type<typeof VerifyPayloadSchema>, 'capsule_id'> & {
    readonly capsule_id: ContentAddress | null;
};
/** `verify <tarball> [--capsule <file>]` — emit one of four verdicts. */
export declare const verifyCommand: HandledCommand;
//# sourceMappingURL=verify.d.ts.map