@akagilnc/pi-workflow-roles 0.1.5139 → 0.1.5146

package/dist/acp-host/production-host.js

@@ -962,6 +962,7 @@ __export(run_ticket_number_exports, {
   MIGRATION_TICKET_DERIVATION_PAGE: () => MIGRATION_TICKET_DERIVATION_PAGE,
   isSafePositiveTicketNumber: () => isSafePositiveTicketNumber,
   readBoardTicketNumber: () => readBoardTicketNumber,
+  readDeclaredTicketNumber: () => readDeclaredTicketNumber,
   readMigrationDerivedTicketNumber: () => readMigrationDerivedTicketNumber,
   readRunTicketNumber: () => readRunTicketNumber,
   requireSafePositiveTicketNumber: () => requireSafePositiveTicketNumber
@@ -974,6 +975,15 @@ function isEnoent(error) {
 function isSafePositiveTicketNumber(value) {
   return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
 }
+function readDeclaredTicketNumber(value) {
+  if (isSafePositiveTicketNumber(value)) return value;
+  if (typeof value !== "string") return void 0;
+  const trimmed = value.trim();
+  const match = /^#?([1-9]\d*)(?!\.\d)(?:\b|$)/.exec(trimmed);
+  if (match === null) return void 0;
+  const ticketNumber = Number(match[1]);
+  return isSafePositiveTicketNumber(ticketNumber) ? ticketNumber : void 0;
+}
 function requireSafePositiveTicketNumber(ticketNumber, context = "ticketNumber") {
   if (!isSafePositiveTicketNumber(ticketNumber)) {
     throw new Error(
@@ -3173,7 +3183,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: Type3.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF1B\u5F52\u4F4D\u53EA\u8BFB\u672C\u5B57\u6BB5\uFF09\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]
@@ -17658,12 +17668,18 @@ async function dispatchPostAdmissionTurn(input) {
           admitted.runId,
           { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join33(admitted.runDirectory, "session", "session.jsonl") }
         );
-        const asserted = rows.filter((row) => row.kind === "accepted" && row.role === admitted.role).map((row) => row.accepted).find((payload) => {
-          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) return false;
-          const value = payload.ticketNumber;
-          return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
-        });
-        const ticketNumber = asserted === void 0 ? void 0 : asserted.ticketNumber;
+        let ticketNumber;
+        for (const row of rows) {
+          if (row.role !== admitted.role || row.kind !== "accepted" && row.kind !== "audit-escalation") {
+            continue;
+          }
+          const payload = row.accepted;
+          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) continue;
+          ticketNumber = readDeclaredTicketNumber(
+            payload.ticketNumber
+          );
+          if (ticketNumber !== void 0) break;
+        }
         if (ticketNumber !== void 0) await bindAdmittedTicketNumber(admitted, ticketNumber);
       }
       const relocation = await relocateAdmittedRunToTicket(admitted, env.principalAuthority, lease);
@@ -18482,6 +18498,7 @@ var init_post_admission = __esm({
     init_cli_errors();
     init_invocation();
     init_submission_ledger();
+    init_run_ticket_number();
     init_activation_ledger_topology();
     init_engine_material();
     init_session_identity();

package/dist/headless-host/production-host.js

@@ -969,6 +969,7 @@ __export(run_ticket_number_exports, {
   MIGRATION_TICKET_DERIVATION_PAGE: () => MIGRATION_TICKET_DERIVATION_PAGE,
   isSafePositiveTicketNumber: () => isSafePositiveTicketNumber,
   readBoardTicketNumber: () => readBoardTicketNumber,
+  readDeclaredTicketNumber: () => readDeclaredTicketNumber,
   readMigrationDerivedTicketNumber: () => readMigrationDerivedTicketNumber,
   readRunTicketNumber: () => readRunTicketNumber,
   requireSafePositiveTicketNumber: () => requireSafePositiveTicketNumber
@@ -981,6 +982,15 @@ function isEnoent(error) {
 function isSafePositiveTicketNumber(value) {
   return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
 }
+function readDeclaredTicketNumber(value) {
+  if (isSafePositiveTicketNumber(value)) return value;
+  if (typeof value !== "string") return void 0;
+  const trimmed = value.trim();
+  const match = /^#?([1-9]\d*)(?!\.\d)(?:\b|$)/.exec(trimmed);
+  if (match === null) return void 0;
+  const ticketNumber = Number(match[1]);
+  return isSafePositiveTicketNumber(ticketNumber) ? ticketNumber : void 0;
+}
 function requireSafePositiveTicketNumber(ticketNumber, context = "ticketNumber") {
   if (!isSafePositiveTicketNumber(ticketNumber)) {
     throw new Error(
@@ -2507,7 +2517,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: Type3.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF1B\u5F52\u4F4D\u53EA\u8BFB\u672C\u5B57\u6BB5\uFF09\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]
@@ -17119,12 +17129,18 @@ async function dispatchPostAdmissionTurn(input) {
           admitted.runId,
           { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join31(admitted.runDirectory, "session", "session.jsonl") }
         );
-        const asserted = rows.filter((row) => row.kind === "accepted" && row.role === admitted.role).map((row) => row.accepted).find((payload) => {
-          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) return false;
-          const value = payload.ticketNumber;
-          return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
-        });
-        const ticketNumber = asserted === void 0 ? void 0 : asserted.ticketNumber;
+        let ticketNumber;
+        for (const row of rows) {
+          if (row.role !== admitted.role || row.kind !== "accepted" && row.kind !== "audit-escalation") {
+            continue;
+          }
+          const payload = row.accepted;
+          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) continue;
+          ticketNumber = readDeclaredTicketNumber(
+            payload.ticketNumber
+          );
+          if (ticketNumber !== void 0) break;
+        }
         if (ticketNumber !== void 0) await bindAdmittedTicketNumber(admitted, ticketNumber);
       }
       const relocation = await relocateAdmittedRunToTicket(admitted, env.principalAuthority, lease);
@@ -17943,6 +17959,7 @@ var init_post_admission = __esm({
     init_cli_errors();
     init_invocation();
     init_submission_ledger();
+    init_run_ticket_number();
     init_activation_ledger_topology();
     init_engine_material();
     init_session_identity();

package/dist/migrate-book-topology.js

@@ -8199,7 +8199,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: typebox_exports.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF1B\u5F52\u4F4D\u53EA\u8BFB\u672C\u5B57\u6BB5\uFF09\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]

package/dist/package-contracts/terminating-infrastructure.js

@@ -25,7 +25,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: Type.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF1B\u5F52\u4F4D\u53EA\u8BFB\u672C\u5B57\u6BB5\uFF09\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]

package/dist/public-cli/main.js

@@ -379,6 +379,7 @@ __export(run_ticket_number_exports, {
   MIGRATION_TICKET_DERIVATION_PAGE: () => MIGRATION_TICKET_DERIVATION_PAGE,
   isSafePositiveTicketNumber: () => isSafePositiveTicketNumber,
   readBoardTicketNumber: () => readBoardTicketNumber,
+  readDeclaredTicketNumber: () => readDeclaredTicketNumber,
   readMigrationDerivedTicketNumber: () => readMigrationDerivedTicketNumber,
   readRunTicketNumber: () => readRunTicketNumber,
   requireSafePositiveTicketNumber: () => requireSafePositiveTicketNumber
@@ -391,6 +392,15 @@ function isEnoent(error) {
 function isSafePositiveTicketNumber(value) {
   return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
 }
+function readDeclaredTicketNumber(value) {
+  if (isSafePositiveTicketNumber(value)) return value;
+  if (typeof value !== "string") return void 0;
+  const trimmed = value.trim();
+  const match = /^#?([1-9]\d*)(?!\.\d)(?:\b|$)/.exec(trimmed);
+  if (match === null) return void 0;
+  const ticketNumber = Number(match[1]);
+  return isSafePositiveTicketNumber(ticketNumber) ? ticketNumber : void 0;
+}
 function requireSafePositiveTicketNumber(ticketNumber, context = "ticketNumber") {
   if (!isSafePositiveTicketNumber(ticketNumber)) {
     throw new Error(
@@ -8798,7 +8808,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: typebox_exports.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF1B\u5F52\u4F4D\u53EA\u8BFB\u672C\u5B57\u6BB5\uFF09\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]
@@ -26697,12 +26707,18 @@ async function dispatchPostAdmissionTurn(input) {
           admitted.runId,
           { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join27(admitted.runDirectory, "session", "session.jsonl") }
         );
-        const asserted = rows.filter((row) => row.kind === "accepted" && row.role === admitted.role).map((row) => row.accepted).find((payload) => {
-          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) return false;
-          const value = payload.ticketNumber;
-          return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
-        });
-        const ticketNumber = asserted === void 0 ? void 0 : asserted.ticketNumber;
+        let ticketNumber;
+        for (const row of rows) {
+          if (row.role !== admitted.role || row.kind !== "accepted" && row.kind !== "audit-escalation") {
+            continue;
+          }
+          const payload = row.accepted;
+          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) continue;
+          ticketNumber = readDeclaredTicketNumber(
+            payload.ticketNumber
+          );
+          if (ticketNumber !== void 0) break;
+        }
         if (ticketNumber !== void 0) await bindAdmittedTicketNumber(admitted, ticketNumber);
       }
       const relocation = await relocateAdmittedRunToTicket(admitted, env.principalAuthority, lease);
@@ -27521,6 +27537,7 @@ var init_post_admission = __esm({
     init_cli_errors();
     init_invocation();
     init_submission_ledger();
+    init_run_ticket_number();
     init_activation_ledger_topology();
     init_engine_material();
     init_session_identity();

package/dist/public-cli/post-admission.js

@@ -12,6 +12,7 @@ import { buildAutoResumeContinuationPrompt, findRunDirectoryById, readRoleRunSta
 import { CliUsageError } from "./cli-errors.js";
 import { bindAdmittedTicketNumber, buildInstructionTransportPrompt, freezeAttachmentsIntoRun, relocateAdmittedRunToTicket, } from "./invocation.js";
 import { readRecordedSubmissionRows } from "../submission-ledger.js";
+import { readDeclaredTicketNumber } from "../run-ticket-number.js";
 import { pathContainedIn } from "../activation-ledger-topology.js";
 import { pickEngineAxis } from "../package-resources/engine-material.js";
 import { readStoredHostSessionId, resolveHostAwareSessionAvailability, } from "../session-identity.js";
@@ -347,22 +348,27 @@ export async function dispatchPostAdmissionTurn(input) {
             };
         }
         try {
-            // #858: the first typed assertion files an unbound run. Later receipts
-            // remain untouched; this seam does not adjudicate a ticket change.
+            // #858 / #1071: the first identifiable ticketNumber field declaration
+            // files an unbound run (integer, digit string, or leading #N token).
+            // Terminal rows match settlement (#881): accepted and audit-escalation —
+            // an escalated submission still carries the original role params.
+            // Later receipts remain untouched; prose note/report is never consulted;
+            // this seam does not adjudicate a ticket change.
             if (admitted.ticketNumber === undefined) {
                 const rows = await readRecordedSubmissionRows(admitted.projectRoot, admitted.runId, { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join(admitted.runDirectory, "session", "session.jsonl") });
-                const asserted = rows
-                    .filter((row) => row.kind === "accepted" && row.role === admitted.role)
-                    .map((row) => row.accepted)
-                    .find((payload) => {
+                let ticketNumber;
+                for (const row of rows) {
+                    if (row.role !== admitted.role
+                        || (row.kind !== "accepted" && row.kind !== "audit-escalation")) {
+                        continue;
+                    }
+                    const payload = row.accepted;
                     if (payload === null || typeof payload !== "object" || Array.isArray(payload))
-                        return false;
-                    const value = payload.ticketNumber;
-                    return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
-                });
-                const ticketNumber = asserted === undefined
-                    ? undefined
-                    : asserted.ticketNumber;
+                        continue;
+                    ticketNumber = readDeclaredTicketNumber(payload.ticketNumber);
+                    if (ticketNumber !== undefined)
+                        break;
+                }
                 if (ticketNumber !== undefined)
                     await bindAdmittedTicketNumber(admitted, ticketNumber);
             }

package/dist/run-ticket-number.js

@@ -7,6 +7,15 @@ function isEnoent(error) {
 function isSafePositiveTicketNumber(value) {
   return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
 }
+function readDeclaredTicketNumber(value) {
+  if (isSafePositiveTicketNumber(value)) return value;
+  if (typeof value !== "string") return void 0;
+  const trimmed = value.trim();
+  const match = /^#?([1-9]\d*)(?!\.\d)(?:\b|$)/.exec(trimmed);
+  if (match === null) return void 0;
+  const ticketNumber = Number(match[1]);
+  return isSafePositiveTicketNumber(ticketNumber) ? ticketNumber : void 0;
+}
 function requireSafePositiveTicketNumber(ticketNumber, context = "ticketNumber") {
   if (!isSafePositiveTicketNumber(ticketNumber)) {
     throw new Error(
@@ -53,6 +62,7 @@ export {
   MIGRATION_TICKET_DERIVATION_PAGE,
   isSafePositiveTicketNumber,
   readBoardTicketNumber,
+  readDeclaredTicketNumber,
   readMigrationDerivedTicketNumber,
   readRunTicketNumber,
   requireSafePositiveTicketNumber

package/package.json

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

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

@@ -65,7 +65,8 @@ export function withTerminatingOutputDeclarations<
       baseProperties?.ticketNumber === undefined
         ? {
             ticketNumber: Type.Unknown({
-              description: "可选本票号。尚未绑定时由角色在既有回执中申报。",
+              description:
+                "可选本票号。尚未绑定时由角色在既有回执中申报（正整数、数字串或前导 #N；归位只读本字段）。",
             }),
           }
         : {}

package/src/public-cli/post-admission.ts

@@ -26,6 +26,7 @@ import {
   relocateAdmittedRunToTicket,
 } from "./invocation.ts";
 import { readRecordedSubmissionRows } from "../submission-ledger.ts";
+import { readDeclaredTicketNumber } from "../run-ticket-number.ts";
 import { pathContainedIn } from "../activation-ledger-topology.ts";
 import { pickEngineAxis } from "../package-resources/engine-material.ts";
 import {
@@ -732,25 +733,33 @@ export async function dispatchPostAdmissionTurn<
       };
     }
     try {
-      // #858: the first typed assertion files an unbound run. Later receipts
-      // remain untouched; this seam does not adjudicate a ticket change.
+      // #858 / #1071: the first identifiable ticketNumber field declaration
+      // files an unbound run (integer, digit string, or leading #N token).
+      // Terminal rows match settlement (#881): accepted and audit-escalation —
+      // an escalated submission still carries the original role params.
+      // Later receipts remain untouched; prose note/report is never consulted;
+      // this seam does not adjudicate a ticket change.
       if (admitted.ticketNumber === undefined) {
         const rows = await readRecordedSubmissionRows(
           admitted.projectRoot,
           admitted.runId,
           { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join(admitted.runDirectory, "session", "session.jsonl") },
         );
-        const asserted = rows
-          .filter((row) => row.kind === "accepted" && row.role === admitted.role)
-          .map((row) => row.accepted)
-          .find((payload) => {
-            if (payload === null || typeof payload !== "object" || Array.isArray(payload)) return false;
-            const value = (payload as { ticketNumber?: unknown }).ticketNumber;
-            return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
-          });
-        const ticketNumber = asserted === undefined
-          ? undefined
-          : (asserted as { ticketNumber: number }).ticketNumber;
+        let ticketNumber: number | undefined;
+        for (const row of rows) {
+          if (
+            row.role !== admitted.role
+            || (row.kind !== "accepted" && row.kind !== "audit-escalation")
+          ) {
+            continue;
+          }
+          const payload = row.accepted;
+          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) continue;
+          ticketNumber = readDeclaredTicketNumber(
+            (payload as { ticketNumber?: unknown }).ticketNumber,
+          );
+          if (ticketNumber !== undefined) break;
+        }
         if (ticketNumber !== undefined) await bindAdmittedTicketNumber(admitted, ticketNumber);
       }
       // #863: shared post-admission bind must relocate unbound→ticket in-home

package/src/run-ticket-number.ts

@@ -25,6 +25,26 @@ export function isSafePositiveTicketNumber(value: unknown): value is number {
   return typeof value === "number" && Number.isSafeInteger(value) && value >= 1;
 }
 
+/**
+ * #1071 — read a role-declared ticketNumber field value for post-admission bind.
+ * Accepts a safe positive integer, a digit string, or a leading `#N` token
+ * (optional trailing material on the same field, e.g. `#1843 / PR #1876`).
+ * Decimal-looking prefixes (`1843.5`, `#1843.5`) are unidentifiable → undefined
+ * (leave unbound). Never reads prose note/report fields — callers must pass the
+ * typed ticketNumber value only.
+ */
+export function readDeclaredTicketNumber(value: unknown): number | undefined {
+  if (isSafePositiveTicketNumber(value)) return value;
+  if (typeof value !== "string") return undefined;
+  const trimmed = value.trim();
+  // `(?!\.\d)` keeps `#1843 / PR #1876` while rejecting `#1843.5` / `1843.5`
+  // (word-boundary alone would truncate at the decimal point).
+  const match = /^#?([1-9]\d*)(?!\.\d)(?:\b|$)/.exec(trimmed);
+  if (match === null) return undefined;
+  const ticketNumber = Number(match[1]);
+  return isSafePositiveTicketNumber(ticketNumber) ? ticketNumber : undefined;
+}
+
 /** Loud reject for non-safe-positive ticket numbers before placement or bind. */
 export function requireSafePositiveTicketNumber(
   ticketNumber: number,