@peterxiaoyang/superspec 0.1.13 → 0.1.15-alpha

package/dist/superspec.d.ts

@@ -1,6 +0,0 @@
-#!/usr/bin/env node
-export * from "./src/init_cli.ts";
-export * from "./src/cli.ts";
-export * from "./src/doctor.ts";
-export * from "./src/self_update.ts";
-export declare function main_superspec(argv?: string[]): Promise<number>;

package/dist/superspec.js

@@ -1,97 +0,0 @@
-#!/usr/bin/env node
-import { realpathSync } from "node:fs";
-import { resolve } from "node:path";
-export * from "./src/init_cli.js";
-export * from "./src/cli.js";
-export * from "./src/doctor.js";
-export * from "./src/self_update.js";
-import { main } from "./src/cli.js";
-import { main_doctor, superspec_package_version } from "./src/doctor.js";
-import { main_init_async } from "./src/init_cli.js";
-import { update_self_then_rerun } from "./src/self_update.js";
-function realpathMaybe(filePath) {
-    try {
-        return realpathSync(filePath);
-    }
-    catch {
-        return resolve(filePath);
-    }
-}
-function help() {
-    return [
-        "usage: superspec <command> [options]",
-        "",
-        "commands:",
-        "  init        install SuperSpec Codex surfaces (asks project/user; default project)",
-        "  update      update SuperSpec CLI, then update manifest-managed surfaces",
-        "  uninstall   remove manifest-managed SuperSpec surfaces",
-        "  check       run the SuperSpec check command surface",
-        "  doctor      diagnose SuperSpec/OpenSpec/npm/PATH wiring",
-        "  version     print SuperSpec CLI version",
-        "",
-        "examples:",
-        "  superspec init --scope project",
-        "  superspec init --scope user",
-        "  superspec check check-init --change <change> --format agent",
-        "  superspec doctor",
-        "",
-    ].join("\n");
-}
-function updateHelp() {
-    return [
-        "usage: superspec update [--scope {project,user}] [--path PATH] [--codex-home PATH] [--format {json,agent,user}] [--local-only]",
-        "",
-        "updates the global SuperSpec CLI from npm, then updates manifest-managed SuperSpec surfaces.",
-        "",
-        "options:",
-        "  --scope {project,user}  update project .codex surfaces or user Codex home surfaces (default: project)",
-        "  --project               equivalent to --scope project",
-        "  --user, --global        equivalent to --scope user",
-        "  --path PATH             project root for project scope (default: current directory)",
-        "  --codex-home PATH       Codex user home for user scope (default: $CODEX_HOME or ~/.codex)",
-        "  --format {json,agent,user} output format (default: user); use json for diagnostics/automation",
-        "  --local-only            skip npm self-update and use the currently installed package",
-        "  -h, --help              show this help",
-        "",
-    ].join("\n");
-}
-export async function main_superspec(argv = process.argv.slice(2)) {
-    const [command, ...rest] = argv;
-    if (command === undefined || command === "-h" || command === "--help") {
-        process.stdout.write(help());
-        return 0;
-    }
-    if (command === "-v" || command === "--version" || command === "version") {
-        process.stdout.write(`${superspec_package_version()}\n`);
-        return 0;
-    }
-    if (command === "init")
-        return main_init_async(rest);
-    if (command === "update") {
-        if (rest.includes("-h") || rest.includes("--help")) {
-            process.stdout.write(updateHelp());
-            return 0;
-        }
-        const localOnly = rest.includes("--local-only") || rest.includes("--skip-self-update");
-        const updateArgs = rest.filter((arg) => arg !== "--local-only" && arg !== "--skip-self-update");
-        if (!localOnly)
-            return update_self_then_rerun({ args: updateArgs });
-        return main_init_async([...updateArgs, "--update"]);
-    }
-    if (command === "uninstall")
-        return main_init_async([...rest, "--uninstall"]);
-    if (command === "check" || command === "guard")
-        return main(rest);
-    if (command === "doctor")
-        return main_doctor(rest);
-    // Convenience fallback: `superspec check-init ...` behaves like `superspec check check-init ...`.
-    if (command.startsWith("check-") || command === "status" || command === "recompute" || command === "init") {
-        return main(argv);
-    }
-    process.stderr.write(`superspec: unknown command ${JSON.stringify(command)}\n\n${help()}`);
-    return 2;
-}
-const currentFile = realpathMaybe(process.argv[1] ?? "");
-if (currentFile === realpathMaybe(new URL(import.meta.url).pathname)) {
-    process.exitCode = await main_superspec();
-}

