@peterxiaoyang/superspec 0.1.5 → 0.1.7

package/adapters/codex/agents/code-reviewer.toml

@@ -5,9 +5,9 @@ model_reasoning_effort = "xhigh"
 developer_instructions = """
 Role: Code Reviewer. Review spec fit, correctness, security, test adequacy, code quality, performance, and maintainability.
 
-Prompt binding: load `.codex/prompts/code-reviewer.md` first, then read the provided `review-packet` or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, and stop conditions override static prompt memory.
+Prompt binding: load `.codex/prompts/code-reviewer.md` first, then read the provided `review-packet`, `apply-code-review-packet`, or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, declared write scope, executor report refs, and stop conditions override static prompt memory.
 
-Boundary: read-only. Do not implement fixes. Start from diff plus relevant specs/tasks/tests, and report missing context upward instead of guessing.
+Boundary: read-only. Do not implement fixes, write evidence, mark tasks complete, decide GREEN, or replace main-thread workflow decisions. Start from diff plus relevant specs/tasks/tests, and report missing context upward instead of guessing.
 
 Output: concise Simplified Chinese. Findings first, severity ordered, with file:line evidence and concrete fixes. Write `无阻塞问题` when no blocking issue is found.
 """

package/adapters/codex/agents/executor.toml

@@ -0,0 +1,13 @@
+# oh-my-codex agent: executor
+name = "executor"
+description = "Bounded SuperSpec apply implementation worker"
+model_reasoning_effort = "xhigh"
+developer_instructions = """
+Role: Executor. Implement exactly one SuperSpec apply task from the apply-executor packet.
+
+Prompt binding: load `.codex/prompts/executor.md` first, then read the provided `apply-executor-packet` or `prompt_ref`. The packet's task id, declared write scope, guard fingerprint, worker chain id, stop conditions, and report policy override static prompt memory.
+
+Boundary: mutating but bounded. Edit only paths listed in `declared_task_write_scope`; do not edit OpenSpec artifacts, `.superspec/**`, task checkboxes, evidence, review reports, or archives. Stop and report blockers when scope or context is insufficient.
+
+Output: concise Simplified Chinese implementation report with changed files, task/test/invariant mapping, suggested GREEN checks, artifact refs, and residual risk.
+"""

package/adapters/codex/agents/test-runner.toml

@@ -0,0 +1,13 @@
+# oh-my-codex agent: test-runner
+name = "test-runner"
+description = "Bounded SuperSpec apply test execution worker"
+model_reasoning_effort = "xhigh"
+developer_instructions = """
+Role: Test Runner. Execute exactly one SuperSpec apply test phase from the apply-test packet and report an evidence candidate.
+
+Prompt binding: load `.codex/prompts/test-runner.md` first, then read the provided `apply-test-packet` or `prompt_ref`. The packet's task id, test id, phase, allowed command, expected semantic status, guard fingerprint, report policy, and stop conditions override static prompt memory.
+
+Boundary: read-only by default. Do not edit production code, OpenSpec artifacts, `.superspec/**`, task checkboxes, evidence, review reports, or archives. Run only the packet's allowed command and report blockers for missing command, unsafe side effects, or incomplete raw transcript refs.
+
+Output: concise Simplified Chinese test report with command, cwd, phase, task/test id, exit status, semantic status candidate, result summary, raw transcript ref, repo head, dirty-state summary, invariant refs, guard fingerprint, and unverified items.
+"""

package/adapters/codex/agents/verifier.toml

