@akagilnc/pi-workflow-roles 0.1.2397 → 0.1.2402

package/dist/public-cli/main.js

@@ -136,54 +136,6 @@ var init_collector_output = __esm({
   }
 });
 
-// src/engine-labor-fallback.ts
-function buildEngineLaborFallbackField(input) {
-  return Object.freeze({
-    engineLaborFallback: Object.freeze({
-      engine: input.engine,
-      failure: input.failure,
-      laborBy: "seat"
-    })
-  });
-}
-function isSeatFallbackTaintedStatus(status) {
-  return status.endsWith(SEAT_FALLBACK_STATUS_SUFFIX);
-}
-function seatFallbackBaseStatus(status) {
-  return isSeatFallbackTaintedStatus(status) ? status.slice(0, -SEAT_FALLBACK_STATUS_SUFFIX.length) : status;
-}
-function seatFallbackStatusHasLawfulEvidence(status, source) {
-  if (!isSeatFallbackTaintedStatus(status)) return true;
-  return readEngineLaborFallbackFieldFrom(source) !== void 0;
-}
-function readEngineLaborFallbackFieldFrom(source) {
-  if (typeof source !== "object" || source === null || Array.isArray(source)) {
-    return void 0;
-  }
-  let raw;
-  try {
-    raw = source.engineLaborFallback;
-  } catch {
-    return void 0;
-  }
-  if (typeof raw !== "object" || raw === null || Array.isArray(raw)) return void 0;
-  const rec = raw;
-  if (typeof rec.engine !== "string" || typeof rec.failure !== "string" || rec.laborBy !== "seat") {
-    return void 0;
-  }
-  return buildEngineLaborFallbackField({
-    engine: rec.engine,
-    failure: rec.failure
-  });
-}
-var SEAT_FALLBACK_STATUS_SUFFIX;
-var init_engine_labor_fallback = __esm({
-  "src/engine-labor-fallback.ts"() {
-    "use strict";
-    SEAT_FALLBACK_STATUS_SUFFIX = "-by-fallback";
-  }
-});
-
 // src/package-contracts/judge-output.ts
 function validateAcceptedJudgeDetails(verdict) {
   if (verdict === null || typeof verdict !== "object" || Array.isArray(verdict)) throw new Error("Judge verdict has no execution discriminator");
@@ -196,8 +148,7 @@ function validateAcceptedJudgeDetails(verdict) {
   if (typeof judgeStatus !== "string") {
     throw new Error("Judge verdict has no execution discriminator");
   }
-  const base = seatFallbackBaseStatus(judgeStatus);
-  if (["converged", "continue", "escalate"].includes(base) && seatFallbackStatusHasLawfulEvidence(judgeStatus, verdict)) {
+  if (["converged", "continue", "escalate"].includes(judgeStatus)) {
     return verdict;
   }
   throw new Error("Judge verdict has no execution discriminator");
@@ -206,7 +157,6 @@ var JUDGE_OUTPUT_TOOL_NAME;
 var init_judge_output = __esm({
   "src/package-contracts/judge-output.ts"() {
     "use strict";
-    init_engine_labor_fallback();
     JUDGE_OUTPUT_TOOL_NAME = "ak_judge_output";
   }
 });
@@ -225,9 +175,6 @@ function read(value, key) {
 }
 function validateRuntimeReviewerReceipt(output) {
   const status = read(output, "status");
-  if (typeof status === "string" && !seatFallbackStatusHasLawfulEvidence(status, output)) {
-    throw new Error("Reviewer receipt has no recognized execution discriminator");
-  }
   const acceptedBatch = read(output, "acceptedBatch");
   const identities = read(output, "identities");
   const construction = read(identities, "construction");
@@ -283,7 +230,6 @@ var REVIEWER_OUTPUT_TOOL_NAME;
 var init_reviewer_output = __esm({
   "src/package-contracts/reviewer-output.ts"() {
     "use strict";
-    init_engine_labor_fallback();
     REVIEWER_OUTPUT_TOOL_NAME = "ak_reviewer_output";
   }
 });
@@ -14154,18 +14100,13 @@ function read2(value, key) {
 }
 function validateDoctorSubmissionShape(value) {
   const status = read2(value, "status");
-  const base = typeof status === "string" ? seatFallbackBaseStatus(status) : status;
-  if (base !== "completed" && base !== "refused") throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
-  if (typeof status === "string" && !seatFallbackStatusHasLawfulEvidence(status, value)) {
-    throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
-  }
+  if (status !== "completed" && status !== "refused") throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
   return value;
 }
 function validateRecordedDoctorOutput(value) {
   const output = validateDoctorSubmissionShape(value);
   const status = read2(output, "status");
-  const base = typeof status === "string" ? seatFallbackBaseStatus(status) : status;
-  if (base === "completed" && read2(output, "cost") === void 0) throw new Error("Completed Doctor receipt has no runtime-owned cost testimony");
+  if (status === "completed" && read2(output, "cost") === void 0) throw new Error("Completed Doctor receipt has no runtime-owned cost testimony");
   return output;
 }
 var DOCTOR_OUTPUT_TOOL_NAME, DOCTOR_TARGET_KINDS, nonblank, count, evidenceIds, guardrail, lastRealBite, assetKinds, findingBody, finding, caseIdentity, cost, doctorSubmissionVariants, doctorSubmissionSchema, doctorOutputSchema, doctorEvidenceReadSchema, DoctorSubmissionContractError;
@@ -14174,7 +14115,6 @@ var init_doctor_contracts = __esm({
     "use strict";
     init_build();
     init_canonical_json();
-    init_engine_labor_fallback();
     init_open_tool_schema();
     DOCTOR_OUTPUT_TOOL_NAME = "ak_doctor_output";
     DOCTOR_TARGET_KINDS = ["law", "gate", "template", "station", "seat"];
@@ -14319,12 +14259,8 @@ function validateMergerInput(value) {
 function validateMergerOutput(value, expectedAttemptId) {
   if (!record(value) || expectedAttemptId !== void 0 && value.attemptId !== expectedAttemptId) throw new Error("Merger output attempt mismatch");
   const status = typeof value.status === "string" ? value.status : void 0;
-  const statusBase = status !== void 0 ? seatFallbackBaseStatus(status) : void 0;
-  if (status !== void 0 && !seatFallbackStatusHasLawfulEvidence(status, value)) {
-    throw new Error("Merger output has no recognized execution discriminator");
-  }
-  if (statusBase === "completed" && isFullGitObjectId(value.mergeCommitId)) return structuredClone(value);
-  if (statusBase === "escalate") return structuredClone(value);
+  if (status === "completed" && isFullGitObjectId(value.mergeCommitId)) return structuredClone(value);
+  if (status === "escalate") return structuredClone(value);
   throw new Error("Merger output has no recognized execution discriminator");
 }
 var oidPattern, materialSchema, checkSchema, mergerInputSchema, mergerOutputVariants, mergerOutputSchema, MERGER_OUTPUT_TOOL_NAME, record, blank, MergerInputContractError;
@@ -14334,7 +14270,6 @@ var init_merger_contracts = __esm({
     init_build();
     init_git_object_id();
     init_exact_utf8();
-    init_engine_labor_fallback();
     init_sha256();
     init_open_tool_schema();
     oidPattern = "^(?:[0-9a-f]{40}|[0-9a-f]{64})$";
@@ -14380,10 +14315,10 @@ function validateNotaryOutput(value) {
     throw new Error("Notary output has no recognized execution discriminator");
   }
   const statusRaw = typeof value.status === "string" ? value.status : void 0;
-  if (statusRaw === void 0 || !seatFallbackStatusHasLawfulEvidence(statusRaw, value)) {
+  if (statusRaw === void 0) {
     throw new Error("Notary output has no recognized execution discriminator");
   }
-  const status = seatFallbackBaseStatus(statusRaw);
+  const status = statusRaw;
   if (status === "bounce") {
     const clone = structuredClone(value);
     if (clone.disposition === void 0) clone.disposition = "rewrite";
@@ -14401,7 +14336,7 @@ function validateRecordedNotaryOutput(value) {
   return validateNotaryOutput(value);
 }
 function notaryDecisiveFacts(output) {
-  const status = seatFallbackBaseStatus(String(output.status));
+  const status = String(output.status);
   const facts = { status, officer: "notary" };
   if (status === "pass" || status === "bounce") {
     const findings = output.findings;
@@ -14417,7 +14352,6 @@ var init_notary_contracts = __esm({
   "src/notary-contracts.ts"() {
     "use strict";
     init_build();
-    init_engine_labor_fallback();
     init_open_tool_schema();
     NOTARY_OUTPUT_TOOL_NAME = "ak_notary_output";
     NOTARY_FIXED_KICKOFF = "Notary review. Bound source-run locator is on the session materials; fetch authoritative ticket, git, and dossier evidence yourself; submit one typed decision.";
@@ -15434,10 +15368,9 @@ function validateAcceptedDetails(toolName, details) {
     [NOTARY_OUTPUT_TOOL_NAME]: ["pass", "bounce"]
   };
   const collectorDiscriminator = toolName === COLLECTOR_OUTPUT_TOOL && Array.isArray(candidate?.groups);
-  const baseDiscriminator = typeof discriminator === "string" ? seatFallbackBaseStatus(discriminator) : discriminator;
-  const taintedWithoutEvidence = typeof discriminator === "string" && !seatFallbackStatusHasLawfulEvidence(discriminator, details);
+  const baseDiscriminator = discriminator;
   const runtimeBindingMissing = toolName === DOCTOR_OUTPUT_TOOL_NAME && baseDiscriminator === "completed" && !(candidate?.cost !== null && typeof candidate?.cost === "object") || toolName === REVIEWER_OUTPUT_TOOL_NAME && candidate?.version !== 2;
-  if (taintedWithoutEvidence || runtimeBindingMissing || !collectorDiscriminator && (typeof discriminator !== "string" || !lawfulStatuses[toolName].includes(baseDiscriminator))) {
+  if (runtimeBindingMissing || !collectorDiscriminator && (typeof discriminator !== "string" || !lawfulStatuses[toolName].includes(baseDiscriminator))) {
     throw new AcceptedDetailsContractError("terminating receipt has no recognized execution discriminator");
   }
   try {
@@ -15477,7 +15410,7 @@ function acceptedFacts(toolName, details) {
     case MERGER_OUTPUT_TOOL_NAME: {
       const output = details;
       const status = output.status;
-      return { status, ...seatFallbackBaseStatus(status) === "completed" && typeof output.mergeCommitId === "string" ? { commit: output.mergeCommitId } : {} };
+      return { status, ...status === "completed" && typeof output.mergeCommitId === "string" ? { commit: output.mergeCommitId } : {} };
     }
     case COLLECTOR_OUTPUT_TOOL:
       return { status: "collected" };
@@ -15491,7 +15424,6 @@ var init_terminating_tools = __esm({
     init_judge_output();
     init_reviewer_output();
     init_audit_escalation();
-    init_engine_labor_fallback();
     init_doctor_contracts();
     init_merger_contracts();
     init_notary_contracts();
@@ -20391,7 +20323,6 @@ var init_engine_detour_tool = __esm({
     "use strict";
     init_build();
     init_engine_detour();
-    init_engine_labor_fallback();
     engineDetourArgsSchema = typebox_exports.Object(
       {
         argv: typebox_exports.Array(typebox_exports.String({ minLength: 1 }), {
@@ -21397,11 +21328,9 @@ function auditNoReceiptDecisiveFact(candidate) {
 function judgeDecisiveFacts(verdict, judgeStatus) {
   const facts = {
     judgeStatus,
-    ...auditNoReceiptDecisiveFact(verdict),
-    // #380: spread sole-built field; do not re-key here (S1).
-    ...readEngineLaborFallbackFieldFrom(verdict)
+    ...auditNoReceiptDecisiveFact(verdict)
   };
-  const statusBase = seatFallbackBaseStatus(judgeStatus);
+  const statusBase = judgeStatus;
   if (statusBase === "continue") {
     const fix = safelyRead(verdict, "fix");
     if (fix.readable && isRecord8(fix.value)) {
@@ -21451,7 +21380,7 @@ function coderDecisiveFacts(output) {
   const status = safelyRead(candidate, "status");
   const facts = {};
   if (status.readable && typeof status.value === "string") facts.coderStatus = status.value;
-  const statusBase = status.readable && typeof status.value === "string" ? seatFallbackBaseStatus(status.value) : void 0;
+  const statusBase = status.readable && typeof status.value === "string" ? status.value : void 0;
   const remainingScope = safelyRead(candidate, "remainingScope");
   if (statusBase === "unfinished" && remainingScope.readable && typeof remainingScope.value === "string") facts.remainingScope = remainingScope.value;
   const reason = safelyRead(candidate, "reason");
@@ -21467,7 +21396,7 @@ function fixerDecisiveFacts(output) {
   const status = safelyRead(candidate, "status");
   const facts = {};
   if (status.readable && typeof status.value === "string") facts.fixerStatus = status.value;
-  const statusBase = status.readable && typeof status.value === "string" ? seatFallbackBaseStatus(status.value) : void 0;
+  const statusBase = status.readable && typeof status.value === "string" ? status.value : void 0;
   const remainingScope = safelyRead(candidate, "remainingScope");
   if ((statusBase === "unfinished" || statusBase === "refused") && remainingScope.readable && typeof remainingScope.value === "string") facts.remainingScope = remainingScope.value;
   const reason = safelyRead(candidate, "reason");
@@ -21551,7 +21480,7 @@ function doctorDecisiveFacts(output) {
   const status = safelyRead(candidate, "status");
   const facts = { ...auditNoReceiptDecisiveFact(candidate) };
   if (status.readable && typeof status.value === "string") facts.doctorStatus = status.value;
-  const statusBase = status.readable && typeof status.value === "string" ? seatFallbackBaseStatus(status.value) : void 0;
+  const statusBase = status.readable && typeof status.value === "string" ? status.value : void 0;
   if (statusBase === "refused") {
     const reason = safelyRead(candidate, "reason");
     if (reason.readable && reason.value !== void 0) facts.reason = reason.value;
@@ -21593,16 +21522,14 @@ function reviewerDecisiveFacts(output) {
     reportAxes,
     amendmentAxes,
     acceptedBatchPresent: acceptedBatch.readable && acceptedBatch.value !== void 0,
-    ...auditNoReceiptDecisiveFact(candidate),
-    // #380: spread sole-built field; do not re-key here (S1).
-    ...readEngineLaborFallbackFieldFrom(candidate)
+    ...auditNoReceiptDecisiveFact(candidate)
   };
   if (status.readable && typeof status.value === "string") facts.reviewerStatus = status.value;
   if (specDisposition.readable && (specDisposition.value === "launched" || specDisposition.value === "skipped-missing")) {
     facts.specDisposition = specDisposition.value;
   }
   const diagnostic = safelyRead(candidate, "diagnostic");
-  const statusBase = status.readable && typeof status.value === "string" ? seatFallbackBaseStatus(status.value) : void 0;
+  const statusBase = status.readable && typeof status.value === "string" ? status.value : void 0;
   if (statusBase === "refused" && diagnostic.readable) {
     facts.diagnosticPresent = typeof diagnostic.value === "string" && diagnostic.value.trim().length > 0;
   }
@@ -21868,9 +21795,8 @@ function extractJudgeRoleOutcome(entries) {
     const statusRead = safelyRead(details, "judgeStatus");
     if (!statusRead.readable || typeof statusRead.value !== "string") continue;
     const judgeStatus = statusRead.value;
-    const statusBase = seatFallbackBaseStatus(judgeStatus);
+    const statusBase = judgeStatus;
     if (statusBase !== "converged" && statusBase !== "continue" && statusBase !== "escalate") continue;
-    if (!seatFallbackStatusHasLawfulEvidence(judgeStatus, details)) continue;
     return {
       kind: "accepted",
       role: "judge",
@@ -22614,7 +22540,7 @@ async function settleLawfulDoctorTerminalResult(admitted) {
   if (entries === void 0) return void 0;
   const extracted = extractDoctorRoleOutcome(entries);
   if (extracted === void 0) return void 0;
-  if (extracted.output !== void 0 && seatFallbackBaseStatus(String(extracted.output.status)) === "completed") {
+  if (extracted.output !== void 0 && String(extracted.output.status) === "completed") {
     const completedCase = extracted.output.case;
     if (completedCase.issueNumber !== admitted.caseIdentity.issueNumber || completedCase.runsPath !== admitted.caseIdentity.runsPath) {
       const error = new Error(
@@ -22898,7 +22824,7 @@ function mergerDecisiveFacts(output) {
   const attemptId = safelyRead(candidate, "attemptId");
   if (status.readable && typeof status.value === "string") facts.mergerStatus = status.value;
   if (attemptId.readable && attemptId.value !== void 0) facts.attemptId = attemptId.value;
-  const statusBase = status.readable && typeof status.value === "string" ? seatFallbackBaseStatus(status.value) : void 0;
+  const statusBase = status.readable && typeof status.value === "string" ? status.value : void 0;
   const decisiveKey = statusBase === "completed" ? "mergeCommitId" : "diagnosis";
   const decisive = safelyRead(candidate, decisiveKey);
   if (decisive.readable && decisive.value !== void 0) facts[decisiveKey] = decisive.value;
@@ -23375,7 +23301,6 @@ var init_settlement = __esm({
     init_compliance_transport();
     init_collector_ledger();
     init_engine_detour();
-    init_engine_labor_fallback();
     init_judge_output();
     init_collector_output();
     init_worker_output();
@@ -27151,9 +27076,8 @@ function mapTerminal(role, terminal) {
       noReceipt: false
     };
   }
-  const statusBase = seatFallbackBaseStatus(status);
   const acceptedSet = ACCEPTED_STATUS[role];
-  if (acceptedSet === void 0 || !acceptedSet.has(statusBase)) {
+  if (acceptedSet === void 0 || !acceptedSet.has(status)) {
     return {
       terminalLabel: status,
       accepted: false,
@@ -27162,9 +27086,9 @@ function mapTerminal(role, terminal) {
       noReceipt: false
     };
   }
-  const plannedDuty = WORKER_ROLES.has(role) && statusBase === "planned";
+  const plannedDuty = WORKER_ROLES.has(role) && status === "planned";
   const successSet = SUCCESS_STATUS[role] ?? /* @__PURE__ */ new Set();
-  const success = !plannedDuty && successSet.has(statusBase);
+  const success = !plannedDuty && successSet.has(status);
   const successEligible = !plannedDuty;
   return {
     terminalLabel: status,
@@ -27286,7 +27210,6 @@ var WORKER_ROLES, ACCEPTED_STATUS, SUCCESS_STATUS, acceptanceSuccessReworkFamily
 var init_acceptance_success_rework = __esm({
   "src/analyst-metric-families/acceptance-success-rework.ts"() {
     "use strict";
-    init_engine_labor_fallback();
     init_analyst_median();
     WORKER_ROLES = /* @__PURE__ */ new Set(["coder", "fixer"]);
     ACCEPTED_STATUS = {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.2397",
+  "version": "0.1.2402",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",

package/scripts/build-package.mjs

@@ -9,8 +9,7 @@ const entries = [
   "work-subject-identity",
   "navigator-invocation-identity",
   "navigator-attendance",
-  // Navigator package-graph dependency (seat-fallback base status / ADR 0071).
-  "engine-labor-fallback",
+  // Navigator package-graph dependencies used by attendance settlement.
   "activation-ledger-git",
   "activation-ledger-topology",
   "activation-reconciliation",

package/src/analyst-metric-families/acceptance-success-rework.ts

@@ -9,7 +9,6 @@
  * - success rate den = success-eligible accepted legs (no-receipt out; planned out)
  * - planned = plan-duty acceptance; never success numerator or denominator
  */
-import { seatFallbackBaseStatus } from "../engine-labor-fallback.ts";
 import type { AnalystReadableRunFacts, AnalystRunTerminalFace } from "../analyst-ledger.ts";
 import { medianNumber } from "../analyst-median.ts";
 import type { AnalystMetricFamilyModule } from "../analyst-metric-family.ts";
@@ -186,10 +185,8 @@ function mapTerminal(
     };
   }
 
-  // Seat-fallback taint is visible on the label; acceptance/success use base semantics.
-  const statusBase = seatFallbackBaseStatus(status);
   const acceptedSet = ACCEPTED_STATUS[role];
-  if (acceptedSet === undefined || !acceptedSet.has(statusBase)) {
+  if (acceptedSet === undefined || !acceptedSet.has(status)) {
     return {
       terminalLabel: status,
       accepted: false,
@@ -199,9 +196,9 @@ function mapTerminal(
     };
   }
 
-  const plannedDuty = WORKER_ROLES.has(role) && statusBase === "planned";
+  const plannedDuty = WORKER_ROLES.has(role) && status === "planned";
   const successSet = SUCCESS_STATUS[role] ?? new Set<string>();
-  const success = !plannedDuty && successSet.has(statusBase);
+  const success = !plannedDuty && successSet.has(status);
   const successEligible = !plannedDuty;
 
   return {

package/src/collector-role.ts

@@ -4,10 +4,6 @@ import type {
 } from "@earendil-works/pi-coding-agent";
 import type { Static } from "typebox";
 
-import {
-  readActivationEngineLaborFallbackField,
-  withEngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 import {
   COLLECTOR_FIXED_KICKOFF,
   emptyCollectorManifest,
@@ -422,10 +418,7 @@ export function createCollectorRoleRuntime(
           );
           activation.ledger.markOutputAccepted();
           activation.ledger.completeOperational(toolCallId);
-          const acceptedDetails = withEngineLaborFallbackField(
-            receipt,
-            readActivationEngineLaborFallbackField(),
-          );
+          const acceptedDetails = receipt;
           return {
             content: [{
               type: "text" as const,

package/src/doctor-contracts.ts

@@ -1,10 +1,5 @@
 import { Type } from "typebox";
 import { canonicalJson } from "./canonical-json.ts";
-import {
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-  type WithEngineLaborFallback,
-} from "./engine-labor-fallback.ts";
 import { openToolObjectFromUnion } from "./open-tool-schema.ts";
 
 export const DOCTOR_EVIDENCE_TOOL_NAME = "ak_doctor_evidence";
@@ -42,13 +37,9 @@ export type DoctorFinding =
 export type DoctorSubmission =
   | { status: "completed"; case: DoctorCaseIdentity; findings: DoctorFinding[] }
   | { status: "refused"; reason: string; missingEvidence: Array<{ need: string; targetKeys: string[] }> };
-type DoctorOutputClean =
+export type DoctorOutput =
   | { status: "completed"; case: DoctorCaseIdentity; findings: DoctorFinding[]; cost: DoctorCaseCost }
   | Extract<DoctorSubmission, { status: "refused" }>;
-/** Clean recorded shape or seat-fallback tainted accepted receipt (ADR 0071). */
-export type DoctorOutput =
-  | DoctorOutputClean
-  | WithEngineLaborFallback<DoctorOutputClean>;
 export type DoctorEvidenceEntry = { id: string; kind: "session" | "stderr"; byteLength: number; contentLength: number; sha256: string; content: string };
 export type DoctorCase = { version: 1; identity: DoctorCaseIdentity; evidence: DoctorEvidenceEntry[]; cost: DoctorCaseCost };
 
@@ -105,19 +96,13 @@ function isRecord(value: unknown): value is Record<string, unknown> { return typ
 function read(value: unknown, key: string): unknown { if (!isRecord(value)) return undefined; try { return value[key]; } catch { return undefined; } }
 export function validateDoctorSubmissionShape(value: unknown): DoctorSubmission {
   const status = read(value, "status");
-  const base = typeof status === "string" ? seatFallbackBaseStatus(status) : status;
-  if (base !== "completed" && base !== "refused") throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
-  // ADR 0071: tainted status requires latch-shaped engineLaborFallback evidence.
-  if (typeof status === "string" && !seatFallbackStatusHasLawfulEvidence(status, value)) {
-    throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
-  }
+  if (status !== "completed" && status !== "refused") throw new DoctorSubmissionContractError("Doctor submission has no recognized execution status");
   return value as DoctorSubmission;
 }
 export function validateRecordedDoctorOutput(value: unknown): DoctorOutput {
   const output = validateDoctorSubmissionShape(value);
   const status = read(output, "status");
-  const base = typeof status === "string" ? seatFallbackBaseStatus(status) : status;
-  if (base === "completed" && read(output, "cost") === undefined) throw new Error("Completed Doctor receipt has no runtime-owned cost testimony");
+  if (status === "completed" && read(output, "cost") === undefined) throw new Error("Completed Doctor receipt has no runtime-owned cost testimony");
   return output as DoctorOutput;
 }
 

package/src/doctor-role.ts

@@ -2,10 +2,6 @@ import type { AgentToolResult, ExtensionAPI, ExtensionContext } from "@earendil-
 import { disposeComplianceDecision } from "./audit-escalation.ts";
 import { appendActiveSessionCustomEntry, type ComplianceDecision } from "./compliance-transport.ts";
 import { DOCTOR_CANDIDATE_ENTRY_TYPE } from "./dossier-resolution.ts";
-import {
-  readActivationEngineLaborFallbackField,
-  withEngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 import { DOCTOR_EVIDENCE_TOOL_NAME, DOCTOR_OUTPUT_TOOL_DESCRIPTION, DOCTOR_OUTPUT_TOOL_NAME, DoctorEvidenceStore, doctorEvidenceReadSchema, doctorSubmissionSchema, validateDoctorOutput, type DoctorCase } from "./doctor-contracts.ts";
 
 export { DOCTOR_EVIDENCE_TOOL_NAME, DOCTOR_OUTPUT_TOOL_NAME };
@@ -16,7 +12,7 @@ export function createDoctorRoleRuntime(pi: ExtensionAPI, dependencies: DoctorRo
   let activation: { soul: string; patient: DoctorCase; store: DoctorEvidenceStore } | undefined; let registered = false; pi.registerFlag(DOCTOR_CASE_FLAG.name, DOCTOR_CASE_FLAG.definition);
   return { async activate() { const path = pi.getFlag(DOCTOR_CASE_FLAG.name); if (typeof path !== "string" || !path.trim()) throw new Error("Doctor requires --ak-doctor-case"); const soul = (await dependencies.loadSoul()).trim(); if (!soul) throw new Error("Doctor soul is empty"); const patient = await dependencies.loadCase(path); activation = { soul, patient, store: new DoctorEvidenceStore(patient) };
     if (!registered) { registered = true; pi.registerTool({ name: DOCTOR_EVIDENCE_TOOL_NAME, label: "Doctor Evidence", description: "Read retained Pi session bytes with bounded pagination.", parameters: doctorEvidenceReadSchema, async execute(_id, params: { evidenceId: string; offset?: number; limit?: number }) { if (!activation) throw new Error("Doctor is not activated"); const details = activation.store.read(params.evidenceId, params.offset, params.limit); return { content: [{ type: "text" as const, text: JSON.stringify(details) }], details }; } });
-      pi.registerTool({ name: DOCTOR_OUTPUT_TOOL_NAME, label: "Doctor Output", description: DOCTOR_OUTPUT_TOOL_DESCRIPTION, parameters: doctorSubmissionSchema, async execute(id, params, signal, _update, ctx): Promise<AgentToolResult<unknown>> { if (!activation) throw new Error("Doctor is not activated"); singleton(id, ctx); const testimony = validateDoctorOutput(params, activation.patient, activation.store); try { appendActiveSessionCustomEntry(ctx, DOCTOR_CANDIDATE_ENTRY_TYPE, { version: 1, testimony, readRecord: activation.store.readRecord(), patientIdentity: activation.patient.identity }, { unavailable: "doctor candidate retention is unavailable", failed: "doctor candidate retention failed" }); } catch (error) { host.failInfrastructure(error, ctx, id); } let audit: ComplianceDecision; try { audit = await dependencies.auditCompliance(signal === undefined ? { context: ctx } : { context: ctx, signal }); } catch (error) { host.failInfrastructure(error, ctx, id); } const details = testimony.status === "completed" ? { ...testimony, cost: activation.patient.cost } : testimony; const acceptedDetails = withEngineLaborFallbackField(details, readActivationEngineLaborFallbackField()); return disposeComplianceDecision<AgentToolResult<unknown>>(audit, { pass: (usage) => ({ content: [{ type: "text" as const, text: "Doctor output accepted" }], details: acceptedDetails, terminate: true as const, ...(usage === undefined ? {} : { usage }) }), noReceipt: (auditNoReceipt, usageProjection) => ({ content: [{ type: "text" as const, text: "Doctor output accepted; compliance audit produced no receipt" }], details: { ...acceptedDetails, auditNoReceipt }, terminate: true as const, ...usageProjection }), revise: (violations) => { throw new Error(`Doctor output violates its soul: ${violations.join("; ")}`); }, escalate: (result) => result }, acceptedDetails); } });
+      pi.registerTool({ name: DOCTOR_OUTPUT_TOOL_NAME, label: "Doctor Output", description: DOCTOR_OUTPUT_TOOL_DESCRIPTION, parameters: doctorSubmissionSchema, async execute(id, params, signal, _update, ctx): Promise<AgentToolResult<unknown>> { if (!activation) throw new Error("Doctor is not activated"); singleton(id, ctx); const testimony = validateDoctorOutput(params, activation.patient, activation.store); try { appendActiveSessionCustomEntry(ctx, DOCTOR_CANDIDATE_ENTRY_TYPE, { version: 1, testimony, readRecord: activation.store.readRecord(), patientIdentity: activation.patient.identity }, { unavailable: "doctor candidate retention is unavailable", failed: "doctor candidate retention failed" }); } catch (error) { host.failInfrastructure(error, ctx, id); } let audit: ComplianceDecision; try { audit = await dependencies.auditCompliance(signal === undefined ? { context: ctx } : { context: ctx, signal }); } catch (error) { host.failInfrastructure(error, ctx, id); } const details = testimony.status === "completed" ? { ...testimony, cost: activation.patient.cost } : testimony; const acceptedDetails = details; return disposeComplianceDecision<AgentToolResult<unknown>>(audit, { pass: (usage) => ({ content: [{ type: "text" as const, text: "Doctor output accepted" }], details: acceptedDetails, terminate: true as const, ...(usage === undefined ? {} : { usage }) }), noReceipt: (auditNoReceipt, usageProjection) => ({ content: [{ type: "text" as const, text: "Doctor output accepted; compliance audit produced no receipt" }], details: { ...acceptedDetails, auditNoReceipt }, terminate: true as const, ...usageProjection }), revise: (violations) => { throw new Error(`Doctor output violates its soul: ${violations.join("; ")}`); }, escalate: (result) => result }, acceptedDetails); } });
       pi.on("before_agent_start", (event) => { if (!activation) throw new Error("Doctor is not activated"); const catalog = { version: activation.patient.version, identity: activation.patient.identity, admittedMetrics: { provenance: "runtime-derived from retained session bytes and sealed into the accepted receipt", cost: activation.patient.cost }, lawfulTargetKeys: ["case", ...activation.patient.cost.invocations.sources], evidence: activation.patient.evidence.map(({ id, kind, sha256, byteLength, contentLength }) => ({ id, kind, sha256, byteLength, contentLength })) }; return { systemPrompt: `${event.systemPrompt}\n\n<doctor_soul>\n${activation.soul}\n</doctor_soul>\n\n<doctor_case>\n${JSON.stringify(catalog)}\n</doctor_case>` }; }); }
     const required = [DOCTOR_EVIDENCE_TOOL_NAME, DOCTOR_OUTPUT_TOOL_NAME]; const names = pi.getAllTools().map((tool) => tool.name); for (const name of required) if (names.filter((item) => item === name).length !== 1) throw new Error(`Doctor required tool collision or missing: ${name}`); pi.setActiveTools(required); const active = pi.getActiveTools?.() ?? required; if (active.length !== 2 || !required.every((name) => active.includes(name))) throw new Error("Doctor active tool narrowing failed"); } };
 }

package/src/engine-detour-tool.ts

@@ -2,9 +2,8 @@
  * Package-owned engine detour tool (#357 T2 / #378 / #380).
  * Registered by shared role-runtime when any role + engine activation signal is present.
  * Evidence-child legs install the same definition via customTools (no spawn in role modules).
- * #380: engine process failure soft-returns so the seat rejoins the main road; declaration
- * is recorded once via engine-labor-fallback (no fail-closed reject-leg).
- * Caller AbortSignal cancel propagates without fallback.
+ * Engine process failures stop through the host infrastructure-failure seam.
+ * Caller AbortSignal cancellation propagates unchanged.
  */
 import type {
   AgentToolResult,
@@ -22,11 +21,6 @@ import {
   isEngineDetourFailure,
   runEngineDetourOnce,
 } from "./engine-detour.ts";
-import {
-  activationEngineLaborFallbackLatch,
-  recordEngineLaborFallback,
-  type EngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 
 const engineDetourArgsSchema = Type.Object(
   {
@@ -56,27 +50,7 @@ export type EngineDetourToolRegistration = {
 
 type EngineDetourLatch = { used: boolean };
 
-function seatFallbackToolResult(
-  field: EngineLaborFallbackField,
-  failure: string,
-): AgentToolResult<unknown> {
-  return {
-    content: [
-      {
-        type: "text" as const,
-        text:
-          `Engine detour failed: ${failure}. Perform the labor in this session (seat main road) and submit via the existing typed path. A mechanical fallback declaration will attach to the typed receipt.`,
-      },
-    ],
-    details: {
-      tool: ENGINE_DETOUR_TOOL_NAME,
-      detourFailed: true,
-      ...field,
-    },
-  };
-}
-
-/** Caller/upper-layer cancel must propagate; process failure is seat-fallback, not cancel. */
+/** Caller/upper-layer cancellation must propagate unchanged. */
 function isCallerCancellation(
   error: unknown,
   signal: AbortSignal | undefined,
@@ -96,8 +70,8 @@ function isCallerCancellation(
  * Build one once-latch detour tool definition for a configured engine name.
  * `latch` is shared so parent registration can reset between activations.
  * `fail` owns host abort (parent) vs throw (evidence child) for tool misuse only.
- * Engine process failure (nonzero/empty/spawn) soft-returns seat fallback (#380).
- * Caller AbortSignal cancel propagates without writing fallback.
+ * Engine process failures (nonzero/empty/spawn) stop via `fail` with their cause.
+ * Caller AbortSignal cancellation propagates unchanged.
  */
 export function createEngineDetourToolDefinition(input: {
   engineName: string;
@@ -116,7 +90,7 @@ export function createEngineDetourToolDefinition(input: {
       `Use ${ENGINE_DETOUR_TOOL_NAME} exactly once for the configured engine (${engineName}). Optional packaged notes are guidance when present; a bare engine name alone is also a valid call path.`,
       "Pass argv for the host CLI of this engine name — first element is the executable name on PATH. Follow optional packaged notes when delivered; otherwise act from the engine name and the host CLI actual interface. Do not invent package flags.",
       "On success, use the returned stdout as labor content for the existing typed submission / report path.",
-      "On engine failure the tool returns a soft failure: continue labor in this session and submit via the existing typed path. Do not treat engine failure as a reason to withhold the typed receipt.",
+      "An engine process failure stops this activation; do not continue labor in this session.",
     ],
     parameters: engineDetourArgsSchema,
     async execute(
@@ -145,17 +119,6 @@ export function createEngineDetourToolDefinition(input: {
         );
       }
 
-      const softFail = (failure: string): AgentToolResult<unknown> => {
-        // Activation-scoped latch is the sole shared recorder (parent seat + legs).
-        const fallbackLatch =
-          activationEngineLaborFallbackLatch() ?? { field: undefined };
-        const field = recordEngineLaborFallback(fallbackLatch, {
-          engine: engineName,
-          failure,
-        });
-        return seatFallbackToolResult(field, failure);
-      };
-
       let result: Awaited<ReturnType<typeof runEngineDetourOnce>>;
       try {
         result = await runEngineDetourOnce({
@@ -164,17 +127,19 @@ export function createEngineDetourToolDefinition(input: {
           ...(signal === undefined ? {} : { signal }),
         });
       } catch (error) {
-        // Caller cancel: propagate. Spawn/engine failure: seat fallback.
-        if (isCallerCancellation(error, signal)) {
-          throw error;
-        }
-        const failure =
-          error instanceof Error ? error.message : String(error);
-        return softFail(failure.trim() === "" ? "engine detour spawn failed" : failure);
+        if (isCallerCancellation(error, signal)) throw error;
+        const cause = error instanceof Error
+          ? error
+          : new Error(String(error).trim() || "engine detour spawn failed");
+        input.fail(cause, toolCallId, ctx);
       }
 
       if (isEngineDetourFailure(result)) {
-        return softFail(engineDetourFailureDiagnostic(result));
+        input.fail(
+          new Error(engineDetourFailureDiagnostic(result)),
+          toolCallId,
+          ctx,
+        );
       }
 
       return {

package/src/evidence-child-executor.ts

@@ -610,15 +610,17 @@ export async function executeEvidenceChild(
                 engine: engineName,
                 packageRoot: options.packageRoot,
               });
-      // #378/#380: same detour tool as parent seat. Engine process failure soft-returns
-      // seat main-road fallback (ADR 0069 detour-rejoins-main-road); tool misuse still throws.
+      // Evidence legs use the parent detour tool; retain any engine process cause
+      // so the enclosing child boundary, rather than a tool-error result, terminates.
+      let engineDetourFailure: Error | undefined;
       const engineDetourTool =
         engineName === undefined
           ? undefined
           : createEngineDetourToolDefinition({
               engineName,
               fail(error) {
-                throw error instanceof Error ? error : new Error(String(error));
+                engineDetourFailure ??= error instanceof Error ? error : new Error(String(error));
+                throw engineDetourFailure;
               },
             });
       // No tools allowlist — Pi defaults + unrestricted evidence surface (ADR 0064).
@@ -654,8 +656,14 @@ export async function executeEvidenceChild(
         try {
           await session.prompt(delivered);
         } catch (error) {
+          if (engineDetourFailure !== undefined) {
+            throw classifiedError(engineDetourFailure, "child");
+          }
           throw classifiedError(error, "provider");
         }
+        if (engineDetourFailure !== undefined) {
+          throw classifiedError(engineDetourFailure, "child");
+        }
         if (signal?.aborted) throw new Error("Evidence child was cancelled");
         const lastAssistant = [...session.messages]
           .reverse()