@ticket-gate/engine 0.0.0-stage → 0.1.0-rc.1

package/LICENSE

@@ -0,0 +1,202 @@
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,82 @@
-# Temporary Holding Version
+# @ticket-gate/engine
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+The engine of ticket-gate: a configurable verification gate for agent-driven ticket work.
+
+It provides:
+
+- the `ticket-gate` command (`verify`, `hook`, `review-map`, `move-check`, `fu`, `ratchet` (`ratchet --all` runs every ratchet with group `check`), `cache-report`, `docs-stale`, `mutate`, `mutations`, `score`, `select`, `nightly`);
+- the mutation engine behind `mutate` and `mutations`, enabled by the `mutations` key of `defineGate`;
+- the mutation score gate behind `score`, enabled by the `score` key of `defineGate`;
+- the affected-spec selection behind `select` and `select check` (import-graph and spec-header based), enabled by the `selection` key of `defineGate`, with graph sources, rules and test runners from the `selectionGraphs`, `selectionRules` and `testRunners` pack hooks;
+- `nightlyUnits({ selection, suite, full, runFrom })` (`selection/units.mjs`), the units of a step backed by a nightly record; it reads the record the gate's `nightly` key points at (`nightlyRecord(gate)`);
+- the nightly (`ticket-gate nightly run [--now] | install | status`), enabled by the `nightly` key of `defineGate`; see Nightly below;
+- `serve({ build, start, port, env }, { onSpawn })` (`serve.mjs`): refuses a busy port, builds, starts the server and resolves with `{ stop }` once the port answers; it rejects on a busy port, a failed build or a server that never answers, and `onSpawn(stop)` runs right after the spawn;
+- the check modules in `checks/` (`surface`, `duplication`, `docs-stale`, `cache-report`, `ratchet-options`, `assertions`, `unguardedKind`), exported for a project's ratchets; `jscpd` is resolved from the consuming project;
+  - the `surface` manifest holds `entries` of `{ match, kind, why, owner? }`, an optional `ownerPattern`, `strict` and, when strict, `budget.check` and `budget.wiring` (non-negative integers; `strict: true` without both is exit 2);
+  - `strict: true` adds: a `pending` entry fails (rule 2), the code lines of `check` files over `budget.check` fail (rule 5), more than `budget.wiring` files of kind `wiring` fail (rule 6), and `budget.check` may only go down against the baseline's `budget.check` (`--update` records it and refuses a raise); a non-strict manifest ignores `budget`;
+- pack commands: a pack's `packCommands` hook is an object of `name -> (args, { root, gate }) -> code`; `ticket-gate <name> [args]` calls it with the arguments after the name, the project root and the gate, and exits with the number it returns (0 when it returns nothing);
+- `defineGate` and `step`, the API a project's `gate.config.mjs` is written against;
+- the Stop and PreToolUse hooks, which make no network call and collect no telemetry;
+- the receipt, ledger, review-map and follow-up register code.
+
+## Assertions ratchet
+
+`checks/assertions.mjs` exports `assertions(cfg)`: it counts configured needles per spec file, groups the totals by the areas named in each spec's header, and fails when an area's total drops below its baseline unless a green mutation receipt covers the dropped spec. A rise is reported as stale until the baseline is rewritten with `--update`. A project passes `check` under `ratchets`:
+
+```js
+import { defineGate } from '@ticket-gate/engine';
+import { assertions } from '@ticket-gate/engine/checks/assertions.mjs';
+import { unguardedKind } from '@ticket-gate/engine/checks/assertions-unguarded.mjs';
+import { resolveSetup } from '@ticket-gate/engine/mutations/kinds.mjs';
+
+const mutations = {
+  dir: 'gate/registry',
+  receipts: { ticket: '.gate/mutation-check.json', registry: '.gate/mutation-registry.json' },
+  kinds: { unguarded: unguardedKind({ from: /^tests\/.+\.test\.ts$/, fromHint: 'tests/<...>.test.ts' }) },
+};
+const a = assertions({
+  name: 'assertions',
+  specs: { dir: 'tests', match: /\.test\.ts$/, header: /^\/\/ areas: ([a-z]+(, [a-z]+)*)$/ },
+  areas: ['billing', 'search'],
+  counters: { asserts: 'expect(' },
+  from: 'tests/',
+  receipt: '.gate/mutation-check.json',
+  baseline: 'gate/assertions.json',
+  registry: 'gate/registry/',
+  comment: 'Never edit by hand: run the update command.',
+  commands: { update: 'npm run assertions -- --update', mutate: 'npm run mutate -- <ID>', usage: 'npm run assertions' },
+  setup: resolveSetup(mutations), // required under `ratchets`, which binds no setup
+});
+export default defineGate({
+  ratchets: { assertions: { check: a.check, group: 'check' } },
+  mutations,
+});
+```
+
+`unguardedKind` is a factory, not a registered kind: an `unguarded` registry entry records a guard no test bites, with a reason, and its `from` covers a dropped spec. `from` must not carry the `g` or `y` flag.
+
+## Nightly
+
+`defineGate({ nightly })` enables the nightly: an unattended run of your end-to-end suites on a scheduled worktree, with a record of each night. `nightly` is one object, checked by `defineNightly` (`nightly/define.mjs`); a bad one fails as `gate.config: nightly: <reason>`.
+
+- `suites`: the suites, run in order. Each is `{ name, runner, limitS, keep? }`; `runner.run({ wt, io, args, limitS, env, out, dir })` returns the result and may add an `extra` value that is stored in the record; every suite after the first needs `runner.statusLine(view)`, which prints its line in `ticket-gate nightly status`, which also prints one `move-to-ci 1 (<name>)` line per suite after the first, from that suite's own time and busy nights; the first suite's time is the record's `firstMs` (written when there are two or more suites) or, for an older record, `ms`. `playwrightSuite({ cmd })` (`nightly/suites.mjs`) is the Playwright runner. A suite may set its own `keep` (`reports`: `'all'`, `'history'` or a positive integer; `traces`: a positive integer; the first suite keeps no traces) and its own flaky and move-to-CI handling. The rotation, when configured with `rotate: { command }`, runs last.
+- `worktree: { dir, install }`, `window`, `remote`, `keep`, `selects` and `commands` as in `NIGHTLY_DEFAULTS` (`nightly/define.mjs`).
+- `payloads`: environment setup around the suites (`name`, `preflight`, optional `before`, `after`, `io`). A pack adds its own through the `nightlyPayloads` hook, collected with `packHooksAll`; a duplicate payload name is a config error naming both givers.
+- `scheduler`: `{ name, install(io, dir) }`, what `ticket-gate nightly install` calls (a returned number is the exit code); without it `install` exits 2 (the launchd one is `nightly/launchd.mjs`, macOS only: on another platform it prints one line and exits 2).
+- `ticket-gate nightly run [--now]` runs one night, `ticket-gate nightly install` installs the scheduler job (macOS launchd), `ticket-gate nightly status` prints the status lines, including the two move-to-CI measures.
+- The record (`{ latest, history }`) lives in the nightly directory. The gate also appends one line `{ ranAt, ms, mode, why }` to `e2e-runs.jsonl` there for every end-to-end run; `move-to-ci 2` prints the share of the last 14 days spent in a forced full run against the 25% limit.
+
+It has no runtime dependencies and needs Node.js 22 or newer. Install an exact version:
+
+```sh
+npm install --save-exact --save-dev @ticket-gate/engine@0.1.0-rc.1
+```
+
+What the gate does, how to configure it and how to release it are in the repository README:
+https://github.com/dmitry-prohorov/ticket-gate#readme
+
+- Getting started: https://github.com/dmitry-prohorov/ticket-gate/blob/main/docs/getting-started.md
+- Configuration reference: https://github.com/dmitry-prohorov/ticket-gate/blob/main/docs/configuration.md
+- A complete example project: https://github.com/dmitry-prohorov/ticket-gate/tree/main/examples/basic
+
+Licence: Apache-2.0.

