ushman-ledger 0.3.0 → 1.2.0

package/dist/schema/entry-write.d.ts

@@ -0,0 +1,865 @@
+import * as v from 'valibot';
+export declare const ToolInvocationRecordSchema: v.ObjectSchema<{
+    readonly args: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+    readonly cwd: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly exitCode: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>]>, undefined>;
+    readonly kind: v.LiteralSchema<"tool-invocation", undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const AgentPatchRecordSchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly agent: v.ObjectSchema<{
+        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    }, undefined>;
+    readonly kind: v.LiteralSchema<"agent-patch", undefined>;
+    readonly diff: v.OptionalSchema<v.ObjectSchema<{
+        readonly addedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly blobSha256: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.RegexAction<string, "Expected a lowercase SHA-256 hex digest.">]>;
+        readonly bytes: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly removedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+    }, undefined>, undefined>;
+    readonly diffPath: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    agent: {
+        name: string;
+        sessionId?: string | undefined;
+    };
+    kind: "agent-patch";
+    diff?: {
+        addedLines: number;
+        blobSha256: string;
+        bytes: number;
+        removedLines: number;
+    } | undefined;
+    diffPath?: string | undefined;
+    diffText?: string | undefined;
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "patch records require at least one source (diff, diffPath, or diffText), and diffPath and diffText cannot be combined.">]>;
+export declare const OperatorPatchRecordSchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"operator-patch", undefined>;
+    readonly operator: v.ObjectSchema<{
+        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly diff: v.OptionalSchema<v.ObjectSchema<{
+        readonly addedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly blobSha256: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.RegexAction<string, "Expected a lowercase SHA-256 hex digest.">]>;
+        readonly bytes: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly removedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+    }, undefined>, undefined>;
+    readonly diffPath: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    kind: "operator-patch";
+    operator: {
+        name: string;
+    };
+    diff?: {
+        addedLines: number;
+        blobSha256: string;
+        bytes: number;
+        removedLines: number;
+    } | undefined;
+    diffPath?: string | undefined;
+    diffText?: string | undefined;
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "patch records require at least one source (diff, diffPath, or diffText), and diffPath and diffText cannot be combined.">]>;
+export declare const OperatorDecisionRecordSchema: v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"operator-decision", undefined>;
+    readonly payload: v.ObjectSchema<{
+        readonly action: v.PicklistSchema<readonly ["bypass-doctor", "skip-check", "override-strip-decision", "override-ship-state", "manual-parity-assertion", "ledger-hand-edit", "escalation"], undefined>;
+        readonly checkId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const ValidatorResultRecordSchema: v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"validator-result", undefined>;
+    readonly metrics: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly resultPath: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly validator: v.PicklistSchema<["parity", "equiv", "characterize", "verify", "doctor"], undefined>;
+    readonly verdict: v.PicklistSchema<["green", "yellow", "red"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const RuntimeEventRecordSchema: v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"runtime-event", undefined>;
+    readonly level: v.PicklistSchema<["info", "warn", "error"], undefined>;
+    readonly message: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const NoteRecordSchema: v.ObjectSchema<{
+    readonly body: v.StringSchema<undefined>;
+    readonly kind: v.LiteralSchema<"note", undefined>;
+    readonly subkind: v.PicklistSchema<["regression", "automation", "retro", "operator", "tooling-gap", "cleanup-wave", "verified-flow", "open-issue", "decomposition-wave", "semantic-cleanup-summary"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const CorrectionRecordSchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"correction", undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    kind: "correction";
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "correction records require links.correctsLedgerId">]>;
+export declare const StripDecisionRevertedRecordSchema: v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"strip-decision-reverted", undefined>;
+    readonly payload: v.ObjectSchema<{
+        readonly invalidatedStages: v.OptionalSchema<v.ArraySchema<v.PicklistSchema<readonly ["intake", "seed", "vendor-extract", "cleanup", "parity", "characterize"], undefined>, undefined>, undefined>;
+        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly stripDecisionId: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>;
+export declare const ChangeLogRecordSchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly commandsRun: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>, undefined>;
+    readonly filesChanged: v.OptionalSchema<v.ArraySchema<v.ObjectSchema<{
+        readonly added: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>, undefined>;
+        readonly path: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>;
+        readonly removed: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>, undefined>;
+    }, undefined>, undefined>, readonly []>;
+    readonly hypothesis: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly kind: v.LiteralSchema<"change-log", undefined>;
+    readonly parityStatus: v.OptionalSchema<v.PicklistSchema<readonly ["green", "yellow", "red", "not-run"], undefined>, undefined>;
+    readonly rollbackPlan: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rollsBack: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly smokeNotes: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly smokeResult: v.OptionalSchema<v.PicklistSchema<readonly ["pass", "fail", "partial", "not-run"], undefined>, undefined>;
+    readonly subkind: v.PicklistSchema<readonly ["pre-change-checkpoint", "semantic-cleanup", "vendor-extract", "decomposition", "rollback", "hotfix", "smoke"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    commandsRun?: string[] | undefined;
+    filesChanged: {
+        added?: number | undefined;
+        path: string;
+        removed?: number | undefined;
+    }[];
+    hypothesis?: string | undefined;
+    kind: "change-log";
+    parityStatus?: "not-run" | "green" | "yellow" | "red" | undefined;
+    rollbackPlan?: string | undefined;
+    rollsBack?: string | undefined;
+    smokeNotes?: string | undefined;
+    smokeResult?: "pass" | "fail" | "partial" | "not-run" | undefined;
+    subkind: "vendor-extract" | "pre-change-checkpoint" | "semantic-cleanup" | "decomposition" | "rollback" | "hotfix" | "smoke";
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "change-log rollback records require rollsBack">]>;
+export declare const LedgerRecordSchema: v.VariantSchema<"kind", [v.ObjectSchema<{
+    readonly args: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+    readonly cwd: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly exitCode: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>]>, undefined>;
+    readonly kind: v.LiteralSchema<"tool-invocation", undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly agent: v.ObjectSchema<{
+        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    }, undefined>;
+    readonly kind: v.LiteralSchema<"agent-patch", undefined>;
+    readonly diff: v.OptionalSchema<v.ObjectSchema<{
+        readonly addedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly blobSha256: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.RegexAction<string, "Expected a lowercase SHA-256 hex digest.">]>;
+        readonly bytes: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly removedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+    }, undefined>, undefined>;
+    readonly diffPath: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    agent: {
+        name: string;
+        sessionId?: string | undefined;
+    };
+    kind: "agent-patch";
+    diff?: {
+        addedLines: number;
+        blobSha256: string;
+        bytes: number;
+        removedLines: number;
+    } | undefined;
+    diffPath?: string | undefined;
+    diffText?: string | undefined;
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "patch records require at least one source (diff, diffPath, or diffText), and diffPath and diffText cannot be combined.">]>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"operator-patch", undefined>;
+    readonly operator: v.ObjectSchema<{
+        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly diff: v.OptionalSchema<v.ObjectSchema<{
+        readonly addedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly blobSha256: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.RegexAction<string, "Expected a lowercase SHA-256 hex digest.">]>;
+        readonly bytes: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+        readonly removedLines: v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>;
+    }, undefined>, undefined>;
+    readonly diffPath: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    kind: "operator-patch";
+    operator: {
+        name: string;
+    };
+    diff?: {
+        addedLines: number;
+        blobSha256: string;
+        bytes: number;
+        removedLines: number;
+    } | undefined;
+    diffPath?: string | undefined;
+    diffText?: string | undefined;
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "patch records require at least one source (diff, diffPath, or diffText), and diffPath and diffText cannot be combined.">]>, v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"operator-decision", undefined>;
+    readonly payload: v.ObjectSchema<{
+        readonly action: v.PicklistSchema<readonly ["bypass-doctor", "skip-check", "override-strip-decision", "override-ship-state", "manual-parity-assertion", "ledger-hand-edit", "escalation"], undefined>;
+        readonly checkId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"validator-result", undefined>;
+    readonly metrics: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly resultPath: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly validator: v.PicklistSchema<["parity", "equiv", "characterize", "verify", "doctor"], undefined>;
+    readonly verdict: v.PicklistSchema<["green", "yellow", "red"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"runtime-event", undefined>;
+    readonly level: v.PicklistSchema<["info", "warn", "error"], undefined>;
+    readonly message: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.ObjectSchema<{
+    readonly body: v.StringSchema<undefined>;
+    readonly kind: v.LiteralSchema<"note", undefined>;
+    readonly subkind: v.PicklistSchema<["regression", "automation", "retro", "operator", "tooling-gap", "cleanup-wave", "verified-flow", "open-issue", "decomposition-wave", "semantic-cleanup-summary"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"correction", undefined>;
+    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    kind: "correction";
+    rationale: string;
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "correction records require links.correctsLedgerId">]>, v.ObjectSchema<{
+    readonly kind: v.LiteralSchema<"strip-decision-reverted", undefined>;
+    readonly payload: v.ObjectSchema<{
+        readonly invalidatedStages: v.OptionalSchema<v.ArraySchema<v.PicklistSchema<readonly ["intake", "seed", "vendor-extract", "cleanup", "parity", "characterize"], undefined>, undefined>, undefined>;
+        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly stripDecisionId: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
+    readonly commandsRun: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>, undefined>;
+    readonly filesChanged: v.OptionalSchema<v.ArraySchema<v.ObjectSchema<{
+        readonly added: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>, undefined>;
+        readonly path: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>;
+        readonly removed: v.OptionalSchema<v.SchemaWithPipe<readonly [v.NumberSchema<undefined>, v.IntegerAction<number, undefined>, v.MinValueAction<number, 0, undefined>]>, undefined>;
+    }, undefined>, undefined>, readonly []>;
+    readonly hypothesis: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly kind: v.LiteralSchema<"change-log", undefined>;
+    readonly parityStatus: v.OptionalSchema<v.PicklistSchema<readonly ["green", "yellow", "red", "not-run"], undefined>, undefined>;
+    readonly rollbackPlan: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly rollsBack: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly smokeNotes: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly smokeResult: v.OptionalSchema<v.PicklistSchema<readonly ["pass", "fail", "partial", "not-run"], undefined>, undefined>;
+    readonly subkind: v.PicklistSchema<readonly ["pre-change-checkpoint", "semantic-cleanup", "vendor-extract", "decomposition", "rollback", "hotfix", "smoke"], undefined>;
+    readonly details: v.OptionalSchema<v.RecordSchema<v.StringSchema<undefined>, v.UnknownSchema, undefined>, undefined>;
+    readonly emitter: v.ObjectSchema<{
+        readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+    }, undefined>;
+    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>, undefined>;
+    readonly links: v.OptionalSchema<v.ObjectWithRestSchema<{
+        readonly affectedFiles: v.OptionalSchema<v.ArraySchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>, v.CheckAction<string, "Expected a normalized workspace-relative path.">]>, undefined>, undefined>;
+        readonly blobs: v.OptionalSchema<v.ArraySchema<v.StringSchema<undefined>, undefined>, undefined>;
+        readonly briefId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly correctsLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly gitRef: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly idempotencyKey: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly stripDecisionId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly supersedesLedgerId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+        readonly validatorVerdictId: v.OptionalSchema<v.StringSchema<undefined>, undefined>;
+    }, v.UnknownSchema, undefined>, undefined>;
+    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
+    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, undefined>]>;
+}, undefined>, v.CheckAction<{
+    commandsRun?: string[] | undefined;
+    filesChanged: {
+        added?: number | undefined;
+        path: string;
+        removed?: number | undefined;
+    }[];
+    hypothesis?: string | undefined;
+    kind: "change-log";
+    parityStatus?: "not-run" | "green" | "yellow" | "red" | undefined;
+    rollbackPlan?: string | undefined;
+    rollsBack?: string | undefined;
+    smokeNotes?: string | undefined;
+    smokeResult?: "pass" | "fail" | "partial" | "not-run" | undefined;
+    subkind: "vendor-extract" | "pre-change-checkpoint" | "semantic-cleanup" | "decomposition" | "rollback" | "hotfix" | "smoke";
+    details?: {
+        [x: string]: unknown;
+    } | undefined;
+    emitter: {
+        tool: string;
+        user?: string | undefined;
+        version: string;
+    };
+    idempotencyKey?: string | undefined;
+    links?: ({
+        affectedFiles?: string[] | undefined;
+        blobs?: string[] | undefined;
+        briefId?: string | undefined;
+        correctsLedgerId?: string | undefined;
+        gitRef?: string | undefined;
+        idempotencyKey?: string | undefined;
+        stripDecisionId?: string | undefined;
+        supersedesLedgerId?: string | undefined;
+        validatorVerdictId?: string | undefined;
+    } & {
+        [key: string]: unknown;
+    }) | undefined;
+    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
+    summary: string;
+}, "change-log rollback records require rollsBack">]>], undefined>;
+export type ChangeLogRecord = v.InferOutput<typeof ChangeLogRecordSchema>;
+export type LedgerRecord = v.InferOutput<typeof LedgerRecordSchema>;
+//# sourceMappingURL=entry-write.d.ts.map