@astrosheep/keiyaku 2.9.11 → 2.9.12

package/build/cli/projection-address.js

@@ -56,7 +56,7 @@ export async function resolveProjectionAddress(input) {
         });
     }
     if (isResponseArtifactId(input.address)) {
-        throw new AddressResolutionError("EMPTY_PARAM", `artifact ${input.address} is a response artifact; ${input.verb} expects a projection id or alias`, { ...attempt, actual: "artifact" });
+        throw new AddressResolutionError("UNKNOWN_ADDRESS", `artifact ${input.address} is a response artifact; ${input.verb} expects a projection id or alias`, { ...attempt, actual: "artifact" });
     }
     const suffix = input.scope
         ? `within ${input.scope.spelling.asTyped}`
@@ -65,22 +65,22 @@ export async function resolveProjectionAddress(input) {
     let alias;
     if (input.address.includes("/")) {
         if (!isProjectionId(input.address))
-            throw new AddressResolutionError("EMPTY_PARAM", `projection ${input.address} has no match ${suffix}`, attempt);
+            throw new AddressResolutionError("UNKNOWN_ADDRESS", `projection ${input.address} has no match ${suffix}`, attempt);
         id = input.address;
     }
     else {
         if (!isProjectionAlias(input.address))
-            throw new AddressResolutionError("EMPTY_PARAM", `projection alias ${input.address} has no match ${suffix}`, attempt);
+            throw new AddressResolutionError("UNKNOWN_ADDRESS", `projection alias ${input.address} has no match ${suffix}`, attempt);
         const target = await readProjectionAliasAtRoot(projectionAliasRootAtCoordinate(coordinate), input.address);
         if (!target)
-            throw new AddressResolutionError("EMPTY_PARAM", `projection alias ${input.address} has no match ${suffix}`, attempt);
+            throw new AddressResolutionError("UNKNOWN_ADDRESS", `projection alias ${input.address} has no match ${suffix}`, attempt);
         id = target;
         alias = input.address;
     }
     const directory = projectionDirAtCoordinate(coordinate, id);
     if (!isRealDirectory(directory)) {
         const subject = alias ? `projection alias ${alias} points to missing projection ${id}` : `projection ${id}`;
-        throw new AddressResolutionError("EMPTY_PARAM", `${subject} has no match ${suffix}`, attempt);
+        throw new AddressResolutionError("UNKNOWN_ADDRESS", `${subject} has no match ${suffix}`, attempt);
     }
     // Historical projection storage has no current identity to resolve. Tell
     // still reaches its typed no-mutation refusal instead of exposing storage
@@ -94,12 +94,12 @@ export async function resolveProjectionAddress(input) {
     catch (error) {
         if (error instanceof Error && /ENOENT|no such file/i.test(error.message)) {
             const subject = alias ? `projection alias ${alias} points to missing projection ${id}` : `projection ${id}`;
-            throw new AddressResolutionError("EMPTY_PARAM", `${subject} has no match ${suffix}`, attempt);
+            throw new AddressResolutionError("UNKNOWN_ADDRESS", `${subject} has no match ${suffix}`, attempt);
         }
         throw error;
     }
     if (input.scope && (identity.binding.kind !== "commission" || identity.binding.commissionId !== input.scope.binding.commissionId)) {
-        throw new AddressResolutionError("EMPTY_PARAM", `projection ${id} has no match ${suffix}`, attempt);
+        throw new AddressResolutionError("UNKNOWN_ADDRESS", `projection ${id} has no match ${suffix}`, attempt);
     }
     return { id, directory, ...(alias ? { alias } : {}) };
 }

package/build/cli/render/task.js

@@ -32,6 +32,33 @@ export function renderTaskUpdateJson(result) {
         ...(result.bodyChange === undefined ? {} : { bodyChange: result.bodyChange }),
     });
 }
