@peterxiaoyang/superspec 0.1.4 → 0.1.6

package/dist/src/packet_schema.d.ts

@@ -0,0 +1,56 @@
+export type PacketOutputFormat = "agent" | "prompt";
+export type PinnedRef = {
+    root: "repo" | "change";
+    path: string;
+    blob_sha: string;
+};
+export type FindingSelector = {
+    evidence_id: string;
+    finding_uid: string;
+    evidence_ref: PinnedRef;
+};
+export type DecisionSelector = {
+    evidence_id: string;
+    decision_scope_key: string;
+    evidence_ref: PinnedRef;
+};
+export type WorkflowPacket = {
+    stage: string;
+    current_gate: string;
+    task_id?: string;
+    status: "allowed" | "blocked";
+    top_blockers?: string[];
+    blocker_count?: number;
+    has_more_blockers?: boolean;
+    next_action: string;
+    next_command?: string;
+    openspec_cli_surfaces?: string[];
+    must_read_refs: PinnedRef[];
+    must_read_verbatim_findings?: FindingSelector[];
+    must_read_verbatim_decisions?: DecisionSelector[];
+    diagnostic_command?: string;
+};
+export type ReviewPacket = {
+    consumer: "role" | "main-thread";
+    gate: string;
+    role: string;
+    round: number;
+    target_refs: PinnedRef[];
+    source_refs: PinnedRef[];
+    required_load_refs?: PinnedRef[];
+    required_claim_ids?: string[];
+    must_read_verbatim_findings?: FindingSelector[];
+    must_read_verbatim_decisions?: DecisionSelector[];
+    required_output_kind: string;
+    output_contract_fields: string[];
+    required_review_scope?: string[];
+    stop_conditions: string[];
+};
+export type ApplyWorkerPacket = Record<string, any>;
+export type PacketDispatchResult = {
+    output_format: "agent";
+    payload: WorkflowPacket | ReviewPacket | ApplyWorkerPacket;
+} | {
+    output_format: "prompt";
+    payload: string;
+};

package/dist/src/packet_schema.js

@@ -0,0 +1 @@
+export {};

package/dist/src/project_init.js

@@ -1,8 +1,7 @@
 import { existsSync, mkdirSync, readFileSync, statSync, writeFileSync } from "node:fs";
 import { join, resolve } from "node:path";
-import { REQUIRED_SUPERSPEC_AGENT_ROLES, REQUIRED_OPENSPEC_CODEX_SKILLS, REQUIRED_OPENSPEC_MIN_VERSION, block, commandExists, openspec_cli_probe, reason, read_agent_toml_name, read_skill_frontmatter_name, runCommand, } from "./core.js";
+import { REQUIRED_SUPERSPEC_AGENT_ROLES, REQUIRED_OPENSPEC_MIN_VERSION, block, commandExists, openspec_cli_probe, reason, read_agent_toml_name, } from "./core.js";
 import { install_workflow } from "./install_engine.js";
-import { system_failure_zh } from "./i18n.js";
 export const OPENSPEC_NPM_PACKAGE = "@fission-ai/openspec";
 export const OPENSPEC_INSTALL_DOC_URL = "https://github.com/Fission-AI/OpenSpec#readme";
 const ROLE_DESCRIPTIONS = {
@@ -12,9 +11,6 @@ const ROLE_DESCRIPTIONS = {
     "code-reviewer": "代码 / 规格 / 安全审查",
     verifier: "最终完成证据与验证审查",
 };
-function commandFailure(proc) {
-    return system_failure_zh((proc.error?.message ?? (proc.stderr || proc.stdout)).trim(), proc.status !== null && proc.status !== undefined ? `命令执行失败（退出状态码 ${proc.status}）。` : "命令执行失败，请查看终端日志后重试。");
-}
 function renderCommand(cmd, args) {
     return [cmd, ...args].join(" ");
 }
@@ -59,20 +55,6 @@ export function openspec_cli_requirement_message(probe, opts = {}) {
     }
     return `${probe.message}。请先安装或升级 @fission-ai/openspec >= ${REQUIRED_OPENSPEC_MIN_VERSION}（${OPENSPEC_INSTALL_DOC_URL}），然后重新运行 \`superspec init --scope project\`。`;
 }
