ushman-ledger 1.1.0 → 1.2.1

package/dist/schema/entry.d.ts

@@ -1,1372 +1,9 @@
-import * as v from 'valibot';
-export declare const LedgerSchemaVersion: "ushman-ledger-entry/v1";
-export declare const LEDGER_PHASES: readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"];
-export declare const LEDGER_KINDS: readonly ["tool-invocation", "agent-patch", "operator-patch", "operator-decision", "validator-result", "runtime-event", "note", "correction", "strip-decision-reverted"];
-export declare const OPERATOR_DECISION_ACTIONS: readonly ["bypass-doctor", "skip-check", "override-strip-decision", "override-ship-state", "manual-parity-assertion", "ledger-hand-edit", "escalation"];
-export declare const LedgerPhaseSchema: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-export declare const OperatorDecisionActionSchema: v.PicklistSchema<readonly ["bypass-doctor", "skip-check", "override-strip-decision", "override-ship-state", "manual-parity-assertion", "ledger-hand-edit", "escalation"], undefined>;
-export declare const EmitterSchema: v.ObjectSchema<{
-    readonly tool: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-}, undefined>;
-export declare const LedgerLinksSchema: 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>;
-export declare const AgentPatchDiffSchema: 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>;
-export declare const OperatorDecisionPayloadSchema: 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.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, "payload.rationale must not be empty">]>;
-}, undefined>;
-export declare const StripDecisionRevertedPayloadSchema: 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.MinLengthAction<string, 1, undefined>]>;
-}, undefined>;
-export declare const ToolInvocationEntrySchema: 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const AgentPatchEntrySchema: v.ObjectSchema<{
-    readonly agent: v.ObjectSchema<{
-        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    }, undefined>;
-    readonly kind: v.LiteralSchema<"agent-patch", undefined>;
-    readonly diff: 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>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const OperatorPatchEntrySchema: v.ObjectSchema<{
-    readonly kind: v.LiteralSchema<"operator-patch", undefined>;
-    readonly operator: v.ObjectSchema<{
-        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly diff: 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>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const OperatorDecisionEntrySchema: 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.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, "payload.rationale must not be empty">]>;
-    }, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const ValidatorResultEntrySchema: 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const RuntimeEventEntrySchema: 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.MinLengthAction<string, 1, undefined>]>;
-    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const NoteEntrySchema: v.ObjectSchema<{
-    readonly body: v.StringSchema<undefined>;
-    readonly kind: v.LiteralSchema<"note", undefined>;
-    readonly subkind: v.PicklistSchema<["regression", "automation", "retro", "operator", "tooling-gap"], 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const CorrectionEntrySchema: v.SchemaWithPipe<readonly [v.ObjectSchema<{
-    readonly kind: v.LiteralSchema<"correction", undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, v.CheckAction<{
-    kind: "correction";
-    rationale: string;
-    details?: {
-        [x: string]: unknown;
-    } | undefined;
-    emitter: {
-        tool: string;
-        user?: string | undefined;
-        version: string;
-    };
-    id: string;
-    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;
-    };
-    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
-    prevEntryId: string | null;
-    schemaVersion: "ushman-ledger-entry/v1";
-    summary: string;
-    ts: string;
-}, "correction entries require links.correctsLedgerId">]>;
-export declare const StripDecisionRevertedEntrySchema: 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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>;
-export declare const LedgerEntrySchema: 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, v.ObjectSchema<{
-    readonly agent: v.ObjectSchema<{
-        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    }, undefined>;
-    readonly kind: v.LiteralSchema<"agent-patch", undefined>;
-    readonly diff: 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>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, v.ObjectSchema<{
-    readonly kind: v.LiteralSchema<"operator-patch", undefined>;
-    readonly operator: v.ObjectSchema<{
-        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly diff: 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>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, 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.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, "payload.rationale must not be empty">]>;
-    }, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, 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.MinLengthAction<string, 1, undefined>]>;
-    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, 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"], 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
-    readonly kind: v.LiteralSchema<"correction", undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>, v.CheckAction<{
-    kind: "correction";
-    rationale: string;
-    details?: {
-        [x: string]: unknown;
-    } | undefined;
-    emitter: {
-        tool: string;
-        user?: string | undefined;
-        version: string;
-    };
-    id: string;
-    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;
-    };
-    phase: "capture" | "intake" | "seed" | "vendor-extract" | "cleanup" | "parity" | "characterize" | "equiv" | "analyze" | "recover" | "ship" | "migration";
-    prevEntryId: string | null;
-    schemaVersion: "ushman-ledger-entry/v1";
-    summary: string;
-    ts: string;
-}, "correction entries 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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly id: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, 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>, {}>;
-    readonly phase: v.PicklistSchema<readonly ["capture", "intake", "seed", "vendor-extract", "cleanup", "parity", "characterize", "equiv", "analyze", "recover", "ship", "migration"], undefined>;
-    readonly prevEntryId: v.NullableSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly schemaVersion: v.LiteralSchema<"ushman-ledger-entry/v1", undefined>;
-    readonly summary: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    readonly ts: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.IsoTimestampAction<string, undefined>]>;
-}, undefined>], undefined>;
-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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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 exactly one source: diff, diffPath, or diffText (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.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.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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 exactly one source: diff, diffPath, or diffText (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.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, "payload.rationale must not be empty">]>;
-    }, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.MinLengthAction<string, 1, undefined>]>;
-    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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"], 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-}, undefined>;
-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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-}, undefined>, v.SchemaWithPipe<readonly [v.ObjectSchema<{
-    readonly agent: v.ObjectSchema<{
-        readonly name: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-        readonly sessionId: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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 exactly one source: diff, diffPath, or diffText (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.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.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly diffText: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-    readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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 exactly one source: diff, diffPath, or diffText (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.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly rationale: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.TrimAction, v.MinLengthAction<string, 1, "payload.rationale must not be empty">]>;
-    }, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.MinLengthAction<string, 1, undefined>]>;
-    readonly source: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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"], 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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.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.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.MinLengthAction<string, 1, undefined>]>;
-        readonly user: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>, undefined>;
-        readonly version: v.SchemaWithPipe<readonly [v.StringSchema<undefined>, v.MinLengthAction<string, 1, undefined>]>;
-    }, undefined>;
-    readonly idempotencyKey: v.OptionalSchema<v.SchemaWithPipe<readonly [v.StringSchema<undefined>, 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.MinLengthAction<string, 1, undefined>]>;
-}, undefined>], undefined>;
+import { type LedgerEntry } from './entry-read.ts';
+import { type LedgerRecord } from './entry-write.ts';
+export * from './entry-core.ts';
+export * from './entry-migrations.ts';
+export * from './entry-read.ts';
+export * from './entry-write.ts';
 export declare const parseLedgerEntry: (input: unknown) => LedgerEntry;
 export declare const parseLedgerRecord: (input: unknown) => LedgerRecord;
-export type AgentPatchDiff = v.InferOutput<typeof AgentPatchDiffSchema>;
-export type LedgerEntry = v.InferOutput<typeof LedgerEntrySchema>;
-export type LedgerKind = LedgerEntry['kind'];
-export type LedgerPhase = v.InferOutput<typeof LedgerPhaseSchema>;
-export type LedgerRecord = v.InferOutput<typeof LedgerRecordSchema>;
-export type OperatorDecisionAction = v.InferOutput<typeof OperatorDecisionActionSchema>;
-export type OperatorDecisionPayload = v.InferOutput<typeof OperatorDecisionPayloadSchema>;
-export type StripDecisionRevertedPayload = v.InferOutput<typeof StripDecisionRevertedPayloadSchema>;
 //# sourceMappingURL=entry.d.ts.map