/** * capsule-verify (script collapse) — the capsule-corpus gate as a finite, * structured command (migrated from `scripts/capsule-verify.ts`). It fails when * the committed generated corpus would ship dishonest or stale: a missing * generated test/bench, a committed file that a fresh `capsule:compile` would * change (confirmed by regeneration, never by raw mtime), a lazy placeholder * bench (a `bench()` measuring nothing — the bench analogue of `it.skip`), a * marker↔manifest drift, or a generated test that runs red. * * The engine (manifest read, mtime `fast-path`, regeneration confirmation via a * `capsule:compile` spawn, the bench classifier, and the final `vitest run` over * `tests/generated/`) is INJECTED via `context.runCapsuleGate`, never imported * here, so `@czap/command` (and the MCP server that re-uses it) stays free of the * subprocess/child_process edge. Unlike `plumb`/`check-invariants` (pure * `node:fs` scans provisioned in the shared host factory), this gate is a * terminal-streaming SUBPROCESS orchestrator — in the same category as * `package-smoke`/`gauntlet`/`ship`. So it is CLI-only and NOT MCP-exposed: only * `@czap/cli` injects `runCapsuleGate`, and over MCP the command degrades to a * structured `capabilityUnavailable` failure. * * @module */ import { Schema } from 'effect'; import { type HandledCommand } from '../registry.js'; /** * Structured payload returned by `capsule-verify` — ONE Effect Schema is the * source of both {@link CapsuleVerifyPayload} and the descriptor's `outputSchema`. */ export declare const CapsuleVerifyPayloadSchema: Schema.Struct<{ readonly status: Schema.Union, Schema.Literal<"stale">, Schema.Literal<"failed">]>; /** Human work-list: each blocking reason (missing/stale/dishonest/red). Empty on `ok`. */ readonly errors: Schema.$Array; /** Number of capsules in the manifest the gate read. */ readonly capsuleCount: Schema.Number; /** Per-corpus bench-honesty classification (total / real / placeholder names). */ readonly benches: Schema.Struct<{ readonly total: Schema.Number; readonly real: Schema.Number; readonly placeholder: Schema.$Array; }>; }>; /** Structured payload returned by `capsule-verify`. */ export type CapsuleVerifyPayload = Schema.Schema.Type; /** `capsule-verify` — freshness + bench-honesty + green-suite gate over the committed capsule corpus. */ export declare const capsuleVerifyGateCommand: HandledCommand; //# sourceMappingURL=capsule-verify.d.ts.map