@akagilnc/pi-workflow-roles 0.1.3652 → 0.1.3661

package/dist/diarist-ticket-resolution.js

@@ -1,177 +0,0 @@
-/**
- * 起居郎 pre-court ticket resolution (#582 / diarist-resolves-ticket-llm-layer).
- * Unbound countersign: LLM typed assertion over accepted instruction, then two
- * mechanical checks on N (complete decimal number in instruction; live GitHub issue).
- * Verification failure is controlled failure — never washed to true-unbound.
- */
-import { existsSync, readFileSync } from "node:fs";
-import { join } from "node:path";
-import { fileURLToPath } from "node:url";
-import { createGhApiRunner, projectGhIssueBody, } from "./collector-github.js";
-import { ENGINE_DETOUR_STAGED_PROMPT_TOKEN, runEngineDetourOnce, } from "./engine-detour.js";
-export const DIARIST_RESOLVE_TICKET_METHOD_RELATIVE = "resources/diarist-resolve-ticket.md";
-export class DiaristTicketResolutionError extends Error {
-    code = "diarist-ticket-resolution";
-    reason;
-    constructor(reason, message, options) {
-        super(message, options);
-        this.name = "DiaristTicketResolutionError";
-        this.reason = reason;
-    }
-}
-export function resolveDiaristResolveTicketMethodPath(packageRoot = fileURLToPath(new URL("..", import.meta.url))) {
-    return join(packageRoot, DIARIST_RESOLVE_TICKET_METHOD_RELATIVE);
-}
-/**
- * Decision-key exact identity: complete decimal number N appears in instruction.
- * A longer number's digit substring (e.g. 82 inside #582) is not N.
- */
-export function instructionContainsTicketNumber(instruction, ticketNumber) {
-    if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1)
-        return false;
-    // Complete number token: not preceded or followed by another digit.
-    return new RegExp(`(?<!\\d)${String(ticketNumber)}(?!\\d)`).test(instruction);
-}
-/** Sole stdout shapes: {assertion:"ticket",ticketNumber:N} | {assertion:"true-unbound"}. */
-export function parseDiaristTicketResolverStdout(stdout) {
-    const trimmed = stdout.trim();
-    if (trimmed.length === 0) {
-        throw new DiaristTicketResolutionError("empty-stdout", "diarist ticket resolver stdout is empty");
-    }
-    let parsed;
-    try {
-        parsed = JSON.parse(trimmed);
-    }
-    catch (error) {
-        throw new DiaristTicketResolutionError("unparseable-json", "diarist ticket resolver stdout is not JSON", { cause: error });
-    }
-    if (typeof parsed !== "object" || parsed === null || Array.isArray(parsed)) {
-        throw new DiaristTicketResolutionError("not-object", "diarist ticket resolver stdout must be one JSON object");
-    }
-    const record = parsed;
-    if (!Object.prototype.hasOwnProperty.call(record, "assertion")) {
-        throw new DiaristTicketResolutionError("assertion-missing", "diarist ticket resolver stdout missing assertion");
-    }
-    if (record.assertion === "true-unbound")
-        return { kind: "true-unbound" };
-    const n = record.ticketNumber;
-    if (record.assertion === "ticket" &&
-        typeof n === "number" &&
-        Number.isSafeInteger(n) &&
-        n >= 1) {
-        return { kind: "ticket", ticketNumber: n };
-    }
-    throw new DiaristTicketResolutionError("assertion-uninterpretable", "diarist ticket resolver assertion is not ticket|true-unbound with safe ticketNumber");
-}
-const HERMES_RESOLVER_TOOLSET = "context_engine";
-/** Hermes resolver: method bytes + instruction only; empty toolset; staged prompt. */
-export function createHermesDiaristTicketResolver(options = {}) {
-    const methodPath = resolveDiaristResolveTicketMethodPath(options.packageRoot);
-    if (!existsSync(methodPath)) {
-        throw new Error(`diarist resolve-ticket method material missing (${methodPath})`);
-    }
-    const method = readFileSync(methodPath, "utf8");
-    if (method.trim().length === 0) {
-        throw new Error(`diarist resolve-ticket method material is empty (${methodPath})`);
-    }
-    const executable = options.executable ?? "hermes";
-    return async (input) => {
-        const argv = [
-            executable,
-            "chat",
-            "--query-file",
-            ENGINE_DETOUR_STAGED_PROMPT_TOKEN,
-            "-Q",
-            "--no-restore-cwd",
-            "--ignore-rules",
-            "-t",
-            HERMES_RESOLVER_TOOLSET,
-        ];
-        let result;
-        try {
-            result = await runEngineDetourOnce({
-                argv,
-                stagedPrompt: JSON.stringify({ method, instruction: input.instruction }),
-                cwd: options.cwd ?? process.cwd(),
-                ...(options.env === undefined ? {} : { env: options.env }),
-                ...(input.signal === undefined ? {} : { signal: input.signal }),
-            });
-        }
-        catch (error) {
-            throw new DiaristTicketResolutionError("engine-failed", "diarist ticket resolver engine failed to launch", { cause: error });
-        }
-        if (result.code !== 0) {
-            throw new DiaristTicketResolutionError("engine-failed", `diarist ticket resolver engine exited ${result.code}: ${result.stderr.slice(0, 500)}`);
-        }
-        return parseDiaristTicketResolverStdout(result.stdout);
-    };
-}
-/** Live ticket check over shared gh issue-body projection. */
-export function createGhTicketExistenceChecker(options) {
-    const runner = options?.runner ?? createGhApiRunner();
-    return async (input) => {
-        const projected = await projectGhIssueBody(runner, {
-            owner: input.owner,
-            repo: input.repo,
-            ticketNumber: input.ticketNumber,
-            ...(input.signal === undefined ? {} : { signal: input.signal }),
-        });
-        if (projected.status === "available")
-            return true;
-        if (projected.status === "unavailable"
-            && projected.reason === "http-non-2xx"
-            && projected.httpStatus === 404) {
-            return false;
-        }
-        if (projected.status === "unavailable" && projected.reason === "pull-request") {
-            throw new DiaristTicketResolutionError("ticket-is-pull-request", `ticket #${input.ticketNumber} resolves to a pull request, not an issue`, { cause: projected });
-        }
-        if (projected.status === "unavailable") {
-            throw new DiaristTicketResolutionError("ticket-unavailable", `ticket verification unavailable for ${input.owner}/${input.repo}#${input.ticketNumber}`, { cause: projected });
-        }
-        throw new DiaristTicketResolutionError("ticket-invalid", `ticket verification returned an invalid issue payload for ${input.owner}/${input.repo}#${input.ticketNumber}`, { cause: projected });
-    };
-}
-/** Mechanical verify after LLM assertion. true-unbound passes; ticket needs both checks. */
-export async function verifyDiaristTicketAssertion(input) {
-    if (input.assertion.kind === "true-unbound")
-        return input.assertion;
-    const n = input.assertion.ticketNumber;
-    if (!instructionContainsTicketNumber(input.instruction, n)) {
-        throw new DiaristTicketResolutionError("number-not-in-instruction", `diarist ticket assertion #${n} complete decimal number does not appear in accepted instruction`);
-    }
-    if (input.origin === undefined) {
-        throw new DiaristTicketResolutionError("origin-unresolved", `diarist ticket assertion #${n} requires a resolvable github.com origin remote`);
-    }
-    let exists;
-    try {
-        exists = await input.checkExistence({
-            owner: input.origin.owner,
-            repo: input.origin.repo,
-            ticketNumber: n,
-            ...(input.signal === undefined ? {} : { signal: input.signal }),
-        });
-    }
-    catch (error) {
-        if (error instanceof DiaristTicketResolutionError)
-            throw error;
-        throw new DiaristTicketResolutionError("ticket-unavailable", `diarist ticket assertion #${n} live verification failed`, { cause: error });
-    }
-    if (!exists) {
-        throw new DiaristTicketResolutionError("ticket-missing", `diarist ticket assertion #${n} does not exist as a live issue on ${input.origin.owner}/${input.origin.repo}`);
-    }
-    return input.assertion;
-}
-export async function resolveDiaristTicketFromInstruction(input) {
-    const assertion = await input.resolver({
-        instruction: input.instruction,
-        ...(input.signal === undefined ? {} : { signal: input.signal }),
-    });
-    return verifyDiaristTicketAssertion({
-        assertion,
-        instruction: input.instruction,
-        origin: input.origin,
-        checkExistence: input.checkExistence,
-        ...(input.signal === undefined ? {} : { signal: input.signal }),
-    });
-}

