@akagilnc/pi-workflow-roles 0.1.3565 → 0.1.3621

package/dist/collector-tool-schemas.js

@@ -0,0 +1,33 @@
+import { Type } from "typebox";
+import { COLLECTOR_ELIGIBILITY_MS } from "./collector-evidence.js";
+import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.js";
+export const collectorObserveArgsSchema = Type.Object({}, { additionalProperties: false });
+export const collectorRequestArgsSchema = Type.Object({
+    requestId: Type.String({ minLength: 1, description: "配置请求身份" }),
+    snapshotId: Type.String({ minLength: 1, description: "最新留存观察快照" }),
+}, { additionalProperties: false });
+export const collectorReadArgsSchema = Type.Object({
+    evidenceId: Type.String({ minLength: 1, description: "observe 返回的材料证据 id（evidenceId）" }),
+}, { additionalProperties: false });
+export const collectorWaitArgsSchema = Type.Object({
+    durationMs: Type.Integer({ minimum: 1, maximum: COLLECTOR_ELIGIBILITY_MS, description: "等待毫秒；单次上限五分钟且不超剩余资格" }),
+}, { additionalProperties: false });
+/**
+ * #641 chain①: the collector LLM does the splitting/classification (#245:
+ * 他自己就是llm为什么不能读不能拆). Findings are submitted as pointer refs into
+ * the stored evidence; the runtime enriches each with the machine pointer
+ * (repo/PR/comment id/url/author/kind/时间) and validates resolvability.
+ * Category is a short LLM classification label, never a body transcription.
+ */
+export const collectorFindingArgsSchema = Type.Object({
+    evidenceId: Type.String({ minLength: 1, description: "observe 返回的材料证据 id（evidenceId）" }),
+    category: Type.Optional(Type.String({ minLength: 1, maxLength: 200, description: "该 finding 的简短归类标签；需要头部之外的正文时先用 ak_collector_read 开卷再判读，不得誊写评论正文" })),
+}, { additionalProperties: false });
+export const collectorOutputBaseSchema = Type.Object({
+    findings: Type.Optional(Type.Array(collectorFindingArgsSchema, {
+        description: "本次收集到的逐条 findings；零 finding 的模板通知不得进入。正常完工无 finding 时省略。",
+    })),
+}, { additionalProperties: true, description: "正常完工提交空对象 {}；仅在基础设施真实失败时才填写 infrastructureFailure，无失败时必须省略该字段。" });
+/** Runtime owns the observed evidence; the model submits findings and signals sole-final submission. */
+export const collectorOutputArgsSchema = withInfrastructureFailureDeclaration(collectorOutputBaseSchema);
+collectorOutputArgsSchema.required = [];

package/dist/compliance-transport.js

@@ -1,8 +1,6 @@
 import { Type } from "typebox";