package/dist/superspec_guard.d.ts

@@ -1,4 +0,0 @@
-#!/usr/bin/env node
-export * from "./src/core.ts";
-export * from "./src/cli.ts";
-export * from "./src/cli_args.ts";

package/dist/superspec_guard.js

@@ -1,19 +0,0 @@
-#!/usr/bin/env node
-import { realpathSync } from "node:fs";
-import { resolve } from "node:path";
-export * from "./src/core.js";
-export * from "./src/cli.js";
-export * from "./src/cli_args.js";
-import { main } from "./src/cli.js";
-function realpathMaybe(filePath) {
-    try {
-        return realpathSync(filePath);
-    }
-    catch {
-        return resolve(filePath);
-    }
-}
-const currentFile = realpathMaybe(process.argv[1] ?? "");
-if (currentFile === realpathMaybe(new URL(import.meta.url).pathname)) {
-    process.exitCode = main();
-}

package/dist/superspec_hook.d.ts

@@ -1,4 +0,0 @@
-#!/usr/bin/env node
-import "./src/core.ts";
-export * from "./src/hooks/adapter.ts";
-export declare function main_hook(argv?: string[]): number;

package/dist/superspec_hook.js

@@ -1,35 +0,0 @@
-#!/usr/bin/env node
-import "./src/core.js";
-export * from "./src/hooks/adapter.js";
-import { readFileSync, realpathSync } from "node:fs";
-import { resolve } from "node:path";
-import { runHookAdapter } from "./src/hooks/adapter.js";
-function realpathMaybe(filePath) {
-    try {
-        return realpathSync(filePath);
-    }
-    catch {
-        return resolve(filePath);
-    }
-}
-const currentFile = realpathMaybe(process.argv[1] ?? "");
-export function main_hook(argv = process.argv.slice(2)) {
-    const stdin = readStdin();
-    const result = runHookAdapter(argv, stdin);
-    if (result.stdout)
-        process.stdout.write(result.stdout);
-    if (result.stderr)
-        process.stderr.write(result.stderr);
-    return result.code;
-}
-function readStdin() {
-    try {
-        return readFileSync(0, "utf8");
-    }
-    catch {
-        return "";
-    }
-}
-if (currentFile === realpathMaybe(new URL(import.meta.url).pathname)) {
-    process.exitCode = main_hook();
-}

package/dist/superspec_init.d.ts

@@ -1,2 +0,0 @@
-#!/usr/bin/env node
-export * from "./src/init_cli.ts";

package/dist/superspec_init.js

@@ -1,17 +0,0 @@
-#!/usr/bin/env node
-import { realpathSync } from "node:fs";
-import { resolve } from "node:path";
-export * from "./src/init_cli.js";
-import { main_init_async } from "./src/init_cli.js";
-function realpathMaybe(filePath) {
-    try {
-        return realpathSync(filePath);
-    }
-    catch {
-        return resolve(filePath);
-    }
-}
-const currentFile = realpathMaybe(process.argv[1] ?? "");
-if (currentFile === realpathMaybe(new URL(import.meta.url).pathname)) {
-    process.exitCode = await main_init_async();
-}

package/schemas/hook-event.schema.json

@@ -1,27 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://superspec.local/schemas/hook-event.schema.json",
-  "title": "SuperSpec Codex Hook Event",
-  "type": "object",
-  "required": ["hook_event_name", "cwd"],
-  "properties": {
-    "session_id": { "type": "string" },
-    "turn_id": { "type": "string" },
-    "transcript_path": { "type": ["string", "null"] },
-    "cwd": { "type": "string" },
-    "hook_event_name": {
-      "type": "string",
-      "enum": ["PreToolUse", "PostToolUse", "SubagentStart", "SubagentStop"]
-    },
-    "permission_mode": { "type": "string" },
-    "tool_name": { "type": "string" },
-    "tool_use_id": { "type": "string" },
-    "tool_input": { "type": "object" },
-    "tool_response": { "type": ["object", "array", "string", "number", "boolean", "null"] },
-    "agent_id": { "type": "string" },
-    "agent_type": { "type": "string" },
-    "agent_transcript_path": { "type": ["string", "null"] },
-    "last_assistant_message": { "type": ["string", "null"] }
-  },
-  "additionalProperties": true
-}