package/resources/diarist-resolve-ticket.md

@@ -1,39 +0,0 @@
-# 起居郎认票方法（owner-domain）
-
-本文件是起居郎 LLM 认票推理的语义方法真源（decision key `diarist-resolves-ticket-llm-layer` / #582）。机器经共享 engine 接缝 staged prompt 递送本文件字节与已受理 instruction（不入 argv）；判断以本方法为准。
-
-## 任务
-
-只根据已受理 instruction，断言本庭的票面身份：
-
-- 认出明确票号 N → 断言 `ticket`
-- 真无票（instruction 不指向任何具体票）→ 断言 `true-unbound`
-
-## 何谓认出票号
-
-instruction 明确以本庭任务绑定某一 GitHub issue / 票号时，才断言 `ticket`。常见形态包括但不限于：
-
-- 「票 #582」「#582」「issue 582」
-- 明确写出要审/修/续的票号
-
-拿不准、只是顺带提到他票、或 instruction 本身是无票的一般性问询 → 断言 `true-unbound`。**不得猜测**。
-
-## 边界
-
-- 只读 instruction；不得假设附件、仓库状态或历史 run。
-- 相关性/授权内容不归你管——你只回答「是哪张票 / 真无票」。
-- 不得输出多个票号；若 instruction 含多个候选且无法唯一确定，断言 `true-unbound`。
-
-## 输出
-
-只输出一个 JSON 对象，二者择一：
-
-```json
-{"assertion":"ticket","ticketNumber":582}
-```
-
-```json
-{"assertion":"true-unbound"}
-```
-
-`ticketNumber` 必须是正整数。不要输出 JSON 以外的文字。

