@akagilnc/pi-workflow-roles 0.1.3652 → 0.1.3663

package/dist/public-cli/case-dossier-delivery.js

@@ -0,0 +1,43 @@
+/**
+ * 系统随案递送本票起居录的中立指针段（ADR 0081 `automatic-case-material`；
+ * 指针输入沿 ADR 0079 `summons-pointer-input`，不把卷宗正文塞进提示词）。
+ * 只读已有案卷：不刷新、不生成、不校验内容、不新增拒收或停工条件。
+ * 机器文本仅中立标识材料（ADR 0073），用途说明归角色材料所有。
+ */
+import { stat } from "node:fs/promises";
+import { resolveTicketProvenanceVolume } from "../ticket-provenance.js";
+/** Section heading of the system-delivered dossier pointer. */
+export const CASE_DOSSIER_SECTION_HEADING = "## 本票起居录（系统随案提供）";
+/** Honest one-line state of one dossier file: present, absent, or unreadable. */
+async function describeDossierFile(path) {
+    try {
+        const stats = await stat(path);
+        if (!stats.isFile())
+            return `不可读（非普通文件）：${path}`;
+        return path;
+    }
+    catch (error) {
+        const code = error.code;
+        if (code === "ENOENT")
+            return `尚未生成：${path}`;
+        return `不可读（${code ?? "未知错误"}）：${path}`;
+    }
+}
+/**
+ * Pointer section for a bound ticket's existing 起居录, or undefined when the
+ * run carries no ticket identity (unbound calls stay legal and get no dossier).
+ * A bound ticket whose volume is missing or unreadable is stated as such —
+ * the section never claims a dossier that is not there.
+ */
+export async function projectCaseDossierPointerSection(input) {
+    if (input.ticketNumber === undefined)
+        return undefined;
+    const volume = resolveTicketProvenanceVolume(input.ticketNumber, input.projectRoot, input.home);
+    return [
+        CASE_DOSSIER_SECTION_HEADING,
+        "",
+        `票号：#${input.ticketNumber}`,
+        `人读视图：${await describeDossierFile(volume.humanViewFile)}`,
+        `记录卷宗：${await describeDossierFile(volume.recordFile)}`,
+    ].join("\n");
+}

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

@@ -1,6 +1,6 @@
 import { engineSessionMaterialFromOptions } from "../package-resources/engine-material.js";
 import { CliUsageError } from "./cli-errors.js";
-import { applyInstructionTicketProbe, probeInstructionTicket, tryResumeSameTicketSeatRun, } from "./seat-ticket-binding.js";
+import { bindReusedTicketNumber, resolveKnownTicketNumber, tryResumeSameTicketSeatRun, } from "./seat-ticket-binding.js";
 import { admitInspectorInvocation, buildInspectorTransportPrompt, } from "./invocation.js";
 import { prepareSummonsResumeMaterials, runPostAdmissionOneShot, runPostAdmissionSeatResume, resumeTurnRequestProjectionOptions, } from "./post-admission.js";
 import { loadResumableInspectorRun, markRunAdmitted, parentRunPathFromGatePointerInstruction, } from "./run-lifecycle.js";
@@ -27,11 +27,14 @@ export async function runPublicInspector(argv, env, io, parseInspectorArgv) {
         throw error;
     }
     // #747: same parent (卷宗指针) → resume prior inspector run with this summons' materials.
-    // Probe captures DiaristTicketResolutionError so admit+beforeDispatch can settle
-    // controlled failure (bare pre-admit throw skips terminal settlement).
+    // #709: ticket identity is reused from records this book already holds — no seat model call.
     // No bare catch→fresh: lookup/resume failures surface; only true absence mints new.
     const projectRoot = parsed.project ?? env.cwd;