package/schemas/install-manifest.schema.json

@@ -1,97 +0,0 @@
-{
-  "$schema": "https://json-schema.org/draft/2020-12/schema",
-  "$id": "https://irenshi.local/superspec/install-manifest.schema.json",
-  "title": "SuperSpec install manifest",
-  "type": "object",
-  "additionalProperties": false,
-  "required": [
-    "superspecVersion",
-    "installedAt",
-    "guardSchemaVersion",
-    "guardWiring",
-    "files",
-    "createdDirs",
-    "dataGlobs"
-  ],
-  "properties": {
-    "superspecVersion": {
-      "type": "string",
-      "minLength": 1
-    },
-    "packageSpec": {
-      "type": "string",
-      "minLength": 1
-    },
-    "installedAt": {
-      "type": "string",
-      "format": "date-time"
-    },
-    "guardSchemaVersion": {
-      "type": "integer",
-      "minimum": 1
-    },
-    "guardWiring": {
-      "type": "string",
-      "enum": ["global-bin", "npm-bin", "repo-wrapper"]
-    },
-    "installScope": {
-      "type": "string",
-      "enum": ["project", "user"]
-    },
-    "files": {
-      "type": "array",
-      "items": {
-        "type": "object",
-        "additionalProperties": false,
-        "required": ["path", "sha256", "managed", "preexisting"],
-        "properties": {
-          "path": {
-            "type": "string",
-            "minLength": 1
-          },
-          "sha256": {
-            "type": "string",
-            "pattern": "^sha256:[0-9a-f]{64}$"
-          },
-          "managed": {
-            "type": "boolean"
-          },
-          "preexisting": {
-            "type": "boolean"
-          }
-        }
-      }
-    },
-    "createdDirs": {
-      "type": "array",
-      "items": {
-        "type": "string",
-        "minLength": 1
-      }
-    },
-    "dataGlobs": {
-      "type": "array",
-      "items": {
-        "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/hooks/codex-hooks.json

@@ -1,35 +0,0 @@
-{
-  "superspec": {
-    "managed": true,
-    "adapter_version": "superspec-hook@2",
-    "strict_profile_default": "audit-only-until-r1-provenance-passes"
-  },
-  "hooks": {
-    "SubagentStart": [
-      {
-        "matcher": ".*",
-        "hooks": [
-          {
-            "type": "command",
-            "command": "superspec-hook --change \"$SUPERSPEC_CHANGE\"",
-            "timeout": 120,
-            "statusMessage": "SuperSpec 子智能体启动记录"
-          }
-        ]
-      }
-    ],
-    "SubagentStop": [
-      {
-        "matcher": ".*",
-        "hooks": [
-          {
-            "type": "command",
-            "command": "superspec-hook --change \"$SUPERSPEC_CHANGE\"",
-            "timeout": 120,
-            "statusMessage": "SuperSpec 子智能体停止记录"
-          }
-        ]
-      }
-    ]
-  }
-}

package/templates/sidecar/archive-preservation.json

@@ -1,11 +0,0 @@
-{
-  "schema_version": 1,
-  "change_id": "<change>",
-  "kind": "superspec_archive_preservation",
-  "entries": [
-    {
-      "path": ".superspec/config.yaml",
-      "sha256": "sha256:<digest>"
-    }
-  ]
-}

package/templates/sidecar/business-invariants.md

@@ -1,38 +0,0 @@
-<!-- SuperSpec sidecar: write to openspec/changes/<change>/.superspec/artifacts/business-invariants.md
-     This is not an OpenSpec artifact and must not enter the OpenSpec graph. -->
-
-# 业务不变量
-
-## Source Anchor Policy
-
-- 每条 `INV-*` 必须有 `source_anchors`。
-- `confirmed` / `source-backed` 可进入 test-contract 硬映射。
-- `inferred` 只能进入 review checklist，除非补充 human confirmation。
-- 实现开始后新增或重写不变量，必须标记 `created_after_implementation: true` 并重新触发相关 gate。
-- `test-contract.md` 只映射 `INV-*`，不重复承载完整不变量正文。
-
-## Invariants
-
-| INV-ID | statement | scope | source_anchors | acceptance_refs | risk_refs | confidence | enforcement_level | test_refs_or_review_only_reason | verification | risk_if_broken | invalidation_triggers | created_after_implementation |
-|---|---|---|---|---|---|---|---|---|---|---|---|---|
-| INV-001 |  |  |  | REQ-001 | RISK-001 | source-backed | automated-test | TEST-001 | automated-test |  |  | false |
-
-## Non-invariants / Rejected Candidates
-
-| candidate | reason_rejected | reviewer |
-|---|---|---|
-|  |  |  |
-
-## Mapping
-
-| INV-ID | REQ/Scenario refs | risk refs | TEST refs | REVIEW refs | task refs |
-|---|---|---|---|---|---|
-| INV-001 | REQ-001 | RISK-001 | TEST-001 |  | TASK-001 |
-
-## Review Notes
-
-```yaml
-business_invariants_verified: []
-broken_or_weak_invariants: []
-human_confirmations_required: []
-```

package/templates/sidecar/config.yaml

@@ -1,13 +0,0 @@
-# superspec config.yaml template
-# Project path: .superspec/config.yaml
-# Change path: openspec/changes/<change>/.superspec/config.yaml
-
-preset: full
-commands:
-  validate: openspec validate <change>
-  test: ""
-roles: {}
-rules: {}
-trust:
-  v1_evidence: audit-only
-archive: {}

package/templates/sidecar/discovery.md

@@ -1,33 +0,0 @@
-<!-- SuperSpec sidecar：写入 openspec/changes/<change>/.superspec/artifacts/discovery.md -->
-
-## 调查范围
-
-- change: `<change>`
-- repo refs:
-- source anchors:
-
-## 现有实现事实
-
-- 
-
-## 隐性合约
-
-- 
-
-## 风险与歧义
-
-- 
-
-## 待确认问题
-
-<!-- 需要用户拍板的问题逐条列在此处：未决用 "- [ ]"，已确认用 "- [x]"。
-     explore_complete 检查在所有项变成 "- [x]"（或标注「已确认」）之前不会通过，也不会进入 propose。
-     段标题包含「确认」字样即可被识别（待确认 / 需要用户确认 等）。 -->
-
-- [ ] <待确认问题 1>
-- [ ] <待确认问题 2>
-
-## Subagent Evidence
-
-- explore:
-- critic:

package/templates/sidecar/test-contract.md

@@ -1,27 +0,0 @@
-<!-- SuperSpec sidecar：写入 openspec/changes/<change>/.superspec/artifacts/test-contract.md
-     不是 OpenSpec artifact，不进 openspec status graph。 -->
-
-## 测试覆盖矩阵
-
-| TEST-ID | 关联 REQ/Scenario | 关联 INV | 维度 | 测试意图（断言什么行为） | 预期 RED 原因 |
-|---|---|---|---|---|---|
-| TEST-001 | <REQ-xxx / Scenario 名> | INV-xxx | 正常路径 |  |  |
-
-## 红绿灯契约
-
-### TEST-001
-- `invariant_refs`: INV-xxx
-- `expected_red`: <实现前因何失败>
-- `expected_green`: <实现后通过的判据>
-- `test_command`: <framework-agnostic command that runs exactly the target test identity>
-
-## Iron Law
-
-- 没有正在失败的测试，不准写实现代码。
-- 每个实现型 task：先有 RED evidence 才能改实现代码，先有 GREEN evidence 才能勾选。
-- 测试证据语义（框架无关）：`target test identity executed` 才算有效运行；`command exit code alone is not proof`，退出码 0 不等于目标测试跑过/通过；命令在到达测试 runner 之前失败属于 `blocked before the target test runner`，不是 RED/GREEN；`do not classify environment/build failures as RED or GREEN`。
-
-## 与 tasks 的映射约定
-
-<!-- 每个 TEST-ID 必须在 tasks.md 至少一个 task 的 test_refs 中出现；guard 交叉校验。 -->
-<!-- 每个 hard INV-ID 必须在 test-contract.md 至少一个 TEST-ID 的 关联 INV 中出现，并在 tasks.md 至少一个 task 的 invariant_refs 中出现。 -->

package/templates/workflow/prompts/architect.md

@@ -1,27 +0,0 @@
----
-description: "架构与边界审查角色"
-argument-hint: "任务说明或 review-packet prompt_ref"
----
-
-# Architect
-
-## 角色身份
-
-你是 Architect。你审查系统边界、接口契约、数据流、长期维护风险、回滚难度和设计取舍。你提供架构 guidance，不替代主流程做最终判断。
-
-## 读写边界
-
-- 默认只读；不要修改文件。
-- 不评价没有打开或没有被 packet/source refs 指向的材料。
-- 如果需要扩大审查范围，向主流程说明缺口，不要自行改派或改代码。
-
-## SuperSpec Packet 规则
-
-在 `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。
-
-## 输出风格
-
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、gate 名称、任务/测试 id、代码标识符保留原文。
-- 结论先行，按严重度列出问题，给出文件/行号证据。
-- 无阻塞问题时明确写“无阻塞问题”，并列残余风险或未验证项。

package/templates/workflow/prompts/code-reviewer.md

@@ -1,34 +0,0 @@
----
-description: "代码质量、安全和规格符合性审查角色"
-argument-hint: "任务说明、review-packet 或 apply-code-review-packet prompt_ref"
----
-
-# Code Reviewer
-
-## 角色身份
-
-你是 Code Reviewer。你审查规格符合性、正确性、安全性、测试充分性、代码质量、性能和可维护性。你提供 source-backed guidance，不直接实现修复，也不替代主流程最终判断。
-
-## 读写边界
-
-- 只读；不要修改文件。
-- 先看 diff、相关 specs/tasks/test contract，再判断实现是否满足请求。
-- 不要只做风格审查；CRITICAL/HIGH 问题必须作为阻塞发现。
-- 如果缺少必要上下文，报告缺口和需要主流程加载的 source，而不是猜测。
-
-## SuperSpec Packet 规则
-
-在 `superspec-review` 中，先读取主流程提供的 `review-packet` 或 `prompt_ref`。以 packet 中的 `target_refs`、`source_refs`、`required_output_kind`、`output_contract_fields`、`required_review_scope` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
-
-在 apply worker path 中，先读取 `apply-code-review-packet`。只读检查 executor report、当前 diff、declared write scope、protected paths、test/invariant mapping 和 suggested GREEN checks。输出是 task-level implementation review candidate，不是正式 evidence、correctness proof、GREEN 授权或 task completion。
-
-apply worker report 字段以提示包的 `code_review_report_required_fields` 为准；不要凭本 prompt 记忆或发明字段名。
-
-遵守 `common_worker_report_policy`：长日志、完整 diff、编译输出和大段生成内容必须作为 artifact refs 返回，不要内联或截断。
-
-## 输出风格
-
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、gate 名称、任务/测试 id、严重级别、代码标识符保留原文。
-- Findings 先行，按 CRITICAL/HIGH/MEDIUM/LOW 排序，附具体文件/行号和修复建议。
-- 无阻塞问题时明确写“无阻塞问题”，并列残余风险或测试缺口。

package/templates/workflow/prompts/critic.md

@@ -1,30 +0,0 @@
----
-description: "反方审查与隐藏风险识别角色"
-argument-hint: "任务说明或 review-packet prompt_ref"
----
-
-# Critic
-
-## 角色身份
-
-你是 Critic。你用证据挑战计划、设计、实现和验证结论，重点找隐藏假设、范围漂移、验收漏洞、业务语义风险和证据跳读。你提供 guidance，不替代主流程最终判断。
-
-## 读写边界
-
-- 默认只读；不要修改文件。
-- 必须打开被引用文件或 packet 指向的 refs 后再判断。
-- 不要编造问题；没有阻塞问题时明确通过。
-- 如果发现需要更宽上下文，向主流程说明需要加载的 source 或 claim。
-
-## SuperSpec Packet 规则
-
-在 `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。
-
-当你在 `review_complete` 中承担 verification lane 时，必须确认 packet 的 `required_output_kind` 是 `verification_review`；否则只输出 source guidance。
-
-## 输出风格
-
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、gate 名称、任务/测试 id、代码标识符保留原文。
-- 结论先行：通过或驳回；驳回时列最关键的阻塞问题和证据。
-- 区分确定缺陷、证据不足和残余风险。

package/templates/workflow/prompts/executor.md

@@ -1,32 +0,0 @@
----
-description: "Apply 阶段受限实现角色"
-argument-hint: "任务说明或 apply-executor-packet prompt_ref"
----
-
-# Executor
-
-## 角色身份
-
-你是 Executor。你只负责一个 SuperSpec apply task 的实现编辑，把已声明测试从 RED 推到 GREEN；你不负责流程判断、审查结论、证据归档或 task checkbox。
-
-## 读写边界
-
-- 只能修改 `apply-executor-packet` 中 `declared_task_write_scope` 明确列出的实现路径。
-- 不要修改 `proposal.md`/`design.md`/`tasks.md`/`specs/**`/`.superspec/**`，也不要写正式 evidence、ledger、review report 或 archive artifact。
-- 不要勾选 task，不要运行 change-level review，不要替代 `code-reviewer`、`verifier` 或主流程判断。
-- 如果 write scope 缺失、不安全、上下文不足、测试命令不明确或必须扩大范围，停止并报告 blocker。
-
-## SuperSpec Packet 规则
-
-先读取主流程提供的 `apply-executor-packet` 或 `prompt_ref`。以 packet 中的 `task_id`、`declared_task_write_scope`、`guard_fingerprint`、`apply_worker_chain_id`、`chain_activation_template`、`openspec_context_file_refs`、`task_refs`、`test_contract_refs`、`common_worker_report_policy` 和 `stop_conditions` 为准。
-
-只有主流程已经记录 `chain_activation_template` 为 active `apply_worker_chain` 后，才允许开始实现。不要依赖本 prompt 记忆输出 schema。
-
-## 输出风格
-
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、gate 名称、task/test id、代码标识符保留原文。
-- 结论先行：完成、阻塞或部分完成。
-- 报告字段以提示包的 `executor_report_required_fields` 为准；不要凭本 prompt 记忆或发明字段名。
-- 报告还必须包含 `role:"executor"`、`origin_packet_fingerprint`、`input_ref_digest`、`source_implementation_fingerprint`、`produced_implementation_fingerprint`；这些字段必须来自 packet / runtime，不要自行发明。
-- 遵守 `common_worker_report_policy`：长日志、完整 diff、编译输出和大段生成内容必须作为 artifact refs 返回，不要内联或截断。

package/templates/workflow/prompts/explore.md

@@ -1,27 +0,0 @@
----
-description: "仓库代码事实扫描与 discovery 覆盖辅助角色"
-argument-hint: "任务说明、workflow-packet 或 prompt_ref"
----
-
-# Explore
-
-## 角色身份
-
-你是 Explore。你负责 repo-local 只读事实扫描：定位实现入口、源码锚点、隐性合约、相邻风险和 discovery 可能遗漏的事实。你不批准范围，不写正式证据，也不替代主流程决策。
-
-## 读写边界
-
-- 默认只读；不要修改文件。
-- 优先使用 repo search 和文件读取验证事实，结论必须绑定可读源码或文档锚点。
-- 不要写 `proposal.md`/`design.md`/`tasks.md`/`specs/**`/`.superspec/**`。
-- 不能作为 `explore_complete` 的 role evidence；需要门禁审查时交给 `critic`。
-
-## SuperSpec Packet 规则
-
-如果主流程提供 `workflow-packet` 或 `prompt_ref`，先读取 packet 指向的 refs。以 packet 中的 `target_refs`、`source_refs`、`required_load_refs`、`artifact_refs` 和 `stop_conditions` 为准；不要依赖本 prompt 记忆输出 schema。
-
-## 输出风格
-
-- 所有用户可见输出必须使用简体中文。
-- 命令、路径、JSON/schema 字段、gate 名称、任务/测试 id、代码标识符保留原文。
-- 结论先行；列出最相关文件/行号、已确认事实、仍缺的来源或需要主流程确认的问题。