@peterxiaoyang/superspec 0.1.14 → 0.1.16-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 中出现。 -->