@astrosheep/keiyaku 4.6.11 → 4.6.13

package/build/src/library/outcome.d.ts

@@ -6,8 +6,8 @@ import type { WorldRoot } from "../world.js";
 import type { InvocationSnapshot } from "./invocation.js";
 import { reconciliationLagSchema } from "./reconcile.js";
 import { nukeConfirmationRefusalSchema, nukeConfirmationRequiredRefusalSchema, type OperationRefusals, type OperationRetries } from "./refusal.js";
-/** The seven Contract verbs, plus the World reset that shares the same envelope shape. */
-export type ContractVerb = "bind" | "amend" | "deliver" | "review" | "audit" | "arc" | "abandon";
+/** Contract operation tags, including preview, sharing the invocation envelope with World reset. */
+export type ContractVerb = "bind" | "amend" | "deliver" | "review" | "deliver-preview" | "arc" | "abandon";
 declare const reconciliationEffectSchema: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodPipe<z.ZodObject<{
     kind: z.ZodLiteral<"worktree">;
     path: z.ZodString;
@@ -7200,7 +7200,7 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         }>;
         required: z.ZodBoolean;
     }, z.core.$strict>>>;
-    operation: z.ZodLiteral<"audit">;
+    operation: z.ZodLiteral<"deliver-preview">;
     head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractHead, string>>>;
     value: z.ZodOptional<z.ZodType<{
         candidate?: {
@@ -7278,6 +7278,32 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 deletions: number;
                 paths?: readonly string[] | undefined;
             };
+            requirements: {
+                gates: readonly {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "missing";
+                    } | {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                        summary?: string | undefined;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                        reason?: {
+                            kind: "candidate-content-changed";
+                            previousChange: import("../core/facts/types.js").ChangeId;
+                            currentChange: import("../core/facts/types.js").ChangeId;
+                            target?: string | undefined;
+                        } | undefined;
+                    };
+                }[];
+                unmetPrerequisites: readonly {
+                    contractId: ContractId;
+                    state: "abandoned" | "missing" | "active";
+                }[];
+            };
             diff?: string | undefined;
         } | undefined;
         verification?: {
@@ -7285,81 +7311,25 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         } | {
             kind: "undeclared";
         } | {
-            kind: "stopped";
-            stop: {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
-                } | {
-                    kind: "timeout";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: boolean | undefined;
-                } | {
-                    kind: "unknown-exit";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: boolean | undefined;
-                } | {
-                    kind: "spawn-error";
-                    diagnostic: string;
-                };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            };
-        } | {
-            kind: "satisfied" | "unsatisfied";
-            passed: number;
-            total: number;
-            summary?: string | undefined;
+            kind: "required";
         } | {
             entry: import("../core/facts/types.js").EntryUlid;
             verdict: "satisfied" | "unsatisfied";
-            kind: "reused";
+            kind: "recorded";
             summary?: string | undefined;
         } | undefined;
         target?: {
             kind: "placeable";
             ref: string;
             head: import("../core/facts/types.js").SnapshotId;
+            checkouts: readonly ({
+                kind: "followable";
+                path: string;
+            } | {
+                kind: "not-followable";
+                path: string;
+                diagnostic: string;
+            })[];
         } | {
             kind: "moved";
             ref: string;
@@ -7484,6 +7454,32 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
                 deletions: number;
                 paths?: readonly string[] | undefined;
             };