-    const ticketProbe = await probeInstructionTicket(parsed.instruction, projectRoot, env);
+    const reusedTicketNumber = await resolveKnownTicketNumber({
+        instruction: parsed.instruction,
+        projectRoot,
+        home: env.home,
+    });
     const parentRunPath = parentRunPathFromGatePointerInstruction(parsed.instruction);
     if (parentRunPath !== undefined) {
         const summons = {
@@ -99,8 +102,8 @@ export async function runPublicInspector(argv, env, io, parseInspectorArgv) {
         request: turnRequest,
         adapters: inspectorAdapters({
             beforeDispatch: async (admittedSeat) => {
-                // #635/#637: apply pre-admit probe inside controlled-failure boundary.
-                await applyInstructionTicketProbe(admittedSeat, ticketProbe);
+                // #635/#709: bind the reused identity inside the controlled-failure boundary.
+                await bindReusedTicketNumber(admittedSeat, reusedTicketNumber);
             },
         }),
         ...(env.engine === undefined ? {} : { effectiveEngine: env.engine }),

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

@@ -4,7 +4,7 @@ import { CliUsageError } from "./cli-errors.js";
 import { admitAuditorInvocation, admitGatekeeperInvocation, admitNavigatorInvocation, bindAdmittedTicketNumber, buildInstructionTransportPrompt, persistAdmittedSourceRunPath, } from "./invocation.js";
 import { prepareSummonsResumeMaterials, runPostAdmissionOneShot, runPostAdmissionSeatResume, resumeTurnRequestProjectionOptions, } from "./post-admission.js";
 import { loadResumableInstructionSeatRun, markRunAdmitted, } from "./run-lifecycle.js";
-import { applyInstructionTicketProbe, probeInstructionTicket, ticketNumberFromProbe, tryResumeSameTicketSeatRun, } from "./seat-ticket-binding.js";
+import { bindReusedTicketNumber, resolveKnownTicketNumber, tryResumeSameTicketSeatRun, } from "./seat-ticket-binding.js";
 import { presentStructuralRejection, readEngineDetourInfrastructureFailure, trySettleAuditorTerminalResult, trySettleGatekeeperTerminalResult, trySettleNavigatorTerminalResult, } from "./settlement.js";
 import { projectRoleTurnRequest, } from "./turn-request.js";
 /** Project an admitted instruction-seat invocation onto the host-neutral turn request. */
@@ -119,10 +119,10 @@ export async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
     let auditorSubject;
     let auditorSourceRun;
     let auditorSourceTicket;
-    let ticketProbe;
+    let reusedTicketNumber;
     // #637 / #747: resume prior seat run with this summons' materials.
     // Auditor (#747): parent --source-run path is the lookup key.
-    // Other instruction seats: ticket probe (inspector face). No bare catch→fresh.
+    // Other instruction seats: reuse known ticket (#709). No bare catch→fresh.
     const projectRoot = parsed.project ?? env.cwd;
     if (role === "auditor") {
         if (parsed.subject !== "judge" && parsed.subject !== "doctor") {
@@ -151,8 +151,11 @@ export async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
         }
     }
     else {
-        // Inspector face: unconditional probe (same seam as inspector-run.ts).
-        ticketProbe = await probeInstructionTicket(parsed.instruction, projectRoot, env);
+        reusedTicketNumber = await resolveKnownTicketNumber({
+            instruction: parsed.instruction,
+            projectRoot,
+            home: env.home,
+        });
     }
     const summons = {
         instruction: parsed.instruction,
@@ -176,21 +179,18 @@ export async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
         if (resumed !== undefined)
             return resumed;
     }
-    else {
-        const probedTicketNumber = ticketProbe === undefined ? undefined : ticketNumberFromProbe(ticketProbe);
-        if (probedTicketNumber !== undefined) {
-            const resumed = await tryResumeSameTicketSeatRun({
-                home: env.home,
-                projectRoot,
-                role,
-                ticketNumber: probedTicketNumber,
-                freshSummons: env.freshSummons,
-                summons,
-                resume: (runId, materials) => runPublicInstructionSeatResume({ runId, ...(materials === undefined ? {} : { summons: materials }) }, env, io),
-            });
-            if (resumed !== undefined)
-                return resumed;
-        }
+    else if (reusedTicketNumber !== undefined) {
+        const resumed = await tryResumeSameTicketSeatRun({
+            home: env.home,
+            projectRoot,
+            role,
+            ticketNumber: reusedTicketNumber,
+            freshSummons: env.freshSummons,
+            summons,
+            resume: (runId, materials) => runPublicInstructionSeatResume({ runId, ...(materials === undefined ? {} : { summons: materials }) }, env, io),
+        });
+        if (resumed !== undefined)
+            return resumed;
     }
     let admitted;
     try {
@@ -248,14 +248,14 @@ export async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
                 request: turnRequest,
                 adapters: instructionSeatAdapters({
                     beforeDispatch: async (admittedSeat) => {
-                        // #635/#637: ticket bind inside controlled-failure boundary.
+                        // #635/#709: ticket bind inside controlled-failure boundary.
                         // Auditor inherits source-run ticket (notary face).
-                        // Other seats: same applyInstructionTicketProbe as inspector-run.
+                        // Other seats: reuse known ticket identity.
                         if (auditorSourceTicket !== undefined) {
                             await bindAdmittedTicketNumber(admittedSeat, auditorSourceTicket);
                         }
-                        else if (ticketProbe !== undefined) {
-                            await applyInstructionTicketProbe(admittedSeat, ticketProbe);
+                        else {
+                            await bindReusedTicketNumber(admittedSeat, reusedTicketNumber);
                         }
                     },
                 }),

package/dist/public-cli/invocation.js

@@ -146,16 +146,13 @@ export async function persistAdmittedSourceRunPath(admitted, sourceRunPath) {
 /**
  * Bind a post-admission resolved ticketNumber onto the in-memory admitted
  * object and both durable pages (invocation.json + admitted-request.json).
- * Used by seat LLM ticket binding when admission was unbound
- * (#635 / #582 diarist-resolves-ticket-llm-layer). Never clears an existing binding.
+ * Used by known-ticket reuse when admission was unbound (#635 / #709).
+ * Never clears an existing binding.
  */
 export async function bindAdmittedTicketNumber(admitted, ticketNumber) {
     if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1) {
         throw new Error(`bindAdmittedTicketNumber requires a safe positive integer, got ${String(ticketNumber)}`);
     }
-    if (admitted.ticketResolution === "true-unbound") {
-        throw new Error("bindAdmittedTicketNumber refuses to replace durable true-unbound ticket resolution");
-    }
     if (admitted.ticketNumber !== undefined) {
         if (admitted.ticketNumber === ticketNumber)
             return;
@@ -167,25 +164,6 @@ export async function bindAdmittedTicketNumber(admitted, ticketNumber) {
     const current = JSON.parse(await readFile(admittedPath, "utf8"));
     await writeFile(admittedPath, `${JSON.stringify({ ...current, ticketNumber }, null, 2)}\n`, "utf8");
 }
-/**
- * Persist seat LLM true-unbound conclusion onto in-memory admitted + both durable
- * pages so later auto-resume attempts and manual resume never re-enter hermes (#635).
- */
-export async function recordTrueUnboundTicketResolution(admitted) {
-    if (admitted.ticketNumber !== undefined) {
-        throw new Error(`recordTrueUnboundTicketResolution refuses to overwrite ticket #${admitted.ticketNumber}`);
-    }
-    if (admitted.ticketResolution === "true-unbound")
-        return;
-    admitted.ticketResolution =
-        "true-unbound";
-    await mergeInvocationIdentityPage(admitted.runDirectory, {
-        ticketResolution: "true-unbound",
-    });
-    const admittedPath = admitted.admittedRequestPath;
-    const current = JSON.parse(await readFile(admittedPath, "utf8"));
-    await writeFile(admittedPath, `${JSON.stringify({ ...current, ticketResolution: "true-unbound" }, null, 2)}\n`, "utf8");
-}
 /** Add the identity returned by the production Pi launch seam to its existing ledger page. */
 export async function recordLaunchedPiIdentity(runDirectory, identity) {
     await mergeInvocationIdentityPage(runDirectory, {