@akagilnc/pi-workflow-roles 0.1.5593 → 0.1.5614

package/src/auditor-dossier-tool.ts

@@ -1,63 +0,0 @@
-import { join, resolve } from "node:path";
-
-import { RUN_HISTORY_FILE, RUN_LOG_FILE, runCurrentPath } from "./run-dossier.ts";
-import type { AgentToolResult, ExtensionContext } from "@earendil-works/pi-coding-agent";
-import type { HostContext } from "./host-contracts.ts";
-import {
-  runDirectoryOfSessionFile,
-  sessionFileOf,
-} from "./role-run-placement.ts";
-import { Type } from "typebox";
-
-export const AUDITOR_DOSSIER_TOOL_NAME = "ak_get_run_dossier" as const;
-
-export type AuditorDossierLocation = {
-  readonly runDirectory: string;
-  readonly current: string;
-  readonly parentSessionCandidate: string;
-  readonly attachments: string;
-  readonly log: string;
-  readonly history: string;
-};
-
-/** Resolve the exact run binding already carried by the parent record session. */
-export function auditorRunDirectory(context: ExtensionContext | HostContext): string | undefined {
-  const sessionFile = context.sessionManager?.getSessionFile?.();
-  if (sessionFile === undefined) return undefined;
-  // Sole layout: <run>/session/session.jsonl → climb two levels to the run directory.
-  return resolve(runDirectoryOfSessionFile(sessionFile));
-}
-
-/** The one shared, run-bound dossier locator exposed to every auditor seat. */
-export function createAuditorDossierTool(
-  runDirectory: string | undefined,
-) {
-  return {
-    name: AUDITOR_DOSSIER_TOOL_NAME,
-    description: "定位本审计席绑定的 run 卷宗及其证据入口。",
-    // #836 r16 class 3: execute() ignores `_params` entirely — a closed root
-    // only rejects the role for saying more.
-    parameters: Type.Object({}, { additionalProperties: true }),
-    async execute(_id: string, _params: unknown): Promise<AgentToolResult<AuditorDossierLocation | undefined>> {
-      if (runDirectory === undefined) {
-        return {
-          content: [{ type: "text", text: "本审计席无绑定 run 卷宗记录。" }],
-          details: undefined,
-        };
-      }
-      // #836: whole run directory pointer — officer finds materials; no leaf preference (A7.2).
-      const details: AuditorDossierLocation = {
-        runDirectory,
-        current: runCurrentPath(runDirectory),
-        parentSessionCandidate: sessionFileOf(runDirectory),
-        attachments: join(runDirectory, "attachments"),
-        log: join(runDirectory, RUN_LOG_FILE),
-        history: join(runDirectory, RUN_HISTORY_FILE),
-      };
-      return {
-        content: [{ type: "text", text: JSON.stringify(details) }],
-        details,
-      };
-    },
-  };
-}

package/src/package-contracts/fixer-packet.ts

@@ -1,91 +0,0 @@
-import { Type, type Static } from "typebox";
-import { Value } from "typebox/value";
-
-import { isRecord } from "../unknown-value.ts";
-
-export const FIXER_PREREQUISITE_ID_PATTERN = "^[A-Za-z0-9][A-Za-z0-9._-]*$";
-
-export const fixerPrerequisiteSchema = Type.Object({
-  id: Type.String({ pattern: FIXER_PREREQUISITE_ID_PATTERN }),
-  requirement: Type.String({ pattern: "\\S" }),
-});
-
-export const fixerPrerequisitesSchema = Type.Array(fixerPrerequisiteSchema);
-export type FixerPrerequisite = Readonly<Static<typeof fixerPrerequisiteSchema>>;
-export type FixerInvocationInput = Readonly<{
-  instructions: string;
-  prerequisites: readonly FixerPrerequisite[];
-}>;
-
-function causeMessage(cause: unknown): string {
-  if (cause instanceof Error) return cause.message;
-  if (typeof cause === "string") return cause;
-  try {
-    return JSON.stringify(cause) ?? String(cause);
-  } catch {
-    return String(cause);
-  }
-}
-
-export class FixerPacketValidationError extends Error {
-  readonly code = "AK_INVALID_FIX_PACKET";
-
-  constructor(cause?: unknown) {
-    const prefix = "Fixer prerequisites or instructions violate the invocation contract";
-    super(
-      cause === undefined ? prefix : `${prefix}: ${causeMessage(cause)}`,
-      cause === undefined ? undefined : { cause },
-    );
-    this.name = "FixerPacketValidationError";
-  }
-}
-
-function fail(cause: unknown): never {
-  throw new FixerPacketValidationError(cause);
-}
-
-function parseFailure(value: unknown): never {
-  if (!Array.isArray(value)) fail(new Error("Fixer prerequisites must be a JSON array"));
-  for (const entry of value) {
-    if (!isRecord(entry)) {
-      fail(new Error("Fixer prerequisite entry must be an object with id and requirement fields"));
-    }
-    if (
-      typeof (entry as Record<string, unknown>).id !== "string" ||
-      !(new RegExp(FIXER_PREREQUISITE_ID_PATTERN)).test((entry as { id: string }).id)
-    ) {
-      fail(new Error(`Fixer prerequisite id violates pattern ${FIXER_PREREQUISITE_ID_PATTERN}`));
-    }
-    if (
-      typeof (entry as Record<string, unknown>).requirement !== "string" ||
-      !/\S/.test((entry as { requirement: string }).requirement)
-    ) {
-      fail(new Error("Fixer prerequisite requirement must be nonblank"));
-    }
-  }
-  fail(new Error("Fixer prerequisites violate the attachment schema"));
-}
-
-export function validateFixerPrerequisites(value: unknown): readonly FixerPrerequisite[] {
-  if (!Value.Check(fixerPrerequisitesSchema, value)) parseFailure(value);
-  const entries = value as Static<typeof fixerPrerequisitesSchema>;
-  const ids = new Set<string>();
-  const prerequisites = entries.map((entry) => {
-    if (ids.has(entry.id)) {
-      fail(new Error(`Fixer prerequisites contain duplicate id: ${entry.id}`));
-    }
-    ids.add(entry.id);
-    return Object.freeze({ id: entry.id, requirement: entry.requirement });
-  });
-  return Object.freeze(prerequisites);
-}
-
-export function parseFixerPrerequisites(source: string): readonly FixerPrerequisite[] {
-  let decoded: unknown;
-  try {
-    decoded = JSON.parse(source);
-  } catch (error) {
-    fail(error);
-  }
-  return validateFixerPrerequisites(decoded);
-}