-function openspecSkillProblems(repoRoot) {
-    const skillsRoot = join(repoRoot, ".codex", "skills");
-    const problems = [];
-    for (const name of REQUIRED_OPENSPEC_CODEX_SKILLS) {
-        const skillPath = join(skillsRoot, name, "SKILL.md");
-        if (!existsSync(skillPath) || !statSync(skillPath).isFile()) {
-            problems.push(name);
-            continue;
-        }
-        if (read_skill_frontmatter_name(skillPath) !== name)
-            problems.push(name);
-    }
-    return problems.sort();
-}
 function writeSuperSpecAgent(repoRoot, name) {
     const filePath = join(repoRoot, ".codex", "agents", `${name}.toml`);
     mkdirSync(join(repoRoot, ".codex", "agents"), { recursive: true });
@@ -105,38 +87,14 @@ function writeSuperSpecPrompt(repoRoot, name) {
     ].join("\n"), "utf8");
     return filePath;
 }
-function ensureOpenSpecCodex(repoRoot, actions) {
+function ensureOpenSpecCliSurface(repoRoot, actions) {
     const probe = openspec_cli_probe({ cwd: repoRoot });
-    if (!probe.ok)
-        return [openspec_cli_requirement_message(probe, { cwd: repoRoot })];
-    let problems = openspecSkillProblems(repoRoot);
-    if (problems.length === 0) {
-        actions.push({ action: "openspec_codex_skills", status: "ok" });
-        return [];
-    }
-    const init = runCommand("openspec", ["init", "--tools", "codex", "."], { cwd: repoRoot, timeout: 60_000 });
-    actions.push({
-        action: "openspec init --tools codex .",
-        status: init.status === 0 ? "updated" : "failed",
-        refs: problems,
-        detail: init.status === 0 ? undefined : commandFailure(init),
-    });
-    if (init.error || init.status !== 0)
-        return [`openspec init 执行失败：${commandFailure(init)}`];
-    problems = openspecSkillProblems(repoRoot);
-    if (problems.length === 0)
-        return [];
-    const update = runCommand("openspec", ["update", "--force", "."], { cwd: repoRoot, timeout: 60_000 });
     actions.push({
-        action: "openspec update --force .",
-        status: update.status === 0 ? "updated" : "failed",
-        refs: problems,
-        detail: update.status === 0 ? undefined : commandFailure(update),
+        action: "openspec_cli_surface",
+        status: probe.ok ? "ok" : "failed",
+        detail: probe.message,
     });
-    if (update.error || update.status !== 0)
-        return [`openspec update 执行失败：${commandFailure(update)}`];
-    problems = openspecSkillProblems(repoRoot);
-    return problems.length === 0 ? [] : [`OpenSpec 配套技能文件仍然缺失或无效：${problems.join(", ")}`];
+    return probe.ok ? [] : [openspec_cli_requirement_message(probe, { cwd: repoRoot })];
 }
 function ensureSuperSpecRoles(repoRoot, actions) {
     const problems = [];
@@ -182,7 +140,7 @@ export function project_init(repoRootRaw = process.cwd(), opts = {}) {
     const repoRoot = resolve(repoRootRaw);
     const actions = [];
     const problems = [
-        ...ensureOpenSpecCodex(repoRoot, actions),
+        ...ensureOpenSpecCliSurface(repoRoot, actions),
         ...ensureSuperSpecWorkflow(repoRoot, actions, opts.force === true),
         ...ensureSuperSpecRoles(repoRoot, actions),
     ];

package/dist/src/tasks.d.ts

@@ -5,12 +5,22 @@ export type TestContractRecord = {
     scenario_ref: string;
     invariant_refs: string[];
 };
+export type TestCommandResolution = {
+    test_id: string;
+    command: string | null;
+    source: "test_command" | "test_command_ref" | null;
+    command_ref?: string;
+    expected_failure_signature?: string;
+    expected_failure_classifier?: string;
+    blockers: Reason[];
+};
 export declare function parse_tasks(changeRoot: string): Record<string, TaskInfo>;
 export declare function tasks_structure_hash(changeRoot: string): string | null;
 export declare function splitList(value: string): string[];
 export declare function parse_test_contract_records(changeRoot: string): TestContractRecord[];
 export declare function parse_test_contract_ids(changeRoot: string): Set<string>;
 export declare function test_contract_text(changeRoot: string): string;
+export declare function resolve_test_contract_command(changeRoot: string, testId: string, config?: JsonMap): TestCommandResolution;
 export declare function parse_spec_scenarios(changeRoot: string): string[];
 export declare function test_contract_covers_scenario(changeRoot: string, scenario: string): boolean;
 export declare function test_contract_invariant_refs_by_test(changeRoot: string): Map<string, Set<string>>;

package/dist/src/tasks.js

@@ -120,6 +120,92 @@ export function test_contract_text(changeRoot) {
         return "";
     return readFileSync(filePath, "utf8");
 }
+function test_contract_section_lines(changeRoot, testId) {
+    const lines = test_contract_text(changeRoot).split(/\r?\n/);
+    const start = lines.findIndex((line) => {
+        const match = line.trim().match(/^###\s+(\S+)\s*$/);
+        return match?.[1] === testId;
+    });
+    if (start < 0)
+        return [];
+    const out = [];
+    for (const line of lines.slice(start + 1)) {
+        if (/^###\s+\S+/.test(line.trim()) || /^##\s+/.test(line.trim()))
+            break;
+        out.push(line);
+    }
+    return out;
+}
+function contractField(line) {
+    const match = line.match(/^\s*-\s+`?([A-Za-z0-9_-]+)`?\s*:\s*(.*)$/);
+    if (!match)
+        return null;
+    return { key: match[1], value: match[2].trim() };
+}
+export function resolve_test_contract_command(changeRoot, testId, config = {}) {
+    const blockers = [];
+    const lines = test_contract_section_lines(changeRoot, testId);
+    if (lines.length === 0) {
+        return { test_id: testId, command: null, source: null, blockers: [reason("missing_test_contract_section", `test contract missing ### ${testId} section`)] };
+    }
+    const fields = new Map();
+    for (const line of lines) {
+        const field = contractField(line);
+        if (!field)
+            continue;
+        const values = fields.get(field.key) ?? [];
+        values.push(field.value);
+        fields.set(field.key, values);
+    }
+    const commands = fields.get("test_command") ?? [];
+    const refs = fields.get("test_command_ref") ?? [];
+    if (commands.length === 0 && refs.length === 0)
+        blockers.push(reason("missing_test_command", `test contract ${testId} requires exactly one test_command or test_command_ref`));
+    if (commands.length > 1 || refs.length > 1)
+        blockers.push(reason("duplicate_test_command", `test contract ${testId} has duplicate test command fields`));
+    if (commands.length > 0 && refs.length > 0)
+        blockers.push(reason("ambiguous_test_command", `test contract ${testId} must not mix test_command and test_command_ref`));
+    const expected_failure_signature = (fields.get("expected_failure_signature") ?? [])[0];
+    const expected_failure_classifier = (fields.get("expected_failure_classifier") ?? [])[0];
+    if (commands.length === 1 && refs.length === 0) {
+        const command = commands[0];
+        if (!command)
+            blockers.push(reason("missing_test_command", `test contract ${testId} has empty test_command`));
+        return {
+            test_id: testId,
+            command: command || null,
+            source: command ? "test_command" : null,
+            expected_failure_signature,
+            expected_failure_classifier,
+            blockers,
+        };
+    }
+    if (refs.length === 1 && commands.length === 0) {
+        const refValue = refs[0];
+        const match = refValue.match(/^config\.commands\.([A-Za-z0-9_.-]+)$/);
+        if (!match) {
+            blockers.push(reason("untrusted_test_command_ref", `test contract ${testId} test_command_ref must be config.commands.<id>`));
+            return { test_id: testId, command: null, source: null, command_ref: refValue, expected_failure_signature, expected_failure_classifier, blockers };
+        }
+        const commandId = match[1];
+        const commandsConfig = config.commands;
+        const command = commandsConfig && typeof commandsConfig === "object" ? commandsConfig[commandId] : undefined;
+        if (typeof command !== "string" || !command.trim()) {
+            blockers.push(reason("untrusted_test_command_ref", `test contract ${testId} test_command_ref ${refValue} does not resolve to config.commands.${commandId}`));
+            return { test_id: testId, command: null, source: null, command_ref: refValue, expected_failure_signature, expected_failure_classifier, blockers };
+        }
+        return {
+            test_id: testId,
+            command,
+            source: "test_command_ref",
+            command_ref: refValue,
+            expected_failure_signature,
+            expected_failure_classifier,
+            blockers,
+        };
+    }
+    return { test_id: testId, command: null, source: null, expected_failure_signature, expected_failure_classifier, blockers };
+}
 export function parse_spec_scenarios(changeRoot) {
     const specs = join(changeRoot, "specs");
     const scenarios = [];

package/dist/src/util.d.ts

@@ -40,6 +40,7 @@ export type Decision = {
     workflow_terms_zh?: WorkflowTermHint[];
 };
 export type DecisionOutputFormat = "json" | "agent" | "user";
+export type PacketOutputFormat = "agent" | "prompt";
 export type AgentWorkflowAction = "continue" | "fix_artifacts" | "ask_user_confirmation" | "collect_review_evidence" | "collect_test_evidence" | "repair_evidence" | "rerun_check" | "inspect_diagnostics";
 export type TaskInfo = {
     task_id: string;
@@ -72,10 +73,10 @@ export declare const TASK_REOPEN_RESOLVED_REQUIRED_FIELDS: readonly ["reopen_evi
 export declare const TASK_REOPEN_INVALIDITY_CLASSES: readonly ["insufficient_completion_evidence"];
 export declare const FORBIDDEN_FIELDS: Set<string>;
 export declare const OPENSPEC_ARTIFACTS: Set<string>;
-export declare const REQUIRED_OPENSPEC_CODEX_SKILLS: readonly ["openspec-explore", "openspec-propose", "openspec-apply-change", "openspec-archive-change"];
+export declare const REQUIRED_OPENSPEC_CODEX_SKILLS: readonly [];
 export declare const REQUIRED_SUPERSPEC_WORKFLOW_SKILLS: readonly ["superspec-explore", "superspec-propose", "superspec-apply", "superspec-review", "superspec-archive"];
-export declare const REQUIRED_SUPERSPEC_AGENT_ROLES: readonly ["architect", "critic", "test-engineer", "code-reviewer", "verifier"];
-export declare const REQUIRED_OPENSPEC_CLI_SURFACES: readonly [readonly ["instructions", "--help"], readonly ["archive", "--help"], readonly ["validate", "--help"], readonly ["status", "--help"]];
+export declare const REQUIRED_SUPERSPEC_AGENT_ROLES: readonly ["architect", "critic", "executor", "test-runner", "test-engineer", "code-reviewer", "verifier"];
+export declare const REQUIRED_OPENSPEC_CLI_SURFACES: readonly [readonly ["list", "--help"], readonly ["instructions", "--help"], readonly ["archive", "--help"], readonly ["validate", "--help"], readonly ["status", "--help"]];
 export declare const ARTIFACT_ENTER_GATE: Record<string, string>;
 export declare const ROUTE_ORDER: Record<string, number>;
 export declare const ROUTE_ALIASES: Record<string, string>;
@@ -85,6 +86,9 @@ export declare class GuardError extends Error {
 }
 export declare const runtime: JsonMap;
 export declare function parseDecisionOutputFormat(raw: string): DecisionOutputFormat;
+export declare function parsePacketOutputFormat(raw: string, opts?: {
+    allowPrompt?: boolean;
+}): PacketOutputFormat;
 export declare function reason(code: string, message: string, refs?: string[] | null): Reason;
 export declare function pinned_ref_key(item: JsonMap): string;
 export declare function trustWarnings(): string[];
@@ -113,6 +117,10 @@ export declare function printDecision(decision: JsonMap, opts?: {
     command?: string;
     format?: DecisionOutputFormat;
 }): void;
+export declare function printPacket(payload: JsonMap | string, opts: {
+    format: PacketOutputFormat;
+}): void;
+export declare function printPacketError(code: string, message: string): void;
 export declare function runCommand(cmd: string, args: string[], opts?: {
     cwd?: string;
     timeout?: number;

package/dist/src/util.js

@@ -64,6 +64,7 @@ export const EVIDENCE_KINDS = new Set([
     "test_run",
     "alternative_verification",
     "manual_verification",
+    "apply_worker_chain",
     "task_reopen",
     "task_reopen_resolved",
     "human_confirmation",
@@ -146,12 +147,10 @@ export const FORBIDDEN_FIELDS = new Set([
     "artifact_status",
 ]);
 export const OPENSPEC_ARTIFACTS = new Set(["proposal", "specs", "design", "tasks"]);
-export const REQUIRED_OPENSPEC_CODEX_SKILLS = [
-    "openspec-explore",
-    "openspec-propose",
-    "openspec-apply-change",
-    "openspec-archive-change",
-];
+// Compatibility export for callers that imported the old repo-local OpenSpec bridge list.
+// Phase 4 makes the OpenSpec CLI surface the runtime truth, so no repo-local OpenSpec skills are
+// required by SuperSpec init or health checks.
+export const REQUIRED_OPENSPEC_CODEX_SKILLS = [];
 // D4 (audit G-2): SuperSpec's own workflow skills are part of the init health surface — a deleted
 // or renamed superspec-* skill must be visible at check-init, not discovered mid-workflow.
 export const REQUIRED_SUPERSPEC_WORKFLOW_SKILLS = [
@@ -164,11 +163,14 @@ export const REQUIRED_SUPERSPEC_WORKFLOW_SKILLS = [
 export const REQUIRED_SUPERSPEC_AGENT_ROLES = [
     "architect",
     "critic",
+    "executor",
+    "test-runner",
     "test-engineer",
     "code-reviewer",
     "verifier",
 ];
 export const REQUIRED_OPENSPEC_CLI_SURFACES = [
+    ["list", "--help"],
     ["instructions", "--help"],
     ["archive", "--help"],
     ["validate", "--help"],
@@ -241,6 +243,13 @@ export function parseDecisionOutputFormat(raw) {
         return raw;
     throw new GuardError("--format 只允许 json、agent 或 user");
 }
+export function parsePacketOutputFormat(raw, opts = {}) {
+    if (raw === "agent")
+        return raw;
+    if (opts.allowPrompt && raw === "prompt")
+        return raw;
+    throw new GuardError(opts.allowPrompt ? "--format 只允许 agent 或 prompt" : "--format 只允许 agent");
+}
 export function reason(code, message, refs = null) {
     const zh = reason_zh(code);
     return { code, message, refs: refs ?? [], label_zh: zh.label_zh, hint_zh: zh.hint_zh };
@@ -588,6 +597,18 @@ export function printDecision(decision, opts = {}) {
     }
     process.stdout.write(`${JSON.stringify(sanitizeDecisionForOutput(decorated), null, 2)}\n`);
 }
+export function printPacket(payload, opts) {
+    if (opts.format === "prompt") {
+        process.stdout.write(String(payload));
+        if (!String(payload).endsWith("\n"))
+            process.stdout.write("\n");
+        return;
+    }
+    process.stdout.write(`${JSON.stringify(payload, null, 2)}\n`);
+}
+export function printPacketError(code, message) {
+    process.stdout.write(`${JSON.stringify({ status: "error", error_code: code, message }, null, 2)}\n`);
+}
 export function runCommand(cmd, args, opts = {}) {
     const platform = opts.platform ?? process.platform;
     const invocation = platform === "win32" ? windowsCommandInvocation(cmd, args, opts.cwd) : { cmd, args };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@peterxiaoyang/superspec",
-  "version": "0.1.4",
+  "version": "0.1.6",
   "description": "SuperSpec workflow package: guard runtime, generic workflow templates, and Codex adapter payload.",
   "repository": {
     "type": "git",
@@ -51,7 +51,7 @@
   "scripts": {
     "build": "node build.js",
     "typecheck": "tsc --noEmit",
-    "test": "node --test tests/test_install_engine.test.ts tests/test_real_openspec_smoke.test.ts tests/test_superspec_cli.test.ts tests/test_superspec_guard.test.ts tests/test_superspec_skills.test.ts",
+    "test": "node --test tests/test_install_engine.test.ts tests/test_packet_measure.test.ts tests/test_real_openspec_smoke.test.ts tests/test_superspec_cli.test.ts tests/test_superspec_guard_output.test.ts tests/test_superspec_guard_core.test.ts tests/test_superspec_guard_review.test.ts tests/test_superspec_guard_request_reopen.test.ts tests/test_superspec_guard_archive.test.ts tests/test_superspec_guard_packet.test.ts tests/test_superspec_guard_disclosure.test.ts tests/test_superspec_skills.test.ts",
     "prepack": "npm run build",
     "prepublishOnly": "npm run build",
     "pack:dry-run": "npm pack --dry-run"

package/schemas/install-manifest.schema.json

@@ -75,6 +75,23 @@
         "type": "string",
         "minLength": 1
       }
+    },
+    "configPatch": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "retainedOnUninstall", "managed"],
+      "properties": {
+        "path": {
+          "type": "string",
+          "minLength": 1
+        },
+        "retainedOnUninstall": {
+          "const": true
+        },
+        "managed": {
+          "const": false
+        }
+      }
     }
   }
 }

package/templates/workflow/prompts/architect.md

@@ -1,120 +1,27 @@
 ---
-description: "架构与诊断顾问（深度、只读）"
-argument-hint: "任务说明"
+description: "架构与边界审查角色"
+argument-hint: "任务说明或 review-packet prompt_ref"
 ---
-<identity>
-你是 Architect（Oracle）。你基于文件证据做诊断、分析和建议。你只读，不修改文件。
-</identity>
 
-<language>
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、代码标识符、gate 名称、任务/测试 id、协议字面值在需要精确表达时保持原样。
-- 最终文本不要使用英文分节标题，例如 "Summary"、"Analysis"、"Root Cause"、"Recommendations"；整份报告用中文写。
-- 转述工作流或 guard 概念时，用中文解释，不要直接粘贴英文模板原句。
-</language>
-
-<constraints>
-<scope_guard>
-- Never write or edit files.
-- Never judge code you have not opened.
-- Never give generic advice detached from this codebase.
-- Acknowledge uncertainty instead of speculating.
-</scope_guard>
-
-<ask_gate>
-- Default to outcome-first, evidence-dense analysis; add depth only when it materially improves the result, evidence, or stop condition.
-- Treat newer user task updates as local overrides for the active analysis thread while preserving earlier non-conflicting constraints.
-- Ask only when the next step materially changes scope or requires a business decision.
-</ask_gate>
-</constraints>
-
-<execution_loop>
-1. 先收集上下文。
-2. 形成假设。
-3. 用代码事实交叉验证。
-4. 返回摘要、根因、建议和取舍。
-
-<success_criteria>
-- 每条重要结论都要附 file:line 证据。
-- 要指出根因，而不只是症状。
-- 建议必须具体且可执行。
-- 必须说明取舍。
-- 在 ralplan 共识审查中，要包含反论、张力和综合方案。
-- 在 `superspec-review` 中，要输出基于来源证据的架构 guidance 和升级点；最终判断由主流程完成，不由本角色直接下判。
-</success_criteria>
-
-<verification_loop>
-- 默认投入强度：高。
-- 当诊断和建议已经有证据支撑时停止。
-- 在分析真正落地前持续阅读。
-- 如果是 ralplan 共识审查，要明确写出取舍张力与综合方案。
-</verification_loop>
-
-<tool_persistence>
-只要 file:line 证据还缺失，就不要停在“看起来合理”的猜测上。
-</tool_persistence>
-</execution_loop>
-
-<tools>
-- 并行使用 Glob/Grep/Read。
-- 当诊断会因此更扎实时，再使用诊断工具和 git 历史。
-- 如果需要更宽的审查范围，就向上汇报，不要自行横向改派。
-</tools>
+# Architect
 
-<style>
-<output_contract>
-默认最终输出形态：结果优先、证据密集；直接给出结论、支撑证据、验证或引用状态，以及停止条件，不要铺垫。
+## 角色身份
 
-## 结论摘要
-[2-3 句：发现了什么、主建议是什么]
+你是 Architect。你审查系统边界、接口契约、数据流、长期维护风险、回滚难度和设计取舍。你提供架构 guidance，不替代主流程做最终判断。
 
-## 分析
-[详细发现，带 file:line 引用]
+## 读写边界
 
-## 根因
-[根本问题，而非表面症状]
+- 默认只读；不要修改文件。
+- 不评价没有打开或没有被 packet/source refs 指向的材料。
+- 如果需要扩大审查范围，向主流程说明缺口，不要自行改派或改代码。
 
-## 建议
-1. [最高优先级] - [工作量] - [影响]
-2. [下一优先级] - [工作量] - [影响]
+## SuperSpec Packet 规则
 
-## 主流程判断建议
-- 关键架构判断
-- 建议直接加载的 source refs
-- 建议升级或后续动作
+在 `superspec-review` 或 disclosure review 中，先读取主流程提供的 `review-packet` 或 `prompt_ref`。以 packet 中的 `target_refs`、`source_refs`、`required_output_kind`、`output_contract_fields`、`required_review_scope` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
 
-## 取舍
-| 方案 | 优点 | 代价 |
-|------|------|------|
-| A | ... | ... |
-| B | ... | ... |
+## 输出风格
 
-## 共识补充（仅 ralplan 审查）
-- **最强反论：** [对首选方向最强的反对论证]
-- **取舍张力：** [不能忽略的真实张力]
-- **综合方案（若可行）：** [如何保留竞争方案的优点]
-
-## 引用
-- `path/to/file.ts:42` - [该处证明了什么]
-- `path/to/other.ts:108` - [该处证明了什么]
-</output_contract>
-
-<scenario_handling>
-- **正确示例：** 用户在你已经定位到高概率根因后说 `continue`。继续补齐缺失的 file:line 证据。
-
-- **正确示例：** 分析完成后，用户说 `make a PR`。把它当成下游流程上下文，而不是稀释分析深度的理由。
-
-- **正确示例：** 用户说 `merge if CI green`。把它当成后续操作条件，而不是跳过剩余证据的理由。
-
-- **错误示例：** 用户说 `continue`，你却重新开始分析，或把之前已经拿到的证据丢掉。
-</scenario_handling>
-
-<final_checklist>
-- 我是否在下结论前读过代码？
-- 每个关键发现是否都附了 file:line 证据？
-- 根因是否说清楚了？
-- 建议是否足够具体可执行？
-- 我是否说明了取舍？
-- 如果这是 ralplan 共识审查，我是否包含了反论、张力与综合方案？
-</final_checklist>
-</style>
+- 所有用户可见输出必须使用简体中文。
+- 命令、路径、JSON/schema 字段、gate 名称、任务/测试 id、代码标识符保留原文。
+- 结论先行，按严重度列出问题，给出文件/行号证据。
+- 无阻塞问题时明确写“无阻塞问题”，并列残余风险或未验证项。