package/bin/ticket-gate.mjs

@@ -0,0 +1,261 @@
+#!/usr/bin/env node
+// The engine CLI: one entry for every gate command. Commands load the project's gate.config.mjs
+// (found by walking up from the working directory) only when they need it, so `--help` and the
+// hook spawn work anywhere.
+import { spawnSync } from 'node:child_process';
+import { dirname, join } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { isMain } from '../is-main.mjs';
+
+const HERE = dirname(fileURLToPath(import.meta.url));
+const HOOKS = ['stop', 'pre-tool-use'];
+const USAGE = `usage: ticket-gate <command> [args]
+  verify [flags]              run the steps the diff requires
+  hook stop|pre-tool-use      run a hook (stdin and exit code pass through)
+  review-map [--base=REF] [--full]
+  move-check [--base=REF]     prove a move-only diff (exit 1 while lines are unmatched)
+  fu list|show|next|close|check [args]
+  ratchet <name> [args] | ratchet --all [--update]
+                              run a configured ratchet; --all runs every ratchet with group "check"
+  mutate <ID> | --registry (--ids=|--all|--changed) [--dry-run --typecheck --digest --only --file --defer]
+                              | --rotate --ledger=<dir> [--budget-min= --batch= --deadline= --sha=]
+                              prove a ticket's registry guards bite (needs mutations in gate.config.mjs)
+  mutations check [--fix]     validate (and repair) the mutation registry
+  mutations select [--affected --paths=]   list the registry entries a diff selects
+  select [--test-list | --replay=REV --count=N | --for=FILES | --drift=REPORT | --load-time] | select check
+                              pick the e2e specs a diff reaches, or check the spec headers (needs selection in gate.config.mjs)
+  score --base=REF [--files= --report= --base-report=]   judge a mutation report (needs score in gate.config.mjs)
+  cache-report [<session>|<path.jsonl>] [--json]   price the cache use of a Claude Code session
+  docs-stale                  list the docs pages whose sources changed (needs docs in gate.config.mjs)
+  nightly run [--now] | install | status   the nightly runner (needs nightly in gate.config.mjs)
+  <pack command> [args]       a command a pack adds through packCommands`;
+
+const say = (s) => console.log(s);
+const warn = (s) => console.error(s);
+
+function hook(event) {
+  if (!HOOKS.includes(event)) {
+    warn(
+      `ticket-gate: hook takes ${HOOKS.join(' or ')}, got ${event}\n${USAGE}`,
+    );
+    return 2;
+  }
+  const child = join(HERE, '..', 'hooks', `${event}.mjs`);
+  const r = spawnSync(process.execPath, [child], { stdio: 'inherit' });
+  return r.status ?? 1;
+}
+
+async function score(args) {
+  const { GATE, ROOT } = await import('../project.mjs');
+  if (!GATE.score) {
+    warn('mutation: FAIL score is not configured: add a score key to gate.config.mjs');
+    return 2;
+  }
+  const { runScore } = await import('../score/cli.mjs');
+  return runScore(args, GATE.score, ROOT);
+}
+
+async function select(args) {
+  const { GATE, ROOT } = await import('../project.mjs');
+  if (!GATE.selection) {
+    warn('select: FAIL selection is not configured: add a selection key to gate.config.mjs');
+    return 2;
+  }
+  if (args[0] === 'check') {
+    const { checkE2eAreas } = await import('../selection/check.mjs');
+    const problems = checkE2eAreas(ROOT, GATE.selection);
+    if (problems.length > 0) {
+      warn(`${problems.join('\n')}\n\nselect check: fix each line above.`);
+      return 1;
+    }
+    say(`select check: ${problems.counts.specs} specs, ${problems.counts.entries} entries ok`);
+    return 0;
+  }
+  const { main } = await import('../selection/cli.mjs');
+  return main(args, GATE.selection);
+}
+
+async function fu(args) {
+  const { GATE, ROOT } = await import('../project.mjs');
+  const { commandsOf } = await import('../config.mjs');
+  const fuCmd = commandsOf(GATE).fu;
+  const cfg = GATE.followUps;
+  if (!cfg) {
+    warn('fu: followUps.dir is not configured');
+    return 2;
+  }
+  const fuLib = await import('../fu.mjs');
+  if (args[0] === 'check')
+    return fuLib.runCheck(ROOT, cfg, { out: say, err: warn, fuCmd });
+  return fuLib.run(args, {
+    dir: join(ROOT, cfg.dir),
+    label: cfg.dir,
+    fuCmd,
+    out: say,
+    err: warn,
+  });
+}
+
+async function mutation(cmd, args) {
+  const { GATE } = await import('../project.mjs');
+  const { runMutationCommand } = await import('../mutations/gate.mjs');
+  return runMutationCommand(cmd, args, GATE, { out: say, err: warn });
+}
+
+async function ratchet(name, args) {
+  const { GATE, ROOT: root } = await import('../project.mjs');
+  const entry = GATE.ratchets?.[name];
+  if (!entry) {
+    warn(
+      `ratchet: unknown ${name ?? '(no name)'}; configured: ${Object.keys(GATE.ratchets ?? {}).join(', ') || 'none'}`,
+    );
+    return 2;
+  }
+  const baseline = entry.baseline ?? null;
+  const result = await entry.check({
+    root,
+    args,
+    update: args.includes('--update'),
+    baseline,
+  });
+  const code = Number.isInteger(result.code) ? result.code : 2;
+  (code === 0 ? say : warn)(result.lines.join('\n'));
+  if (code !== result.code) warn(`ratchet ${name}: exit 2 (code not an integer)`);
+  process.exitCode = code;
+  return Number(process.exitCode);
+}
+
+/** Run every ratchet with group "check", in config order; resolves to the worst exit code. */
+async function ratchetAll(args) {
+  const { GATE, ROOT: root } = await import('../project.mjs');
+  const list = Object.entries(GATE.ratchets ?? {}).filter(([, e]) => e.group === 'check');
+  if (list.length === 0) {
+    warn('ratchet --all: no ratchet has group "check"; set group: \'check\' on a ratchet in gate.config.mjs');
+    return 2;
+  }
+  let worst = 0;
+  const failed = [];
+  for (const [name, entry] of list) {
+    let code;
+    try {
+      const result = await entry.check({
+        root,
+        args,
+        update: args.includes('--update'),
+        baseline: entry.baseline ?? null,
+      });
+      code = Number.isInteger(result.code) ? result.code : 2;
+      if (code !== result.code) result.lines = [...(result.lines ?? []), 'exit 2 (code not an integer)'];
+      (code === 0 ? say : warn)(result.lines.join('\n'));
+      (code === 0 ? say : warn)(`ratchet ${name}: ${code === 0 ? 'ok' : `exit ${code}`}`);
+    } catch (e) {
+      code = 2;
+      warn(`ratchet ${name}: exit 2 (threw: ${e.message})`);
+    }
+    if (code !== 0) failed.push(name);
+    worst = Math.max(worst, code);
+  }
+  const tail = failed.length > 0 ? `: ${failed.join(', ')}` : '';
+  (worst === 0 ? say : warn)(`ratchet --all: ${list.length} ran, ${failed.length} failed${tail}`);
+  return worst;
+}
+
+async function cacheReport(args) {
+  const { ROOT } = await import('../root.mjs');
+  const { runCacheReport } = await import('../checks/cache-report.mjs');
+  let result;
+  try {
+    result = runCacheReport({ root: ROOT, args });
+  } catch (e) {
+    warn(`cache-report: ${e.message}`);
+    return 1;
+  }
+  (result.code === 0 ? say : warn)(result.lines.join('\n'));
+  return result.code;
+}
+
+async function docsStale(args) {
+  const { GATE, ROOT: root } = await import('../project.mjs');
+  if (!GATE.docs) {
+    warn('docs-stale: FAIL docs is not configured: add docs.stamped to gate.config.mjs');
+    return 2;
+  }
+  const { docsStale: stale } = await import('../checks/docs-stale.mjs');
+  const { stamped, ext, exclude } = GATE.docs;
+  const result = stale({
+    root,
+    dirs: stamped,
+    ...(ext !== undefined ? { ext } : {}),
+    ...(exclude !== undefined ? { exclude } : {}),
+  });
+  say(result.lines.join('\n'));
+  return result.code;
+}
+
+async function nightly(args) {
+  const { GATE } = await import('../project.mjs');
+  if (!GATE.nightly) {
+    warn('nightly: FAIL nightly is not configured: add a nightly key to gate.config.mjs');
+    return 2;
+  }
+  const { nightlyMain } = await import('../nightly/cli.mjs');
+  return nightlyMain(args, GATE.nightly);
+}
+
+/** Dispatch `argv` (without node and the script); resolves to the exit code. */
+export async function run(argv) {
+  const [cmd, ...rest] = argv;
+  if (cmd === '--help' || cmd === '-h') return (say(USAGE), 0);
+  if (cmd === undefined) return (say(USAGE), 2);
+  if (cmd === 'verify') {
+    await (await import('../cli.mjs')).main(rest);
+    return 0;
+  }
+  if (cmd === 'review-map') {
+    (await import('../review-map.mjs')).main(rest);
+    return 0;
+  }
+  if (cmd === 'move-check') {
+    const { main } = await import('../move-proof.mjs');
+    const { commandsOf } = await import('../config.mjs');
+    const { GATE } = await import('../project.mjs');
+    main({ moveCheck: commandsOf(GATE).moveCheck, args: rest });
+    return 0;
+  }
+  if (cmd === 'mutate') return mutation('mutate', rest);
+  if (cmd === 'mutations') {
+    const sub = rest[0];
+    if (sub !== 'check' && sub !== 'select') {
+      warn(`ticket-gate: mutations takes check or select, got ${sub ?? '(nothing)'}\n${USAGE}`);
+      return 2;
+    }
+    return mutation(`mutations ${sub}`, rest.slice(1));
+  }
+  if (cmd === 'score') return score(rest);
+  if (cmd === 'select') return select(rest);
+  if (cmd === 'hook') return hook(rest[0]);
+  if (cmd === 'fu') return fu(rest);
+  if (cmd === 'ratchet') return rest[0] === '--all' ? ratchetAll(rest.slice(1)) : ratchet(rest[0], rest.slice(1));
+  if (cmd === 'cache-report') return cacheReport(rest);
+  if (cmd === 'docs-stale') return docsStale(rest);
+  if (cmd === 'nightly') return nightly(rest);
+  // No gate.config.mjs means no pack commands: fall through to the unknown-command line.
+  const { GATE, ROOT: root } = await import('../project.mjs').catch((e) => {
+    // Only a missing gate.config.mjs means "no pack commands"; a missing import inside it is the user's error.
+    if (e?.code !== 'ERR_MODULE_NOT_FOUND' || !e.url?.endsWith('/gate.config.mjs')) throw e;
+    return { GATE: { packCommands: {} }, ROOT: process.cwd() };
+  });
+  const own = Object.hasOwn(GATE.packCommands, cmd) ? GATE.packCommands[cmd] : undefined;
+  if (own) return Number((await own.run(rest, { root, gate: GATE })) ?? 0);
+  warn(`ticket-gate: unknown command ${cmd}\n${USAGE}`);
+  return 2;
+}
+
+/** Run `cmd` with this process's arguments when `url` is the script being executed. */
+export async function runAs(url, cmd) {
+  if (!isMain(url)) return;
+  process.exitCode = await run([cmd, ...process.argv.slice(2)]);
+}
+
+if (isMain(import.meta.url))
+  process.exitCode = await run(process.argv.slice(2));