+            requirements: {
+                gates: readonly {
+                    gate: import("../core/facts/types.js").Gate;
+                    current: {
+                        kind: "missing";
+                    } | {
+                        kind: "attested";
+                        verdict: "satisfied" | "unsatisfied";
+                        at: string;
+                        summary?: string | undefined;
+                    } | {
+                        kind: "stale";
+                        priorVerdict: "satisfied" | "unsatisfied";
+                        reason?: {
+                            kind: "candidate-content-changed";
+                            previousChange: import("../core/facts/types.js").ChangeId;
+                            currentChange: import("../core/facts/types.js").ChangeId;
+                            target?: string | undefined;
+                        } | undefined;
+                    };
+                }[];
+                unmetPrerequisites: readonly {
+                    contractId: ContractId;
+                    state: "abandoned" | "missing" | "active";
+                }[];
+            };
             diff?: string | undefined;
         } | undefined;
         verification?: {
@@ -7491,81 +7487,25 @@ declare const partialOutcomeEnvelopeSchema: z.ZodUnion<readonly [z.ZodUnion<read
         } | {
             kind: "undeclared";
         } | {
-            kind: "stopped";
-            stop: {
-                failure: "cancelled" | "unknown-exit";
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "spawn-error" | "candidate-unavailable";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "environment-failure";
-                diagnostic: string;
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                failure: "environment-failure";
-                name: string;
-                detail: {
-                    kind: "exit";
-                    code: number;
-                    stdout: string;
-                    stderr: string;
-                    truncated: boolean;
-                } | {
-                    kind: "timeout";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: boolean | undefined;
-                } | {
-                    kind: "unknown-exit";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: boolean | undefined;
-                } | {
-                    kind: "spawn-error";
-                    diagnostic: string;
-                };
-                stdout?: string | undefined;
-                stderr?: string | undefined;
-                truncated?: true | undefined;
-            } | {
-                refusal: {
-                    kind: "terminal" | "contract-missing";
-                    contractId: ContractId;
-                } | {
-                    kind: "verification-declaration-invalid";
-                    contractId?: ContractId | undefined;
-                };
-            } | {
-                retry: {
-                    kind: "publication-failed";
-                    diagnostic: string;
-                } | {
-                    kind: "exhausted" | "collision";
-                };
-            };
-        } | {
-            kind: "satisfied" | "unsatisfied";
-            passed: number;
-            total: number;
-            summary?: string | undefined;
+            kind: "required";
         } | {
             entry: import("../core/facts/types.js").EntryUlid;
             verdict: "satisfied" | "unsatisfied";
-            kind: "reused";
+            kind: "recorded";
             summary?: string | undefined;
         } | undefined;
         target?: {
             kind: "placeable";
             ref: string;
             head: import("../core/facts/types.js").SnapshotId;
+            checkouts: readonly ({
+                kind: "followable";
+                path: string;
+            } | {
+                kind: "not-followable";
+                path: string;
+                diagnostic: string;
+            })[];
         } | {
             kind: "moved";
             ref: string;
@@ -11871,7 +11811,7 @@ declare const failureWireSchema: z.ZodObject<{
             }>;
             required: z.ZodBoolean;
         }, z.core.$strict>>>;
-        operation: z.ZodLiteral<"audit">;
+        operation: z.ZodLiteral<"deliver-preview">;
         head: z.ZodOptional<z.ZodPipe<z.ZodString, z.ZodTransform<ContractHead, string>>>;
         value: z.ZodOptional<z.ZodType<{
             candidate?: {
@@ -11949,6 +11889,32 @@ declare const failureWireSchema: z.ZodObject<{
                     deletions: number;
                     paths?: readonly string[] | undefined;
                 };
+                requirements: {
+                    gates: readonly {
+                        gate: import("../core/facts/types.js").Gate;
+                        current: {
+                            kind: "missing";
+                        } | {
+                            kind: "attested";
+                            verdict: "satisfied" | "unsatisfied";
+                            at: string;
+                            summary?: string | undefined;
+                        } | {
+                            kind: "stale";
+                            priorVerdict: "satisfied" | "unsatisfied";
+                            reason?: {
+                                kind: "candidate-content-changed";
+                                previousChange: import("../core/facts/types.js").ChangeId;
+                                currentChange: import("../core/facts/types.js").ChangeId;
+                                target?: string | undefined;
+                            } | undefined;
+                        };
+                    }[];
+                    unmetPrerequisites: readonly {
+                        contractId: ContractId;
+                        state: "abandoned" | "missing" | "active";
+                    }[];
+                };
                 diff?: string | undefined;
             } | undefined;
             verification?: {
@@ -11956,81 +11922,25 @@ declare const failureWireSchema: z.ZodObject<{
             } | {
                 kind: "undeclared";
             } | {
-                kind: "stopped";
-                stop: {
-                    failure: "cancelled" | "unknown-exit";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "spawn-error" | "candidate-unavailable";
-                    diagnostic: string;
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "environment-failure";
-                    diagnostic: string;
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "environment-failure";
-                    name: string;
-                    detail: {
-                        kind: "exit";
-                        code: number;
-                        stdout: string;
-                        stderr: string;
-                        truncated: boolean;
-                    } | {
-                        kind: "timeout";
-                        stdout?: string | undefined;
-                        stderr?: string | undefined;
-                        truncated?: boolean | undefined;
-                    } | {
-                        kind: "unknown-exit";
-                        stdout?: string | undefined;
-                        stderr?: string | undefined;
-                        truncated?: boolean | undefined;
-                    } | {
-                        kind: "spawn-error";
-                        diagnostic: string;
-                    };
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    refusal: {
-                        kind: "terminal" | "contract-missing";
-                        contractId: ContractId;
-                    } | {
-                        kind: "verification-declaration-invalid";
-                        contractId?: ContractId | undefined;
-                    };
-                } | {
-                    retry: {
-                        kind: "publication-failed";
-                        diagnostic: string;
-                    } | {
-                        kind: "exhausted" | "collision";
-                    };
-                };
-            } | {
-                kind: "satisfied" | "unsatisfied";
-                passed: number;
-                total: number;
-                summary?: string | undefined;
+                kind: "required";
             } | {
                 entry: import("../core/facts/types.js").EntryUlid;
                 verdict: "satisfied" | "unsatisfied";
-                kind: "reused";
+                kind: "recorded";
                 summary?: string | undefined;
             } | undefined;
             target?: {
                 kind: "placeable";
                 ref: string;
                 head: import("../core/facts/types.js").SnapshotId;
+                checkouts: readonly ({
+                    kind: "followable";
+                    path: string;
+                } | {
+                    kind: "not-followable";
+                    path: string;
+                    diagnostic: string;
+                })[];
             } | {
                 kind: "moved";
                 ref: string;
@@ -12155,6 +12065,32 @@ declare const failureWireSchema: z.ZodObject<{
                     deletions: number;
                     paths?: readonly string[] | undefined;
                 };
+                requirements: {
+                    gates: readonly {
+                        gate: import("../core/facts/types.js").Gate;
+                        current: {
+                            kind: "missing";
+                        } | {
+                            kind: "attested";
+                            verdict: "satisfied" | "unsatisfied";
+                            at: string;
+                            summary?: string | undefined;
+                        } | {
+                            kind: "stale";
+                            priorVerdict: "satisfied" | "unsatisfied";
+                            reason?: {
+                                kind: "candidate-content-changed";
+                                previousChange: import("../core/facts/types.js").ChangeId;
+                                currentChange: import("../core/facts/types.js").ChangeId;
+                                target?: string | undefined;
+                            } | undefined;
+                        };
+                    }[];
+                    unmetPrerequisites: readonly {
+                        contractId: ContractId;
+                        state: "abandoned" | "missing" | "active";
+                    }[];
+                };
                 diff?: string | undefined;
             } | undefined;
             verification?: {
@@ -12162,81 +12098,25 @@ declare const failureWireSchema: z.ZodObject<{
             } | {
                 kind: "undeclared";
             } | {
-                kind: "stopped";
-                stop: {
-                    failure: "cancelled" | "unknown-exit";
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "spawn-error" | "candidate-unavailable";
-                    diagnostic: string;
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "environment-failure";
-                    diagnostic: string;
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    failure: "environment-failure";
-                    name: string;
-                    detail: {
-                        kind: "exit";
-                        code: number;
-                        stdout: string;
-                        stderr: string;
-                        truncated: boolean;
-                    } | {
-                        kind: "timeout";
-                        stdout?: string | undefined;
-                        stderr?: string | undefined;
-                        truncated?: boolean | undefined;
-                    } | {
-                        kind: "unknown-exit";
-                        stdout?: string | undefined;
-                        stderr?: string | undefined;
-                        truncated?: boolean | undefined;
-                    } | {
-                        kind: "spawn-error";
-                        diagnostic: string;
-                    };
-                    stdout?: string | undefined;
-                    stderr?: string | undefined;
-                    truncated?: true | undefined;
-                } | {
-                    refusal: {
-                        kind: "terminal" | "contract-missing";
-                        contractId: ContractId;
-                    } | {
-                        kind: "verification-declaration-invalid";
-                        contractId?: ContractId | undefined;
-                    };
-                } | {
-                    retry: {
-                        kind: "publication-failed";
-                        diagnostic: string;
-                    } | {
-                        kind: "exhausted" | "collision";
-                    };
-                };
-            } | {
-                kind: "satisfied" | "unsatisfied";
-                passed: number;
-                total: number;
-                summary?: string | undefined;
+                kind: "required";
             } | {
                 entry: import("../core/facts/types.js").EntryUlid;
                 verdict: "satisfied" | "unsatisfied";
-                kind: "reused";
+                kind: "recorded";
                 summary?: string | undefined;
             } | undefined;
             target?: {
                 kind: "placeable";
                 ref: string;
                 head: import("../core/facts/types.js").SnapshotId;
+                checkouts: readonly ({
+                    kind: "followable";
+                    path: string;
+                } | {
+                    kind: "not-followable";
+                    path: string;
+                    diagnostic: string;
+                })[];
             } | {
                 kind: "moved";
                 ref: string;

package/build/src/library/outcome.js

@@ -6,7 +6,7 @@ import { AuthorityCorruptionError } from "../core/facts/errors.js";
 import { contractHeadSchema } from "../git/identity.js";
 import { reconcileEffectSchema } from "../git/reconcile.js";
 import { worktreeWorkspaceSchema } from "../git/workspace.js";
-import { auditReportSchema } from "../protocol/audit.js";
+import { deliveryPreviewReportSchema } from "../protocol/delivery-preview.js";
 import { completionEvidenceSchema } from "../protocol/completion.js";
 import { materializedConflictSchema } from "../protocol/deliver.js";
 import { contractIdSchema, deliverDataSchema, gateSchema } from "../protocol/operations.js";
@@ -90,10 +90,6 @@ function surface(surface, required) {
     return { surface, required };
 }
 function phasePending(operation, value) {
-    if (operation === "audit") {
-        const report = value;
-        return report?.verification?.kind === "stopped" ? [surface("verification", true)] : [];
-    }
     if (operation !== "review" && operation !== "deliver")
         return [];
     const concluded = value;
@@ -326,7 +322,7 @@ const partialValueSchemas = {
     amend: amendEvidenceSchema,
     deliver: partialDeliverySchema,
     review: reviewSchema,
-    audit: auditReportSchema.partial(),
+    "deliver-preview": deliveryPreviewReportSchema.partial(),
     arc: z.object({}).strict(),
     abandon: z.object({}).strict(),
 };
@@ -341,7 +337,7 @@ const journalEntrySchema = z.unknown().transform((value, context) => {
 });
 const envelopeFieldsSchema = z
     .object({
-    operation: z.enum(["bind", "amend", "deliver", "review", "audit", "arc", "abandon"]),
+    operation: z.enum(["bind", "amend", "deliver", "review", "deliver-preview", "arc", "abandon"]),
     contract: contractIdSchema.optional(),
     facts: z.array(journalEntrySchema).readonly(),
     effects: z.array(contractEffectSchema).readonly(),
@@ -430,7 +426,7 @@ const partialContractEnvelopeSchema = z.union([
     partialContractSchema("amend", partialValueSchemas.amend),
     partialContractSchema("deliver", partialValueSchemas.deliver),
     partialContractSchema("review", partialValueSchemas.review),
-    partialContractSchema("audit", partialValueSchemas.audit),
+    partialContractSchema("deliver-preview", partialValueSchemas["deliver-preview"]),
     partialContractSchema("arc", partialValueSchemas.arc),
     partialContractSchema("abandon", partialValueSchemas.abandon),
 ]);

package/build/src/library/refusal.d.ts

@@ -258,7 +258,7 @@ export declare const operationRetrySchemas: {
         kind: z.ZodLiteral<"owner-reason-unavailable">;
         diagnostic: z.ZodString;
     }, z.core.$strict>]>;
-    readonly audit: z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
+    readonly "deliver-preview": z.ZodUnion<readonly [z.ZodUnion<readonly [z.ZodObject<{
         kind: z.ZodEnum<{
             exhausted: "exhausted";
             collision: "collision";
@@ -439,7 +439,7 @@ export declare const operationRefusalSchemas: {
             deletions: z.ZodNumber;
         }, z.core.$strict>;
     }, z.core.$strict>]>;
-    readonly audit: z.ZodUnion<readonly [z.ZodObject<{
+    readonly "deliver-preview": z.ZodUnion<readonly [z.ZodObject<{
         kind: z.ZodEnum<{
             terminal: "terminal";
             "contract-missing": "contract-missing";

package/build/src/library/refusal.js

@@ -32,7 +32,7 @@ export const operationRetrySchemas = {
     amend: protocolTerminalSchema,
     deliver: keiyakuRetryReasonSchema,
     review: keiyakuRetryReasonSchema,
-    audit: keiyakuRetryReasonSchema,
+    "deliver-preview": keiyakuRetryReasonSchema,
     arc: protocolTerminalSchema,
     abandon: protocolTerminalSchema,
 };
@@ -51,7 +51,7 @@ export const operationRefusalSchemas = {
         verificationDeclarationRefusalSchema,
     ]),
     review: z.union([activeContractRefusalSchema, worktreeMissingRefusalSchema, dirtyWorkspaceRefusalSchema]),
-    audit: z.union([deliverRefusalSchema, verificationDeclarationRefusalSchema]),
+    "deliver-preview": z.union([deliverRefusalSchema, verificationDeclarationRefusalSchema]),
     arc: activeContractRefusalSchema,
     abandon: activeContractRefusalSchema,
 };

package/build/src/plugin/runtime.js

@@ -379,28 +379,24 @@ async function createPluginRuntime(input) {
     return Object.freeze({
         async emit(signal, reportDiagnostic = report) {
             const deadline = performance.now() + PLUGIN_ATTEMPT_TIMEOUT_MS;
-            const activated = await boundedAttempt(async (cancellation) => {
-                const handlers = await Promise.all(activations.map(async (activation, index) => {
-                    const activatedHandlers = await settleBefore(activation, cancellation);
-                    if (activatedHandlers !== ABORTED) {
-                        if (activatedHandlers.timedOut)
-                            reportPluginDiagnostic(reportDiagnostic, selected[index].id, "signal", timeoutError());
-                        return activatedHandlers.handlers;
+            const expiry = new AbortController();
+            const timer = setTimeout(() => expiry.abort(), PLUGIN_ATTEMPT_TIMEOUT_MS);
+            try {
+                await Promise.all(activations.map(async (activation, index) => {
+                    const activated = await settleBefore(activation, expiry.signal);
+                    if (activated === ABORTED || activated.timedOut) {
+                        reportPluginDiagnostic(reportDiagnostic, selected[index].id, "signal", timeoutError());
+                        if (activated === ABORTED)
+                            return;
                     }
-                    reportPluginDiagnostic(reportDiagnostic, selected[index].id, "signal", timeoutError());
-                    return [];
+                    await Promise.all(activated.handlers
+                        .filter((entry) => entry.kind === signal.kind)
+                        .map((entry) => deliver(entry, signal, reportDiagnostic, Math.max(0, deadline - performance.now()))));
                 }));
-                return handlers.flat();
-            });
-            if (activated.kind === "failed") {
-                reportPluginDiagnostic(reportDiagnostic, "runtime", "signal", activated.error);
-                return;
             }
-            if (activated.kind === "timed-out")
-                return;
-            await Promise.all(activated.value
-                .filter((entry) => entry.kind === signal.kind)
-                .map((entry) => deliver(entry, signal, reportDiagnostic, Math.max(0, deadline - performance.now()))));
+            finally {
+                clearTimeout(timer);
+            }
         },
     });
 }