package/src/diarist-ticket-resolution.ts

@@ -1,302 +0,0 @@
-/**
- * 起居郎 pre-court ticket resolution (#582 / diarist-resolves-ticket-llm-layer).
- * Unbound countersign: LLM typed assertion over accepted instruction, then two
- * mechanical checks on N (complete decimal number in instruction; live GitHub issue).
- * Verification failure is controlled failure — never washed to true-unbound.
- */
-import { existsSync, readFileSync } from "node:fs";
-import { join } from "node:path";
-import { fileURLToPath } from "node:url";
-
-import {
-  createGhApiRunner,
-  projectGhIssueBody,
-  type GhApiRunner,
-} from "./collector-github.ts";
-import {
-  ENGINE_DETOUR_STAGED_PROMPT_TOKEN,
-  runEngineDetourOnce,
-} from "./engine-detour.ts";
-
-export const DIARIST_RESOLVE_TICKET_METHOD_RELATIVE =
-  "resources/diarist-resolve-ticket.md" as const;
-
-export type DiaristTicketAssertion =
-  | { readonly kind: "ticket"; readonly ticketNumber: number }
-  | { readonly kind: "true-unbound" };
-
-export type DiaristTicketResolution = DiaristTicketAssertion;
-
-export type DiaristTicketResolver = (input: {
-  readonly instruction: string;
-  readonly signal?: AbortSignal;
-}) => Promise<DiaristTicketAssertion>;
-
-export type TicketExistenceChecker = (input: {
-  readonly owner: string;
-  readonly repo: string;
-  readonly ticketNumber: number;
-  readonly signal?: AbortSignal;
-}) => Promise<boolean>;
-
-export type DiaristTicketResolutionReason =
-  | "empty-stdout"
-  | "unparseable-json"
-  | "not-object"
-  | "assertion-missing"
-  | "assertion-uninterpretable"
-  | "number-not-in-instruction"
-  | "ticket-missing"
-  | "ticket-is-pull-request"
-  | "ticket-unavailable"
-  | "ticket-invalid"
-  | "origin-unresolved"
-  | "engine-failed";
-
-export class DiaristTicketResolutionError extends Error {
-  readonly code = "diarist-ticket-resolution" as const;
-  readonly reason: DiaristTicketResolutionReason;
-  constructor(
-    reason: DiaristTicketResolutionReason,
-    message: string,
-    options?: ErrorOptions,
-  ) {
-    super(message, options);
-    this.name = "DiaristTicketResolutionError";
-    this.reason = reason;
-  }
-}
-
-export function resolveDiaristResolveTicketMethodPath(
-  packageRoot: string = fileURLToPath(new URL("..", import.meta.url)),
-): string {
-  return join(packageRoot, DIARIST_RESOLVE_TICKET_METHOD_RELATIVE);
-}
-
-/**
- * Decision-key exact identity: complete decimal number N appears in instruction.
- * A longer number's digit substring (e.g. 82 inside #582) is not N.
- */
-export function instructionContainsTicketNumber(
-  instruction: string,
-  ticketNumber: number,
-): boolean {
-  if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1) return false;
-  // Complete number token: not preceded or followed by another digit.
-  return new RegExp(`(?<!\\d)${String(ticketNumber)}(?!\\d)`).test(instruction);
-}
-
-/** Sole stdout shapes: {assertion:"ticket",ticketNumber:N} | {assertion:"true-unbound"}. */
-export function parseDiaristTicketResolverStdout(
-  stdout: string,
-): DiaristTicketAssertion {
-  const trimmed = stdout.trim();
-  if (trimmed.length === 0) {
-    throw new DiaristTicketResolutionError(
-      "empty-stdout",
-      "diarist ticket resolver stdout is empty",
-    );
-  }
-  let parsed: unknown;
-  try {
-    parsed = JSON.parse(trimmed);
-  } catch (error) {
-    throw new DiaristTicketResolutionError(
-      "unparseable-json",
-      "diarist ticket resolver stdout is not JSON",
-      { cause: error },
-    );
-  }
-  if (typeof parsed !== "object" || parsed === null || Array.isArray(parsed)) {
-    throw new DiaristTicketResolutionError(
-      "not-object",
-      "diarist ticket resolver stdout must be one JSON object",
-    );
-  }
-  const record = parsed as Record<string, unknown>;
-  if (!Object.prototype.hasOwnProperty.call(record, "assertion")) {
-    throw new DiaristTicketResolutionError(
-      "assertion-missing",
-      "diarist ticket resolver stdout missing assertion",
-    );
-  }
-  if (record.assertion === "true-unbound") return { kind: "true-unbound" };
-  const n = record.ticketNumber;
-  if (
-    record.assertion === "ticket" &&
-    typeof n === "number" &&
-    Number.isSafeInteger(n) &&
-    n >= 1
-  ) {
-    return { kind: "ticket", ticketNumber: n };
-  }
-  throw new DiaristTicketResolutionError(
-    "assertion-uninterpretable",
-    "diarist ticket resolver assertion is not ticket|true-unbound with safe ticketNumber",
-  );
-}
-
-const HERMES_RESOLVER_TOOLSET = "context_engine" as const;
-
-/** Hermes resolver: method bytes + instruction only; empty toolset; staged prompt. */
-export function createHermesDiaristTicketResolver(options: {
-  readonly executable?: string;
-  readonly cwd?: string;
-  readonly env?: NodeJS.ProcessEnv;
-  readonly packageRoot?: string;
-} = {}): DiaristTicketResolver {
-  const methodPath = resolveDiaristResolveTicketMethodPath(options.packageRoot);
-  if (!existsSync(methodPath)) {
-    throw new Error(`diarist resolve-ticket method material missing (${methodPath})`);
-  }
-  const method = readFileSync(methodPath, "utf8");
-  if (method.trim().length === 0) {
-    throw new Error(`diarist resolve-ticket method material is empty (${methodPath})`);
-  }
-  const executable = options.executable ?? "hermes";
-  return async (input) => {
-    const argv = [
-      executable,
-      "chat",
-      "--query-file",
-      ENGINE_DETOUR_STAGED_PROMPT_TOKEN,
-      "-Q",
-      "--no-restore-cwd",
-      "--ignore-rules",
-      "-t",
-      HERMES_RESOLVER_TOOLSET,
-    ];
-    let result: Awaited<ReturnType<typeof runEngineDetourOnce>>;
-    try {
-      result = await runEngineDetourOnce({
-        argv,
-        stagedPrompt: JSON.stringify({ method, instruction: input.instruction }),
-        cwd: options.cwd ?? process.cwd(),
-        ...(options.env === undefined ? {} : { env: options.env }),
-        ...(input.signal === undefined ? {} : { signal: input.signal }),
-      });
-    } catch (error) {
-      throw new DiaristTicketResolutionError(
-        "engine-failed",
-        "diarist ticket resolver engine failed to launch",
-        { cause: error },
-      );
-    }
-    if (result.code !== 0) {
-      throw new DiaristTicketResolutionError(
-        "engine-failed",
-        `diarist ticket resolver engine exited ${result.code}: ${result.stderr.slice(0, 500)}`,
-      );
-    }
-    return parseDiaristTicketResolverStdout(result.stdout);
-  };
-}
-
-/** Live ticket check over shared gh issue-body projection. */
-export function createGhTicketExistenceChecker(options?: {
-  readonly runner?: GhApiRunner;
-}): TicketExistenceChecker {
-  const runner = options?.runner ?? createGhApiRunner();
-  return async (input) => {
-    const projected = await projectGhIssueBody(runner, {
-      owner: input.owner,
-      repo: input.repo,
-      ticketNumber: input.ticketNumber,
-      ...(input.signal === undefined ? {} : { signal: input.signal }),
-    });
-    if (projected.status === "available") return true;
-    if (
-      projected.status === "unavailable"
-      && projected.reason === "http-non-2xx"
-      && projected.httpStatus === 404
-    ) {
-      return false;
-    }
-    if (projected.status === "unavailable" && projected.reason === "pull-request") {
-      throw new DiaristTicketResolutionError(
-        "ticket-is-pull-request",
-        `ticket #${input.ticketNumber} resolves to a pull request, not an issue`,
-        { cause: projected },
-      );
-    }
-    if (projected.status === "unavailable") {
-      throw new DiaristTicketResolutionError(
-        "ticket-unavailable",
-        `ticket verification unavailable for ${input.owner}/${input.repo}#${input.ticketNumber}`,
-        { cause: projected },
-      );
-    }
-    throw new DiaristTicketResolutionError(
-      "ticket-invalid",
-      `ticket verification returned an invalid issue payload for ${input.owner}/${input.repo}#${input.ticketNumber}`,
-      { cause: projected },
-    );
-  };
-}
-
-/** Mechanical verify after LLM assertion. true-unbound passes; ticket needs both checks. */
-export async function verifyDiaristTicketAssertion(input: {
-  readonly assertion: DiaristTicketAssertion;
-  readonly instruction: string;
-  readonly origin: { readonly owner: string; readonly repo: string } | undefined;
-  readonly checkExistence: TicketExistenceChecker;
-  readonly signal?: AbortSignal;
-}): Promise<DiaristTicketResolution> {
-  if (input.assertion.kind === "true-unbound") return input.assertion;
-  const n = input.assertion.ticketNumber;
-  if (!instructionContainsTicketNumber(input.instruction, n)) {
-    throw new DiaristTicketResolutionError(
-      "number-not-in-instruction",
-      `diarist ticket assertion #${n} complete decimal number does not appear in accepted instruction`,
-    );
-  }
-  if (input.origin === undefined) {
-    throw new DiaristTicketResolutionError(
-      "origin-unresolved",
-      `diarist ticket assertion #${n} requires a resolvable github.com origin remote`,
-    );
-  }
-  let exists: boolean;
-  try {
-    exists = await input.checkExistence({
-      owner: input.origin.owner,
-      repo: input.origin.repo,
-      ticketNumber: n,
-      ...(input.signal === undefined ? {} : { signal: input.signal }),
-    });
-  } catch (error) {
-    if (error instanceof DiaristTicketResolutionError) throw error;
-    throw new DiaristTicketResolutionError(
-      "ticket-unavailable",
-      `diarist ticket assertion #${n} live verification failed`,
-      { cause: error },
-    );
-  }
-  if (!exists) {
-    throw new DiaristTicketResolutionError(
-      "ticket-missing",
-      `diarist ticket assertion #${n} does not exist as a live issue on ${input.origin.owner}/${input.origin.repo}`,
-    );
-  }
-  return input.assertion;
-}
-
-export async function resolveDiaristTicketFromInstruction(input: {
-  readonly instruction: string;
-  readonly origin: { readonly owner: string; readonly repo: string } | undefined;
-  readonly resolver: DiaristTicketResolver;
-  readonly checkExistence: TicketExistenceChecker;
-  readonly signal?: AbortSignal;
-}): Promise<DiaristTicketResolution> {
-  const assertion = await input.resolver({
-    instruction: input.instruction,
-    ...(input.signal === undefined ? {} : { signal: input.signal }),
-  });
-  return verifyDiaristTicketAssertion({
-    assertion,
-    instruction: input.instruction,
-    origin: input.origin,
-    checkExistence: input.checkExistence,
-    ...(input.signal === undefined ? {} : { signal: input.signal }),
-  });
-}