halfcycle 0.5.2 → 0.6.0

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "halfcycle",
-  "version": "0.5.2",
+  "version": "0.6.0",
   "description": "Halfcycle Method bundle — resolution-stub slash commands, remote method-delivery registration, and governance-hook wiring for a Halfcycle engagement repo. It ships NO worker role files: a project's roles are authored from that project's own recorded decisions at orchestration kickoff (FX-2, W3-F-27).",
   "commands": [
     {

package/bin/bin.bundle.mjs

@@ -15053,6 +15053,8 @@ var HOOK_REMEDY = `Run ${SIGN_IN_COMMAND} in the project folder to sign in.`;
 var TASK_PLAN_TASKS_MAX = 500;
 var TASK_PLAN_ID_MAX = 64;
 var TASK_PLAN_BUILDS_NONE = "none";
+var TASK_PLAN_CRITERIA_NONE = "none";
+var TASK_PLAN_SPECS_NONE = "none";
 var TASK_PLAN_KINDS = ["build", "review", "spec", "walk", "check"];
 var CONTROL_CHARACTER = /[\u0000-\u001f\u007f-\u009f]/;
 var planText = external_exports.string().refine((text) => !CONTROL_CHARACTER.test(text), { message: "holds a control character" });
@@ -15069,7 +15071,9 @@ var taskPlanTaskSchema = external_exports.object({
   }).strict().optional(),
   wholeProject: external_exports.literal(true).optional(),
   ships: external_exports.enum(["deploy", "release"]).optional(),
-  builds: external_exports.union([external_exports.literal(TASK_PLAN_BUILDS_NONE), external_exports.array(planText)]).optional()
+  builds: external_exports.union([external_exports.literal(TASK_PLAN_BUILDS_NONE), external_exports.array(planText)]).optional(),
+  criteria: external_exports.union([external_exports.literal(TASK_PLAN_CRITERIA_NONE), external_exports.array(planText)]).optional(),
+  whyOutsidePlan: planText.optional()
 }).strict().superRefine((task, ctx) => {
   if (task.reviews !== void 0 && task.kind !== "review") {
     ctx.addIssue({
@@ -15095,6 +15099,7 @@ var taskPlanTaskSchema = external_exports.object({
 });
 var taskPlanSchema = external_exports.object({
   phase: external_exports.string().min(1).refine((text) => !CONTROL_CHARACTER.test(text), { message: "holds a control character" }),
+  specs: external_exports.union([external_exports.literal(TASK_PLAN_SPECS_NONE), external_exports.array(planText)]).optional(),
   tasks: external_exports.array(taskPlanTaskSchema).max(TASK_PLAN_TASKS_MAX)
 }).strict();
 var taskListRowSchema = external_exports.object({
@@ -15203,6 +15208,37 @@ var AGENT_PROFILES = {
 };
 var ALL_HOOK_COMMANDS = new Set(AGENT_IDS.flatMap((id) => [...AGENT_PROFILES[id].commands]));
 
+// ../core/dist/worker-report.js
+var WORKER_REPORT_STATUSES = Object.freeze([
+  "done",
+  "needs-human-verification",
+  "blocked-on-human",
+  "failed"
+]);
+var WORKER_REPORT_RULE_FIELDS = Object.freeze({
+  W1: "Worker report",
+  W2: "Status",
+  W3: "Head",
+  W4: "Head",
+  W5: "Verification",
+  W6: "Verification",
+  W7: "Verification",
+  W8: "Unverified"
+});
+var WORKER_REPORT_LINES = Object.freeze({
+  noBlock: () => 'There is no "## Worker report" block in this report.',
+  statusMissing: (statuses) => `The report has no Status line. Use one of: ${statuses.join(", ")}.`,
+  statusUnknown: (found2, statuses) => `The report's Status is "${found2}". Use one of: ${statuses.join(", ")}.`,
+  headMissing: () => "The report has no Head line. Give the full commit id the report is about.",
+  headMalformed: (found2) => `The report's Head is "${found2}", which is not a full commit id.`,
+  headDiffers: (found2, head) => `The report is about commit ${found2}, but the work's head is ${head}. Ask for a report on the current head.`,
+  noVerification: () => "The report does not say what was run. List each check under Verification with its exit code.",
+  noExitCode: (entry) => `"${entry}" under Verification does not give an exit code.`,
+  nonZeroOnDone: (entry) => `"${entry}" exited with a code other than 0, so the work is not done.`,
+  noUnverified: () => 'The report has no Unverified line. Say what was not checked, or "nothing".',
+  clear: () => "The report is complete and names the commit it is about."
+});
+
 // dist/control-origin.js
 var DEFAULT_CONTROL_ORIGIN = "https://control.halfcycle.ai";
 function resolveControlOrigin(env) {
@@ -18103,6 +18139,30 @@ var phaseReviewViewSchema = external_exports.discriminatedUnion("state", [
   phaseReviewOpenSchema,
   phaseReviewClosedSchema
 ]);
+function reviewPartAwaitingAnswer(part) {
+  return part.questions.some((q) => q.agentAnswer === void 0);
+}
+function reviewPartSentBackIn(part, round) {
+  return part.sentBack.some((s) => s.round === round);
+}
+function shownReviewEntryOf(view, shownAt) {
+  const parts = view.parts.map((p) => ({
+    part: p.part,
+    name: p.name,
+    built: p.built,
+    decidable: p.decidable,
+    awaitingAnswer: reviewPartAwaitingAnswer(p),
+    sentBack: reviewPartSentBackIn(p, view.round)
+  }));
+  return {
+    phase: view.phase,
+    number: view.number,
+    round: view.round,
+    reviewVersion: view.reviewVersion,
+    shownAt,
+    parts
+  };
+}
 
 // ../events/dist/client-version.js
 var CLIENT_VERSION_HEADER = "x-halfcycle-client";
@@ -18563,6 +18623,42 @@ var ownerWaitDeclarationSchema = external_exports.object({
 var ownerWaitDeclarationsSchema = external_exports.object({ declarations: external_exports.array(ownerWaitDeclarationSchema) }).strict();
 var OWNER_WAIT_TOO_MANY = `This project already has ${String(OWNER_WAIT_ADDITIONS_MAX)} things added to what waits for the owner. Ask the owner to take one off on their settings page in the console first; it cannot be done by typing in chat.`;
 
+// ../events/dist/owner-wait-answer.js
+var OWNER_WAIT_SHORT_ID_LENGTH = 8;
+var ownerWaitShortIdSchema = external_exports.string().regex(/^[0-9a-f]{8}$/);
+function ownerWaitShortIdOf(declarationId) {
+  return declarationId.slice(0, OWNER_WAIT_SHORT_ID_LENGTH).toLowerCase();
+}
+var OWNER_WAIT_ANSWER_ACTS = ["approve", "decline"];
+var ownerWaitAnswerActSchema = external_exports.enum(OWNER_WAIT_ANSWER_ACTS);
+function ownerWaitApproveLineOf(declarationId) {
+  return `approve wait ${ownerWaitShortIdOf(declarationId)}`;
+}
+function ownerWaitDeclineLineOf(declarationId) {
+  return `decline wait ${ownerWaitShortIdOf(declarationId)}: <why>`;
+}
+var ownerWaitChatRequestSchema = external_exports.discriminatedUnion("act", [
+  external_exports.object({ act: external_exports.literal("approve"), wait: ownerWaitShortIdSchema }).strict(),
+  external_exports.object({ act: external_exports.literal("decline"), wait: ownerWaitShortIdSchema, note: scopeNoteWireSchema }).strict()
+]);
+function bareOutcome3(outcome) {
+  return external_exports.object({ outcome: external_exports.literal(outcome) }).strict();
+}
+var ownerWaitChatResultSchema = external_exports.discriminatedUnion("outcome", [
+  external_exports.object({
+    outcome: external_exports.literal("recorded"),
+    act: ownerWaitAnswerActSchema,
+    question: external_exports.string().min(1)
+  }).strict(),
+  external_exports.object({ outcome: external_exports.literal("refused"), problems: external_exports.array(systemDescriptionProblemSchema).min(1) }).strict(),
+  bareOutcome3("not-owner"),
+  bareOutcome3("no-owner"),
+  bareOutcome3("not-found"),
+  bareOutcome3("ambiguous"),
+  bareOutcome3("not-offered"),
+  bareOutcome3("unavailable")
+]);
+
 // ../events/dist/pacing.js
 var CLAUDE_PLANS = Object.freeze([
   Object.freeze({ id: "pro", words: "Pro", startingAgents: 2 }),
@@ -18765,6 +18861,8 @@ var autonomyActivityRowSchema = external_exports.object({
   // whether the agent says it can be undone
   how: statementText(STATEMENT_MAX).optional(),
   // how to undo it, when it can be
+  wait: ownerWaitShortIdSchema.optional(),
+  // the short id the owner types to answer a waiting decision
   at: utcIso8601
   // when it happened
 }).strict().superRefine((row, ctx) => {
@@ -18791,6 +18889,9 @@ var autonomyActivityRowSchema = external_exports.object({
       });
     }
   }
+  if (row.kind !== "waiting" && row.wait !== void 0) {
+    ctx.addIssue({ code: "custom", message: "only a waiting decision is answered by typing", path: ["wait"] });
+  }
   if (row.kind === "waiting" && (row.undoable !== void 0 || row.how !== void 0)) {
     ctx.addIssue({ code: "custom", message: "a waiting decision has not been made yet", path: ["undoable"] });
   }
@@ -31287,6 +31388,14 @@ function partShape(act, head, words) {
     return null;
   return { kind: "part", act, reference, part, words };
 }
+function bulkAcceptTargetOf(reference, record2) {
+  const phases = /* @__PURE__ */ new Map();
+  for (const shown2 of [...record2.reviews, ...record2.entries]) {
+    if (!phases.has(shown2.phase))
+      phases.set(shown2.phase, { phase: shown2.phase, number: shown2.number });
+  }
+  return resolvePhaseReference(reference, [...phases.values()]);
+}
 function matchReviewPhraseShape(shape, reviews) {
   const resolved = resolvePhaseReference(shape.reference, reviews);
   const act = shape.kind === "phase" ? "accept" : shape.kind === "reject" ? "reject" : shape.act;
@@ -31377,6 +31486,28 @@ function moveListedReviewForward(engagementId, home, listed, reviewVersion, deci
   }
 }
 
+// dist/hooks/wait-phrase.js
+var APPROVE = /^approve wait ([0-9a-f]{8})$/i;
+var DECLINE = /^decline wait ([0-9a-f]{8})(?:\s*:(.*))?$/is;
+function waitPhraseShape(prompt) {
+  if (typeof prompt !== "string")
+    return null;
+  const line2 = prompt.trim();
+  if (LINE_BREAK.test(line2))
+    return null;
+  const approve = APPROVE.exec(line2);
+  if (approve !== null)
+    return shapeOf("approve", approve[1], null);
+  const decline = DECLINE.exec(line2);
+  if (decline !== null)
+    return shapeOf("decline", decline[1], decline[2] === void 0 ? null : decline[2].trim());
+  return null;
+}
+function shapeOf(act, typed, words) {
+  const wait = typed.toLowerCase();
+  return ownerWaitShortIdSchema.safeParse(wait).success ? { act, wait, words } : null;
+}
+
 // dist/hooks/user-prompt-submit-lines.js
 var TELL_THE_PERSON = "Tell the person.";
 function line(text) {
@@ -31744,6 +31875,69 @@ function codexReviewLine(act) {
 function codexAutonomyLine() {
   return codexLine(`${AUTONOMY_NOTHING_CHANGED}: ${CODEX_TYPING_NEVER_COUNTS}. Turn it on or off with "${AUTONOMY_A1_TITLE}" in the console's settings.`);
 }
+function waitTypedLine(context) {
+  return context.act === "approve" ? ownerWaitApproveLineOf(context.wait) : ownerWaitDeclineLineOf(context.wait);
+}
+function waitRecordedLine(act, question) {
+  return act === "approve" ? line(`Recorded in your session: you approved "${question}". The agent can go ahead with it.`) : line(`Recorded in your session: you declined "${question}", with your words. The agent must not go ahead with it.`);
+}
+function waitNotAttendedLine() {
+  return line(`${NOTHING_RECORDED}: an answer counts only when a person types it into an open session.`);
+}
+function waitNotSignedInLine() {
+  return line(`${NOTHING_RECORDED}: this project is not signed in on this computer. ${HOOK_REMEDY}`);
+}
+function waitNotOwnerLine() {
+  return line(`${NOTHING_RECORDED}: only the project's owner can answer a decision that waits for them.`);
+}
+function waitNoOwnerLine() {
+  return line(`${NOTHING_RECORDED}: this project has no owner, so nobody can answer its decisions.`);
+}
+function waitNotFoundLine(context) {
+  return line(`${NOTHING_RECORDED}: no decision waiting for you has the id ${context.wait}. Type the line the agent gave you with its question, such as ${waitTypedLine(context)}.`);
+}
+function waitAmbiguousLine(context) {
+  return line(`${NOTHING_RECORDED}: more than one decision waiting for you starts with ${context.wait}. Ask the agent to put the question to you again.`);
+}
+function waitNoWordsLine(context) {
+  return line(`${NOTHING_RECORDED}: a decline needs your reason after the colon, as in ${ownerWaitDeclineLineOf(context.wait)}.`);
+}
+function waitRefusedLine() {
+  return line(`${NOTHING_RECORDED}: Halfcycle did not accept the words. Reword them in plain words and type the line again.`);
+}
+function waitSwitchedOffLine() {
+  return line(`${NOTHING_RECORDED}. ${TYPED_APPROVAL_OFF_SENTENCE}`);
+}
+function waitCannotReachLine() {
+  return line(`${NOTHING_RECORDED}: Halfcycle could not be reached just now. Type the line again in a minute.`);
+}
+function codexWaitLine(context) {
+  return codexLine(`${NOTHING_RECORDED}: ${CODEX_TYPING_NEVER_COUNTS}. To answer, type ${waitTypedLine(context)} in a Claude Code session on this project.`);
+}
+function waitLineForAnswer(context, answer) {
+  switch (answer.outcome) {
+    case "recorded":
+      return waitRecordedLine(answer.act, answer.question);
+    case "refused":
+      return waitRefusedLine();
+    case "not-owner":
+      return waitNotOwnerLine();
+    case "no-owner":
+      return waitNoOwnerLine();
+    case "not-found":
+      return waitNotFoundLine(context);
+    case "ambiguous":
+      return waitAmbiguousLine(context);
+    case "not-offered":
+      return waitSwitchedOffLine();
+    case "unavailable":
+      return waitCannotReachLine();
+    default: {
+      const unreachable = answer;
+      return unreachable;
+    }
+  }
+}
 
 // dist/hooks/user-prompt-submit.js
 var CHAT_REQUEST_TIMEOUT_MS = 6e3;
@@ -31768,6 +31962,7 @@ function agentOf(opts) {
 async function decideLine(opts) {
   let act = null;
   let autonomyAct = null;
+  let waitRecognised = false;
   const review = { recognised: false };
   try {
     const prompt = promptOf(opts.input);
@@ -31778,6 +31973,12 @@ async function decideLine(opts) {
     if (autonomyShape !== null) {
       autonomyAct = autonomyShape;
       return `${await decideAutonomy(autonomyShape, opts)}
+`;
+    }
+    const waitShape = waitPhraseShape(prompt);
+    if (waitShape !== null) {
+      waitRecognised = true;
+      return `${await decideWait(waitShape, opts)}
 `;
     }
     const reviewShape = reviewPhraseShape(prompt);
@@ -31795,6 +31996,9 @@ async function decideLine(opts) {
   } catch {
     if (autonomyAct !== null)
       return `${autonomyCannotReachLine()}
+`;
+    if (waitRecognised)
+      return `${waitCannotReachLine()}
 `;
     if (review.recognised)
       return `${reviewCannotReachLine()}
@@ -31840,6 +32044,57 @@ async function decideAutonomy(act, opts) {
   const { guardServiceToken, guardEngagementId } = read.config;
   return postAutonomy(act, guardEngagementId, guardServiceToken, env, opts.fetchFn);
 }
+async function decideWait(shape, opts) {
+  const env = opts.env ?? process.env;
+  const context = { act: shape.act, wait: shape.wait };
+  const typed = whoTyped(opts);
+  if (typed === "cannot-tell")
+    return codexWaitLine(context);
+  if (typed === "not-attended")
+    return waitNotAttendedLine();
+  const read = readConfig(env);
+  if (read.config === null) {
+    return readNeverConfiguredReason(env) === "not-this-account" ? waitNotOwnerLine() : waitNotSignedInLine();
+  }
+  let candidate = { act: "approve", wait: shape.wait };
+  if (shape.act === "decline") {
+    const words = shape.words ?? "";
+    if (words === "")
+      return waitNoWordsLine(context);
+    if (!scopeNoteWireSchema.safeParse(words).success)
+      return reviewWordsTooLongLine();
+    if (looksLikeSecret(words))
+      return reviewWordsLookSecretLine();
+    candidate = { act: "decline", wait: shape.wait, note: words };
+  }
+  const request = ownerWaitChatRequestSchema.parse(candidate);
+  const { guardServiceToken, guardEngagementId } = read.config;
+  const url2 = `${readControlOrigin(env).origin}/engagements/${encodeURIComponent(guardEngagementId)}/owner-waits/chat`;
+  const controller = new AbortController();
+  const timer = setTimeout(() => controller.abort(), CHAT_REQUEST_TIMEOUT_MS);
+  try {
+    const response = await (opts.fetchFn ?? globalThis.fetch)(url2, {
+      method: "POST",
+      headers: { Authorization: `Bearer ${guardServiceToken}`, "Content-Type": "application/json" },
+      body: JSON.stringify(request),
+      signal: controller.signal
+    });
+    if (response.status === 401)
+      return waitNotSignedInLine();
+    if (response.status === 429 || response.status >= 500)
+      return waitCannotReachLine();
+    const parsed = ownerWaitChatResultSchema.safeParse(await response.json());
+    if (!parsed.success)
+      return waitCannotReachLine();
+    if (parsed.data.outcome === "recorded" && response.status !== 200)
+      return waitCannotReachLine();
+    return waitLineForAnswer(context, parsed.data);
+  } catch {
+    return waitCannotReachLine();
+  } finally {
+    clearTimeout(timer);
+  }
+}
 async function postAutonomy(act, engagementId, credential, env, fetchFn = globalThis.fetch) {
   const url2 = `${readControlOrigin(env).origin}/engagements/${encodeURIComponent(engagementId)}/autonomy/chat`;
   const controller = new AbortController();
@@ -31873,8 +32128,12 @@ async function decideReview(shape, opts, progress) {
     const read2 = readConfig(env);
     if (read2.config === null)
       return "";
-    const match2 = matchReviewPhraseShape(shape, readShownRecord(read2.config.guardEngagementId, opts.home).reviews);
-    if (match2.kind === "nothing")
+    const { guardEngagementId: engagementId, guardServiceToken: credential } = read2.config;
+    const record2 = readShownRecord(engagementId, opts.home);
+    const listed = matchReviewPhraseShape(shape, record2.reviews);
+    const fresh = listed.kind === "accept" && listedRecently(listed.entry.shownAt, (opts.now ?? Date.now)());
+    const target = listed.kind === "ambiguous" || fresh ? null : bulkAcceptTargetOf(shape.reference, record2);
+    if (target?.kind === "none")
       return "";
     progress.recognised = true;
     const typed2 = whoTyped(opts);
@@ -31882,7 +32141,11 @@ async function decideReview(shape, opts, progress) {
       return codexReviewLine("accept");
     if (typed2 === "not-attended")
       return reviewNotAttendedLine();
-    return checkAndSendReview(match2, read2.config.guardEngagementId, read2.config.guardServiceToken, env, opts);
+    if (target === null)
+      return checkAndSendReview(listed, engagementId, credential, env, opts);
+    if (target.kind === "ambiguous")
+      return reviewAmbiguousLine(target.entries.map((e) => e.phase));
+    return readThenAccept(shape, target.entry.phase, engagementId, credential, env, opts);
   }
   progress.recognised = true;
   const typed = whoTyped(opts);
@@ -31897,6 +32160,38 @@ async function decideReview(shape, opts, progress) {
   const match = matchReviewPhraseShape(shape, readShownRecord(read.config.guardEngagementId, opts.home).reviews);
   return checkAndSendReview(match, read.config.guardEngagementId, read.config.guardServiceToken, env, opts);
 }
+var REVIEW_READ_TIMEOUT_MS = 3e3;
+async function readThenAccept(shape, phase, engagementId, credential, env, opts) {
+  const fetchFn = opts.fetchFn ?? globalThis.fetch;
+  const url2 = `${readControlOrigin(env).origin}/engagements/${encodeURIComponent(engagementId)}/phases/${encodeURIComponent(phase)}/review`;
+  const controller = new AbortController();
+  const timer = setTimeout(() => controller.abort(), REVIEW_READ_TIMEOUT_MS);
+  let raw;
+  try {
+    const response = await fetchFn(url2, {
+      method: "GET",
+      headers: { Authorization: `Bearer ${credential}` },
+      signal: controller.signal
+    });
+    if (response.status === 401)
+      return reviewNotSignedInLine();
+    if (response.status !== 200)
+      return reviewCannotReachLine();
+    raw = await response.json();
+  } catch {
+    return reviewCannotReachLine();
+  } finally {
+    clearTimeout(timer);
+  }
+  const parsed = phaseReviewViewSchema.safeParse(raw);
+  if (!parsed.success)
+    return reviewCannotReachLine();
+  const view = parsed.data;
+  if (view.state !== "open")
+    return reviewNoReviewLine(phase);
+  const entry = shownReviewEntryOf(view, new Date((opts.now ?? Date.now)()).toISOString());
+  return checkAndSendReview(matchReviewPhraseShape(shape, [entry]), engagementId, credential, env, opts);
+}
 async function checkAndSendReview(match, engagementId, credential, env, opts) {
   if (match.kind === "nothing" || match.kind === "show-first")
     return reviewShowFirstLine();

package/dist/check-report.d.ts

@@ -0,0 +1,57 @@
+/**
+ * `npx halfcycle@latest check-report <file | -> --head <sha>` (`checked-worker-reports`
+ * AC2).
+ *
+ * A coordinator saves a pull request's body to a file (or pipes it in as `-`) and
+ * runs this before it writes any task's state from the worker's report. It prints
+ * one plain line per problem, or one clear line, and exits 0 when the report
+ * passes, 1 when it is refused, 2 on a usage error or a file it cannot read.
+ *
+ * OFFLINE, ALWAYS. This verb reads the one file it is given, or standard input,
+ * and nothing else. It opens no credential file, makes no network call and needs
+ * no sign-in: the commit to compare with is handed to it as `--head`, so it never
+ * asks git or GitHub which commit that is.
+ *
+ * ONE HOME FOR THE RULES. `checkWorkerReport` (`@halfcycle/core`) holds the
+ * block reader, the rules and every line they print; this module only reads the
+ * text, passes it the four statuses of the served report block and the head, and
+ * turns what it returns into lines and an exit code.
+ *
+ * SHIPS TO CLIENT DISK inside the CLI: Node builtins and `@halfcycle/core` only.
+ * Every string here is a sentence a person reads in their own terminal, so none
+ * names an internal register, a route or this project's own tooling; no comment
+ * sits beside an object member.
+ */
+/** The usage line, printed for a missing report, an extra argument or an unknown flag. */
+export declare const CHECK_REPORT_USAGE = "npx halfcycle@latest check-report <file | -> --head <sha>";
+/** What the arguments after `check-report` came to: one report source and one head, or usage. */
+export type CheckReportArgs = {
+    ok: true;
+    source: string;
+    head: string;
+} | {
+    ok: false;
+};
+/**
+ * Exactly one positional (a file, or `-` for standard input) and exactly one
+ * `--head <sha>`; anything else is usage. A missing `--head` is refused before
+ * this is called, from the CLI's table of required flags.
+ */
+export declare function parseCheckReportArgs(argv: readonly string[]): CheckReportArgs;
+/** What a run of the verb came to. */
+export interface CheckReportRun {
+    readonly stdout: string;
+    readonly stderr: string;
+    readonly exitCode: number;
+}
+/** Where the report's text comes from; standard input is read only for `-`. */
+export interface CheckReportDeps {
+    readonly readStdin?: () => string;
+}
+/**
+ * The whole verb. Reads the report from `source` (standard input for `-`),
+ * checks it against `head` with the four statuses of the served block, and
+ * prints each problem's line, or the clear line. Never throws.
+ */
+export declare function runCheckReport(source: string, head: string, deps?: CheckReportDeps): CheckReportRun;
+//# sourceMappingURL=check-report.d.ts.map

package/dist/check-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check-report.d.ts","sourceRoot":"","sources":["../src/check-report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAUH,0FAA0F;AAC1F,eAAO,MAAM,kBAAkB,8DAA8D,CAAC;AAE9F,iGAAiG;AACjG,MAAM,MAAM,eAAe,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAEzF;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,eAAe,CAiB7E;AAED,sCAAsC;AACtC,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,+EAA+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,MAAM,CAAC;CACnC;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,cAAc,CAoBvG"}

package/dist/check-tasks.d.ts

@@ -2,8 +2,10 @@
  * `npx halfcycle@latest check-tasks <phase> [--with-task-list] [--repo <root>]`
  * (`collision-free-parallel-work` AC3; `checks-as-work-lands` AC3, AC6).
  *
- * OFFLINE, ALWAYS. This verb reads at most three files on the person's own machine —
- * `docs/build-records/task-plan.json`, `docs/system.json` when it is there, and, with
+ * OFFLINE, ALWAYS. This verb reads only files on the person's own machine —
+ * `docs/build-records/task-plan.json`, `docs/system.json` when it is there, the
+ * phase's plan file in `docs/phases/` when it is there, each
+ * spec file the plan lists in `specs` (`docs/features/<name>.md`, once per name), and, with
  * `--with-task-list`, `docs/build-records/build-tasks.json` — and nothing else. It opens no credential
  * file, makes no network call, and needs no sign-in. Everything it prints comes from
  * `checkTaskPlan` (`@halfcycle/core`), which is pure: this module's whole job is
@@ -38,13 +40,34 @@
  * description that is broken, and passing it silently would let through the very
  * plan this rule exists to catch.
  *
+ * THE PHASE'S OWN PLAN NAMES THE PARTS IT CHANGES (O8, issue #2339). When the
+ * description passed its check and the phase's plan file (`planFileRel`, the plan
+ * verb's one home of that name) is there, reads as JSON, is for this phase and passes
+ * the plan verb's own check against that description (`checkPhasePlan`), its parts go
+ * to `checkTaskPlan`, which refuses a task building a part outside them with no
+ * reason. Anything short of that says nothing, never a stop: this verb runs while the
+ * plan may not be written yet, the plan verb is where a broken plan is named, and the
+ * method kit's validator is silent on the same cases.
+ *
+ * THE LISTED SPECS NAME THE CRITERIA (C1–C6, `criteria-coverage`). `readPlanSpecFiles`
+ * is the one place spec files are opened: for each name `planSpecNamesToRead` gives
+ * (a name that passed the spec-name rule, each once, in the plan's order) it reads
+ * `<spec folder>/<name>.md` and hands the criteria `readSpecCriteria` finds, and the
+ * Boundary section `readSpecBoundary` reads (B1, B2, N2, N3, `spec-boundaries`), to
+ * `checkTaskPlan`. The spec folder is the one the scan already knows for feature
+ * designs (`LAYER_ARTEFACT_PATHS`), not a second copy. A missing file is not an
+ * error here: the check names it (C6). A file that is there and cannot be read
+ * stops the run with exit 2, naming it, as an unreadable plan does.
+ *
  * SHIPS TO CLIENT DISK inside the CLI (INV-001: Node builtins, `@halfcycle/core` and
- * `@halfcycle/events` only, the latter for the description's path and check; no
+ * `@halfcycle/events` only, the latter for the description's and the phase plan's checks; no
  * network and no `fetch`). Every string here is
  * a sentence a person reads in their own terminal, so none names an internal
  * register, a route, or this project's own tooling; no comment sits beside an
  * object member.
  */
+import { type SystemDescription } from '@halfcycle/events';
+import { type PlanSpecFiles, type TaskPlan } from '@halfcycle/core';
 /** The usage line, printed for no phase, an extra argument or an unknown flag. */
 export declare const CHECK_TASKS_USAGE = "npx halfcycle@latest check-tasks <phase> [--with-task-list] [--repo <root>]";
 /**
@@ -61,6 +84,70 @@ export type CheckTasksArgs = {
     ok: false;
 };
 export declare function parseCheckTasksArgs(argv: readonly string[]): CheckTasksArgs;
+/**
+ * The sentence for a project with no plan file, without any verb's prefix: this verb
+ * and `ready` (`ready.ts`) each print it after their own.
+ */
+export declare const MISSING_PLAN_LINE = "there is no docs/build-records/task-plan.json in this project yet. Run the task-graph step to write it, then run this again.";
+/** One JSON file, read and parsed: present and valid, missing, or unreadable/unparsable (with the line to print). */
+type FileRead<T> = {
+    kind: 'ok';
+    value: T;
+} | {
+    kind: 'missing';
+} | {
+    kind: 'bad';
+    line: string;
+};
+/** A zod `safeParse` result, read structurally so this file never imports `zod` itself (INV-001). */
+type SafeParse<T> = {
+    success: true;
+    data: T;
+} | {
+    success: false;
+    error: {
+        issues: readonly {
+            path: readonly PropertyKey[];
+            message: string;
+        }[];
+    };
+};
+/**
+ * Read and parse one JSON file under `repoRoot`. The line in a `bad` answer carries
+ * no verb's prefix; this verb and `ready` (`ready.ts`) each add their own. Never throws.
+ */
+export declare function readJsonFile<T>(repoRoot: string, rel: string, parse: (raw: unknown) => SafeParse<T>): FileRead<T>;
+/**
+ * The parts the phase's own plan changes, with where that plan lives, or `undefined`
+ * when there is no plan to compare with: the phase is not a phase name, the file is
+ * missing, unreadable or not JSON, it is the plan for another phase, or it fails the
+ * plan verb's check against `description`. Never throws, never stops the run (see the
+ * module header).
+ */
+export declare function readPhasePlanParts(repoRoot: string, phase: string, description: SystemDescription): {
+    file: string;
+    partIds: string[];
+} | undefined;
+/**
+ * The plan's listed specs, read: `ok` with the request's `specFiles`, or `bad` with
+ * the line naming a spec file that is there and could not be read, without any
+ * verb's prefix (each caller adds its own, as with `readJsonFile`'s line). A listed
+ * name with no file is an entry with no criteria, which the check names.
+ */
+export type PlanSpecFilesRead = {
+    kind: 'ok';
+    specFiles: PlanSpecFiles;
+} | {
+    kind: 'bad';
+    line: string;
+};
+/**
+ * The one place spec files are opened. Reads `<spec folder>/<name>.md` under
+ * `repoRoot` once for each name `planSpecNamesToRead` gives for `plan`, in that
+ * order, and returns each one's criteria as `readSpecCriteria` finds them and its
+ * Boundary section as `readSpecBoundary` reads it. Never throws.
+ */
+export declare function readPlanSpecFiles(repoRoot: string, plan: TaskPlan): PlanSpecFilesRead;
 /** What a run of the verb came to. */
 export interface CheckTasksRun {
     readonly stdout: string;
@@ -69,7 +156,9 @@ export interface CheckTasksRun {
 }
 /**
  * The whole verb. Reads `docs/build-records/task-plan.json` under `repoRoot`,
- * `docs/system.json` when it is there, and, with `withTaskList`,
+ * `docs/system.json` when it is there, the phase's plan file when that is there too
+ * (`readPhasePlanParts`), each spec file the plan lists in `specs`
+ * (`docs/features/<name>.md`, through `readPlanSpecFiles`), and, with `withTaskList`,
  * `docs/build-records/build-tasks.json`; hands them to
  * `checkTaskPlan` and prints its lines, one per line, in the order it returns them,
  * or `checkTaskPlan`'s own clear line when there is nothing to report. Never throws.
@@ -80,4 +169,5 @@ export interface CheckTasksRun {
  * an error (see the module header) and never changes the exit code on its own.
  */
 export declare function runCheckTasks(repoRoot: string, phase: string, withTaskList: boolean): CheckTasksRun;
+export {};
 //# sourceMappingURL=check-tasks.d.ts.map

package/dist/check-tasks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check-tasks.d.ts","sourceRoot":"","sources":["../src/check-tasks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8CG;AAkBH,kFAAkF;AAClF,eAAO,MAAM,iBAAiB,gFAAgF,CAAC;AAE/G;;;;GAIG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAChF;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAElB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,cAAc,CAuB3E;AA8ED,sCAAsC;AACtC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,aAAa,CAqCnG"}
+{"version":3,"file":"check-tasks.d.ts","sourceRoot":"","sources":["../src/check-tasks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmEG;AAIH,OAAO,EAML,KAAK,iBAAiB,EACvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAWL,KAAK,aAAa,EAElB,KAAK,QAAQ,EAEd,MAAM,iBAAiB,CAAC;AAKzB,kFAAkF;AAClF,eAAO,MAAM,iBAAiB,gFAAgF,CAAC;AAE/G;;;;GAIG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GAChF;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAElB,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,cAAc,CAuB3E;AAED;;;GAGG;AACH,eAAO,MAAM,iBAAiB,iIAAiH,CAAC;AAEhJ,qHAAqH;AACrH,KAAK,QAAQ,CAAC,CAAC,IAAI;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAOlG,qGAAqG;AACrG,KAAK,SAAS,CAAC,CAAC,IACZ;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE;QAAE,MAAM,EAAE,SAAS;YAAE,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;YAAC,OAAO,EAAE,MAAM,CAAA;SAAE,EAAE,CAAA;KAAE,CAAA;CAAE,CAAC;AAExG;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CA0BjH;AAwCD;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,iBAAiB,GAC7B;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,SAAS,CAYjD;AAQD;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,aAAa,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzG;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,iBAAiB,CAkBrF;AAED,sCAAsC;AACtC,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,aAAa,CA8CnG"}

package/dist/cli-contract.d.ts

@@ -62,7 +62,7 @@
  * home is the failure mode it exists to prevent.
  */
 /** The verbs the CLI dispatches. Anything else after `halfcycle ` is unknown. */
-export declare const CLI_VERBS: readonly ["install", "check-drift", "build-record", "open-phase", "close-phase", "system", "draw", "plan", "review", "check-tasks", "uninstall", "change", "pace", "prove", "preview", "doctor", "restore"];
+export declare const CLI_VERBS: readonly ["install", "check-drift", "build-record", "open-phase", "close-phase", "system", "draw", "plan", "review", "check-tasks", "check-report", "ready", "uninstall", "change", "pace", "prove", "preview", "doctor", "restore"];
 export type CliVerb = (typeof CLI_VERBS)[number];
 /** A flag every invocation of the verb must carry. */
 export interface RequiredFlag {

package/dist/cli-contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli-contract.d.ts","sourceRoot":"","sources":["../src/cli-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAIH,iFAAiF;AACjF,eAAO,MAAM,SAAS,6MAA8M,CAAC;AAErO,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjD,sDAAsD;AACtD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,iDAAiD;AACjD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AAwID,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAElE;AAED,iDAAiD;AACjD,MAAM,WAAW,SAAS;IACxB,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAmBD;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAAE,CAyBxF;AAuBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMtE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAMvE;AASD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;CAErB,CAAC;AA0BX;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAa1F"}
+{"version":3,"file":"cli-contract.d.ts","sourceRoot":"","sources":["../src/cli-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAIH,iFAAiF;AACjF,eAAO,MAAM,SAAS,sOAAuO,CAAC;AAE9P,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjD,sDAAsD;AACtD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,+EAA+E;IAC/E,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED,iDAAiD;AACjD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC1C;AA4JD,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS,CAElE;AAED,iDAAiD;AACjD,MAAM,WAAW,SAAS;IACxB,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oCAAoC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAmBD;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAAE,CAyBxF;AAuBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAMtE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAMvE;AASD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB;;CAErB,CAAC;AA0BX;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAa1F"}