@@ -5,9 +5,9 @@ model_reasoning_effort = "xhigh"
 developer_instructions = """
 Role: Verifier. Prove or disprove completion claims with reproducible evidence; missing evidence is not a pass.
 
-Prompt binding: load `.codex/prompts/verifier.md` first, then read the provided `review-packet` or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, and stop conditions override static prompt memory.
+Prompt binding: load `.codex/prompts/verifier.md` first, then read the provided `review-packet`, `apply-verify-packet`, or `prompt_ref`. The packet's refs, output kind, contract fields, review scope, evidence/report refs, freshness fingerprints, and stop conditions override static prompt memory.
 
-Boundary: read-only. Check commands, test output, diff, artifacts, evidence refs, and acceptance criteria without editing files.
+Boundary: read-only. Check commands, test output, diff, artifacts, evidence refs, acceptance criteria, and freshness without editing files, writing evidence, marking tasks complete, or replacing main-thread workflow decisions.
 
 Output: concise Simplified Chinese. State pass, fail, partial, or evidence gap first; list evidence, gaps, residual risk, and stop conditions.
 """

package/adapters/codex/install-map.json

@@ -42,6 +42,16 @@
       "source": "templates/workflow/prompts/critic.md",
       "target": ".codex/prompts/critic.md"
     },
+    {
+      "kind": "prompt",
+      "source": "templates/workflow/prompts/executor.md",
+      "target": ".codex/prompts/executor.md"
+    },
+    {
+      "kind": "prompt",
+      "source": "templates/workflow/prompts/test-runner.md",
+      "target": ".codex/prompts/test-runner.md"
+    },
     {
       "kind": "prompt",
       "source": "templates/workflow/prompts/test-engineer.md",
@@ -67,6 +77,16 @@
       "source": "adapters/codex/agents/critic.toml",
       "target": ".codex/agents/critic.toml"
     },
