halfcycle 0.5.3 → 0.7.0

package/bin/pre-tool-use-filter.sh

@@ -478,7 +478,7 @@ halfcycle_pt_branch() {
   done
 }
 halfcycle_pt_time_line() {
-  local LC_ALL=C hc_val hc_id hc_home hc_folder hc_branch hc_at hc_secs hc_frac hc_dir hc_line hc_f_session_id hc_f_agent_id hc_f_transcript_path hc_f_tool_use_id
+  local LC_ALL=C hc_val hc_id hc_home hc_folder hc_branch hc_at hc_secs hc_frac hc_dir hc_line hc_f_session_id hc_f_agent_id hc_f_transcript_path hc_f_tool_use_id hc_f_rollout_path
   local hc_re='^[0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{4}-[0-9a-fA-F]{12}$'
   [ -n "${GUARD_SERVICE_TOKEN:-}" ] || return 0
   [ -n "${GUARD_ENGAGEMENT_ID:-}" ] || return 0
@@ -494,6 +494,10 @@ halfcycle_pt_time_line() {
   hc_f_transcript_path=$hc_val
   halfcycle_pt_optional 'tool_use_id' || return 1
   hc_f_tool_use_id=$hc_val
+  case ${hc_pt_agent:-} in
+    '') hc_f_rollout_path=null ;;
+    *) hc_f_rollout_path=$hc_f_transcript_path hc_f_transcript_path=null ;;
+  esac
   halfcycle_pt_string cwd
   case $? in
     0) hc_folder=$hc_val ;;