-import {
-  executeAuditorChild
-} from "./evidence-child-executor.js";
-import { createAuditorDossierTool } from "./auditor-dossier-tool.js";
+import { auditorRunDirectory } from "./auditor-dossier-tool.js";
+import { retainedShapeUnreadable } from "./shape-unreadable-failure.js";
 class ComplianceCandidateUnreadableError extends Error {
   observation;
   candidate;
@@ -20,43 +18,39 @@ const AUDITOR_DOSSIER_PROMPT = "\u672C run \u5377\u5B97\u5DF2\u5C31\u7EEA\u3002"
 const nonblank = Type.String({ minLength: 1, pattern: "\\S" });
 const decisionGateSchema = Type.Object({ question: nonblank, options: Type.Array(nonblank, { minItems: 1 }) }, { additionalProperties: false });
 const complianceDecisionSchema = Type.Object({ status: Type.Unknown({ description: "pass | revise | escalate \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8" }), violations: Type.Array(nonblank, { description: "\u89C2\u5BDF\u5230\u7684\u5408\u89C4\u8FDD\u89C4" }), conflicts: Type.Array(nonblank, { description: "\u672A\u51B3\u6743\u5A01\u6216\u6267\u884C\u51B2\u7A81" }), decisionGate: Type.Union([decisionGateSchema, Type.Null()], { description: "\u5347\u7EA7\u95EE\u9898\u4E0E\u53EF\u9009\u9009\u9879" }) }, { additionalProperties: true, required: [] });
-function createComplianceDecisionTool(name, description) {
-  return { name, description, parameters: complianceDecisionSchema, async execute(_id, params) {
-    return { content: [{ type: "text", text: "\u5BA1\u8BA1\u51B3\u8BAE\u5DF2\u6536" }], details: params, terminate: true };
-  } };
-}
 const COMPLIANCE_RESPONSE_ENTRY_TYPE = "ak_compliance_response";
 const AUDITOR_PARENT_ATTEMPT_BINDING_ENTRY_TYPE = "ak_auditor_parent_attempt_binding";
 const AUDITOR_COMPLIANCE_FAILURE_ENTRY_TYPE = "ak_auditor_compliance_failure";
-import { attachDirectErrnoCode, sitianReport } from "./sitian-facade.js";
 class ComplianceResponseRetentionError extends Error {
   constructor(message, options) {
     super(message, options);
     this.name = "ComplianceResponseRetentionError";
-    attachDirectErrnoCode(this, options?.cause);
-  }
-}
-function retainComplianceResponse(context, response) {
-  try {
-    sitianReport({
-      level: "event",
-      kind: "auditor",
-      cwd: context.cwd,
-      sessionParent: context.sessionManager.getSessionFile(),
-      payload: { version: 1, response },
-      source: "compliance-transport"
-    });
-  } catch (error) {
-    throw new ComplianceResponseRetentionError(
-      `compliance response retention failed: ${error instanceof Error ? error.message : String(error)}`,
-      { cause: error }
-    );
   }
 }
 function readListField(value) {
   return Array.isArray(value) ? value : value === void 0 ? [] : [value];
 }
+function tryReadComplianceCandidate(arguments_, usage) {
+  if (typeof arguments_ !== "object" || arguments_ === null || Array.isArray(arguments_)) {
+    return void 0;
+  }
+  const args = arguments_;
+  const status = args.status;
+  if (status === "pass") return { status, ...usage === void 0 ? {} : { usage } };
+  if (status === "revise") return { status, violations: readListField(args.violations), ...usage === void 0 ? {} : { usage } };
+  if (status === "escalate") {
+    return {
+      status,
+      ...Object.hasOwn(args, "conflicts") ? { conflicts: args.conflicts } : {},
+      ...Object.hasOwn(args, "decisionGate") ? { decisionGate: args.decisionGate } : {},
+      ...usage === void 0 ? {} : { usage }
+    };
+  }
+  return void 0;
+}
 function readComplianceCandidate(arguments_, usage) {
+  const projected = tryReadComplianceCandidate(arguments_, usage);
+  if (projected !== void 0) return projected;
   if (typeof arguments_ !== "object" || arguments_ === null || Array.isArray(arguments_)) {
     throw new ComplianceCandidateUnreadableError(
       { kind: "non-object-arguments", type: arguments_ === null ? "null" : Array.isArray(arguments_) ? "array" : typeof arguments_ },
@@ -64,38 +58,96 @@ function readComplianceCandidate(arguments_, usage) {
       usage
     );
   }
-  const args = arguments_;
-  const status = args.status;
-  if (status === "pass") return { status, ...usage === void 0 ? {} : { usage } };
-  if (status === "revise") return { status, violations: readListField(args.violations), ...usage === void 0 ? {} : { usage } };
-  if (status === "escalate") return { status, ...Object.hasOwn(args, "conflicts") ? { conflicts: args.conflicts } : {}, ...Object.hasOwn(args, "decisionGate") ? { decisionGate: args.decisionGate } : {}, ...usage === void 0 ? {} : { usage } };
+  const status = arguments_.status;
   throw new ComplianceCandidateUnreadableError(
     { kind: "object-status-unreadable", status: status === void 0 ? "missing" : "unknown" },
     arguments_,
     usage
   );
 }
-async function runComplianceAudit(options) {
-  const prompt = options.serializedInput ?? AUDITOR_DOSSIER_PROMPT;
-  const receipt = await executeAuditorChild({
-    tool: options.tool,
-    dossierTool: createAuditorDossierTool(options.runDirectory),
-    systemPrompt: options.systemPrompt,
-    prompt,
-    roleLabel: options.roleLabel,
-    context: options.context,
-    retainResponse: (response) => retainComplianceResponse(options.context, response),
-    ...options.runDirectory === void 0 ? {} : { runDirectory: options.runDirectory },
-    ...options.signal === void 0 ? {} : { signal: options.signal }
-  });
-  if (receipt.noReceiptLifecycle !== void 0) {
+async function usageFromSummonedSession(summoned) {
+  const { usageFromPublicSummon } = await import("./session-assistant-usage.js");
+  return usageFromPublicSummon(summoned);
+}
+function observationFromUnreadableCandidate(candidate) {
+  if (typeof candidate !== "object" || candidate === null || Array.isArray(candidate)) {
+    return {
+      kind: "non-object-arguments",
+      type: candidate === null ? "null" : Array.isArray(candidate) ? "array" : typeof candidate
+    };
+  }
+  const status = candidate.status;
+  return {
+    kind: "object-status-unreadable",
+    status: status === void 0 ? "missing" : "unknown"
+  };
+}
+function unreadableDecision(candidate, usage) {
+  return {
+    status: "unreadable",
+    observation: observationFromUnreadableCandidate(candidate),
+    candidate,
+    ...usage === void 0 ? {} : { usage }
+  };
+}
+async function projectAuditorTerminal(summoned) {
+  const outcome = summoned.terminal?.roleOutcome;
+  if (outcome === void 0) {
+    throw new Error(`Auditor public summon produced no terminal (exit ${summoned.exitCode})`);
+  }
+  const usage = await usageFromSummonedSession(summoned);
+  if (outcome.kind === "no_receipt") {
+    const { status: _ignored, kind: _kind, role: _role, decisiveFacts: _facts, ...facts } = outcome;
     return {
       status: "no-receipt",
-      ...receipt.noReceiptLifecycle,
-      ...receipt.response.usage === void 0 ? {} : { usage: receipt.response.usage }
+      ...facts,
+      ...usage === void 0 ? {} : { usage }
     };
   }
-  return readComplianceCandidate(receipt.decision, receipt.response.usage);
+  if (outcome.kind === "failure") {
+    const shape = retainedShapeUnreadable(outcome.decisiveFacts);
+    if (shape !== void 0) {
+      return unreadableDecision(shape.candidate, usage);
+    }
+    throw new Error(outcome.diagnostic);
+  }
+  if (outcome.kind === "accepted") {
+    const candidate = {
+      status: outcome.status,
+      ...outcome.decisiveFacts
+    };
+    const projected = tryReadComplianceCandidate(candidate, usage);
+    if (projected !== void 0) return projected;
+    return unreadableDecision(candidate, usage);
+  }
+  throw new Error("Auditor public summon returned unusable terminal kind");
+}
+async function runComplianceAudit(options) {
+  const runDirectory = options.runDirectory ?? auditorRunDirectory(options.context);
+  if (runDirectory === void 0) {
+    throw new Error("Compliance audit requires a parent run directory pointer");
+  }
+  const subject = options.subject;
+  const summon = options.summonAuditor ?? (async (auditSubject, sourceRunDirectory, auditSignal) => {
+    const { summonPublicRole } = await import("./public-role-summons.js");
+    const { homeFromRunDirectory } = await import("./activation-ledger-topology.js");
+    const home = homeFromRunDirectory(sourceRunDirectory);
+    return await summonPublicRole({
+      role: "auditor",
+      argv: [
+        "--subject",
+        auditSubject,
+        "--source-run",
+        sourceRunDirectory,
+        AUDITOR_DOSSIER_PROMPT
+      ],
+      cwd: options.context.cwd ?? process.cwd(),
+      home,
+      ...auditSignal === void 0 ? {} : { signal: auditSignal }
+    });
+  });
+  const summoned = await summon(subject, runDirectory, options.signal);
+  return await projectAuditorTerminal(summoned);
 }
 export {
   AUDITOR_COMPLIANCE_FAILURE_ENTRY_TYPE,
@@ -105,7 +157,7 @@ export {
   ComplianceCandidateUnreadableError,
   ComplianceResponseRetentionError,
   complianceDecisionSchema,
-  createComplianceDecisionTool,
   readComplianceCandidate,
-  runComplianceAudit
+  runComplianceAudit,
+  tryReadComplianceCandidate
 };

package/dist/diarist-contracts.js

@@ -0,0 +1,72 @@
+/**
+ * Public 起居郎 (diarist) terminating receipt contracts — ADR 0075 `diarist-is-role`.
+ * Lawful explicit release: completed, with empty or nonempty selections.
+ * Machine facts about the volume come from the mechanical sitian seam, never
+ * from model self-report (锚定宪法); this module owns the receipt shape only.
+ */
+export const DIARIST_OUTPUT_TOOL_NAME = "ak_diarist_output";
+export const DIARIST_ACCEPTED_TEXT = "起居郎回执已接受";
+/** Internal transport: frozen candidate-catalog path for this turn's ticket. */
+export const DIARIST_SOURCES_FLAG = {
+    name: "ak-diarist-sources",
+    definition: {
+        description: "Frozen per-ticket source catalog the diarist selects from",
+        type: "string",
+    },
+};
+export function validateRecordedDiaristOutput(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        throw new Error("Diarist output has no execution discriminator");
+    }
+    let status;
+    try {
+        status = value.status;
+    }
+    catch {
+        throw new Error("Diarist output has no execution discriminator");
+    }
+    if (status === "completed") {
+        return value;
+    }
+    throw new Error("Diarist output has no execution discriminator");
+}
+/**
+ * Lenient projection of submitted selections (第 0 条: shape is not an admission
+ * gate). Rows that carry no usable candidateIndex are dropped from the commit,
+ * never bounced back at the role.
+ */
+export function projectDiaristSelections(value) {
+    const rows = value?.selections;
+    if (!Array.isArray(rows))
+        return [];
+    const out = [];
+    for (const row of rows) {
+        if (row === null || typeof row !== "object" || Array.isArray(row))
+            continue;
+        const record = row;
+        const index = record.candidateIndex;
+        if (typeof index !== "number" || !Number.isInteger(index) || index < 0)
+            continue;
+        const quotes = Array.isArray(record.quotes)
+            ? record.quotes.filter((q) => typeof q === "string" && q.length > 0)
+            : [];
+        out.push({
+            candidateIndex: index,
+            quotes,
+            ...(typeof record.note === "string" ? { note: record.note } : {}),
+        });
+    }
+    return out;
+}
+/** Machine-facing facts from an accepted receipt. Submitted rows retained as-is. */
+export function diaristDecisiveFacts(output) {
+    const facts = { status: output.status };
+    const selections = output.selections;
+    if (Array.isArray(selections))
+        facts.selections = selections;
+    // Mechanical sitian facts recorded by the envelope at accept time.
+    const sitian = output.sitian;
+    if (sitian !== undefined)
+        facts.sitian = sitian;
+    return facts;
+}