@akagilnc/pi-workflow-roles 0.1.5295 → 0.1.5301

package/dist/migrate-book-topology.js

@@ -243,81 +243,6 @@ var init_collector_config = __esm({
   }
 });
 
-// src/ticket-provenance-contracts.ts
-function isRecord(value2) {
-  return typeof value2 === "object" && value2 !== null && !Array.isArray(value2);
-}
-function positiveInteger(value2) {
-  if (typeof value2 === "number" && Number.isSafeInteger(value2) && value2 >= 1) return value2;
-  if (typeof value2 === "string" && /^[1-9][0-9]*$/.test(value2)) {
-    const parsed2 = Number(value2);
-    if (Number.isSafeInteger(parsed2)) return parsed2;
-  }
-  return void 0;
-}
-function projectBound(value2) {
-  if (!isRecord(value2)) return void 0;
-  const id = typeof value2.id === "string" && value2.id !== "" ? value2.id : void 0;
-  const line = positiveInteger(value2.line);
-  if (id === void 0 && line === void 0) return void 0;
-  return { ...id === void 0 ? {} : { id }, ...line === void 0 ? {} : { line } };
-}
-function projectTicketProvenanceSessions(value2) {
-  if (!Array.isArray(value2)) return void 0;
-  if (value2.length === 0) return [];
-  const sessions = [];
-  for (const raw of value2) {
-    if (!isRecord(raw)) return void 0;
-    const path8 = raw.path;
-    if (typeof path8 !== "string" || path8.trim() === "") return void 0;
-    if (!Array.isArray(raw.ranges) || raw.ranges.length === 0) return void 0;
-    const ranges = [];
-    for (const rawRange of raw.ranges) {
-      if (!isRecord(rawRange)) return void 0;
-      const from = projectBound(rawRange.from);
-      const to = projectBound(rawRange.to);
-      if (from === void 0 || to === void 0) return void 0;
-      ranges.push({ from, to });
-    }
-    sessions.push({ path: path8, ranges });
-  }
-  return sessions;
-}
-function projectTicketProvenanceHeader(value2) {
-  if (!isRecord(value2)) return void 0;
-  const ticket = value2.ticket === null ? null : positiveInteger(value2.ticket);
-  if (ticket === void 0) return void 0;
-  if (typeof value2.repo !== "string") return void 0;
-  if (typeof value2.createdAt !== "string" || typeof value2.updatedAt !== "string") {
-    return void 0;
-  }
-  const sessions = projectTicketProvenanceSessions(value2.sessions);
-  if (sessions === void 0) return void 0;
-  return {
-    repo: value2.repo,
-    ticket,
-    createdAt: value2.createdAt,
-    updatedAt: value2.updatedAt,
-    sessions
-  };
-}
-var init_ticket_provenance_contracts = __esm({
-  "src/ticket-provenance-contracts.ts"() {
-    "use strict";
-  }
-});
-
-// src/diarist-contracts.ts
-var DIARIST_OUTPUT_TOOL_NAME;
-var init_diarist_contracts = __esm({
-  "src/diarist-contracts.ts"() {
-    "use strict";
-    init_ticket_provenance_contracts();
-    init_run_ticket_number();
-    DIARIST_OUTPUT_TOOL_NAME = "ak_diarist_output";
-  }
-});
-
 // node_modules/.pnpm/typebox@1.3.8/node_modules/typebox/build/system/memory/metrics.mjs
 var Metrics;
 var init_metrics = __esm({
@@ -13879,6 +13804,81 @@ var init_auditor_output = __esm({
   }
 });
 
+// src/ticket-provenance-contracts.ts
+function isRecord(value2) {
+  return typeof value2 === "object" && value2 !== null && !Array.isArray(value2);
+}
+function positiveInteger(value2) {
+  if (typeof value2 === "number" && Number.isSafeInteger(value2) && value2 >= 1) return value2;
+  if (typeof value2 === "string" && /^[1-9][0-9]*$/.test(value2)) {
+    const parsed2 = Number(value2);
+    if (Number.isSafeInteger(parsed2)) return parsed2;
+  }
+  return void 0;
+}
+function projectBound(value2) {
+  if (!isRecord(value2)) return void 0;
+  const id = typeof value2.id === "string" && value2.id !== "" ? value2.id : void 0;
+  const line = positiveInteger(value2.line);
+  if (id === void 0 && line === void 0) return void 0;
+  return { ...id === void 0 ? {} : { id }, ...line === void 0 ? {} : { line } };
+}
+function projectTicketProvenanceSessions(value2) {
+  if (!Array.isArray(value2)) return void 0;
+  if (value2.length === 0) return [];
+  const sessions = [];
+  for (const raw of value2) {
+    if (!isRecord(raw)) return void 0;
+    const path8 = raw.path;
+    if (typeof path8 !== "string" || path8.trim() === "") return void 0;
+    if (!Array.isArray(raw.ranges) || raw.ranges.length === 0) return void 0;
+    const ranges = [];
+    for (const rawRange of raw.ranges) {
+      if (!isRecord(rawRange)) return void 0;
+      const from = projectBound(rawRange.from);
+      const to = projectBound(rawRange.to);
+      if (from === void 0 || to === void 0) return void 0;
+      ranges.push({ from, to });
+    }
+    sessions.push({ path: path8, ranges });
+  }
+  return sessions;
+}
+function projectTicketProvenanceHeader(value2) {
+  if (!isRecord(value2)) return void 0;
+  const ticket = value2.ticket === null ? null : positiveInteger(value2.ticket);
+  if (ticket === void 0) return void 0;
+  if (typeof value2.repo !== "string") return void 0;
+  if (typeof value2.createdAt !== "string" || typeof value2.updatedAt !== "string") {
+    return void 0;
+  }
+  const sessions = projectTicketProvenanceSessions(value2.sessions);
+  if (sessions === void 0) return void 0;
+  return {
+    repo: value2.repo,
+    ticket,
+    createdAt: value2.createdAt,
+    updatedAt: value2.updatedAt,
+    sessions
+  };
+}
+var init_ticket_provenance_contracts = __esm({
+  "src/ticket-provenance-contracts.ts"() {
+    "use strict";
+  }
+});
+
+// src/diarist-contracts.ts
+var DIARIST_OUTPUT_TOOL_NAME;
+var init_diarist_contracts = __esm({
+  "src/diarist-contracts.ts"() {
+    "use strict";
+    init_ticket_provenance_contracts();
+    init_run_ticket_number();
+    DIARIST_OUTPUT_TOOL_NAME = "ak_diarist_output";
+  }
+});
+
 // src/secretariat-contracts.ts
 var SECRETARIAT_OUTPUT_TOOL_NAME;
 var init_secretariat_contracts = __esm({
@@ -15791,7 +15791,6 @@ var init_invocation = __esm({
     init_run_ticket_number();
     init_role_run_relocation();
     init_doctor_evidence();
-    init_diarist_contracts();
     init_collector_config();
     init_github_remote();
     init_fixer_packet();
@@ -15856,7 +15855,6 @@ var init_run_lifecycle = __esm({
     init_typed_provider_http();
     init_typed_provider_http();
     init_collector_config();
-    init_diarist_contracts();
     init_role_run_relocation();
     init_engine_material();
     init_packaged_role_registry();

package/dist/public-cli/countersign-run.js

@@ -1,7 +1,4 @@
-import { projectCourtTicketNumbers } from "../diarist-contracts.js";
 import { readableGateItem } from "../readable-gate-item.js";
-import { isSafePositiveTicketNumber } from "../run-ticket-number.js";
-import { StationChildExhaustedError, } from "./post-admission.js";
 function isRecord(value) {
     return typeof value === "object" && value !== null && !Array.isArray(value);
 }
@@ -52,50 +49,6 @@ function courtDiaristEscalateDiagnostic(roleOutcome, submissions) {
         currentConclusion: escalatePayloads[escalatePayloads.length - 1],
     })}`;
 }
-/**
- * Read #871 set from preserved diarist payloads.
- * - Field absent / null / non-array → undefined (no new set; resume keeps store).
- * - Explicit [] → single-ticket [main] whole-set replace (signed empty-set contract).
- * - Non-empty array with zero lawful typed members after projection → not a new set
- *   (do not impersonate explicit empty and wipe a stored multi-ticket fact).
- * - Non-empty array with ≥1 lawful member → sole type/dedupe projection + principal guarantee.
- * - Multiple submissions: last qualifying set wins.
- * Live path never shape-rejects the role turn; durable damage is a separate seam.
- */
-export function courtTicketNumbersFromOutcome(roleOutcome, principalTicket, submissions) {
-    if (roleOutcome === undefined)
-        return undefined;
-    const payloads = courtDiaristPayloadRows(roleOutcome, submissions);
-    let latest;
-    for (const payload of payloads) {
-        if (typeof payload !== "object" ||
-            payload === null ||
-            Array.isArray(payload)) {
-            continue;
-        }
-        const record = payload;
-        if (!Object.hasOwn(record, "courtTicketNumbers"))
-            continue;
-        const raw = record.courtTicketNumbers;
-        // Only a real array is a candidate set. Non-array is not explicit empty.
-        if (!Array.isArray(raw))
-            continue;
-        // Members only — do not inject principal yet, or all-invalid non-empty becomes [main].
-        const members = projectCourtTicketNumbers(raw);
-        if (members === null)
-            continue;
-        if (members.length === 0) {
-            // Literal [] is the intentional principal-only replace; non-empty garbage is not.
-            if (raw.length === 0) {
-                latest =
-                    projectCourtTicketNumbers([], { principalTicket }) ?? undefined;
-            }
-            continue;
-        }
-        latest = projectCourtTicketNumbers(raw, { principalTicket }) ?? undefined;
-    }
-    return latest;
-}
 /** Latest payload only. An earlier escalate must not block a later non-escalate submission. */
 export function latestPayloadEscalated(roleOutcome) {
     if (roleOutcome === undefined)
@@ -119,14 +72,11 @@ export function courtDiaristEscalated(roleOutcome) {
 }
 /**
  * Invoke public 起居郎 under the court-pipeline quiet face.
- * Returns typed identity: ticket assertion, true-unbound, or escalate.
- * Non-zero exit without escalate status is not rethrown here — caller decides
- * whether refresh must fail or first-entry settles controlled failure.
- * When `boundTicketNumber` is set (typed handoff from countersign), diarist
- * binds under that key before the turn — never mechanical recognition from prose.
+ * Returns escalate or unbound; the secretariat needs no ticket handoff.
+ * Non-zero exit without escalate status is not rethrown here — caller settles controlled failure.
  */
 export async function invokeCourtDiarist(input, env, io) {
-    // Quiet face: the countersign caller must not see diarist CLI chatter.
+    // Quiet face: the secretariat caller must not see diarist CLI chatter.
     const quietIo = {
         stdout() { },
         stderr(text) {
@@ -155,9 +105,6 @@ export async function invokeCourtDiarist(input, env, io) {
         ...(input.correlationId === undefined
             ? {}
             : { correlationId: input.correlationId }),
-        ...(input.boundTicketNumber === undefined
-            ? {}
-            : { boundTicketNumber: input.boundTicketNumber }),
         // Child seat selects from the composition-root table. Do not pass the
         // already-selected parent adapter (#840 / ADR 0082: --host 旗标>席位配置>缺省 pi).
         ...(env.hostAdapters === undefined
@@ -190,76 +137,8 @@ export async function invokeCourtDiarist(input, env, io) {
             },
         };
     }
-    const asserted = result.admitted
-        ?.ticketNumber;
-    if (isSafePositiveTicketNumber(asserted)) {
-        const courtTicketNumbers = courtTicketNumbersFromOutcome(roleOutcome, asserted, submissions);
-        return {
-            identity: {
-                kind: "ticket",
-                ticketNumber: asserted,
-                ...(courtTicketNumbers === undefined ? {} : { courtTicketNumbers }),
-            },
-            ...(result.admitted === undefined ? {} : { admitted: result.admitted }),
-        };
-    }
     return {
         identity: { kind: "unbound" },
         ...(result.admitted === undefined ? {} : { admitted: result.admitted }),
     };
 }
-/**
- * Court-pipeline prior station: refresh this ticket's 起居录 before the
- * countersign body turn when already bound (ADR 0075 每次过庭都跑)。
- * Caller-invisible — no diarist argv on the countersign command line.
- *
- * Missing ticketNumber (true-unbound / identity deferred) skips the refresh
- * station — no diary is minted for a true-unbound run. First-entry identity
- * lives on the shared countersign entry (typed 起居郎 key for bind). Bound refresh:
- * technical failure propagates; LLM escalation remains a recorded conclusion.
- * Path delivery onto materials is not this station's job — post-admission owns it.
- */
-export async function runCountersignCourtDiaristStation(admitted, env, io, afterTicketNumber) {
-    if (env.runCourtDiaristStation !== undefined) {
-        await env.runCourtDiaristStation(admitted);
-        return;
-    }
-    // Production court refresh (ADR 0075: 每次过庭都跑是调用者用法) only under a known ticket identity.
-    // First-entry unbound identity is owned by the shared countersign entry.
-    if (admitted.ticketNumber === undefined)
-        return;
-    // #871: refresh every member of the typed co-review set; single-ticket face
-    // is just the set [main]. Present-but-empty / missing-principal is damage —
-    // never silently fall back to main-only (legacy absent field still may).
-    let refreshTickets;
-    if (admitted.courtTicketNumbers !== undefined) {
-        if (admitted.courtTicketNumbers.length === 0 ||
-            !admitted.courtTicketNumbers.includes(admitted.ticketNumber)) {
-            throw new StationChildExhaustedError(`court diarist station: courtTicketNumbers is damaged (empty or missing principal #${admitted.ticketNumber})`);
-        }
-        refreshTickets = admitted.courtTicketNumbers;
-    }
-    else {
-        refreshTickets = [admitted.ticketNumber];
-    }
-    const completedIndex = afterTicketNumber === undefined ? -1 : refreshTickets.indexOf(afterTicketNumber);
-    for (const ticketNumber of refreshTickets.slice(completedIndex + 1)) {
-        const outcome = await invokeCourtDiarist({
-            instruction: admitted.instruction,
-            projectRoot: admitted.projectRoot,
-            failureLabel: `ticket #${ticketNumber}`,
-            correlationId: admitted.runId,
-            // Refresh holds a typed key — hand it off so identity is bound before turn.
-            boundTicketNumber: ticketNumber,
-        }, env, io);
-        if (outcome.failedWithoutEscalate !== undefined) {
-            throw new StationChildExhaustedError(outcome.failedWithoutEscalate.diagnostic);
-        }
-        if (outcome.identity.kind === "escalate" && outcome.terminal !== undefined) {
-            return {
-                terminal: outcome.terminal,
-                ...(outcome.admitted === undefined ? {} : { childRunId: outcome.admitted.runId }),
-            };
-        }
-    }
-}

package/dist/public-cli/instruction-seat-run.js

@@ -1,8 +1,7 @@
 /**
  * One public role run: admit → turn request → post-admission → settle.
  * Seat differences are composition-root fields. An omitted reviewer lens
- * starts two ordinary single-axis runs here. Countersign keeps deferred
- * identity on this entry; the court diarist station stays in countersign-run.
+ * starts two ordinary single-axis runs here.
  */
 import { dirname, resolve, sep } from "node:path";
 import { AUDITOR_DOSSIER_PROMPT } from "../compliance-transport.js";
@@ -25,7 +24,7 @@ import { engineSessionMaterialFromOptions, pickEngineAxis } from "../package-res
 import { packagedAdmitsCountersign, packagedBindsBoardTicket, packagedRebindSourceOnResume, packagedRoleMetadata, } from "../packaged-role-registry.js";
 import { isAuditorSoulRole, readAuditorResumeBinding } from "../auditor-soul.js";
 import { CliUsageError } from "./cli-errors.js";
-import { admitPublicRole, bindAdmittedTicketNumber, bindCourtTicketNumbersOnAdmitted, buildInstructionTransportPrompt, materializeCountersignInvocation, persistAdmittedSourceRunPath, recordAdmittedCorrelation, recordChildDiaristRun, relocateAdmittedRunToTicket, withPreparedAttachments, } from "./invocation.js";
+import { admitPublicRole, bindAdmittedTicketNumber, buildInstructionTransportPrompt, materializeCountersignInvocation, persistAdmittedSourceRunPath, recordAdmittedCorrelation, recordChildDiaristRun, relocateAdmittedRunToTicket, withPreparedAttachments, } from "./invocation.js";
 import { presentControlledFailure, prepareSummonsResumeMaterials, roleTurnOptions, runPostAdmissionOneShot, runPostAdmissionResumable, runPostAdmissionSeatResume, showResumeErrorPointer, resumeTurnRequestProjectionOptions, } from "./post-admission.js";
 import { buildAutoResumeContinuationPrompt, loadResumablePublicRole, markRunAdmitted, parentRunPathFromGatePointerInstruction, } from "./run-lifecycle.js";
 import { tryResumeSameTicketSeatRun } from "./seat-ticket-binding.js";
@@ -33,7 +32,7 @@ import { presentStructuralRejection, readBoundSessionEntries, seatKnownFailureRe
 import { warnMissingMethodSkills } from "./machine-method-skills.js";
 import { formatTerminalResult, isLawfulTypedTerminalOutcome, } from "./terminal.js";
 import { admittedSeatTurnDetails, projectRoleTurnRequest, requiredMethodSkills, } from "./turn-request.js";
-import { invokeCourtDiarist, latestPayloadEscalated, runCountersignCourtDiaristStation, } from "./countersign-run.js";
+import { invokeCourtDiarist, latestPayloadEscalated, } from "./countersign-run.js";
 const AUDITED_ROLES = new Set(["judge", "fixer", "coder", "secretariat", "countersign", "doctor"]);
 const SECRETARIAT_STATUS_REASK = "secretariatStatus 不是 converged、escalate 之一。请重新交卷，secretariatStatus 写明其一。";
 const COUNTERSIGN_STATUS_REASK = "status 不是 converged、continue、escalate 三态之一。请重新交卷，status 写明其一。";
@@ -312,8 +311,7 @@ async function runOmittedLensBatch(argv, parsed, env, io) {
 }
 /**
  * Countersign on the shared entry: gate parent resume, deferred materialization,
- * 起居郎 identity, then the same one-shot settlement as every other seat.
- * Court refresh stays on runCountersignCourtDiaristStation.
+ * then the same one-shot settlement as every other seat.
  */
 async function runCountersignBody(parsed, env, io) {
     const gateParentRunPath = typeof env.parentRunPath === "string" && env.parentRunPath.trim() !== ""
@@ -359,85 +357,12 @@ async function runCountersignBody(parsed, env, io) {
                     ...(ticketNumber === undefined ? {} : { ticketNumber }),
                 });
             };
-            let typedTicket;
-            let typedCourtTicketNumbers;
-            let identityDiaristRan = false;
-            let childDiaristRunId;
-            let pausedDiaristTerminal;
-            if (gateParentRunPath === undefined && env.runCourtDiaristStation === undefined) {
-                let outcome;
-                try {
-                    outcome = await invokeCourtDiarist({
-                        instruction: parsed.instruction ?? "",
-                        projectRoot: admitted.projectRoot,
-                        failureLabel: "unbound summons",
-                        correlationId: admitted.runId,
-                        ...(env.boundTicketNumber === undefined ? {} : { boundTicketNumber: env.boundTicketNumber }),
-                    }, env, io);
-                }
-                catch (error) {
-                    await materializeAdmission(isSafePositiveTicketNumber(env.boundTicketNumber) ? env.boundTicketNumber : undefined);
-                    await markRunAdmitted(admitted, env.principalAuthority);
-                    return await presentControlledFailure(admitted, {
-                        timedOut: false,
-                        code: null,
-                        stderr: "",
-                        thrown: error,
-                    }, seatAdapters(admitted, env), env.principalAuthority, io);
-                }
-                identityDiaristRan = true;
-                if (outcome.identity.kind === "escalate")
-                    pausedDiaristTerminal = outcome.terminal;
-                if (outcome.admitted?.runDirectory.includes(`${sep}unbound${sep}runs${sep}`)) {
-                    childDiaristRunId = outcome.admitted.runId;
-                }
-                if (outcome.failedWithoutEscalate !== undefined) {
-                    const diagnostic = outcome.failedWithoutEscalate.diagnostic;
-                    await materializeAdmission(isSafePositiveTicketNumber(env.boundTicketNumber) ? env.boundTicketNumber : undefined);
-                    if (childDiaristRunId !== undefined)
-                        await recordChildDiaristRun(admitted, childDiaristRunId);
-                    await markRunAdmitted(admitted, env.principalAuthority);
-                    return await presentControlledFailure(admitted, {
-                        timedOut: false,
-                        code: null,
-                        stderr: "",
-                        thrown: new Error(diagnostic),
-                    }, seatAdapters(admitted, env), env.principalAuthority, io);
-                }
-                if (outcome.identity.kind === "ticket") {
-                    typedTicket = outcome.identity.ticketNumber;
-                    typedCourtTicketNumbers = outcome.identity.courtTicketNumbers;
-                }
-            }
-            await materializeAdmission(typedTicket);
+            await materializeAdmission(isSafePositiveTicketNumber(env.boundTicketNumber) ? env.boundTicketNumber : undefined);
             await markRunAdmitted(admitted, env.principalAuthority);
-            if (childDiaristRunId !== undefined) {
-                await recordChildDiaristRun(admitted, childDiaristRunId);
-            }
-            if (pausedDiaristTerminal !== undefined) {
-                // The child already submitted its own pause; no parent turn exists yet.
-                io.stdout(formatTerminalResult(pausedDiaristTerminal));
-                return { exitCode: 0, admitted, terminal: pausedDiaristTerminal };
-            }
             if (gateParentRunPath !== undefined) {
                 await persistAdmittedSourceRunPath(admitted, gateParentRunPath);
                 admitted = { ...admitted, sourceRunPath: gateParentRunPath };
             }
-            if (identityDiaristRan && typedTicket !== undefined) {
-                try {
-                    await bindAdmittedTicketNumber(admitted, typedTicket);
-                    await relocateAdmittedRunToTicket(admitted, env.principalAuthority);
-                    await bindCourtTicketNumbersOnAdmitted(admitted, typedCourtTicketNumbers ?? [typedTicket]);
-                }
-                catch (error) {
-                    return await presentControlledFailure(admitted, {
-                        timedOut: false,
-                        code: null,
-                        stderr: "",
-                        thrown: error,
-                    }, seatAdapters(admitted, env), env.principalAuthority, io);
-                }
-            }
             const turnProjection = {
                 packageRoot: env.packageRoot,
                 home: env.home,
@@ -468,13 +393,6 @@ async function runCountersignBody(parsed, env, io) {
                     beforeDispatch: async (admittedSeat, lease) => {
                         if (!packagedAdmitsCountersign(admittedSeat.role))
                             return;
-                        if (!identityDiaristRan || typedTicket !== undefined) {
-                            const refresh = await runCountersignCourtDiaristStation(admittedSeat, env, io);
-                            if (refresh !== undefined) {
-                                io.stdout(formatTerminalResult(refresh.terminal));
-                                return refresh.terminal;
-                            }
-                        }
                         await relocateAdmittedRunToTicket(admittedSeat, env.principalAuthority, lease);
                         Object.assign(turnRequest, buildInstructionSeatTurnRequest(admittedSeat, turnProjection));
                     },
@@ -810,16 +728,6 @@ export async function continueParentAfterChild(parentRunId, child, env, io) {
         return runPublicInstructionSeatResume({ runId: parentRunId }, env, io);
     }
     const admitted = loaded.admitted;
-    // Court diarist refresh advances only after a diarist child; gate officers
-    // (notary/auditor/…) resume straight into queueConclusionFromChild (#1057).
-    if (admitted.role === "countersign" && admitted.ticketNumber !== undefined
-        && child.role === "diarist") {
-        const refresh = await runCountersignCourtDiaristStation(admitted, env, io, child.ticketNumber);
-        if (refresh !== undefined) {
-            io.stdout(formatTerminalResult(refresh.terminal));
-            return { exitCode: 0, admitted, terminal: refresh.terminal };
-        }
-    }
     const resolved = await queueConclusionFromChild(child, env, io);
     if (resolved !== undefined && "stop" in resolved)
         return resolved.stop;

package/dist/public-cli/invocation.js

@@ -14,7 +14,6 @@ import { packagedAdmittedSubject, packagedArgvResult, packagedBareToken, package
 import { isSafePositiveTicketNumber, readBoardTicketNumber, requireSafePositiveTicketNumber, } from "../run-ticket-number.js";
 import { rewriteRunDirectoryPathFields, rewriteRunDirectoryPathValue, } from "../role-run-relocation.js";
 import { loadDoctorCase, } from "../doctor-evidence.js";
-import { projectCourtTicketNumbers } from "../diarist-contracts.js";
 import { emptyCollectorManifest, loadCollectorManifest, parseCollectorPrNumber, parseCollectorRepository, } from "../collector-config.js";
 import { ownerRepoFromGitHubRemoteUrl } from "./github-remote.js";
 import { FixerPacketValidationError, parseFixerPrerequisites, } from "../package-contracts/fixer-packet.js";
@@ -197,38 +196,6 @@ export async function recordAdmittedCorrelation(admitted, correlationId) {
     mutable.correlationId = correlationId;
     mutable.correlationIds = correlationIds;
 }
-/**
- * #871: persist the typed co-review set as a countersign run fact (admitted-request +
- * invocation.json). Whole-set replace — never union with a prior set. Main ticket
- * binding stays on `ticketNumber` alone. Projection reuses the sole contract helper;
- * principal membership is mandatory.
- */
-export async function bindCourtTicketNumbersOnAdmitted(admitted, courtTicketNumbers) {
-    if (admitted.ticketNumber === undefined) {
-        throw new Error("bindCourtTicketNumbersOnAdmitted requires a bound principal ticketNumber");
-    }
-    const principal = requireSafePositiveTicketNumber(admitted.ticketNumber, "bindCourtTicketNumbersOnAdmitted principal ticketNumber");
-    // Strict write path: every member must already be a lawful number (no soft filter).
-    for (const item of courtTicketNumbers) {
-        if (!isSafePositiveTicketNumber(item)) {
-            throw new Error(`bindCourtTicketNumbersOnAdmitted requires safe positive integers, got ${String(item)}`);
-        }
-    }
-    const projected = projectCourtTicketNumbers(courtTicketNumbers, {
-        principalTicket: principal,
-    });
-    if (projected === null || projected.length === 0) {
-        throw new Error("bindCourtTicketNumbersOnAdmitted requires a non-empty ticket set");
-    }
-    const frozen = Object.freeze([...projected]);
-    const admittedPath = admitted.admittedRequestPath;
-    const current = JSON.parse(await readFile(admittedPath, "utf8"));
-    await writeFile(admittedPath, `${JSON.stringify({ ...current, courtTicketNumbers: frozen }, null, 2)}\n`, "utf8");
-    await mergeInvocationIdentityPage(admitted.runDirectory, {
-        courtTicketNumbers: frozen,
-    });
-    admitted.courtTicketNumbers = frozen;
-}
 /** File a role run under its latest typed ticket identity. */
 export async function relocateAdmittedRunToTicket(admitted, authority, heldLease) {
     if (admitted.ticketNumber === undefined || !admitted.runDirectory.includes(`${sep}unbound${sep}runs${sep}`))