@astrosheep/keiyaku 4.5.29 → 4.6.2

package/build/src/contract-worktree.js

@@ -1,10 +1,8 @@
-import { chmod, lstat, readFile, unlink } from "node:fs/promises";
+import { z } from "zod";
+import { chmod, lstat, readFile } from "node:fs/promises";
 import { join } from "node:path";
-import { acquireSqliteTransactionLock } from "./coordination/sqlite-transaction-lock.js";
 import { repairDerivedFile } from "./coordination/durable-file.js";
-import { contractId } from "./core/facts/types.js";
-import { CONTRACT_DELIVERER_SKILL, CONTRACT_REVIEWER_SKILL, CONTRACT_ONBOARDING_SKILL, renderContractAppointment, renderContractGuidance, } from "./contract-guidance.js";
-import { worktreeGitDirectory, worktreeRoot } from "./git/repository.js";
+import { CONTRACT_DELIVERER_SKILL, CONTRACT_REVIEWER_SKILL, CONTRACT_ONBOARDING_SKILL, renderContractGuidance, } from "./contract-guidance.js";
 import { GitPlumbingError, runGit } from "./git/process.js";
 import { worktreePath } from "./git/workspace.js";
 import { appointmentFor, placeRegisterPath } from "./workspace-place.js";
@@ -18,22 +16,21 @@ const SEAT_SKILLS = [
     ["keiyaku-deliver", CONTRACT_DELIVERER_SKILL],
     ["keiyaku-review", CONTRACT_REVIEWER_SKILL],
 ];