package/checks/assertions-unguarded.mjs

@@ -0,0 +1,31 @@
+// The `unguarded` mutation kind: a guard no test bites, kept on the books with a reason and never
+// run. It exists for the assertions ratchet, where its `from` covers a dropped spec.
+import { dirname } from 'node:path';
+
+const isStr = (v) => typeof v === 'string' && v.trim() !== '';
+
+/**
+ * @param {{ from: RegExp, fromHint: string, prefix?: string }} options `from` is what an entry's
+ *   `from` must match, `fromHint` names that shape in the error, and `prefix` is prepended to
+ *   `from` to choose the area file.
+ */
+export function unguardedKind({ from, fromHint, prefix = '' }) {
+  return {
+    name: 'unguarded',
+    runs: false,
+    fields: ['title', 'why', 'from'],
+    shape(e) {
+      const out = [];
+      for (const f of ['title', 'why', 'from'])
+        if (!isStr(e[f])) out.push(`${f} must be a non-empty string`);
+      return out;
+    },
+    // `from` is checked on an entry of any kind.
+    strays(e) {
+      return e.from !== undefined && !from.test(String(e.from))
+        ? [`from must match ${fromHint}`]
+        : [];
+    },
+    area: (e, dir) => `${dir}/${dirname(`${prefix}${e.from}`)}.json`,
+  };
+}