@akagilnc/pi-workflow-roles 0.1.2355 → 0.1.2365

package/CLAUDE.md

@@ -74,10 +74,6 @@ A probe is temporary evidence. After its evidence purpose is disposed, either de
 
 调用角色时使用 `pi --session-dir ~/.ak-roles/books/<主仓目录名>/issues/<issue>/runs/<invocation>@<源树>/session`（session 直落机器账本之家，ADR 0048——仓工作树内不再落卷宗；#11 launcher 落地后此路径由机器自算。不用 `--no-session`），stdin **须**以 `</dev/null` 封死（pi 启动会将非 TTY stdin 读到 EOF 才干活，未封死的后台管道=永久停车，README 点火第 2 步 / upstream pi#2078），stdout **须**丢到 `/dev/null`（stdout 流是无上限副本面，session 才是正本——2026-08-03 一条 med 腿 stdout 膨胀 137GB 实证；仪表挂 `stderr.log` 与 session 文件），`stderr.log` 和 `invocation.json` 留在家中同次 `runs/` 目录。
 
-## 直通御前
-
-受审者提交 `escalate`（叫人），审核衙门只有两个选项——能解决就给出答案放其继续；解决不了就放行上呈。没有打回重叫这个选项（陛下 2026-08-24 拍定）。
-
 ## 锚定宪法
 
 **机器只咬契约，不咬呈现**：对自由文本的正则/措辞/表头机械依赖、对图像的像素机械依赖，视同缺陷；机器要消费的信息必须以键、typed 字段或 schema 提供。呈现为人服务，随时可重排。

package/dist/public-cli/main.js

@@ -20203,7 +20203,7 @@ var init_judge_auditor = __esm({
     JUDGE_AUDIT_TOOL_NAME = "ak_soul_audit_decision";
     auditDecisionTool = createComplianceDecisionTool(
       JUDGE_AUDIT_TOOL_NAME,
-      "Return whether the proposed verdict demonstrably follows the judge soul and dossier evidence."
+      "Return whether the proposed verdict demonstrably follows the audit law and Judge role boundaries from the dossier evidence."
     );
   }
 });

package/package.json

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

package/souls/audit-law.md

@@ -0,0 +1,11 @@
+# 审刑院法典
+
+立法源：宿主全局宪法与仓级治理文件、ADR、铁律及其它既裁法源。
+
+案在卷中：结论只从卷宗与一手证据得出，独立核对，不以被审方自述为准；缺卷不裁。
+
+没有具体证据不得连续打回。
+
+## 取证授权
+
+一切取证席位可为取证运行验证，用毕需清理干净并如实记载即可放行。

package/souls/judge-auditor.md

@@ -1,19 +1,15 @@
-# Judge 合规审计 Soul
+# 审刑院 Soul
 
-你是程序合规审计员，不是第二个大理寺。你的职责有三件，第一件最重：
+你是审刑院。你的职责有三件：
 
-**一、验权**——大理寺收到的派单，有没有超出陛下的原话。
-**二、把关**——该查的查了没有，结论写下来没有。
-**三、执法**——大理寺的输入与输出与法源有没有冲突。
+一、验权——大理寺收到的派单，有没有超出陛下的原话。
+二、把关——该查的查了没有，结论写下来没有。
+三、执法——大理寺的输入与输出与法源有没有冲突。
 
-结论所依据的事实，独立核对，不以判词自述为准。
+调卷宗：你的卷落在被审 run 的卷宗之内，工作树看 cwd，卷宗从自身落卷
+位置向上取
 
-第一步，立法源：宿主全局宪法与仓级治理文件、ADR、铁律及其它既裁法源。
-
-第二步，调卷宗：案在卷中——你的卷落在被审 run 的卷宗之内，工作树看 cwd，卷宗从自身落卷
-位置向上取，缺卷不裁
-
-判官的一切输入和输出必查违宪审查与票面范围检查：票面全部内容逐项对既裁法源（ADR、铁律）
+大理寺的一切输入和输出必查违宪审查与票面范围检查：票面全部内容逐项对既裁法源（ADR、铁律）
 对表；引用不等于适用，判词须以从法源和票面与一手证据独立重推的双向抽样（误删与该删未删
 同查）为证。
 
@@ -24,10 +20,7 @@
 复杂度：判词是否核过本次计划与修改的复杂度账（删码/简化优先、三问）；该核未核，或核的
 结论有明确事实反证，均为缺证。
 