+export function renderTaskComposition(plan, check) {
+    const lines = [check ? "Task composition check" : "Task composition"];
+    for (const allocation of plan.allocations)
+        lines.push(`allocate: ${allocation.coordinate} · ${allocation.title}`);
+    for (const delta of plan.deltas) {
+        const changes = [
+            ...(delta.parent ? [`parent ${delta.parent.before ?? "(none)"} -> ${delta.parent.after ?? "(none)"}`] : []),
+            ...(delta.needs ? [`needs ${delta.needs.before.join(",") || "(none)"} -> ${delta.needs.after.join(",") || "(none)"}`] : []),
+            ...(delta.supersedes ? [`supersedes ${delta.supersedes.before.join(",") || "(none)"} -> ${delta.supersedes.after.join(",") || "(none)"}`] : []),
+            ...(delta.relatesTo ? [`relates ${delta.relatesTo.before.join(",") || "(none)"} -> ${delta.relatesTo.after.join(",") || "(none)"}`] : []),
+        ];
+        lines.push(`change: ${delta.coordinate} · ${changes.join("; ")}`);
+    }
+    for (const warning of plan.warnings) {
+        const detail = warning.related === undefined ? warning.coordinate : `${warning.coordinate} · ${warning.related}`;
+        lines.push(`warning: ${warning.kind} · ${detail}`);
+    }
+    return lines.join("\n");
+}
+export function renderTaskCompositionJson(plan, check) {
+    return JSON.stringify({
+        mode: check ? "check" : "apply",
+        allocations: plan.allocations,
+        deltas: plan.deltas,
+        warnings: plan.warnings,
+    });
+}
 export function renderTaskRow(task, completeId = false) {
     return completeId ? renderTaskMutationRow(task) : renderTaskListRow(task);
 }

package/build/cli/types.js

@@ -1 +1 @@
-export const TASK_SUBCOMMANDS = ["add", "show", "ls", "log", "start", "stop", "hold", "resume", "done", "drop", "update", "doctor"];
+export const TASK_SUBCOMMANDS = ["add", "compose", "show", "ls", "log", "start", "stop", "hold", "resume", "done", "drop", "update", "doctor"];

package/build/core/addressing.js