-export function decodeContractFileLag(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed contract-file lag");
-    const object = value;
-    if (object.kind !== "contract-file-failed")
-        throw new Error("malformed contract-file lag");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "worktree" && key !== "path" && key !== "diagnostic"))
-        throw new Error("malformed contract-file lag");
-    if (typeof object.worktree !== "string" || object.worktree.trim() === "")
-        throw new Error("malformed contract-file lag");
-    if (typeof object.path !== "string" || object.path.trim() === "")
-        throw new Error("malformed contract-file lag");
-    if (typeof object.diagnostic !== "string" || object.diagnostic.trim() === "")
-        throw new Error("malformed contract-file lag");
-    return { kind: "contract-file-failed", worktree: object.worktree, path: object.path, diagnostic: object.diagnostic };
-}
+export const contractFileEffectSchema = z
+    .object({
+    kind: z.literal("contract-file"),
+    path: z.string().refine((value) => value.trim() !== ""),
+    action: z.enum(["created", "updated", "unchanged", "removed"]),
+})
+    .strict();
+export const contractFileLagSchema = z
+    .object({
+    kind: z.literal("contract-file-failed"),
+    worktree: z.string().refine((value) => value.trim() !== ""),
+    path: z.string().refine((value) => value.trim() !== ""),
+    diagnostic: z.string().refine((value) => value.trim() !== ""),
+})
+    .strict();
 async function isTracked(repository, relativePath) {
     try {
         await runGit(repository, ["ls-files", "--error-unmatch", "--", relativePath]);
@@ -48,55 +45,6 @@ async function isTracked(repository, relativePath) {
 function generatedPath(worktree, name) {
     return join(worktree, ".keiyaku", name);
 }
-function appointedContract(bytes) {
-    const lines = bytes.split(/\r?\n/u), close = lines.indexOf("---", 1);
-    if (lines[0] !== "---" || (close !== 2 && close !== 3) || !lines[1]?.startsWith("contract: "))
-        return undefined;
-    if (close === 3 && !lines[2]?.startsWith("description: "))
-        return undefined;
-    try {
-        return contractId(lines[1].slice("contract: ".length));
-    }
-    catch {
-        return undefined;
-    }
-}
-export async function readContractAppointment(repository) {
-    const path = generatedPath(await worktreeRoot(repository), "KEIYAKU.md");
-    const stat = await lstat(path).catch((error) => error.code === "ENOENT" ? undefined : Promise.reject(error));
-    if (stat === undefined)
-        return { kind: "absent", path };
-    if (!stat.isFile() || stat.isSymbolicLink())
-        return { kind: "invalid", path };
-    const contract = appointedContract(await readFile(path, "utf8"));
-    return contract === undefined ? { kind: "invalid", path } : { kind: "appointed", path, contract };
-}
-export async function withContractWorktreeAppointment(repository, action) {
-    const root = await worktreeRoot(repository);
-    const lock = await acquireSqliteTransactionLock({
-        path: join(await worktreeGitDirectory(repository, root), "keiyaku", "contract-worktree.sqlite"),
-        mode: "immediate",
-    });
-    try {
-        return await action();
-    }
-    finally {
-        lock.close();
-    }
-}
-export async function releaseContractWorktree(repository, contract) {
-    const appointment = await readContractAppointment(repository);
-    if (appointment.kind !== "appointed" || appointment.contract !== contract)
-        return;
-    if ((await readFile(appointment.path, "utf8")) !== renderContractAppointment(contract))
-        return;
-    try {
-        await unlink(appointment.path);
-    }
-    catch {
-        /* reservation cleanup is best effort */
-    }
-}
 async function repair(repository, worktree, relativePath, bytes) {
     const path = join(worktree, relativePath);
     if (await isTracked(repository, relativePath))

package/build/src/coordination/durable-file.d.ts

@@ -1,5 +1,5 @@
 export declare function syncDirectory(path: string): void;
 export declare function replaceFileDurably(path: string, bytes: string | Uint8Array): Promise<void>;
-export type DerivedFileAction = "created" | "updated" | "unchanged";
-export declare function createFileDurablyExclusive(path: string, bytes: string | Uint8Array, mode?: number): Promise<boolean>;
+type DerivedFileAction = "created" | "updated" | "unchanged";
 export declare function repairDerivedFile(path: string, bytes: string | Uint8Array): Promise<DerivedFileAction>;
+export {};

package/build/src/coordination/durable-file.js

@@ -42,33 +42,6 @@ export async function replaceFileDurably(path, bytes) {
         }
     }
 }
-export async function createFileDurablyExclusive(path, bytes, mode = 0o600) {
-    const parent = dirname(path);
-    await mkdir(parent, { recursive: true });
-    let descriptor;
-    try {
-        descriptor = openSync(path, "wx", mode);
-        writeFileSync(descriptor, bytes);
-        fsyncSync(descriptor);
-        closeSync(descriptor);
-        descriptor = undefined;
-        syncDirectory(parent);
-        return true;
-    }
-    catch (error) {
-        if (descriptor !== undefined)
-            closeSync(descriptor);
-        if (error.code === "EEXIST")
-            return false;
-        try {
-            await unlink(path);
-        }
-        catch {
-            /* absent or best-effort cleanup */
-        }
-        throw error;
-    }
-}
 export async function repairDerivedFile(path, bytes) {
     const expected = Buffer.from(bytes);
     await mkdir(dirname(path), { recursive: true });

package/build/src/core/facts/codec.d.ts

@@ -1,6 +1,5 @@
-import type { DeliverData, JournalEntry } from "./types.js";
+import type { JournalEntry } from "./types.js";
 /** Validate one in-memory journal value with the persisted-fact authority. */
 export declare function decodeJournalEntry(value: unknown): JournalEntry;
-export declare function decodeDeliverData(value: unknown): DeliverData;
 export declare function encodeEntry(entry: JournalEntry): string;
 export declare function decodeJournal(journal: string): JournalEntry[];

package/build/src/core/facts/codec.js

@@ -131,7 +131,8 @@ function validateAttestation(value, path) {
 }
 function validateArc(value, path) {
     const object = requireRecord(value, path);
-    requireKeys(object, ["seq", "title", "objective", "brief"], path);
+    const freeform = "body" in object;
+    requireKeys(object, freeform ? ["seq", "title", "body"] : ["seq", "title", "objective", "brief"], path);
     const seq = object.seq;
     if (typeof seq !== "number" || !Number.isSafeInteger(seq) || seq < 1) {
         fail(`${path}.seq`, "expected a positive safe integer");
@@ -139,8 +140,9 @@ function validateArc(value, path) {
     return {
         seq,
         title: stringValue(object.title, `${path}.title`),
-        objective: stringValue(object.objective, `${path}.objective`),
-        brief: stringValue(object.brief, `${path}.brief`),
+        body: freeform
+            ? stringValue(object.body, `${path}.body`, false)
+            : `${stringValue(object.objective, `${path}.objective`)}\n\n${stringValue(object.brief, `${path}.brief`)}`,
     };
 }
 function validateData(kind, value) {
@@ -239,9 +241,6 @@ function validateEntry(value) {
 export function decodeJournalEntry(value) {
     return validateEntry(value);
 }
-export function decodeDeliverData(value) {
-    return validateData("deliver", value);
-}
 function canonicalValue(value) {
     if (value === null)
         return "null";
@@ -281,7 +280,7 @@ function decodeEntry(line) {
         throw new AuthorityCorruptionError("journal entry is not valid JSON", { cause: error });
     }
     const entry = validateEntry(value);
-    if (canonicalJson(entry) !== body)
+    if (canonicalJson(value) !== body)
         throw new AuthorityCorruptionError("journal entry is not canonical");
     return entry;
 }

package/build/src/core/facts/gate.d.ts

@@ -21,7 +21,6 @@ export type GateReport = Readonly<{
     gate: Gate;
     current: GateCurrent;
 }>;
-export declare function decodeGateReport(value: unknown): GateReport;
 export type GateReports = Readonly<{
     reports: readonly GateReport[];
     satisfied: boolean;

package/build/src/core/facts/gate.js

@@ -1,86 +1,4 @@
 import { dependencyKeys, currentSubjectPredicate } from "../subject.js";
-import { gate } from "./types.js";
-function fail() {
-    throw new Error("malformed gate report");
-}
-function object(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        fail();
-    return value;
-}
-function decodeAttestedGateCurrent(current) {
-    for (const key of Object.keys(current)) {
-        if (key !== "kind" && key !== "verdict" && key !== "at" && key !== "summary")
-            fail();
-    }
-    if (current.kind !== "attested")
-        fail();
-    if (current.verdict !== "satisfied" && current.verdict !== "unsatisfied")
-        fail();
-    if (typeof current.at !== "string")
-        fail();
-    return {
-        kind: "attested",
-        verdict: current.verdict,
-        at: current.at,
-        ...(current.summary === undefined
-            ? {}
-            : { summary: typeof current.summary === "string" ? current.summary : fail() }),
-    };
-}
-function decodeStaleReason(value) {
-    const reasonObject = object(value);
-    for (const key of Object.keys(reasonObject)) {
-        if (key !== "kind" && key !== "target" && key !== "previousChange" && key !== "currentChange")
-            fail();
-    }
-    if (reasonObject.kind !== "candidate-content-changed" ||
-        (reasonObject.target !== undefined && typeof reasonObject.target !== "string") ||
-        typeof reasonObject.previousChange !== "string" ||
-        typeof reasonObject.currentChange !== "string")
-        fail();
-    return {
-        kind: "candidate-content-changed",
-        ...(reasonObject.target === undefined ? {} : { target: reasonObject.target }),
-        previousChange: reasonObject.previousChange,
-        currentChange: reasonObject.currentChange,
-    };
-}
-function decodeGateCurrent(value) {
-    const current = object(value);
-    if (current.kind === "missing") {
-        if (Object.keys(current).length !== 1)
-            fail();
-        return { kind: "missing" };
-    }
-    if (current.kind === "stale") {
-        if (current.priorVerdict !== "satisfied" && current.priorVerdict !== "unsatisfied")
-            fail();
-        const reason = current.reason === undefined ? undefined : decodeStaleReason(current.reason);
-        if (Object.keys(current).length !== (reason === undefined ? 2 : 3))
-            fail();
-        return { kind: "stale", priorVerdict: current.priorVerdict, ...(reason === undefined ? {} : { reason }) };
-    }
-    return decodeAttestedGateCurrent(current);
-}
-export function decodeGateReport(value) {
-    const record = object(value);
-    if (!("gate" in record) || !("current" in record))
-        fail();
-    for (const key of Object.keys(record))
-        if (key !== "gate" && key !== "current")
-            fail();
-    let decodedGate;
-    try {
-        if (typeof record.gate !== "string")
-            fail();
-        decodedGate = gate(record.gate);
-    }
-    catch {
-        fail();
-    }
-    return { gate: decodedGate, current: decodeGateCurrent(record.current) };
-}
 function staleReason(state, previous) {
     const target = state.coordinates.target;
     const currentChange = state.currentIntegration?.changeId ?? state.delivery?.data.integration.changeId;

package/build/src/core/facts/types.d.ts

@@ -102,8 +102,7 @@ export type ClaimedData = Readonly<{
 export type ArcData = Readonly<{
     seq: number;
     title: string;
-    objective: string;
-    brief: string;
+    body: string;
 }>;
 export type AbandonedData = Readonly<{
     note?: string;

package/build/src/core/verbs/abandon.d.ts

@@ -1,4 +1,5 @@
 import type { DecideInput, OfferDecision } from "../decide.js";
+import { type ActiveContractRefusal } from "../facts/observation.js";
 import { type ActorId, type ContractId } from "../facts/types.js";
 export type AbandonInput = Readonly<{
     contractId: ContractId;
@@ -6,9 +7,4 @@ export type AbandonInput = Readonly<{
     at: string;
     note?: string;
 }>;
-export type AbandonRefusal = Readonly<{
-    kind: "contract-missing" | "terminal";
-    contractId: ContractId;
-}>;
-export declare function decodeAbandonRefusal(value: unknown): AbandonRefusal;
-export declare function decideAbandon({ input, attempt, observation, }: DecideInput<AbandonInput>): OfferDecision<AbandonRefusal>;
+export declare function decideAbandon({ input, attempt, observation, }: DecideInput<AbandonInput>): OfferDecision<ActiveContractRefusal>;

package/build/src/core/verbs/abandon.js

@@ -1,20 +1,4 @@
 import { activeContract } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodeAbandonRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed abandon refusal");
-    const object = value;
-    if (object.kind !== "contract-missing" && object.kind !== "terminal")
-        throw new Error("malformed abandon refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed abandon refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed abandon refusal");
-    }
-}
 export function decideAbandon({ input, attempt, observation, }) {
     const id = input.contractId;
     const current = activeContract(observation, id);

package/build/src/core/verbs/amend.d.ts

@@ -11,5 +11,4 @@ export type AmendRefusal = Readonly<{
     kind: "contract-missing" | "terminal" | "terms-moved" | "unknown-prerequisite" | "cyclic-prerequisite";
     contractId: ContractId;
 }>;
-export declare function decodeAmendRefusal(value: unknown): AmendRefusal;
 export declare function decideAmend<Failure>({ input, attempt, observation, }: DecideInput<AmendInput<Failure>>): OfferDecision<AmendRefusal | Failure>;

package/build/src/core/verbs/amend.js

@@ -1,25 +1,5 @@
 import { prerequisitesReach, samePrerequisites } from "../facts/eligibility.js";
 import { activeContract, prerequisiteStatus } from "../facts/observation.js";
-import { contractId, } from "../facts/types.js";
-export function decodeAmendRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed amend refusal");
-    const object = value;
-    if (object.kind !== "contract-missing" &&
-        object.kind !== "terminal" &&
-        object.kind !== "terms-moved" &&
-        object.kind !== "unknown-prerequisite" &&
-        object.kind !== "cyclic-prerequisite")
-        throw new Error("malformed amend refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed amend refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed amend refusal");
-    }
-}
 export function decideAmend({ input, attempt, observation, }) {
     const id = input.contractId;
     const current = activeContract(observation, id);

package/build/src/core/verbs/arc.d.ts

@@ -1,14 +1,13 @@
 import type { DecideInput, OfferDecision } from "../decide.js";
-import { type ActorId, type ArcData, type ContractId } from "../facts/types.js";
+import { type ActiveContractRefusal } from "../facts/observation.js";
+import { type ActorId, type ContractId } from "../facts/types.js";
 export type ArcInput = Readonly<{
     contractId: ContractId;
     actor?: ActorId;
     at: string;
-    data: Readonly<Omit<ArcData, "seq">>;
+    data: Readonly<{
+        title: string;
+        body: string;
+    }>;
 }>;
-export type ArcRefusal = Readonly<{
-    kind: "contract-missing" | "terminal";
-    contractId: ContractId;
-}>;
-export declare function decodeArcRefusal(value: unknown): ArcRefusal;
-export declare function decideArc({ input, attempt, observation }: DecideInput<ArcInput>): OfferDecision<ArcRefusal>;
+export declare function decideArc({ input, attempt, observation, }: DecideInput<ArcInput>): OfferDecision<ActiveContractRefusal>;

package/build/src/core/verbs/arc.js

@@ -1,21 +1,5 @@
 import { activeContract } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodeArcRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed arc refusal");
-    const object = value;
-    if (object.kind !== "contract-missing" && object.kind !== "terminal")
-        throw new Error("malformed arc refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed arc refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed arc refusal");
-    }
-}
-export function decideArc({ input, attempt, observation }) {
+export function decideArc({ input, attempt, observation, }) {
     const id = input.contractId;
     const current = activeContract(observation, id);
     if ("kind" in current)
@@ -30,8 +14,7 @@ export function decideArc({ input, attempt, observation }) {
         data: {
             seq: (current.currentArc?.data.seq ?? 0) + 1,
             title: input.data.title,
-            objective: input.data.objective,
-            brief: input.data.brief,
+            body: input.data.body,
         },
     };
     return {

package/build/src/core/verbs/attestation.d.ts

@@ -1,4 +1,5 @@
 import type { DecideInput, OfferDecision, Preparation } from "../decide.js";
+import { type ActiveContractRefusal } from "../facts/observation.js";
 import { type ActorId, type AttestationData, type ContractId } from "../facts/types.js";
 export type AttestationInput<Failure = never> = Readonly<{
     contractId: ContractId;
@@ -6,9 +7,4 @@ export type AttestationInput<Failure = never> = Readonly<{
     at: string;
     preparation?: Preparation<AttestationData, Failure>;
 }>;
-export type AttestationRefusal = Readonly<{
-    kind: "contract-missing" | "terminal";
-    contractId: ContractId;
-}>;
-export declare function decodeAttestationRefusal(value: unknown): AttestationRefusal;
-export declare function decideAttestation<Failure>({ input, attempt, observation, }: DecideInput<AttestationInput<Failure>>): OfferDecision<AttestationRefusal | Failure>;
+export declare function decideAttestation<Failure>({ input, attempt, observation, }: DecideInput<AttestationInput<Failure>>): OfferDecision<ActiveContractRefusal | Failure>;

package/build/src/core/verbs/attestation.js

@@ -1,20 +1,4 @@
 import { activeContract } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodeAttestationRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed attestation refusal");
-    const object = value;
-    if (object.kind !== "contract-missing" && object.kind !== "terminal")
-        throw new Error("malformed attestation refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed attestation refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed attestation refusal");
-    }
-}
 export function decideAttestation({ input, attempt, observation, }) {
     const state = activeContract(observation, input.contractId);
     if ("kind" in state)

package/build/src/core/verbs/bind.d.ts

@@ -10,5 +10,4 @@ export type BindRefusal = Readonly<{
     kind: "contract-exists" | "invalid-after" | "unknown-prerequisite";
     contractId: ContractId;
 }>;
-export declare function decodeBindRefusal(value: unknown): BindRefusal;
 export declare function decideBind<Failure>({ input, attempt, observation, }: DecideInput<BindInput<Failure>>): OfferDecision<BindRefusal | Failure>;

package/build/src/core/verbs/bind.js

@@ -1,20 +1,4 @@
 import { contractState, prerequisiteStatus } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodeBindRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed bind refusal");
-    const object = value;
-    if (object.kind !== "contract-exists" && object.kind !== "invalid-after" && object.kind !== "unknown-prerequisite")
-        throw new Error("malformed bind refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed bind refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed bind refusal");
-    }
-}
 export function decideBind({ input, attempt, observation, }) {
     const id = input.contractId;
     const current = contractState(observation, id);

package/build/src/core/verbs/deliver.d.ts

@@ -10,5 +10,4 @@ export type DeliverRefusal = Readonly<{
     kind: "contract-missing" | "terminal" | "document-moved";
     contractId: ContractId;
 }>;
-export declare function decodeDeliverRefusal(value: unknown): DeliverRefusal;
 export declare function decideDeliver<Failure>({ input, attempt, observation, }: DecideInput<DeliverInput<Failure>>): OfferDecision<DeliverRefusal | Failure>;

package/build/src/core/verbs/deliver.js

@@ -1,20 +1,4 @@
 import { activeContract, documentIsCurrent } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodeDeliverRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed deliver refusal");
-    const object = value;
-    if (object.kind !== "contract-missing" && object.kind !== "terminal" && object.kind !== "document-moved")
-        throw new Error("malformed deliver refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-        throw new Error("malformed deliver refusal");
-    try {
-        return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-    }
-    catch {
-        throw new Error("malformed deliver refusal");
-    }
-}
 export function decideDeliver({ input, attempt, observation, }) {
     const state = activeContract(observation, input.contractId);
     if ("kind" in state)

package/build/src/core/verbs/placement.d.ts

@@ -17,11 +17,12 @@ export type PlacementRefusal = Readonly<{
     kind: "gates-unsatisfied";
     contractId: ContractId;
     unmet: readonly GateReport[];
+    /** The reference the refused placement attempted to advance, when the Contract has one. */
+    target?: string;
 }> | Readonly<{
     kind: "prerequisites-unsatisfied";
     contractId: ContractId;
     unmet: readonly UnmetPrerequisite[];
 }>;
-export declare function decodePlacementRefusal(value: unknown): PlacementRefusal;
 export declare function decidePlacement({ input, attempt, observation, }: DecideInput<PlacementInput>): OfferDecision<PlacementRefusal>;
 export {};

package/build/src/core/verbs/placement.js

@@ -1,62 +1,5 @@
-import { decodeGateReport, gateReports } from "../facts/gate.js";
+import { gateReports } from "../facts/gate.js";
 import { activeContract, contractState } from "../facts/observation.js";
-import { contractId } from "../facts/types.js";
-export function decodePlacementRefusal(value) {
-    if (value === null || typeof value !== "object" || Array.isArray(value))
-        throw new Error("malformed placement refusal");
-    const object = value;
-    if (object.kind === "contract-missing" || object.kind === "delivery-missing" || object.kind === "terminal") {
-        if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId"))
-            throw new Error("malformed placement refusal");
-        try {
-            return { kind: object.kind, contractId: contractId(String(object.contractId)) };
-        }
-        catch {
-            throw new Error("malformed placement refusal");
-        }
-    }
-    if (object.kind === "gates-unsatisfied") {
-        if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId" && key !== "unmet"))
-            throw new Error("malformed placement refusal");
-        if (!Array.isArray(object.unmet))
-            throw new Error("malformed placement refusal");
-        try {
-            return {
-                kind: "gates-unsatisfied",
-                contractId: contractId(String(object.contractId)),
-                unmet: object.unmet.map(decodeGateReport),
-            };
-        }
-        catch {
-            throw new Error("malformed placement refusal");
-        }
-    }
-    if (object.kind !== "prerequisites-unsatisfied")
-        throw new Error("malformed placement refusal");
-    if (Object.keys(object).some((key) => key !== "kind" && key !== "contractId" && key !== "unmet"))
-        throw new Error("malformed placement refusal");
-    if (!Array.isArray(object.unmet))
-        throw new Error("malformed placement refusal");
-    try {
-        return {
-            kind: "prerequisites-unsatisfied",
-            contractId: contractId(String(object.contractId)),
-            unmet: object.unmet.map((item) => {
-                if (item === null || typeof item !== "object" || Array.isArray(item))
-                    throw new Error("malformed placement refusal");
-                const unmet = item;
-                if (Object.keys(unmet).some((key) => key !== "contractId" && key !== "state"))
-                    throw new Error("malformed placement refusal");
-                if (unmet.state !== "missing" && unmet.state !== "active" && unmet.state !== "abandoned")
-                    throw new Error("malformed placement refusal");
-                return { contractId: contractId(String(unmet.contractId)), state: unmet.state };
-            }),
-        };
-    }
-    catch {
-        throw new Error("malformed placement refusal");
-    }
-}
 function unmetPrerequisites(prerequisites, observation) {
     const unmet = [];
     for (const contractId of prerequisites) {
@@ -90,7 +33,15 @@ export function decidePlacement({ input, attempt, observation, }) {
     const gates = gateReports(current);
     if (!gates.satisfied) {
         const unmetGates = gates.reports.filter((report) => report.current.kind !== "attested" || report.current.verdict !== "satisfied");
-        return { kind: "refused", refusal: { kind: "gates-unsatisfied", contractId: id, unmet: unmetGates } };
+        return {
+            kind: "refused",
+            refusal: {
+                kind: "gates-unsatisfied",
+                contractId: id,
+                unmet: unmetGates,
+                ...(current.coordinates.target === undefined ? {} : { target: current.coordinates.target }),
+            },
+        };
     }
     const claimed = {
         v: 1,