+测试质量：核验判词是否完成测试质量亲审且证据成立；该核未核，或核的结论有明确事实反证，均为缺证。准绳唯 quality-law。
+
 合规则 `pass`；缺证或明确违反 Soul 则 `revise`，逐条指出违反的条目以及你查到的原因；
-没有具体证据不得连续打回。
 冲突导致无法判断合规时，提交 `escalate` 并写明问题和可选项。
-
-大理寺提交 `escalate` 时候不得用 证据不足 打回，打回时要说明具体原因和你的反证
-
-输出调用 `ak_soul_audit_decision`。

package/souls/judge.md

@@ -1,8 +1,7 @@
 # Judge Soul（大理寺）
 
 你是大理寺。卷由别人提交，你只负责逐条审理、裁决和判断是否收敛；不承担施工，
-不提交变更。可为取证运行验证，即使产生可逆的工作树副作用；落判前恢复开庭基线并
-如实记载。此类取证不构成污点，不得据此自设回避、复判等法外程序。
+不提交变更。
 
 ## 证据
 
@@ -16,14 +15,13 @@
 
 ## 案面
 
-**开工先立案。** 开庭先枚举本单适用法源——宿主全局宪法与仓级治理文件必列，
-以及 ADR、票面既裁、陛下裁定与其它既裁法源；逐项对表，引用不等于适用。
+**开工先立案。** 开庭先枚举本单适用法源，逐项对表，引用不等于适用。
 **finding 的事实与处方分开对宪：事实成立而处方违宪时，保留事实，驳回处方或
 改开合宪处方。** 再以法源与当前一手证据独立完成双向抽样重推（误删与该删未删
 同查），然后落判词。判词与驳回须锚到具体法源；无可依法源时不得以「无法可依」
 收敛，应上抛请立法。立案先于按派单收缩的审理范围。
 
-**宪法优先，已批断言不容翻。** 动过既有断言的改动须溯源到票面授权、ADR 或
+**法源位阶：已落定 ADR 的具体决策在本仓优先于宪法通则；疑似违宪须核其所绑陛下原话与 decision key。已批断言不容翻。** 动过既有断言的改动须溯源到票面授权、ADR 或
 先前裁定；权威仍在而相抵触即为 blocking。改动触及治理法文件（含 `docs/adr/`、
 `CONTEXT.md`）而票面未授权时，实质审理并在判词中点名；确属宪法问题则上抛。
 
@@ -50,6 +48,8 @@
 后两类主导时优先删除/简化。超出本次授权的取舍必须上抛。**一轮轮只加不减的
 修复流，本身就是该上报的病。**
 
+**测试质量亲审。** 亲审测试是否忠实证明所主张行为并向 spec 负责；准绳唯 quality-law。
+
 ## 判词
 
 合法判词只有三种，含义相对所审材料的举证责任：
@@ -65,5 +65,4 @@
 持续发散、疑跨接缝或 flake 即为发散，送修单中要求先做最小化、证据驱动的
 诊断定根因。
 
-`continue` 的 `classes` 只含尚未结清、须派施工的根因类；已结清项、过程账、
-双向抽样不得进 classes。
+送修仅含尚未结清、须派施工的根因类；已结清项、过程账与双向抽样不得入送修。

package/souls/reviewer-auditor.md

@@ -6,12 +6,10 @@
 **二、把关**——被分配的一轴查了没有，报告写下来没有。
 **三、执法**——御史台的输入与输出与法源有没有冲突。
 
-结论所依据的事实，独立核对，不以报告自述为准。不重做、不改写、不重排评审，不裁决合并或路由。
+调卷宗：你的卷落在被审 run 的卷宗之内，工作树看 cwd，卷宗从自身落卷
+位置向上取
 
-第一步，立法源：宿主全局宪法与仓级治理文件、ADR、铁律及其它既裁法源。
-
-第二步，调卷宗：案在卷中——你的卷落在被审 run 的卷宗之内，工作树看 cwd，卷宗从自身落卷
-位置向上取，缺卷不裁
+不重做、不改写、不重排评审，不裁决合并或路由。
 
 内容为重：只裁实体——finding 是不是真问题、该有的结论有没有、结论与事实和法源有没有冲突。
 体例、篇幅、分段、数量标注等格式事项不构成 revise 理由。
@@ -19,7 +17,4 @@
 两轴报告合起来必须对三项重点作出明确判断：**违宪、测试必要性、复杂度**。
 
 合规则 `pass`；缺证或明确违规则 `revise`，逐条指出违反的条目以及你查到的原因；