+    {
+      "kind": "agent",
+      "source": "adapters/codex/agents/executor.toml",
+      "target": ".codex/agents/executor.toml"
+    },
+    {
+      "kind": "agent",
+      "source": "adapters/codex/agents/test-runner.toml",
+      "target": ".codex/agents/test-runner.toml"
+    },
     {
       "kind": "agent",
       "source": "adapters/codex/agents/test-engineer.toml",

package/dist/src/apply_worker_chain.d.ts

@@ -0,0 +1,57 @@
+import type { JsonMap, Reason } from "./util.ts";
+export type ArtifactRefExpected = {
+    kind?: string;
+    role?: string;
+    taskId?: string;
+    chainId?: string | null;
+};
+export type ApplyWorkerArtifactMaterializeInput = {
+    taskId: string;
+    kind: "worker_report" | "raw_transcript" | "diff_transcript" | "status_report";
+    role: "test-runner" | "executor" | "code-reviewer" | "verifier";
+    content: string | Buffer | JsonMap;
+    path?: string;
+    refPath?: string;
+    filename?: string;
+    workerChainContext?: "none" | "executor_worker";
+    applyWorkerChainId?: string;
+    originPacketFingerprint?: string;
+    sourceImplementationFingerprint?: unknown;
+    producedImplementationFingerprint?: unknown;
+    observedImplementationFingerprint?: unknown;
+    inputRefDigest?: string;
+    command?: string;
+    cwd?: string;
+    phase?: string;
+    testId?: string;
+    exitCode?: number;
+    maxBytes?: number;
+    metadata?: JsonMap;
+};
+export declare const APPLY_WORKER_MAX_INLINE_REPORT_CHARS = 12000;
+export declare const APPLY_TEST_RUNNER_REPORT_REQUIRED_FIELDS: readonly ["role", "command", "command_source", "cwd", "phase", "task_id", "test_id", "exit_code", "semantic_status_candidate", "result_summary", "runtime_raw_transcript_ref", "repo_head", "pre_dirty_state", "post_dirty_state", "changed_files", "untracked_files", "invariant_refs", "source_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "guard_fingerprint", "unverified_items"];
+export declare const APPLY_EXECUTOR_REPORT_REQUIRED_FIELDS: readonly ["role", "task_id", "apply_worker_chain_id", "cwd", "repo_head", "guard_fingerprint", "changed_files", "suggested_green_checks", "test_invariant_mapping", "runtime_artifact_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "produced_implementation_fingerprint", "unverified_items", "risk_notes"];
+export declare const APPLY_CODE_REVIEW_REPORT_REQUIRED_FIELDS: readonly ["role", "review_status_candidate", "cwd", "repo_head", "guard_fingerprint", "executor_report_ref", "actual_changed_files", "changed_files", "untracked_files", "implementation_dirty_file_list", "implementation_fingerprint", "guard_artifact_manifest_fingerprint", "scope_verdict", "protected_path_verdict", "executor_report_mismatch", "test_invariant_mapping_verdict", "suggested_green_test_ids", "risk_notes", "runtime_raw_git_status_transcript_ref", "runtime_raw_git_diff_name_status_transcript_ref", "runtime_path_scoped_diff_transcript_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "unverified_items"];
+export declare const APPLY_VERIFIER_REPORT_REQUIRED_FIELDS: readonly ["role", "verification_status_candidate", "task_completion_verdict", "chain_consistency_verdict", "acceptance_coverage_verdict", "invariant_coverage_verdict", "test_coverage_verdict", "cwd", "repo_head", "guard_fingerprint", "expected_freshness_fingerprint", "observed_freshness_fingerprint", "freshness_verdict", "green_test_run_evidence_refs", "executor_report_ref", "task_code_review_report_ref", "actual_changed_files", "changed_files", "untracked_files", "implementation_dirty_file_list", "implementation_fingerprint", "guard_artifact_manifest_fingerprint", "unexpected_guard_owned_dirty_paths", "scope_verdict", "protected_path_verdict", "executor_code_review_mismatch", "test_evidence_mismatch", "runtime_raw_git_status_transcript_ref", "runtime_raw_git_diff_name_status_transcript_ref", "runtime_path_scoped_diff_transcript_refs", "diff_summary_refs", "origin_packet_fingerprint", "input_ref_digest", "source_implementation_fingerprint", "observed_implementation_fingerprint", "risk_notes", "triggered_stop_conditions", "unverified_items"];
+export declare function apply_worker_implementation_fingerprint(repoRoot: string, changeRoot: string, expectedGuardRefs?: unknown[], opts?: {
+    declaredTaskWriteScope?: string[];
+    protectedPathRefs?: unknown[];
+}): JsonMap;
+export declare function apply_worker_protected_path_refs(repoRoot: string, changeRoot: string, expectedGuardRefs?: unknown[]): JsonMap[];
+export declare function worker_input_ref_digest(refs: unknown[]): string;
+export declare function apply_worker_executor_input_ref_digest(evidences: JsonMap[], active: JsonMap): string;
+export declare function apply_worker_guard_artifact_manifest_fingerprint(items: JsonMap): JsonMap;
+export declare function fingerprint_digest(value: unknown): string;
+export declare function fingerprint_matches(actual: unknown, expected: unknown): boolean;
+export declare function read_pinned_artifact_json(changeRoot: string, refItem: unknown): JsonMap | null;
+export declare function materialize_apply_worker_artifact_ref(changeRoot: string, input: ApplyWorkerArtifactMaterializeInput): JsonMap;
+export declare function pinned_artifact_ref_reasons(changeRoot: string, refItem: unknown, label: string, expected?: ArtifactRefExpected, code?: string): Reason[];
+export declare function worker_test_run_reasons(changeRoot: string, ev: JsonMap, taskId: string, chainId: string | null, code?: string): Reason[];
+export declare function pre_edit_evidence_ref_reasons(evidences: JsonMap[], active: JsonMap | null | undefined, taskId: string, code?: string): Reason[];
+export declare function compute_apply_worker_freshness(repoRoot: string, changeRoot: string, evidences: JsonMap[], taskId: string, chainId: string, refs: {
+    executor_report_ref: unknown;
+    task_code_review_report_ref: unknown;
+    green_test_run_evidence_ref: string;
+    green_test_run_evidence_refs?: string[];
+    verifier_report_ref?: unknown;
+}): JsonMap;