@akagilnc/pi-workflow-roles 0.1.2397 → 0.1.2402

package/src/factory-board.ts

@@ -20,7 +20,6 @@ import { randomUUID } from "node:crypto";
 import { lstat, mkdir, realpath, rename, rm, writeFile } from "node:fs/promises";
 import { basename, dirname, join, relative, resolve, sep } from "node:path";
 
-import { seatFallbackBaseStatus } from "./engine-labor-fallback.ts";
 import {
   formatDurationZh,
   formatLocalDateTime,
@@ -177,8 +176,7 @@ export function decideTicketCurrentState(input: {
   const latest = sortRunsByStart(input.runs).at(-1)!;
   if (!latest.hasResult) return unacceptedBand(latest.mtimeMs, input.now.getTime());
   // Escalate is an awaiting overlay: same placement and sort band, distinct state.
-  // Seat-fallback taint (`escalate-by-fallback`) keeps escalate base semantics.
-  if (seatFallbackBaseStatus(latest.resultStatus) === "escalate") return "escalate-awaiting";
+  if ((latest.resultStatus) === "escalate") return "escalate-awaiting";
   return "accepted-awaiting";
 }
 
@@ -847,7 +845,7 @@ function buildBreadcrumbSteps(runs: readonly TicketTrajectoryRun[]): BreadcrumbS
     const isRejected = group.runs.some(
       (run) =>
         run.hasResult &&
-        REJECTED_RESULT_STATUSES.has(seatFallbackBaseStatus(run.resultStatus)),
+        REJECTED_RESULT_STATUSES.has((run.resultStatus)),
     );
     steps.push({
       station: group.station,

package/src/judge-role.ts

@@ -8,10 +8,6 @@ import { Type, type Static } from "typebox";
 
 import { disposeComplianceDecision } from "./audit-escalation.ts";
 import type { ComplianceDecision } from "./compliance-transport.ts";
-import {
-  readActivationEngineLaborFallbackField,
-  withEngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 import { requireGatekeeperPass, type GatekeeperPassHostActions } from "./gatekeeper-role.ts";
 
 import {
@@ -137,9 +133,7 @@ export function createJudgeRoleRuntime(
             } catch (error) {
               hostActions.failInfrastructure(error, ctx, toolCallId);
             }
-            // #380: attach sole-built engineLaborFallback when detour fell back to seat labor.
-            const laborFallback = readActivationEngineLaborFallbackField();
-            const acceptedDetails = withEngineLaborFallbackField(verdict, laborFallback);
+            const acceptedDetails = verdict;
             return disposeComplianceDecision<AgentToolResult<unknown>>(
               audit,
               {

package/src/merger-contracts.ts

@@ -1,11 +1,6 @@
 import { Type, type Static } from "typebox";
 import { isFullGitObjectId } from "./git-object-id.ts";
 import { exactUtf8 } from "./exact-utf8.ts";
-import {
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-  type WithEngineLaborFallback,
-} from "./engine-labor-fallback.ts";
 import { sha256Hex } from "./sha256.ts";
 import { openToolObjectFromUnion } from "./open-tool-schema.ts";
 
@@ -29,13 +24,9 @@ export const mergerOutputSchema = openToolObjectFromUnion(mergerOutputVariants);
 export type DeepReadonly<T> = T extends (...args: never[]) => unknown ? T : T extends readonly (infer U)[] ? readonly DeepReadonly<U>[] : T extends object ? { readonly [K in keyof T]: DeepReadonly<T[K]> } : T;
 export type MergerMaterial = DeepReadonly<Static<typeof materialSchema>>;
 export type MergerInput = DeepReadonly<Static<typeof mergerInputSchema>>;
-type MergerOutputClean =
+export type MergerOutput =
   | { status: "completed"; attemptId: string; report: string; mergeCommitId: string }
   | { status: "escalate"; attemptId: string; diagnosis: string; report: string };
-/** Clean submission shape or seat-fallback tainted accepted receipt (ADR 0071). */
-export type MergerOutput =
-  | MergerOutputClean
-  | WithEngineLaborFallback<MergerOutputClean>;
 export const MERGER_OUTPUT_TOOL_NAME = "ak_merger_output";
 export const MERGER_ACCEPTED_TEXT = "Merger output accepted";
 
@@ -75,12 +66,7 @@ export function validateMergerInput(value: unknown): MergerInput {
 export function validateMergerOutput(value: unknown, expectedAttemptId?: string): MergerOutput {
   if (!record(value) || (expectedAttemptId !== undefined && value.attemptId !== expectedAttemptId)) throw new Error("Merger output attempt mismatch");
   const status = typeof value.status === "string" ? value.status : undefined;
-  const statusBase = status !== undefined ? seatFallbackBaseStatus(status) : undefined;
-  // ADR 0071: tainted status requires latch-shaped engineLaborFallback evidence.
-  if (status !== undefined && !seatFallbackStatusHasLawfulEvidence(status, value)) {
-    throw new Error("Merger output has no recognized execution discriminator");
-  }
-  if (statusBase === "completed" && isFullGitObjectId(value.mergeCommitId)) return structuredClone(value) as MergerOutput;
-  if (statusBase === "escalate") return structuredClone(value) as MergerOutput;
+  if (status === "completed" && isFullGitObjectId(value.mergeCommitId)) return structuredClone(value) as MergerOutput;
+  if (status === "escalate") return structuredClone(value) as MergerOutput;
   throw new Error("Merger output has no recognized execution discriminator");
 }

package/src/merger-role.ts

@@ -1,8 +1,4 @@
 import type { ExtensionAPI, ExtensionContext } from "@earendil-works/pi-coding-agent";
-import {
-  readActivationEngineLaborFallbackField,
-  withEngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 import { MERGER_ACCEPTED_TEXT, MERGER_OUTPUT_TOOL_NAME, mergerOutputSchema, validateMergerInput, validateMergerOutput, type MergerInput } from "./merger-contracts.ts";
 import type { MergerGitState } from "./merger-git-state.ts";
 import { exactUtf8 } from "./exact-utf8.ts";
@@ -51,10 +47,7 @@ export function createMergerRoleRuntime(pi: ExtensionAPI, dependencies: MergerRo
             if (state.mergeCommitId !== output.mergeCommitId || !same(state.parentObjectIds, [activation.input.targetObjectId, activation.input.sourceObjectId]) || state.unmergedPaths.length !== 0 || !state.worktreeClean || state.resolutionChangedPaths.some(path => !scope.has(path))) host.failInfrastructure(new Error("Merger completed-state verification failed"), ctx, id);
           }
           accepted = true;
-          const acceptedDetails = withEngineLaborFallbackField(
-            output,
-            readActivationEngineLaborFallbackField(),
-          );
+          const acceptedDetails = output;
           return { content: [{ type: "text" as const, text: MERGER_ACCEPTED_TEXT }], details: acceptedDetails, terminate: true as const };
         } });
       pi.on("before_agent_start", event => { if (!activation) throw new Error("Merger is not activated"); const admitted = { attemptId: activation.input.attemptId, targetObjectId: activation.input.targetObjectId, sourceObjectId: activation.input.sourceObjectId, task: materialText(activation.input, "task"), authority: materialText(activation.input, "authority"), targetIntent: materialText(activation.input, "targetIntent"), sourceIntent: materialText(activation.input, "sourceIntent"), expectedConflictPaths: activation.input.expectedConflictPaths, resolutionScope: activation.input.resolutionScope, authorizedChecks: activation.input.authorizedChecks }; return { systemPrompt: `${event.systemPrompt}\n\n<merger_soul>\n${activation.soul}\n</merger_soul>\n\n<merger_assignment>\n${JSON.stringify(admitted)}\n</merger_assignment>` }; });

package/src/navigator-attendance.ts

@@ -8,7 +8,6 @@ import { createAssistantMessageEventStream } from "@earendil-works/pi-ai";
 import { Type, type Static } from "typebox";
 import { Value } from "typebox/value";
 
-import { seatFallbackBaseStatus } from "./engine-labor-fallback.ts";
 import {
   NAVIGATOR_INVOCATION_ENTRY,
   mintNavigatorInvocationId,
@@ -462,18 +461,6 @@ export type NavigatorCandidateSelection = {
   readonly matchedToSettlement: boolean;
 };
 
-/** Match route-playbook statuses against settlement, treating seat-fallback taint as base-equivalent. */
-function statusListMatchesSettlement(
-  candidateStatuses: readonly string[],
-  settlementStatus: string,
-): boolean {
-  if (candidateStatuses.includes(settlementStatus)) return true;
-  const settlementBase = seatFallbackBaseStatus(settlementStatus);
-  return candidateStatuses.some(
-    (status) => seatFallbackBaseStatus(status) === settlementBase,
-  );
-}
-
 export function selectNavigatorCandidate(
   candidates: readonly NavigatorCandidate[],
   settlement: NavigatorSettlement,
@@ -492,7 +479,7 @@ export function selectNavigatorCandidate(
       const statusSpecific = rolePhaseMatched.find(
         (candidate) =>
           candidate.matches?.statuses !== undefined &&
-          statusListMatchesSettlement(candidate.matches.statuses, settlement.status!),
+          candidate.matches.statuses.includes(settlement.status!),
       );
       if (statusSpecific !== undefined) {
         return { candidate: statusSpecific, matchedToSettlement: true };

package/src/notary-contracts.ts

@@ -5,13 +5,6 @@
  */
 import { Type } from "typebox";
 
-import {
-  readActivationEngineLaborFallbackField,
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-  withEngineLaborFallbackField,
-  type WithEngineLaborFallback,
-} from "./engine-labor-fallback.ts";
 import { openToolObject } from "./open-tool-schema.ts";
 
 export const NOTARY_OUTPUT_TOOL_NAME = "ak_notary_output";
@@ -45,7 +38,7 @@ export type NotarySourceRunLocator = {
   readonly role: string;
 };
 
-type NotaryOutputClean =
+export type NotaryOutput =
   | { readonly status: "pass"; readonly findings: readonly string[] }
   | {
       readonly status: "bounce";
@@ -53,11 +46,6 @@ type NotaryOutputClean =
       readonly findings: readonly string[];
     };
 
-/** Clean submission or seat-fallback tainted accepted receipt (ADR 0071). */
-export type NotaryOutput =
-  | NotaryOutputClean
-  | WithEngineLaborFallback<NotaryOutputClean>;
-
 function isRecord(value: unknown): value is Record<string, unknown> {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
@@ -76,10 +64,10 @@ export function validateNotaryOutput(value: unknown): NotaryOutput {
     throw new Error("Notary output has no recognized execution discriminator");
   }
   const statusRaw = typeof value.status === "string" ? value.status : undefined;
-  if (statusRaw === undefined || !seatFallbackStatusHasLawfulEvidence(statusRaw, value)) {
+  if (statusRaw === undefined) {
     throw new Error("Notary output has no recognized execution discriminator");
   }
-  const status = seatFallbackBaseStatus(statusRaw);
+  const status = statusRaw;
   if (status === "bounce") {
     const clone = structuredClone(value) as Record<string, unknown>;
     if (clone.disposition === undefined) clone.disposition = "rewrite";
@@ -94,20 +82,12 @@ export function validateNotaryOutput(value: unknown): NotaryOutput {
   throw new Error("Notary output has no recognized execution discriminator");
 }
 
-/** Shape check for recorded accepted details (may include engineLaborFallback). */
 export function validateRecordedNotaryOutput(value: unknown): NotaryOutput {
   return validateNotaryOutput(value);
 }
 
-export function withNotaryAcceptedDetails(output: NotaryOutput): NotaryOutput {
-  return withEngineLaborFallbackField(
-    output,
-    readActivationEngineLaborFallbackField(),
-  ) as NotaryOutput;
-}
-
 export function notaryDecisiveFacts(output: NotaryOutput): Record<string, unknown> {
-  const status = seatFallbackBaseStatus(String(output.status));
+  const status = String(output.status);
   const facts: Record<string, unknown> = { status, officer: "notary" };
   if (status === "pass" || status === "bounce") {
     const findings = (output as { findings?: unknown }).findings;

package/src/notary-role.ts

@@ -14,7 +14,6 @@ import {
   NOTARY_SOURCE_RUN_FLAG,
   notaryOutputSchema,
   validateNotaryOutput,
-  withNotaryAcceptedDetails,
   type NotarySourceRunLocator,
 } from "./notary-contracts.ts";
 
@@ -114,10 +113,9 @@ export function createNotaryRoleRuntime(
                 ? error
                 : new Error(String(error));
             }
-            const acceptedDetails = withNotaryAcceptedDetails(output);
             return {
               content: [{ type: "text" as const, text: NOTARY_ACCEPTED_TEXT }],
-              details: acceptedDetails,
+              details: output,
               terminate: true as const,
             };
           },

package/src/package-contracts/judge-output.ts

@@ -1,11 +1,5 @@
 /** Package-owned Judge output leaf — no role registration surface. */
 
-import {
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-  type SeatFallbackTaintedStatus,
-  type WithEngineLaborFallback,
-} from "../engine-labor-fallback.ts";
 
 export const JUDGE_OUTPUT_TOOL_NAME = "ak_judge_output";
 export const JUDGE_ACCEPTED_TEXT = "Judge verdict accepted";
@@ -17,7 +11,7 @@ export type JudgeClass = {
   disposition: string;
 };
 
-type JudgeVerdictClean =
+export type JudgeVerdict =
   | { judgeStatus: "converged"; note?: string; evidence?: unknown }
   | {
     judgeStatus: "continue";
@@ -33,11 +27,6 @@ type JudgeVerdictClean =
     evidence?: unknown;
   };
 
-/** Clean submission shape or seat-fallback tainted accepted receipt (ADR 0071). */
-export type JudgeVerdict =
-  | JudgeVerdictClean
-  | WithEngineLaborFallback<JudgeVerdictClean>;
-
 export function validateAcceptedJudgeDetails(verdict: unknown): JudgeVerdict {
   if (verdict === null || typeof verdict !== "object" || Array.isArray(verdict)) throw new Error("Judge verdict has no execution discriminator");
   let judgeStatus: unknown;
@@ -49,12 +38,8 @@ export function validateAcceptedJudgeDetails(verdict: unknown): JudgeVerdict {
   if (typeof judgeStatus !== "string") {
     throw new Error("Judge verdict has no execution discriminator");
   }
-  const base = seatFallbackBaseStatus(judgeStatus) as SeatFallbackTaintedStatus<
-    "converged" | "continue" | "escalate"
-  >;
   if (
-    ["converged", "continue", "escalate"].includes(base) &&
-    seatFallbackStatusHasLawfulEvidence(judgeStatus, verdict)
+    ["converged", "continue", "escalate"].includes(judgeStatus)
   ) {
     return verdict as JudgeVerdict;
   }

package/src/package-contracts/reviewer-output.ts

@@ -1,11 +1,5 @@
 /** Package-owned Reviewer intent and runtime-receipt leaves — no role registration surface. */
 
-import {
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-  type SeatFallbackTaintedStatus,
-  type WithEngineLaborFallback,
-} from "../engine-labor-fallback.ts";
 import type { ReviewerAcceptedEvidence, ReviewerFailureClassification, ReviewerWorkspaceDisposition } from "../reviewer-execution-ledger.ts";
 
 export const REVIEWER_OUTPUT_TOOL_NAME = "ak_reviewer_output";
@@ -36,7 +30,7 @@ export type RuntimeReviewerAcceptedBatch = Readonly<{
 }>;
 /** Honest Spec-child disposition on the receipt face. */
 export type RuntimeReviewerSpecDisposition = "launched" | "skipped-missing";
-type RuntimeReviewerReceiptV2Clean = Readonly<{
+export type RuntimeReviewerReceiptV2 = Readonly<{
   version: 2;
   status: "completed" | "refused";
   diagnostic?: string;
@@ -55,14 +49,6 @@ type RuntimeReviewerReceiptV2Clean = Readonly<{
     target?: ReviewerAcceptedEvidence["target"];
   }>;
 }>;
-/** Clean runtime receipt or seat-fallback tainted accepted receipt (ADR 0071). */
-export type RuntimeReviewerReceiptV2 =
-  | RuntimeReviewerReceiptV2Clean
-  | WithEngineLaborFallback<
-      Omit<RuntimeReviewerReceiptV2Clean, "status"> & {
-        status: SeatFallbackTaintedStatus<"completed" | "refused">;
-      }
-    >;
 
 function isRecord(value: unknown): value is Record<string, unknown> {
   return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -102,10 +88,6 @@ export function validateReviewerIntent(output: unknown): ReviewerIntent {
 /** Validate runtime-owned facts at their real identity seams (target pins + plain text). */
 export function validateRuntimeReviewerReceipt(output: unknown): RuntimeReviewerReceiptV2 {
   const status = read(output, "status");
-  // ADR 0071: tainted top-level status requires latch-shaped engineLaborFallback evidence.
-  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");
@@ -173,8 +155,7 @@ export function projectReviewerIntentToReceipt(intentValue: unknown, receiptValu
   const intent = validateReviewerIntent(intentValue);
   const receipt = validateRuntimeReviewerReceipt(receiptValue);
   const receiptStatus = String(receipt.status);
-  const receiptBase = seatFallbackBaseStatus(receiptStatus);
-  if (receiptBase !== intent.status || (intent.status === "completed" ? receipt.diagnostic !== undefined : receipt.diagnostic !== intent.diagnostic)) {
+  if (receiptStatus !== intent.status || (intent.status === "completed" ? receipt.diagnostic !== undefined : receipt.diagnostic !== intent.diagnostic)) {
     throw new Error("Reviewer intent and runtime receipt disagree");
   }
   return receipt;

package/src/package-contracts/terminating-tools.ts

@@ -25,10 +25,6 @@ import {
   type RuntimeReviewerReceiptV2,
 } from "./reviewer-output.ts";
 import { isAuditEscalationResult } from "../audit-escalation.ts";
-import {
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-} from "../engine-labor-fallback.ts";
 import { DOCTOR_OUTPUT_TOOL_NAME, validateDoctorSubmissionShape, validateRecordedDoctorOutput, type DoctorOutput, type DoctorSubmission } from "../doctor-contracts.ts";
 import { MERGER_ACCEPTED_TEXT, MERGER_OUTPUT_TOOL_NAME, validateMergerOutput, type MergerOutput } from "../merger-contracts.ts";
 import { NOTARY_ACCEPTED_TEXT, NOTARY_OUTPUT_TOOL_NAME, validateRecordedNotaryOutput, type NotaryOutput } from "../notary-contracts.ts";
@@ -171,16 +167,11 @@ export function validateAcceptedDetails(
     [NOTARY_OUTPUT_TOOL_NAME]: ["pass", "bounce"],
   };
   const collectorDiscriminator = toolName === COLLECTOR_OUTPUT_TOOL && Array.isArray(candidate?.groups);
-  const baseDiscriminator = typeof discriminator === "string" ? seatFallbackBaseStatus(discriminator) : discriminator;
-  // ADR 0071: `-by-fallback` is not independently lawful — require latch-shaped evidence.
-  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 as string)))
   ) {
@@ -219,12 +210,12 @@ export function validateAcceptedLifecycle(
   const details = validateAcceptedDetails(toolName, detailsValue);
   if (toolName === DOCTOR_OUTPUT_TOOL_NAME) {
     const testimony = validateDoctorSubmissionShape(argumentsValue);
-    if (seatFallbackBaseStatus(String(testimony.status)) === "refused") {
+    if ((String(testimony.status)) === "refused") {
       if (!deepEqual(testimony, details)) throw new Error("accepted tool lifecycle details mismatch");
       return details;
     }
     const receipt = details as DoctorOutput & { cost?: unknown };
-    if (seatFallbackBaseStatus(String(receipt.status)) !== "completed") {
+    if ((String(receipt.status)) !== "completed") {
       throw new Error("accepted tool lifecycle details mismatch");
     }
     const { cost: _runtimeCost, ...projected } = receipt;
@@ -253,7 +244,7 @@ export function acceptedFacts(toolName: TerminatingToolName, details: AcceptedDe
     case MERGER_OUTPUT_TOOL_NAME: {
       const output = details as unknown as Record<string, unknown>;
       const status = output.status as string;
-      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" };

package/src/package-contracts/worker-output.ts

@@ -15,24 +15,16 @@ export type {
 } from "./fixer-output.ts";
 export { fixerPrerequisiteSchema, fixerPrerequisitesSchema, parseFixerPrerequisites, validateFixerPrerequisites } from "./fixer-packet.ts";
 export type { FixerInvocationInput, FixerPrerequisite } from "./fixer-packet.ts";
-import type { WithEngineLaborFallback } from "../engine-labor-fallback.ts";
 import { validateFixerOutput, type FixerOutput } from "./fixer-output.ts";
 
 export const CODER_OUTPUT_TOOL_NAME = "ak_coder_output";
 export const CODER_ACCEPTED_TEXT = "Coder report accepted";
 export type WorkerRoleLabel = "Coder" | "Fixer";
-type CoderOutputClean =
+export type CoderOutput =
   | { status: "planned"; report: string }
   | { status: "completed" | "refused"; report: string }
   | { status: "unfinished"; report: string; remainingScope: string; reason?: string };
-/** Clean submission shape or seat-fallback tainted accepted receipt (ADR 0071). */
-export type CoderOutput =
-  | CoderOutputClean
-  | WithEngineLaborFallback<CoderOutputClean>;
-export type WorkerOutput =
-  | CoderOutput
-  | FixerOutput
-  | WithEngineLaborFallback<FixerOutput>;
+export type WorkerOutput = CoderOutput | FixerOutput;
 
 export function validateAcceptedCoderDetails(output: unknown): CoderOutput {
   return output as CoderOutput;

package/src/public-cli/settlement.ts

@@ -39,11 +39,6 @@ import {
   COLLECTOR_WAIT_TOOL,
 } from "../collector-ledger.ts";
 import { ENGINE_DETOUR_TOOL_NAME } from "../engine-detour.ts";
-import {
-  readEngineLaborFallbackFieldFrom,
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-} from "../engine-labor-fallback.ts";
 import {
   JUDGE_OUTPUT_TOOL_NAME,
   type JudgeVerdict,
@@ -1170,10 +1165,8 @@ function judgeDecisiveFacts(
   const facts: Record<string, unknown> = {
     judgeStatus,
     ...auditNoReceiptDecisiveFact(verdict),
-    // #380: spread sole-built field; do not re-key here (S1).
-    ...readEngineLaborFallbackFieldFrom(verdict),
   };
-  const statusBase = seatFallbackBaseStatus(judgeStatus);
+  const statusBase = judgeStatus;
   if (statusBase === "continue") {
     const fix = safelyRead(verdict, "fix");
     if (fix.readable && isRecord(fix.value)) {
@@ -1227,7 +1220,7 @@ function coderDecisiveFacts(output: CoderOutput): Record<string, unknown> {
   if (status.readable && typeof status.value === "string") facts.coderStatus = status.value;
   const statusBase =
     status.readable && typeof status.value === "string"
-      ? seatFallbackBaseStatus(status.value)
+      ? (status.value)
       : undefined;
   const remainingScope = safelyRead(candidate, "remainingScope");
   if (statusBase === "unfinished" && remainingScope.readable && typeof remainingScope.value === "string") facts.remainingScope = remainingScope.value;
@@ -1247,7 +1240,7 @@ function fixerDecisiveFacts(output: FixerOutput): Record<string, unknown> {
   if (status.readable && typeof status.value === "string") facts.fixerStatus = status.value;
   const statusBase =
     status.readable && typeof status.value === "string"
-      ? seatFallbackBaseStatus(status.value)
+      ? (status.value)
       : undefined;
   const remainingScope = safelyRead(candidate, "remainingScope");
   if ((statusBase === "unfinished" || statusBase === "refused") && remainingScope.readable && typeof remainingScope.value === "string") facts.remainingScope = remainingScope.value;
@@ -1340,7 +1333,7 @@ function doctorDecisiveFacts(output: DoctorOutput): Record<string, unknown> {
   if (status.readable && typeof status.value === "string") facts.doctorStatus = status.value;
   const statusBase =
     status.readable && typeof status.value === "string"
-      ? seatFallbackBaseStatus(status.value)
+      ? (status.value)
       : undefined;
   if (statusBase === "refused") {
     const reason = safelyRead(candidate, "reason");
@@ -1389,8 +1382,6 @@ function reviewerDecisiveFacts(
     amendmentAxes,
     acceptedBatchPresent: acceptedBatch.readable && acceptedBatch.value !== undefined,
     ...auditNoReceiptDecisiveFact(candidate),
-    // #380: spread sole-built field; do not re-key here (S1).
-    ...readEngineLaborFallbackFieldFrom(candidate),
   };
   if (status.readable && typeof status.value === "string") facts.reviewerStatus = status.value;
   if (
@@ -1402,7 +1393,7 @@ function reviewerDecisiveFacts(
   const diagnostic = safelyRead(candidate, "diagnostic");
   const statusBase =
     status.readable && typeof status.value === "string"
-      ? seatFallbackBaseStatus(status.value)
+      ? (status.value)
       : undefined;
   if (statusBase === "refused" && diagnostic.readable) {
     facts.diagnosticPresent = typeof diagnostic.value === "string" && diagnostic.value.trim().length > 0;
@@ -1903,10 +1894,8 @@ export function extractJudgeRoleOutcome(
     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;
-    // ADR 0071: `-by-fallback` without latch-shaped evidence is not a lawful terminal.
-    if (!seatFallbackStatusHasLawfulEvidence(judgeStatus, details)) continue;
     return {
       kind: "accepted",
       role: "judge",
@@ -3012,10 +3001,9 @@ async function settleLawfulDoctorTerminalResult(
   const extracted = extractDoctorRoleOutcome(entries);
   if (extracted === undefined) return undefined;
   // Bind completed receipt case identity to the admitted Issue evidence case.
-  // Seat-fallback may taint status; base semantics still require case binding.
   if (
     extracted.output !== undefined &&
-    seatFallbackBaseStatus(String(extracted.output.status)) === "completed"
+    (String(extracted.output.status)) === "completed"
   ) {
     const completedCase = (
       extracted.output as {
@@ -3466,7 +3454,7 @@ function mergerDecisiveFacts(output: MergerOutput): Record<string, unknown> {
   if (attemptId.readable && attemptId.value !== undefined) facts.attemptId = attemptId.value;
   const statusBase =
     status.readable && typeof status.value === "string"
-      ? seatFallbackBaseStatus(status.value)
+      ? (status.value)
       : undefined;
   const decisiveKey = statusBase === "completed" ? "mergeCommitId" : "diagnosis";
   const decisive = safelyRead(candidate, decisiveKey);

package/src/reviewer-role.ts

@@ -7,10 +7,6 @@ export type { CanonicalSkillBinding };
 import { disposeComplianceDecision } from "./audit-escalation.ts";
 import type { ComplianceDecision } from "./compliance-transport.ts";
 import { appendActiveSessionCustomEntry } from "./compliance-transport.ts";
-import {
-  readActivationEngineLaborFallbackField,
-  withEngineLaborFallbackField,
-} from "./engine-labor-fallback.ts";
 import { REVIEWER_CANDIDATE_ENTRY_TYPE } from "./dossier-resolution.ts";
 import { type ReviewerSpecDisposition } from "./reviewer-construction.ts";
 import { createReviewerDispatcher, type AcceptedReviewerDispatch, type AcceptedReviewerExecution, type ReviewerIssueFetcher, type ReviewerPinnedGitReader } from "./reviewer-dispatch.ts";
@@ -160,15 +156,11 @@ export function createReviewerRoleRuntime(
             const output = validateReviewerIntent(parameters);
             let record: ReviewerExecutionRecord;
             try { record = ledger.recordForAudit(output.status); } catch (error) { if ((error as any)?.fatalReviewerInfrastructure) hostActions.failInfrastructure(error, toolCtx, id); throw error; }
-            const candidate = withEngineLaborFallbackField(
-              assembleRuntimeReviewerReceipt({
+            const candidate = assembleRuntimeReviewerReceipt({
                 intent: output,
                 record,
                 canonicalSkillText: binding.snapshot.raw,
-              }),
-              // #380: sole-built declaration when any leg detour fell back to seat labor.
-              readActivationEngineLaborFallbackField(),
-            );
+              });
             // First-record-then-audit: candidate lands on the parent session books
             // before the auditor is spawned (zero hand-delivery).
             try {

package/src/role-runtime.ts

@@ -23,13 +23,6 @@ import {
 } from "./tool-execution-observation.ts";
 import { ENGINE_DETOUR_TOOL_NAME } from "./engine-detour.ts";
 import { registerEngineDetourTool } from "./engine-detour-tool.ts";
-import {
-  createEngineLaborFallbackLatch,
-  installActivationEngineLaborFallbackLatch,
-  restoreEngineLaborFallbackFromSessionEntries,
-  seatFallbackBaseStatus,
-  seatFallbackStatusHasLawfulEvidence,
-} from "./engine-labor-fallback.ts";
 import { createReceiptDeliveryPolicy, NO_RECEIPT_LIFECYCLE_ENTRY_TYPE, RECEIPT_DELIVERY_PROMPT } from "./receipt-delivery-policy.ts";
 import { createOAuthKeepalive, type OAuthKeepaliveOptions } from "./oauth-keepalive.ts";
 
@@ -614,12 +607,7 @@ export function publicNavigatorSettlement(role: string, phase: NavigatorPhase, e
   const status = typeof details.status === "string"
     ? details.status
     : typeof details.judgeStatus === "string" ? details.judgeStatus : undefined;
-  // ADR 0071: `-by-fallback` without latch-shaped evidence is not a lawful terminal.
-  if (status !== undefined && !seatFallbackStatusHasLawfulEvidence(status, event.details)) {
-    return undefined;
-  }
-  // Seat-fallback taint keeps escalate semantics (base) while preserving the polluted token.
-  if (status !== undefined && seatFallbackBaseStatus(status) === "escalate") {
+  if (status !== undefined && status === "escalate") {
     return { kind: "human_decision", role, phase, status };
   }
   return { kind: "accepted", role, phase, ...(status === undefined ? {} : { status }) };
@@ -652,9 +640,7 @@ export function createRoleRuntimeExtension(
     const pendingInfrastructureFailures = new Map<string, PendingInfrastructureFailure>();
     // Envelope-owned execute→tool_result bridge for Gatekeeper non-pass (ADR 0018).
     const pendingGatekeeperNonPassByToolCallId = new Map<string, GatekeeperNonPassResult>();
-    // #357 T2 / #378 / #380 / #391: engine detour once-latch + seat-fallback latch (any role+engine).
     let engineDetourRegistration: ReturnType<typeof registerEngineDetourTool> | undefined;
-    let engineLaborFallbackLatch = createEngineLaborFallbackLatch();
     // #288 primary-session thin adapter. The policy is the sole budget owner;
     // terminating-tool rejections and mechanical delivery requests share two turns.
     let receiptDelivery = createReceiptDeliveryPolicy();
@@ -1140,18 +1126,6 @@ export function createRoleRuntimeExtension(
       pendingNavigatorSettlement = undefined;
       pendingInfrastructureFailures.clear();
       pendingGatekeeperNonPassByToolCallId.clear();
-      engineLaborFallbackLatch = createEngineLaborFallbackLatch();
-      // #380 resume: restore sole-built fallback from durable same-session detour results.
-      const sessionEntries =
-        typeof ctx.sessionManager?.getEntries === "function"
-          ? ctx.sessionManager.getEntries()
-          : [];
-      restoreEngineLaborFallbackFromSessionEntries(
-        engineLaborFallbackLatch,
-        sessionEntries,
-        ENGINE_DETOUR_TOOL_NAME,
-      );
-      installActivationEngineLaborFallbackLatch(engineLaborFallbackLatch);
       engineDetourRegistration?.resetLatch();
       navigatorWorkContext = undefined;
       // #351: OAuth keepalive is orthogonal to --ak-role; start before role early-return
@@ -1267,7 +1241,6 @@ export function createRoleRuntimeExtension(
         await executeActivationStage(entry.role, activationStage(entry.role, runtime), { clock, writeTrace });
         // #357 T2 / #378 / #380 / #391: any role+engine activation registers the package detour tool once.
         // Gate is env presence only — no per-engine execute branch; no role-module spawn.
-        // Seat-fallback latch is activation-scoped (installed at session_start) so legs share it.
         if (engineDetourRegistration === undefined) {
           engineDetourRegistration = registerEngineDetourTool(pi, hostActions);
           if (!engineDetourRegistration.registered) {