@@ -237,7 +237,7 @@ export function resolveExplicitContractAddressFromRead(input) {
     const source = input.source ?? (input.raw.startsWith("@") ? "at-address" : "explicit-flag");
     const spelling = { asTyped: commissionSelectorAsTyped(query, source), source };
     if (isResponseArtifactId(query)) {
-        throw new AddressResolutionError("EMPTY_PARAM", `artifact ${query} is a response artifact; expected a commission address`, { repo, workdir, expected: "commission", spelling, candidates: [], inference: [], actual: "artifact" });
+        throw new AddressResolutionError("UNKNOWN_ADDRESS", `artifact ${query} is a response artifact; expected a commission address`, { repo, workdir, expected: "commission", spelling, candidates: [], inference: [], actual: "artifact" });
     }
     const identities = explicitAddressIdentities(input.read, query);
     const attempt = {
@@ -282,7 +282,7 @@ export function resolveExplicitContractAddressFromRead(input) {
     if (unknown.status === "diseased" || unknown.status === "isolated" || unknown.status === "indeterminate") {
         throw contractReadOutcomeError(query, unknown);
     }
-    throw new AddressResolutionError("EMPTY_PARAM", `unknown contract address @${query}`, attempt);
+    throw new AddressResolutionError("UNKNOWN_ADDRESS", `unknown contract address @${query}`, attempt);
 }
 export async function resolveContractAddress(cwd, raw, source = raw?.startsWith("@") ? "at-address" : "explicit-flag", effectiveDirectory = cwd) {
     const workdir = path.resolve(effectiveDirectory);
@@ -348,7 +348,7 @@ export async function resolveContractAddress(cwd, raw, source = raw?.startsWith(
             inference: attempt.inference,
         });
     }
-    throw new AddressResolutionError(operable.length === 0 ? "EMPTY_PARAM" : "CONTRACT_AMBIGUOUS", operable.length === 0
+    throw new AddressResolutionError(operable.length === 0 ? "UNKNOWN_ADDRESS" : "CONTRACT_AMBIGUOUS", operable.length === 0
         ? "no active commission found; pass @place, @slug, full @commission-id, or --contract <addr>"
         : "multiple active commissions found; pass @place, @slug, full @commission-id, or --contract <addr>", attempt);
 }

package/build/core/call/context.js

@@ -24,7 +24,7 @@ export async function readCallKeiyakuContext(executionCwd, input, ports = {}) {
             const asTyped = input.contractAddressSource === "at-address"
                 ? `@${input.contractId}`
                 : `--contract ${input.contractId}`;
-            throw new AddressResolutionError("EMPTY_PARAM", `commission address ${asTyped} cannot be combined with --bare`, buildResolutionAttempt({
+            throw new AddressResolutionError("INVALID_USAGE", `commission address ${asTyped} cannot be combined with --bare`, buildResolutionAttempt({
                 repo: { kind: "user" },
                 workdir: executionCwd,
                 spelling: {
@@ -37,7 +37,7 @@ export async function readCallKeiyakuContext(executionCwd, input, ports = {}) {
             const asTyped = input.contractAddressSource === "at-address"
                 ? `@${input.contractId}`
                 : `--contract ${input.contractId}`;
-            throw new AddressResolutionError("EMPTY_PARAM", `${asTyped} is a commission address, but ${ledgerCandidate} has no repository ledger; contract addressing requires a ledger`, buildResolutionAttempt({
+            throw new AddressResolutionError("UNKNOWN_ADDRESS", `${asTyped} is a commission address, but ${ledgerCandidate} has no repository ledger; contract addressing requires a ledger`, buildResolutionAttempt({
                 repo: { kind: "user" },
                 workdir: executionCwd,
                 spelling: {
@@ -89,7 +89,7 @@ export async function readCallKeiyakuContext(executionCwd, input, ports = {}) {
         const asTyped = input.contractAddressSource === "at-address"
             ? `@${input.contractId}`
             : `--contract ${input.contractId}`;
-        throw new AddressResolutionError("EMPTY_PARAM", `commission address ${asTyped} cannot be combined with --bare`, buildResolutionAttempt({
+        throw new AddressResolutionError("INVALID_USAGE", `commission address ${asTyped} cannot be combined with --bare`, buildResolutionAttempt({
             repo: repositoryAddress.repo,
             workdir: repositoryAddress.workdir,
             spelling: {

package/build/core/call/prompt.js

@@ -35,7 +35,7 @@ export function buildCallPrompt(input) {
             `Contract: ${bind.title}`,
             `Context:\n${bind.context}`,
             `Objective:\n${bind.objective}`,
-            `Design:\n${bind.design}`,
+            `Design & Approach:\n${bind.design}`,
             `Scope:\n${bind.scope.map((value) => `- ${value}`).join("\n")}`,
             `Criteria:\n${bind.criteria.map((value) => `- ${value}`).join("\n")}`,
             `Verification:\n${bind.verification.map((value) => `- ${value}`).join("\n")}`,

package/build/core/contract-view.js

@@ -246,7 +246,7 @@ export function renderContractView(input) {
         "## Objective",
         bind.data.objective,
         "",
-        "## Design",
+        "## Design & Approach",
         bind.data.design,
         "",
         "## Scope",

package/build/core/draft.js

@@ -3,8 +3,15 @@ import { parseToAST } from "./markdown/parser.js";
 import { extractListItems, renderSectionContent } from "./markdown/render.js";
 import { normalizeSectionTitle } from "./markdown/titles.js";
 import { markdownSourceSections, renderScopeFragment, validateScopeFragmentLines } from "./scope.js";
-const KNOWN_SECTIONS = new Set(["context", "objective", "design", "scope", "criteria", "verification"]);
-const RETIRED_OR_MALFORMED_CORE_SECTIONS = new Set(["title", "name", "checks"]);
+const KNOWN_SECTIONS = new Map([
+    ["context", "context"],
+    ["objective", "objective"],
+    ["design & approach", "design"],
+    ["scope", "scope"],
+    ["criteria", "criteria"],
+    ["verification", "verification"],
+]);
+const RETIRED_OR_MALFORMED_CORE_SECTIONS = new Set(["title", "name", "design", "checks"]);
 const BIND_DRAFT_SECTION_ORDER = ["title", "context", "objective", "design", "scope", "criteria", "verification"];
 function invalidBindDraft(message) {
     throw new FlowError("INVALID_KEIYAKU_DRAFT", `INVALID_BIND_DRAFT: ${message}`);
@@ -105,14 +112,19 @@ function collectBindDraftNodes(content) {
             continue;
         const normalized = normalizeSectionName(node.title);
         if (RETIRED_OR_MALFORMED_CORE_SECTIONS.has(normalized)) {
-            const replacement = normalized === "checks" ? "Criteria and Verification" : "the H1 Title";
+            const replacement = normalized === "checks"
+                ? "Criteria and Verification"
+                : normalized === "design"
+                    ? "Design & Approach"
+                    : "the H1 Title";
             invalidBindDraft(`obsolete or malformed core section '${node.title}'; use ${replacement}`);
         }
-        if (KNOWN_SECTIONS.has(normalized)) {
-            if (sections.has(normalized)) {
+        const coreSection = KNOWN_SECTIONS.get(normalized);
+        if (coreSection) {
+            if (sections.has(coreSection)) {
                 invalidBindDraft(`duplicate section '${node.title}' in bind draft`);
             }
-            sections.set(normalized, node);
+            sections.set(coreSection, node);
             continue;
         }
         extensions.push({
@@ -155,7 +167,9 @@ export function parsePartialBindDraft(content) {
         if (!section)
             continue;
         const text = renderSectionContent(section).trim();
-        const heading = `${sectionName[0].toUpperCase()}${sectionName.slice(1)}`;
+        const heading = sectionName === "design"
+            ? "Design & Approach"
+            : `${sectionName[0].toUpperCase()}${sectionName.slice(1)}`;
         if (!text)
             invalidBindDraft(`${heading} section cannot be empty`);
         partial[sectionName] = text;
@@ -229,7 +243,7 @@ export function renderMissingBindSectionsTemplate(missing) {
             continue;
         }
         if (section === "design") {
-            lines.push("## Design", "<settled owner, boundaries, flow, state, and failure behavior>");
+            lines.push("## Design & Approach", "<settled owner, boundaries, flow, state, and failure behavior>");
             continue;
         }
         if (section === "scope") {
@@ -245,13 +259,23 @@ export function renderMissingBindSectionsTemplate(missing) {
     return lines.join("\n");
 }
 export function describeMissingBindSections(missing) {
-    if (missing.length === 0)
+    const labels = {
+        title: "Title",
+        context: "Context",
+        objective: "Objective",
+        design: "Design & Approach",
+        scope: "Scope",
+        criteria: "Criteria",
+        verification: "Verification",
+    };
+    const named = missing.map((section) => labels[section]);
+    if (named.length === 0)
         return "";
-    if (missing.length === 1)
-        return missing[0];
-    if (missing.length === 2)
-        return `${missing[0]} or ${missing[1]}`;
-    return `${missing.slice(0, -1).join(", ")}, or ${missing[missing.length - 1]}`;
+    if (named.length === 1)
+        return named[0];
+    if (named.length === 2)
+        return `${named[0]} or ${named[1]}`;
+    return `${named.slice(0, -1).join(", ")}, or ${named[named.length - 1]}`;
 }
 export function materializeBindDraft(partial) {
     const missing = missingBindDraftSections(partial);
@@ -272,7 +296,7 @@ export function materializeBindDraft(partial) {
 export function parseBindDraft(content) {
     const { title, sections, extensions } = collectBindDraftNodes(content);
     if (!title) {
-        invalidBindDraft("missing H1 Title in bind draft; expected '# <title>' followed by Context, Objective, Design, Scope, and Criteria; Verification is optional");
+        invalidBindDraft("missing H1 Title in bind draft; expected '# <title>' followed by Context, Objective, Design & Approach, Scope, and Criteria; Verification is optional");
     }
     const context = sections.get("context");
     const objective = sections.get("objective");
@@ -285,7 +309,7 @@ export function parseBindDraft(content) {
     if (!objective)
         invalidBindDraft("missing Objective section in bind draft");
     if (!design)
-        invalidBindDraft("missing Design section in bind draft");
+        invalidBindDraft("missing Design & Approach section in bind draft");
     if (!scope)
         invalidBindDraft("missing Scope section in bind draft");
     const parsedScope = parseScopeSection(content);
@@ -299,7 +323,7 @@ export function parseBindDraft(content) {
     if (!objectiveText)
         invalidBindDraft("Objective section cannot be empty");
     if (!designText)
-        invalidBindDraft("Design section cannot be empty");
+        invalidBindDraft("Design & Approach section cannot be empty");
     return {
         title,
         context: contextText,
@@ -316,7 +340,7 @@ export function renderBindDraft(draft) {
         `# ${draft.title}`,
         `## Context\n${draft.context}`,
         `## Objective\n${draft.objective}`,
-        `## Design\n${draft.design}`,
+        `## Design & Approach\n${draft.design}`,
         `## Scope\n${renderScopeFragment(draft.scope)}`,
         `## Criteria\n${draft.criteria.map((criterion) => `- ${criterion}`).join("\n")}`,
     ];
@@ -340,7 +364,6 @@ export function compileBindDraftFlags(input) {
         ["--context", input.context],
         ["--objective", input.objective],
         ["--design", input.design],
-        ["--scope", input.scope],
         ["--criteria", input.criteria],
         ["--verification", input.verification],
     ]) {
@@ -348,6 +371,12 @@ export function compileBindDraftFlags(input) {
             throw new FlowError("EMPTY_PARAM", `${flag} must be a single line`);
         }
     }
+    const scope = typeof input.scope === "string" ? [input.scope] : input.scope;
+    for (const pattern of scope ?? []) {
+        if (pattern.includes("\n") || pattern.includes("\r")) {
+            throw new FlowError("EMPTY_PARAM", "--scope must be a single line");
+        }
+    }
     const sections = [];
     if (input.title !== undefined)
         sections.push(`# ${input.title}`);
@@ -356,9 +385,9 @@ export function compileBindDraftFlags(input) {
     if (input.objective !== undefined)
         sections.push(`## Objective\n${input.objective}`);
     if (input.design !== undefined)
-        sections.push(`## Design\n${input.design}`);
-    if (input.scope !== undefined)
-        sections.push(`## Scope\n~~~\n${input.scope}\n~~~`);
+        sections.push(`## Design & Approach\n${input.design}`);
+    if (scope !== undefined)
+        sections.push(`## Scope\n~~~\n${scope.join("\n")}\n~~~`);
     if (input.criteria !== undefined)
         sections.push(`## Criteria\n- ${input.criteria}`);
     if (input.verification !== undefined)

package/build/core/projection/generation/model.js

@@ -247,7 +247,7 @@ export function validateHistory(records) {
 export function extractTerminalTimestamp(facts) {
     if (!facts)
         return undefined;
-    for (const key of ["completedAt", "failedAt", "dismissedAt", "killedAt", "terminalAt"]) {
+    for (const key of ["terminalAt", "completedAt", "failedAt", "dismissedAt", "killedAt"]) {
         const value = facts[key];
         if (typeof value === "string" && Number.isFinite(Date.parse(value)))
             return value;

package/build/core/projection/generation/projection-generation-runner.js

@@ -112,7 +112,10 @@ export async function runProjectionGeneration(input) {
         // Adoption is the provider-admission boundary. A kill that committed first
         // settles without constructing a provider execution.
         if (current.killIntent) {
-            const killed = store.runnerKilledIfRequested({ executionId: input.executionId });
+            const killed = store.runnerKilledIfRequested({
+                executionId: input.executionId,
+                terminalAt: new Date(now()).toISOString(),
+            });
             if (killed.status !== "committed")
                 return { status: "rejected" };
             settled = true;
@@ -126,7 +129,10 @@ export async function runProjectionGeneration(input) {
         }
         if (current.killIntent) {
             await prepared.dispose();
-            const killed = store.runnerKilledIfRequested({ executionId: input.executionId });
+            const killed = store.runnerKilledIfRequested({
+                executionId: input.executionId,
+                terminalAt: new Date(now()).toISOString(),
+            });
             if (killed.status !== "committed")
                 return { status: "rejected" };
             settled = true;
@@ -278,6 +284,7 @@ export async function runProjectionGeneration(input) {
                 const killed = store.runnerKilledIfRequested({
                     executionId: input.executionId,
                     ...(facts && Object.keys(facts).length > 0 ? { facts } : {}),
+                    terminalAt: new Date(now()).toISOString(),
                 });
                 if (killed.status !== "committed")
                     return { status: "rejected" };
@@ -290,7 +297,10 @@ export async function runProjectionGeneration(input) {
                 await handle.abort("force");
                 if (sawInterruptIntent)
                     return settleInterrupted();
-                const killed = store.runnerKilledIfRequested({ executionId: input.executionId });
+                const killed = store.runnerKilledIfRequested({
+                    executionId: input.executionId,
+                    terminalAt: new Date(now()).toISOString(),
+                });
                 if (killed.status !== "committed")
                     return { status: "rejected" };
                 settled = true;

package/build/core/projection/generation/transitions.js

@@ -111,6 +111,7 @@ export function requestInterruptIfOpen(database, readOnly, input) {
 }
 export function runnerKilledIfRequested(database, readOnly, input) {
     const executionId = assertExecutionId(input.executionId);
+    const terminalAt = assertIsoTimestamp(input.terminalAt, "terminalAt");
     const callerFacts = cloneFacts(input.facts ?? {}, "killed verdict facts");
     if ("state" in callerFacts) {
         throw new ProjectionGenerationStoreError("killed verdict facts.state is reserved");
@@ -121,6 +122,9 @@ export function runnerKilledIfRequested(database, readOnly, input) {
     if ("killedAt" in callerFacts) {
         throw new ProjectionGenerationStoreError("killed verdict facts.killedAt is reserved");
     }
+    if ("terminalAt" in callerFacts) {
+        throw new ProjectionGenerationStoreError("killed verdict facts.terminalAt is reserved");
+    }
     return writeTransition(database, readOnly, () => {
         const history = readValidatedHistory(database);
         const current = history.current;
@@ -137,6 +141,7 @@ export function runnerKilledIfRequested(database, readOnly, input) {
             state: "killed",
             killIntentSeq: current.killIntent.seq,
             killedAt: current.killIntent.facts.killedAt,
+            terminalAt,
         }, "killed verdict facts");
         return committed([appendRecord(database, "verdict", executionId, facts, history.records.length + 1)]);
     });
@@ -221,6 +226,7 @@ export function runnerVerdictIfOpen(database, readOnly, input) {
 }
 export function settleKillIfRunnerDead(database, readOnly, input) {
     const executionId = assertExecutionId(input.executionId);
+    const terminalAt = assertIsoTimestamp(input.terminalAt, "terminalAt");
     const releasedLockEvidence = cloneFacts(input.releasedLockEvidence, "released runner-lock evidence");
     if (Object.keys(releasedLockEvidence).length === 0) {
         throw new ProjectionGenerationStoreError("released runner-lock evidence must not be empty");
@@ -235,6 +241,9 @@ export function settleKillIfRunnerDead(database, readOnly, input) {
     if ("killedAt" in callerFacts) {
         throw new ProjectionGenerationStoreError("killed verdict facts.killedAt is reserved");
     }
+    if ("terminalAt" in callerFacts) {
+        throw new ProjectionGenerationStoreError("killed verdict facts.terminalAt is reserved");
+    }
     return writeTransition(database, readOnly, () => {
         const history = readValidatedHistory(database);
         const current = history.current;
@@ -251,6 +260,7 @@ export function settleKillIfRunnerDead(database, readOnly, input) {
             state: "killed",
             killIntentSeq: current.killIntent.seq,
             killedAt: current.killIntent.facts.killedAt,
+            terminalAt,
             releasedLockEvidence,
         }, "killed verdict facts");
         return committed([appendRecord(database, "verdict", executionId, facts, history.records.length + 1)]);

package/build/core/projection/projection-history.js

@@ -8,7 +8,7 @@ import { parseStructuredQuery, STRUCTURED_QUERY_COMPLETION, STRUCTURED_QUERY_GRA
 import { selectValidStoredAgentEvents } from "../stored-agent-event.js";
 import { extractTerminalTimestamp } from "./generation/model.js";
 import { readProjectionAlias } from "./projection-alias.js";
-import { foldPublicProjectionActivity } from "./projection-activity.js";
+import { foldPublicProjectionActivity, } from "./projection-activity.js";
 import { isProjectionId, projectionDir, projectionRoot, readGenerationEventsWithRetention, readProjectionEvents } from "./projection-core.js";
 import { projectionCoordinateRoot } from "./projection-coordinate.js";
 import { readProjectionIdentity } from "./projection-identity.js";

package/build/core/projection/projection-kill.js

@@ -31,7 +31,7 @@ export function interruptProjectionGeneration(projectionDirectory, nowMs = Date.
         store.close();
     }
 }
-function settleReleasedLeash(store, projectionDirectory, executionId) {
+function settleReleasedLeash(store, projectionDirectory, executionId, terminalAt) {
     const current = store.readCurrentGeneration();
     if (current?.launch.executionId !== executionId
         || current.verdict) {
@@ -50,7 +50,8 @@ function settleReleasedLeash(store, projectionDirectory, executionId) {
     try {
         store.settleKillIfRunnerDead({
             executionId,
-            releasedLockEvidence: { state: "acquired", executionId },
+            releasedLockEvidence: { state: "acquired", executionId, observedAt: terminalAt },
+            terminalAt,
         });
     }
     finally {
@@ -78,11 +79,11 @@ export function killProjectionGeneration(projectionDirectory, nowMs = Date.now()
             const executionId = current.launch.executionId;
             const request = store.requestKillIfOpen({ executionId, killedAt });
             if (request.status === "committed") {
-                return settleReleasedLeash(store, projectionDirectory, executionId);
+                return settleReleasedLeash(store, projectionDirectory, executionId, new Date(nowMs).toISOString());
             }
             if (request.reason === "kill-requested") {
                 // Idempotent first intent: still accepted, then one leash observation.
-                return settleReleasedLeash(store, projectionDirectory, executionId);
+                return settleReleasedLeash(store, projectionDirectory, executionId, new Date(nowMs).toISOString());
             }
             if (request.reason === "already-terminal") {
                 return { status: "already-closed", executionId };