@@ -508,7 +512,7 @@ halfcycle_pt_time_line() {
   fi
   halfcycle_pt_branch "$hc_folder" || return 1
   halfcycle_pt_stamp "$1" || return 1
-  printf -v hc_line '{"at":"%s","event":"action","session":%s,"agent":%s,"folder":"%s","branch":%s,"transcript":%s,"toolUse":%s}' "$hc_at" "$hc_f_session_id" "$hc_f_agent_id" "$hc_folder" "$hc_branch" "$hc_f_transcript_path" "$hc_f_tool_use_id"
+  printf -v hc_line '{"at":"%s","event":"action","session":%s,"agent":%s,"folder":"%s","branch":%s,"transcript":%s,"toolUse":%s,"rollout":%s}' "$hc_at" "$hc_f_session_id" "$hc_f_agent_id" "$hc_folder" "$hc_branch" "$hc_f_transcript_path" "$hc_f_tool_use_id" "$hc_f_rollout_path"
   hc_dir=$hc_home/.halfcycle/engagements/$hc_id/time-log
   umask 077
   { printf '%s\n' "$hc_line" >> "$hc_dir/events.jsonl"; } 2>/dev/null ||

package/dist/check-criteria.d.ts

@@ -0,0 +1,57 @@
+/**
+ * `npx halfcycle@latest check-criteria [<record file>] [--repo <root>]`
+ * (`whole-phase-criteria-check` AC4, M1–M7; `edge-case-criteria` AC5, M8 and M9).
+ *
+ * OFFLINE, ALWAYS. This verb reads only files on the person's own machine — the
+ * plan file `docs/build-records/task-plan.json`, each spec file the plan lists in
+ * `specs` (`docs/features/<name>.md`, once per name), and the criteria record, which
+ * is `docs/build-records/criteria-check.json` unless a file is named — and nothing
+ * else. It opens no credential file, makes no network call, and needs no sign-in.
+ *
+ * ONE HOME FOR EACH THING IT READS. The plan is parsed with `taskPlanSchema` through
+ * `check-tasks.ts`'s `readJsonFile`, as `check-tasks` and `ready` read it; the spec
+ * files are opened only by `readPlanSpecFiles`; the record only by
+ * `readCriteriaRecordFile`, through the wire's own schema for it. The rules M1–M9, the
+ * clear line and every line's words are `checkCriteriaRecord` (`@halfcycle/core`),
+ * which is pure. This module's whole job is reading the files, handing them over,
+ * and turning the answer into an exit code: 0 clean, 1 any line, 2 a usage error or a
+ * file that is missing, cannot be read, is not JSON or does not match its shape
+ * (naming the file and where), as `check-tasks` does.
+ *
+ * A NAMED RECORD FILE is read from the project's top folder when it is a relative
+ * path, or as it is when absolute, and every line names it as it was typed.
+ *
+ * SHIPS TO CLIENT DISK inside the CLI (INV-001: Node builtins, `@halfcycle/core` and
+ * `@halfcycle/events` only, through `check-tasks.ts`). Every string here is a sentence
+ * a person reads in their own terminal; no comment sits beside an object member.
+ */
+/** The usage line, printed for an extra argument or an unknown flag. */
+export declare const CHECK_CRITERIA_USAGE = "npx halfcycle@latest check-criteria [<record file>] [--repo <root>]";
+/**
+ * What the arguments after `check-criteria` came to: at most one positional (the
+ * record file) and at most one `--repo <root>`; anything else is usage.
+ */
+export type CheckCriteriaArgs = {
+    ok: true;
+    file: string | undefined;
+    repoRoot: string | undefined;
+} | {
+    ok: false;
+};
+export declare function parseCheckCriteriaArgs(argv: readonly string[]): CheckCriteriaArgs;
+/** The sentence for a record file that is not there, without the verb's prefix. */
+export declare function missingRecordLine(file: string): string;
+/** What a run of the verb came to. */
+export interface CheckCriteriaRun {
+    readonly stdout: string;
+    readonly stderr: string;
+    readonly exitCode: number;
+}
+/**
+ * The whole verb. Reads the plan under `repoRoot`, the specs it lists, and the record
+ * (`file`, or `docs/build-records/criteria-check.json`), hands them to
+ * `checkCriteriaRecord` and prints its lines, one per line, in the order it returns
+ * them, or its clear line when nothing refuses. Never throws.
+ */
+export declare function runCheckCriteria(repoRoot: string, file: string | undefined): CheckCriteriaRun;
+//# sourceMappingURL=check-criteria.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"check-criteria.d.ts","sourceRoot":"","sources":["../src/check-criteria.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAYH,wEAAwE;AACxE,eAAO,MAAM,oBAAoB,wEAAwE,CAAC;AAE1G;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GACzB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,GACpE;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC;AAElB,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,iBAAiB,CAiBjF;AAED,mFAAmF;AACnF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtD;AAED,sCAAsC;AACtC,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,gBAAgB,CAoB7F"}

package/dist/check-report.d.ts

@@ -0,0 +1,58 @@
+/**
+ * `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. A short `--head`
+ * is refused first, with exit 2, before the report is read.
+ */
+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;AASD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,GAAE,eAAoB,GAAG,cAAc,CA2BvG"}

package/dist/check-tasks.d.ts

@@ -2,9 +2,12 @@
  * `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
- * `--with-task-list`, `docs/build-records/build-tasks.json` — and nothing else. It opens no credential
+ * 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), the
+ * newest criteria record at `docs/build-records/criteria-check.json` when it is there,
+ * 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
  * reading the files, handing them to that function, and printing what it returns.
@@ -38,13 +41,51 @@
  * 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, issues #2339 and #2354). 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. A missing plan says nothing: this verb runs while the plan may not be
+ * written yet. A plan that is there but falls short in any of those ways goes to
+ * `checkTaskPlan` as unusable, with why, and is refused there in one O8 line, in the
+ * order the plan verb names the same faults (`readAndCheckPlan`): it could not be
+ * opened, it is not JSON, it names another phase, then the check's problems. It is a
+ * refusal, not a stop (exit 1, every other line still printed), because the plan
+ * itself is still worth checking; but never a silent pass, because a typo in the
+ * phase plan would otherwise turn the not-in-plan rule off with the clear line
+ * printed.
+ *
+ * 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.
+ *
+ * THE NEWEST CRITERIA RECORD HOLDS THE WALK (V6, `whole-phase-criteria-check` AC3).
+ * `readCriteriaRecordFile` is the one place a record file is opened, and parses it with
+ * the wire's own schema for the record (`workCriteriaRecordSchema`), never a second
+ * one; `readCriteriaRecord`, which both callers of `checkTaskPlan` (this verb and
+ * `ready`) use, and the `check-criteria` verb (`check-criteria.ts`) both read through
+ * it. Missing is not an error here: there is no record yet. There, and unreadable, not
+ * JSON or not that shape, stops the run with exit 2 naming it, as an unreadable plan
+ * does. A record for another phase, or whose check is not a criteria check of this
+ * plan (`criteriaRecordMismatch`), is not read further (`check-criteria` names it as
+ * M1 or M2); otherwise its check and the task of each `fix` row go to `checkTaskPlan`.
+ *
  * 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, type WorkCriteriaRecord } from '@halfcycle/events';
+import { type CriteriaRecordFixes, type PlanSpecFiles, type TaskPlan, type TaskPlanCheckRequest, type TaskPlanPhasePlan } 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 +102,104 @@ 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.";
+/**
+ * The crew roster as the plan check takes it, each member's callsign and tier, so a
+ * task marked `cheapFirst` is checked against its holder's tier (J2,
+ * `cheaper-models-first` AC2). Both verbs that check the plan hand it over.
+ */
+export declare function planCrew(): TaskPlanCheckRequest['crew'];
+/** One JSON file, read and parsed: present and valid, missing, or unreadable/unparsable (with the line to print). */
+export 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` (`rel` from the project's top folder,
+ * or an absolute path, which is read as it is). The line in a `bad` answer carries
+ * no verb's prefix; this verb, `ready` (`ready.ts`) and `check-criteria`
+ * (`check-criteria.ts`) each add their own. Never throws.
+ */
+export declare function readJsonFile<T>(repoRoot: string, rel: string, parse: (raw: unknown) => SafeParse<T>): FileRead<T>;
+/**
+ * The phase's own plan, as `checkTaskPlan` takes it: where it lives and the parts its
+ * changes name; or where it lives and why it could not be used (it could not be
+ * opened, is not JSON, is the plan for another phase, or fails the plan verb's check
+ * against `description`); or `undefined` when there is no plan to compare with (the
+ * phase is not a phase name, or the file is missing). Never throws, never stops the
+ * run (see the module header).
+ */
+export declare function readPhasePlanParts(repoRoot: string, phase: string, description: SystemDescription): TaskPlanPhasePlan | 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;
+/**
+ * The newest criteria record, read: `ok` with what `checkTaskPlan` takes from it, or
+ * with nothing when there is no record or it is not this plan's to read further; or
+ * `bad` with the line naming the file, without any verb's prefix (each caller adds its
+ * own, as with `readJsonFile`'s line).
+ */
+export type CriteriaRecordRead = {
+    kind: 'ok';
+    record: CriteriaRecordFixes | undefined;
+} | {
+    kind: 'bad';
+    line: string;
+};
+/**
+ * The one place a criteria record file is opened and parsed: `rel` under `repoRoot`
+ * (`docs/build-records/criteria-check.json` unless the caller names another, as
+ * `check-criteria` lets a person do), through the wire's schema for the record, never a
+ * second one. The `bad` line names the file as the caller named it. Never throws.
+ */
+export declare function readCriteriaRecordFile(repoRoot: string, rel?: string): FileRead<WorkCriteriaRecord>;
+/**
+ * The newest criteria record, as the plan check takes it. Reads
+ * `docs/build-records/criteria-check.json` under `repoRoot` when it is there
+ * (`readCriteriaRecordFile`). A record for another phase than `plan`'s, or whose check
+ * is not a criteria check of `plan` (`criteriaRecordMismatch`, the rule M1 and M2 of
+ * `check-criteria` print from), gives nothing. Never throws.
+ */
+export declare function readCriteriaRecord(repoRoot: string, plan: TaskPlan): CriteriaRecordRead;
 /** What a run of the verb came to. */
 export interface CheckTasksRun {
     readonly stdout: string;
@@ -69,7 +208,10 @@ 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`), the criteria record when it
+ * is there (`readCriteriaRecord`), 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 +222,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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqFG;AAIH,OAAO,EAQL,KAAK,iBAAiB,EACtB,KAAK,kBAAkB,EACxB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAYL,KAAK,mBAAmB,EAExB,KAAK,aAAa,EAElB,KAAK,QAAQ,EACb,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACvB,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;;;;GAIG;AACH,wBAAgB,QAAQ,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAEvD;AAED,qHAAqH;AACrH,MAAM,MAAM,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;AAOzG,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;;;;;GAKG;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;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,iBAAiB,GAC7B,iBAAiB,GAAG,SAAS,CA6B/B;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;;;;;GAKG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,mBAAmB,GAAG,SAAS,CAAA;CAAE,GACvD;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,MAAM,EAChB,GAAG,GAAE,MAA6B,GACjC,QAAQ,CAAC,kBAAkB,CAAC,CAE9B;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,kBAAkB,CASvF;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;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,OAAO,GAAG,aAAa,CAqDnG"}

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-criteria", "check-report", "ready", "uninstall", "change", "pace", "route", "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,iQAAkQ,CAAC;AAEzR,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;AAgKD,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"}