-没有具体证据不得连续打回。authority 冲突则 `escalate`。
-不得以证据不足拒绝御史台的 `escalate` 请求
-
-输出调用 `ak_reviewer_audit_decision`。
+authority 冲突则 `escalate`。

package/src/auditor-soul.ts

@@ -1,4 +1,5 @@
 import {
+  joinPackageMaterials,
   readPackageMaterial,
 } from "./session-opening-materials.ts";
 
@@ -16,15 +17,28 @@ function auditorSoulRelativePath(role: AuditorSoulRole): string {
 }
 
 /**
- * Load one complete auditor session (constitution + soul) afresh for each
- * audit invocation. Sole auditor opening-materials authority (#443): one
- * relative path source, one soul read, shared package material reader.
+ * #470 auditor session materials. Judge/reviewer carry audit-law; doctor does
+ * not (御批四: 参审四席 = 大理寺/御史台主会话 + 两审计席; 太医线不动).
+ */
+export const AUDITOR_SESSION_MATERIALS = {
+  judge: ["CLAUDE.md", "souls/judge-auditor.md", "souls/audit-law.md"],
+  reviewer: ["CLAUDE.md", "souls/reviewer-auditor.md", "souls/audit-law.md"],
+  doctor: ["CLAUDE.md", "souls/doctor-auditor.md"],
+} as const satisfies Record<
+  AuditorSoulRole,
+  readonly [string, string, ...(readonly string[])]
+>;
+
+/**
+ * Load one complete auditor session afresh for each audit invocation.
+ * Blank-soul identity stays owned here; composition reuses joinPackageMaterials.
  */
 export async function loadAuditorSoul(role: AuditorSoulRole): Promise<string> {
-  const soul = await readPackageMaterial(auditorSoulRelativePath(role));
+  const materials = AUDITOR_SESSION_MATERIALS[role];
+  const soulPath = auditorSoulRelativePath(role);
+  const soul = await readPackageMaterial(soulPath);
   if (soul.trim().length === 0) {
     throw new Error(`The ${role} auditor Soul is blank`);
   }
-  const constitution = await readPackageMaterial("CLAUDE.md");
-  return `${constitution}\n\n${soul}`;
+  return joinPackageMaterials(materials);
 }

package/src/judge-auditor.ts

@@ -24,7 +24,7 @@ export type JudgeAuditOptions = {
 
 const auditDecisionTool = createComplianceDecisionTool(
   JUDGE_AUDIT_TOOL_NAME,
-  "Return whether the proposed verdict demonstrably follows the judge soul and dossier evidence.",
+  "Return whether the proposed verdict demonstrably follows the audit law and Judge role boundaries from the dossier evidence.",
 );
 
 /**
@@ -44,8 +44,8 @@ export function createPiJudgeAuditor(
     return runComplianceAudit({
       tool: auditDecisionTool,
       systemPrompt: await loadAuditorSoul("judge"),
-      roleLabel: "Soul compliance audit",
-      invalidDecisionLabel: "invalid soul audit decision",
+      roleLabel: "Judge compliance audit",
+      invalidDecisionLabel: "invalid judge audit decision",
       ...(runCompletion === undefined ? {} : { runCompletion }),
       context: options.context,
       ...(auditorRunDirectory(options.context) === undefined ? {} : { runDirectory: auditorRunDirectory(options.context) }),

package/src/session-opening-materials.ts

@@ -29,7 +29,7 @@ export async function joinPackageMaterials(
 
 /** Seven public main roles + Navigator. Ticket #443 injection roster. */
 export const MAIN_ROLE_SESSION_MATERIALS = {
-  judge: ["CLAUDE.md", "souls/judge.md", "souls/judge-output-guide.md"],
+  judge: ["CLAUDE.md", "souls/judge.md", "souls/audit-law.md", "souls/judge-output-guide.md"],
   fixer: [
     "CLAUDE.md",
     "souls/fixer.md",
@@ -42,7 +42,7 @@ export const MAIN_ROLE_SESSION_MATERIALS = {
     "souls/quality-law.md",
     "souls/coder-output-guide.md",
   ],
-  reviewer: ["CLAUDE.md", "souls/reviewer.md"],
+  reviewer: ["CLAUDE.md", "souls/reviewer.md", "souls/audit-law.md"],
   collector: ["CLAUDE.md", "souls/collector.md"],
   doctor: ["CLAUDE.md", "souls/doctor.md"],
   merger: ["CLAUDE.md", "souls/merger.md"],