@akagilnc/pi-workflow-roles 0.1.5015 → 0.1.5063

package/src/role-runtime.ts

@@ -39,7 +39,6 @@ import {
 import { engineSessionMaterialFromOptions } from "./package-resources/engine-material.ts";
 import { registerEngineDetourTool } from "./engine-detour-tool.ts";
 import { createReceiptDeliveryPolicy, NO_RECEIPT_LIFECYCLE_ENTRY_TYPE, RECEIPT_DELIVERY_PROMPT } from "./receipt-delivery-policy.ts";
-import type { AnyCanonicalSkillBinding } from "./canonical-skill-binding.ts";
 import type { CollectorClock } from "./collector-evidence.ts";
 import type { CollectorGitHubTransport } from "./collector-github.ts";
 import {
@@ -251,13 +250,8 @@ import {
   FIXER_FLAG_DEFINITIONS,
   FIXER_OUTPUT_TOOL_NAME,
   FIXER_PHASES,
-  type CoderSkillExpansionEvidenceMissingResult,
 } from "./worker-role.ts";
 
-/** One envelope map for Gatekeeper non-pass and other correct submission rejects (#525). */
-type SubmissionNonPassResult =
-  | SubmissionGateNonPassResult
-  | CoderSkillExpansionEvidenceMissingResult;
 import { JUDGE_OUTPUT_TOOL_NAME } from "./package-contracts/judge-output.ts";
 import { REVIEWER_OUTPUT_TOOL_NAME } from "./package-contracts/reviewer-output.ts";
 import { DOCTOR_OUTPUT_TOOL_NAME } from "./doctor-contracts.ts";
@@ -340,13 +334,10 @@ export {
 } from "./reviewer-role.ts";
 export {
   CODER_OUTPUT_TOOL_NAME,
-  CODER_SKILL_EXPANSION_EVIDENCE_MISSING_CODE,
-  CoderSkillExpansionEvidenceMissingError,
   FIXER_FLAG_DEFINITIONS,
   FIXER_OUTPUT_TOOL_NAME,
   FIXER_PHASES,
   type CoderOutput,
-  type CoderSkillExpansionEvidenceMissingResult,
   type FixerOutput,
   type WorkerOutput,
 } from "./worker-role.ts";
@@ -510,9 +501,6 @@ export type RoleRuntimeDependencies = {
   createCollectorClock?(): CollectorClock;
   createNavigatorAttendance?(options: { context: HostContext; role: string; phase: NavigatorPhase; subjectKey: string; subject: string; authority: string; contextError?: unknown; invocationId: string; onEvent: (event: import("./navigator-attendance.ts").NavigatorEvent, report: import("./navigator-attendance.ts").NavigatorReport) => void | Promise<void> }): NavigatorAttendanceDependency | Promise<NavigatorAttendanceDependency>;
   loadNavigatorWorkContext?(options: { context: HostContext; role: string; phase: NavigatorPhase; getFlag?: (name: string) => unknown }): Promise<NavigatorWorkContext>;
-  loadCanonicalSkillBinding?(
-    name: "tdd" | "ak-cross-m-review",
-  ): Promise<AnyCanonicalSkillBinding>;
   activationClock?(): string;
   activationTraceWriter?: (record: ActivationTraceRecord) => void | Promise<void>;
   /** Wall-clock ISO timestamps for tool-execution observation records; defaults to activationClock/Date. */
@@ -1267,9 +1255,6 @@ export function createRoleRuntimeExtension(
     let roleReferenceMaterials = "";
     /** Live Reviewer parent activation for envelope agent_start prompt assembly. */
     let activeReviewerParent: ReviewerActivation | undefined;
-    /** Envelope-owned Reviewer Skill expansion state (ADR 0018 — not a role-module facade). */
-    let reviewerOriginalRequest: string | undefined;
-    let reviewerExpansionCaptured = false;
     let navigatorAttendance: NavigatorAttendanceDependency | undefined;
     // #351: session-lifecycle owner for periodic OAuth refresh (orthogonal to role admission).
     let pendingNavigatorPresentation: { event: import("./navigator-attendance.ts").NavigatorEvent; report: import("./navigator-attendance.ts").NavigatorReport } | undefined;
@@ -1280,7 +1265,7 @@ export function createRoleRuntimeExtension(
     /** toolCallId → fact+evidence; one-shot projected onto durable tool_result (#475). */
     const pendingInfrastructureFailures = new Map<string, PendingInfrastructureFailure>();
     // Envelope-owned execute→tool_result bridge for submission non-pass (ADR 0018 / #525).
-    const pendingSubmissionNonPassByToolCallId = new Map<string, SubmissionNonPassResult>();
+    const pendingSubmissionNonPassByToolCallId = new Map<string, SubmissionGateNonPassResult>();
     const pendingPriorGatePassByToolCallId = new Map<string, unknown>();
     let engineDetourRegistered = false;
     // #288 primary-session thin adapter. The policy is the sole budget owner;
@@ -1377,23 +1362,9 @@ export function createRoleRuntimeExtension(
       () => receiptDelivery.recordAccepted(),
       settleNavigatorProjection,
     );
-    roleHost.on("input", (event) => {
-      const text = event.text;
+    roleHost.on("input", (_event) => {
       const role = roleHost.getFlag(ROLE_FLAG.name);
       if (role !== undefined && !admitted) return { action: "handled" as const };
-      // Reviewer: recover original request; Pi argv may already carry native form.
-      if (
-        admitted
-        && activeReviewerParent !== undefined
-        && selectedRole === role
-        && reviewerOriginalRequest === undefined
-      ) {
-        reviewerOriginalRequest =
-          roleHost.capabilities?.skillOriginalRequest?.(
-            activeReviewerParent.skillBinding.name,
-            text,
-          ) ?? text;
-      }
       return { action: "continue" as const };
     });
     // Reference law/guides use the existing typed reading-material channel;
@@ -1447,17 +1418,8 @@ export function createRoleRuntimeExtension(
         }
       }
       navigatorAttendance?.prepare();
-      // Envelope-owned Reviewer expansion capture + parent prompt assembly (no role-module callback).
+      // Reviewer parent prompt assembly.
       if (activeReviewerParent !== undefined && selectedRole === role) {
-        if (!reviewerExpansionCaptured) {
-          if (reviewerOriginalRequest !== undefined) {
-            activeReviewerParent.skillBinding.captureExpansion(
-              roleHost.capabilities?.skillExpansion(prompt),
-              reviewerOriginalRequest,
-            );
-          }
-          reviewerExpansionCaptured = true;
-        }
         return {
           systemPrompt: assembleReviewerParentSystemPrompt({
             baseSystemPrompt: event.systemPrompt,
@@ -1747,7 +1709,7 @@ export function createRoleRuntimeExtension(
         }
         failInfrastructure(error, ctx);
       },
-      bindSubmissionNonPass(toolCallId: string, result: SubmissionNonPassResult): void {
+      bindSubmissionNonPass(toolCallId: string, result: SubmissionGateNonPassResult): void {
         pendingSubmissionNonPassByToolCallId.set(toolCallId, result);
       },
       bindPriorGatePass(toolCallId: string, receipt: unknown): void {
@@ -1785,12 +1747,6 @@ export function createRoleRuntimeExtension(
           }
           return dependencies.loadCoderTask(path);
         },
-        ...(dependencies.loadCanonicalSkillBinding === undefined
-          ? {}
-          : {
-              loadCanonicalSkillBinding: (name: "tdd") =>
-                dependencies.loadCanonicalSkillBinding!(name),
-            }),
       },
       hostActions,
     );
@@ -1798,12 +1754,6 @@ export function createRoleRuntimeExtension(
       roleHost,
       {
         loadSoul: () => requireRoleSoul("reviewer"),
-        async loadCanonicalSkillBinding(name) {
-          if (dependencies.loadCanonicalSkillBinding === undefined) {
-            throw new Error("Reviewer runtime dependencies are not configured");
-          }
-          return dependencies.loadCanonicalSkillBinding(name);
-        },
       },
       hostActions,
     );
@@ -2091,8 +2041,6 @@ export function createRoleRuntimeExtension(
       activeReviewerParent = undefined;
       activeCollector = undefined;
       collectorFirstDispatchDone = false;
-      reviewerOriginalRequest = undefined;
-      reviewerExpansionCaptured = false;
       receiptDelivery = createReceiptDeliveryPolicy();
       noReceiptRecorded = false;
       observationFace.reset();

package/src/worker-role.ts

@@ -2,12 +2,7 @@ import type { RoleHost, HostContext, HostToolResult, HostGatekeeperActions } fro
 import { Type, type Static } from "typebox";
 import { openToolObjectFromUnion } from "./open-tool-schema.ts";
 import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
-import { CorrectableSubmissionError } from "./submission-correctable-error.ts";
 
-import type {
-  AnyCanonicalSkillBinding,
-  CanonicalSkillBinding,
-} from "./canonical-skill-binding.ts";
 import { readableGateItem } from "./readable-gate-item.ts";
 import { projectGatekeeperEscalation } from "./audit-escalation.ts";
 import { GatekeeperDecisionError, ParentQueueReaskError } from "./submission-errors.ts";
@@ -112,25 +107,6 @@ function isWorkerPhase(value: unknown): value is WorkerPhase {
 
 export type WorkerRoleHostActions = HostGatekeeperActions;
 
-/** Stable code for completed apply without host skill-expansion capability evidence (#525). */
-export const CODER_SKILL_EXPANSION_EVIDENCE_MISSING_CODE =
-  "coder_skill_expansion_evidence_missing" as const;
-
-export type CoderSkillExpansionEvidenceMissingResult = {
-  readonly code: typeof CODER_SKILL_EXPANSION_EVIDENCE_MISSING_CODE;
-};
-
-/** Correct completed rejection — not infrastructure; projected via submission non-pass bridge. */
-export class CoderSkillExpansionEvidenceMissingError extends CorrectableSubmissionError {
-  readonly code = CODER_SKILL_EXPANSION_EVIDENCE_MISSING_CODE;
-  readonly result: CoderSkillExpansionEvidenceMissingResult;
-  constructor() {
-    super("Coder completed requires host skill-expansion capability evidence");
-    this.name = "CoderSkillExpansionEvidenceMissingError";
-    this.result = Object.freeze({ code: CODER_SKILL_EXPANSION_EVIDENCE_MISSING_CODE });
-  }
-}
-
 export type FixerRoleDependencies = {
   loadSoul(): Promise<string>;
   loadPacket(path: string): Promise<string>;
@@ -139,9 +115,6 @@ export type FixerRoleDependencies = {
 export type CoderRoleDependencies = {
   loadSoul(): Promise<string>;
   loadTask(path: string): Promise<string>;
-  loadCanonicalSkillBinding?(
-    name: "tdd",
-  ): Promise<AnyCanonicalSkillBinding>;
 };
 
 export type WorkerRoleRuntime = {
@@ -374,10 +347,6 @@ export function createCoderRoleRuntime(
   let soul: string | undefined;
   let task: string | undefined;
   let phase: WorkerPhase | undefined;
-  let binding: CanonicalSkillBinding<"tdd"> | undefined;
-  let tddInvocationInjected = false;
-  let originalRequest: string | undefined;
-  let expansionPending = false;
   let lifecycleRegistered = false;
   const submissionGate = createWorkerSubmissionGate();
 
@@ -393,11 +362,6 @@ export function createCoderRoleRuntime(
 
   return {
     async activate(ctx) {
-      // Each activation owns its own Skill capture state; prior-session flags must
-      // not authorize a later apply completed (same RoleHost, sequential activate).
-      tddInvocationInjected = false;
-      originalRequest = undefined;
-      expansionPending = false;
       soul = (await dependencies.loadSoul()).trim();
       if (soul.length === 0) throw new Error("Coder soul is empty");
       const selectedPhase = pi.getFlag("ak-coder-phase");
@@ -413,24 +377,6 @@ export function createCoderRoleRuntime(
       }
       task = (await dependencies.loadTask(taskPath)).trim();
       if (task.length === 0) throw new Error("Coder task is empty");
-      binding = undefined;
-      if (phase === "apply") {
-        if (dependencies.loadCanonicalSkillBinding === undefined) {
-          throw new Error("Coder canonical Skill binding loader is not configured");
-        }
-        try {
-          const loaded = await dependencies.loadCanonicalSkillBinding("tdd");
-          if (loaded.name !== "tdd") {
-            throw new Error(
-              "Canonical Skill binding loader returned ak-cross-m-review for tdd",
-            );
-          }
-          binding = loaded;
-        } catch (error) {
-          if (ctx === undefined) throw error;
-          hostActions.failInfrastructure(error, ctx);
-        }
-      }
 
       if (!lifecycleRegistered) {
         lifecycleRegistered = true;
@@ -447,7 +393,7 @@ export function createCoderRoleRuntime(
             const output = validateWorkerOutput(parameters, phase, "Coder");
             const status = requireReadableWorkerStatus(output);
             // #836: skill-expansion evidence rejection deleted (陛下「2.4/5 删」).
-            // Skill still ships with the package (ADR 0052); code no longer refuses on it.
+            // Missing method Skills do not reject a receipt.
             assertAcceptableThroughHost(
               submissionGate,
               status,
@@ -490,34 +436,8 @@ export function createCoderRoleRuntime(
             };
           },
         });
-        pi.on("input", (event) => {
-          if (phase !== "apply" || tddInvocationInjected) {
-            return { action: "continue" as const };
-          }
-          tddInvocationInjected = true;
-          expansionPending = true;
-          // Original request via host capability when Pi argv already carries native form;
-          // non-pi keeps plain original bytes (no consumer trim; #822 r3 / reviewer-aligned).
-          // Role never emits or parses `/skill:` (ADR 0082).
-          originalRequest = binding === undefined
-            ? event.text
-            : (pi.capabilities?.skillOriginalRequest?.(binding.name, event.text)
-              ?? event.text);
-          return { action: "continue" as const };
-        });
         pi.on("before_agent_start", (event, ctx) => {
           if (soul === undefined) throw new Error("将作监职分未装载");
-          if (phase === "apply") {
-            if (binding === undefined) {
-              hostActions.failInfrastructure(
-                new Error("Coder canonical tdd Skill binding was not initialized"),
-                ctx,
-              );
-            }
-            if (expansionPending) {
-              expansionPending = false;
-            }
-          }
           return {
             systemPrompt:
               `${event.systemPrompt}\n\n<coder_soul>\n${soul}\n</coder_soul>\n\n<coder_phase>\n${phase ?? ""}\n</coder_phase>\n\n<coder_task>\n${task ?? ""}\n</coder_task>`,

package/dist/method-host-plugin/.claude-plugin/plugin.json

@@ -1,5 +0,0 @@
-{
-  "name": "ak-methods",
-  "version": "0.0.0",
-  "description": "ak-roles packaged role method skills"
-}

package/dist/method-host-plugin/skills/ak-cross-m-review/CONTEXT.md

@@ -1,48 +0,0 @@
-# ak-cross-m-review
-
-Local, pre-PR review gate: two independent lenses against a pinned diff, one verdict each; a single lens runs in the invoking session, `all` runs both as parallel sub-agent legs. `SKILL.md` plus the selected lens prompt is the complete active authority; this file is vocabulary only.
-
-## Language
-
-**Fixed target**:
-The pinned base-to-HEAD snapshot under review, resolved to two literal SHAs
-before anything is dispatched.
-_Avoid_: range, worktree diff, working changes
-
-**Authority set**:
-The ordered sources that govern the review — user decisions first, then
-ratified ADRs / specs, then repository contracts.
-_Avoid_: spec (alone), reference docs
-
-**Lens**:
-One review question with its own prompt file — `completeness` (was the
-authority delivered?) or `correctness` (is what exists right?).
-_Avoid_: axis, gate, mode, pass
-
-**Leg**:
-One independent sub-agent running exactly one lens inside an independent copy of the target at `PRE_HEAD`, dispatched only by `all`; the copy is provided by the harness when it can, otherwise created by the caller. A single-lens invocation has no leg: the invoking session applies the lens itself.
-_Avoid_: panel, member, reviewer squad, vendor leg
-
-**Candidate**:
-An evidence-backed claim a leg submits for judgment; never a verdict.
-_Avoid_: finding (before judgment), vote
-
-**Judge**:
-The invoking session, which verifies each candidate against the fixed target
-and authority set and disposes it as live or refuted.
-_Avoid_: orchestrator, runner, merger
-
-**Verdict**:
-The single terminal line a lens ends with, labelled by lens
-(`CMR-VERDICT: completeness=…` / `CMR-VERDICT: correctness=…`).
-_Avoid_: gate result, concur, convergence
-
-**Preset**:
-A named wrapper skill that invokes the engine with one lens and returns its
-report unchanged.
-_Avoid_: gate skill, entry point
-
-**Review only**:
-The outcome boundary — the invocation reports and stops; the caller owns every
-repair, commit, retry, and later review.
-_Avoid_: read-only (that is a filesystem property, not this boundary)

package/dist/method-host-plugin/skills/ak-cross-m-review/LICENSE

@@ -1,21 +0,0 @@
-MIT License
-
-Copyright (c) 2026 Akagi
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in all
-copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
-SOFTWARE.

package/dist/method-host-plugin/skills/ak-cross-m-review/SKILL.md

@@ -1,170 +0,0 @@
----
-name: ak-cross-m-review
-description: Use when the user requests CMR (cross-model review) of a fixed target, or a CMR preset delegates here.
-allowed-tools:
-  - Agent
-  - Bash
-  - Read
-  - Grep
-  - Glob
----
-
-# /ak-cross-m-review — fixed-target review engine
-
-This file plus each selected prompt is the complete active authority. See `CONTEXT.md` for vocabulary.
-
-**REVIEW ONLY.** Pin one fixed target and authority set, run the selected
-lenses, judge their candidates independently, report, and stop. The caller owns
-every repair, commit, retry, and later review.
-
-Model composition is the caller's: a single lens runs in the invoking session; `all` runs each lens as one leg on whatever the harness supplies.
-
-## Invocation
-
-Direct invocation must provide every required input; these are agent-chat
-arguments, not a shell CLI:
-
-```text
-/ak-cross-m-review --base FIXED_POINT --lens completeness|correctness|all
-  --authority SOURCE [--authority SOURCE ...]
-```
-
-- `--base` supplies the fixed point compared with committed `HEAD`.
-- `--lens` is required and has no default.
-- `--authority` names a governing repository path or labelled user source.
-
-## Step 1 — Pin the fixed target
-
-Run from the target repository:
-
-1. Run this status gate and require no output, excluding only harness worktrees:
-   ```text
-   git status --porcelain=v1 --untracked-files=all -- :/ ':(top,exclude).claude/worktrees/**'
-   ```
-2. Resolve literal `PRE_HEAD` with `git rev-parse --verify 'HEAD^{commit}'`,
-   `BASE_SHA` with `git rev-parse --verify '<base>^{commit}'`, and `TARGET_ROOT`
-   with `git rev-parse --show-toplevel`.
-3. Substitute those SHAs and freeze these commands exactly:
-
-   ```text
-   git log --oneline BASE_SHA..PRE_HEAD
-   git diff --binary BASE_SHA...PRE_HEAD
-   ```
-
-4. Run the frozen log command and require the frozen diff command to produce a
-   non-empty diff.
-
-A dirty tree, unresolved required ref, unexpected failed command, or empty diff is a `hard-stop`. Record the exact failing command and its native output in one sentence.
-
-Completion criterion: clean status, literal pin values, and one non-empty diff represented by the two frozen commands.
-
-## Step 2 — Pin the authority set
-
-Freeze one ordered authority set before dispatch:
-
-1. user decisions and supplied sources;
-2. ratified ADRs, acceptance text, PRD/spec, and originating issue;
-3. repository contracts such as AGENTS/CLAUDE/CONTRIBUTING, public APIs, and
-   behavior tests;
-4. surrounding code as evidence of an established contract only.
-
-Follow references named by higher authority; lower authority cannot override
-higher authority. List repository authority by relative path. Put exact
-user-supplied text in the brief under a stable label such as
-`user-authority-1`, with stable line addresses.
-
-Completeness, alone or inside `all`, requires clause authority addressable as
-repository `path:line` or brief `source-label:line`. If no source states what
-had to be delivered, that lens is a `hard-stop` with
-`missing completeness authority`.
-Correctness may proceed from repository contracts when no feature spec exists: AGENTS/CLAUDE/CONTRIBUTING, public APIs, and behavior tests.
-
-Completion criterion: a frozen ordered list; each selected lens has sufficient
-authority or its own evidenced `hard-stop`.
-
-## Step 3 — Select lenses
-
-`--lens completeness|correctness|all` is required; omission is a usage error (report it; no verdict line).
-
-- `completeness` loads `prompts/cmr-completeness.md` and applies
-  Clause–Wire–Exercise.
-- `correctness` loads `prompts/cmr-reviewer.md` and applies
-  Trace–Break–Prove.
-- `all` launches both lenses as sub-agent legs in one parallel batch.
-
-Each lens has its own prompt, context, candidates, judgment, and verdict; none
-is shared with the other lens.
-
-Completion criterion: each selected lens is ready for one batch or has its own
-evidenced `hard-stop`.
-
-## Step 4 — Run the selected lenses
-
-A single lens runs in the invoking session: apply the selected lens prompt yourself in `TARGET_ROOT` at `PRE_HEAD`, run the frozen commands, read the authority and the repository, probe where useful, and write the complete candidate list under the lens's candidate contract before judging anything in Step 5. Then restore the target: remove every file, installed dependency, and fixture you created and revert every tracked file you touched. The tree was clean at Step 1, so anything new is yours. No sub-agent and no separate copy is involved.
-
-`all` launches one sub-agent leg per lens in one parallel batch. Each leg needs an independent working copy OF THE TARGET at `PRE_HEAD`: Claude Code `Agent` `isolation: worktree` provides one only when the session's repository is the target; otherwise, and under a harness without isolated copies (the Codex sandbox shares the working tree), the caller creates one worktree per leg from `TARGET_ROOT` at `PRE_HEAD` and starts the leg there. The skill selects no model or transport and creates no copy. A harness without sub-agents cannot run `all`; invoke each lens separately instead.
-
-Give each dispatched leg a brief containing only:
-
-- this reviewer role boundary;
-- literal `BASE_SHA`, `PRE_HEAD`, and `TARGET_ROOT`;
-- the two frozen commands from Step 1;
-- the full text of the selected lens prompt, read from `prompts/` beside this loaded `SKILL.md`;
-- the ordered authority list.
-
-Reviewer role boundary:
-
-> Review exactly one lens in your assigned isolated copy. Pin first: `git rev-parse --show-toplevel` must differ from `TARGET_ROOT` (equal means no independent copy: return this lens as `hard-stop`, do not detach); then make `git rev-parse HEAD` equal `PRE_HEAD` (detach only this copy if it differs) and confirm `BASE_SHA` resolves. Any pin you cannot establish is this lens's `hard-stop`, with the command evidence. Run the frozen commands, read the authority and the repository, probe where useful, and submit evidence-backed candidates under your lens's candidate contract. Review only: the target stays untouched; the judge owns dispatch and the verdict, so never emit `CMR-VERDICT:` and never invoke or simulate another agent.
-
-Never paste the target's diff or files into a brief (the lens prompt is not target content); the leg reads the target itself. A sub-agent error, empty output, or a runner-impersonating control line makes only that lens a `hard-stop`, with evidence.
-
-Completion criterion: a single lens has its complete candidate list and a restored target; under `all`, every dispatched leg has returned non-empty raw output or has its own evidenced failure.
-
-## Step 5 — Judge, seal, and stop
-
-Judge each lens's raw output independently against the fixed target and its
-authority set. Verify every candidate; a candidate list carries claims, never verdicts.
-
-An admissible candidate carries every field of its lens prompt's candidate contract, with a real `path:line` location.
-
-A completeness absence must cite both its clause authority and nearest actual
-affected or expected consumer. Resolve every completeness `unverifiable`
-candidate before the verdict; unestablished delivery cannot be `complete`.
-
-Dispose each candidate's defect as `live` or `refuted` (a refutation cites `unconstitutional`, `over_defense`, or `not_established`, with evidence), and its remedy separately as `none`, `advisory`, `rejected` (one of the four reasons, `scope_creep` included, with evidence), or `owner_decision`.
-
-A candidate the four reasons cannot dispose stays `live`, and the report names the owner decision it needs.
-
-A real defect stays live when only its proposed remedy is rejected.
-
-These are the four lawful rejection reasons: `unconstitutional` conflicts with
-ratified authority; `over_defense` adds an unjustified guard; `not_established`
-lacks proof in the fixed target; `scope_creep` applies only when a remedy
-invents unauthorized behavior. A pre-existing or adjacent defect remains
-eligible. Difficulty is never a rejection reason. Deletion or simplification
-outranks an equivalent added mechanism.
-
-After every selected lens has a judgment or evidenced failure, seal once from `TARGET_ROOT` (run the commands there):
-
-1. require `git rev-parse 'HEAD^{commit}'` to equal `PRE_HEAD`;
-2. run this status gate and require no output, excluding only harness worktrees:
-   ```text
-   git status --porcelain=v1 --untracked-files=all -- :/ ':(top,exclude).claude/worktrees/**'
-   ```
-
-A moved HEAD is a `hard-stop` with before/after evidence. Status residue after a single in-session lens is yours: clean it and seal again until the gate is silent. Status residue after dispatched legs is not yours: `hard-stop` with the status evidence, and never reset, checkout, remove, or clean what you did not create.
-
-End each selected lens with exactly one labelled line:
-
-```text
-CMR-VERDICT: completeness=complete|gaps|hard-stop
-CMR-VERDICT: correctness=converged|findings|hard-stop
-```
-
-Completeness is `complete` when no live gap or unresolved `unverifiable` row
-remains; otherwise it is `gaps`. Correctness is `converged` when no live defect
-remains; otherwise it is `findings`.
-`hard-stop` means a prerequisite, seal, or leg failure as defined above; Step 1 pin and seal failures apply to every selected lens, while Step 2 and leg failures apply only to that lens. A `--lens` usage error emits no verdict line.
-
-Completion criterion: after the single successful seal, every selected lens has an independent judgment or evidenced failure and exactly one labelled verdict;
-or, on an evidenced pin or seal failure, every selected lens carries its labelled `hard-stop`. Stop unconditionally.

package/dist/method-host-plugin/skills/ak-cross-m-review/prompts/cmr-completeness.md

@@ -1,118 +0,0 @@
-# Completeness lens — Clause–Wire–Exercise
-
-You are one independent completeness leg for a fixed, complete diff. Your
-output is evidence-backed **candidate gaps** for a separate judge. You do not
-decide the verdict or fill the gaps yourself. Your current working
-directory holds the target at the pinned HEAD: use it for repository reading,
-search, tests, dependency installation, probes, and local artifacts. Do not
-commit, push, mutate remote state, or implement a repair.
-
-Completeness starts from authority, never from imagination. Do not invent a
-requirement, test obligation, guard, or mechanism because it seems useful. A
-green suite is evidence only for the behavior it actually exercises. Simpler or
-deletion-based delivery outranks adding an equivalent mechanism.
-
-You receive:
-
-- fixed base and HEAD SHAs;
-- one fully resolved log command and one fully resolved diff command;
-- an ordered authority path/source list with enumerable clauses;
-- this lens and the candidate contract below.
-
-Run the supplied log and diff commands yourself. Read every repository authority
-path from the working directory and every labelled user source from the task
-packet, plus the surrounding producers, consumers, tests, and contracts. The task
-packet is an assignment, not a repository substitute; do not assume that an
-omitted file body or non-embedded diff is unavailable.
-
-## 1. Clause
-
-Keep a private ledger of every authoritative requirement. Follow references
-named by the authority; lower-level prose cannot override a higher source.
-
-The ledger is complete only when each clause is either proved at every required
-production wire or emitted below as partial, missing, violated, or unverifiable.
-`unverifiable` names the exact missing evidence. Every candidate gap must name
-its governing authority clause.
-
-## 2. Wire
-
-For each executable clause that appears delivered, trace the real wire:
-
-```text
-production instruction/producer → binding/schema → decoder/consumer → externally visible effect
-```
-
-Confirm that the consumer is invoked on the relevant path and that the effect
-matches the clause. A file, function, flag, or test existing in isolation is not
-delivery when nothing consumes it. For a delegation or exemption, verify the
-named delegate/backstop exists and is connected; otherwise the premise is
-missing or violated.
-
-For a runtime artifact introduced for the first time, trace both its invocation
-and its availability chain: inventory/package/mount/discovery/preflight must make
-the artifact reachable before the runtime consumer calls it.
-
-For each exported seam or shared contract changed by the diff, search every
-reference and authority-required consumer from the canonical source. Reconcile
-every declared variant and production wire individually; a declared capability
-that no required consumer uses is a candidate gap.
-
-For a design document, identify the downstream decision, state transition, or
-implementation boundary that consumes each clause. Do not demand that future
-code already exists merely because the design precedes implementation; audit
-whether the document gives its consumer an unambiguous, usable decision.
-
-## 3. Exercise
-
-Exercise only a **load-bearing** gate, guard, or state machine: a mechanism the
-authority relies on to reject, route, or transition behavior. Do not require a
-probe for ordinary prose, passive data, or a non-load-bearing helper.
-
-When safe and runnable:
-
-1. choose the input/state the mechanism is required to handle;
-2. run the real entry path or the narrowest faithful probe;
-3. observe whether the required rejection, route, or transition occurs;
-4. record the command, injected condition, and result.
-
-Static shape and author-written happy-path tests do not prove a load-bearing
-mechanism works. If it cannot be exercised, record `unverifiable` and the exact
-missing evidence unless other evidence establishes the required behavior. Do
-not manufacture a gap beyond the authority.
-
-A test is required only when the authority requires one or when it is the
-available evidence for a claimed behavioral wire.
-
-## 4. Candidate gaps
-
-Create a candidate for a ledger row proved partial, missing, violated, or hollow
-at its real consumer. Also create one for every `unverifiable` row so the judge
-can resolve it; claim only that delivery is not established and name the missing
-evidence, not that the behavior is absent. Each candidate contains:
-
-```text
-location: nearest actual affected or expected consumer path:line
-claim: what required delivery is absent, contradicted, hollow, or not yet established
-failure scenario: trigger → consumer/path → wrong effect, or required path/effect still unproved
-authority: repository path:line or task-packet source-label:line + governing clause
-evidence: ledger row, files read, commands/probes, and observed result
-severity_hint: impact if the judge establishes the gap
-remedy: optional; omit when uncertain
-```
-
-Even an absence needs both real anchors: the authority repository `path:line` or
-task-packet `source-label:line` that requires the behavior, and the nearest
-affected/expected consumer `path:line`. A proposed filename, stable symbol, or
-unlocated summary is not admissible evidence.
-
-Check the project's constitution as authority. A mechanism that conflicts with
-a ratified ADR or owner decision can be a gap-by-violation even when fully
-implemented; prefer identifying the unnecessary mechanism over proposing more
-machinery around it.
-
-## Output
-
-Return every proved candidate gap and every unverifiable candidate. If none
-exist, state that outcome. Keep the private clause ledger and coverage work
-internal. The judge owns the terminal verdict and every later action.