@avi2dg/checks 0.39.0 → 0.41.0

package/CHANGELOG.md

@@ -2,6 +2,22 @@
 
 Every release of `@avi2dg/checks`, newest first, written by the release from its conventional commits.
 
+## 0.41.0
+
+Released 2026-10-12.
+
+### Features
+
+- **testing:** keep mutation baselines and flake reports out of Actions artifact storage [#150](https://github.com/avi2d/checks/pull/150)
+
+## 0.40.0
+
+Released 2026-10-11.
+
+### Features
+
+- **delivery:** fold title lint into the ci job and trim docs-only runs [#146](https://github.com/avi2d/checks/pull/146)
+
 ## 0.39.0
 
 Released 2026-10-11.

package/README.md

@@ -117,7 +117,33 @@ To consume the kit from a repository:
          - run: bun run test
    ```
 
-Add a pull request title lint step in another workflow using `./node_modules/.bin/commitlint`.
+Lint the pull request title in the same job with one step:
+
+   ```yaml
+         - id: title
+           name: lint the title
+           env:
+             PR_TITLE: ${{ github.event.pull_request.title }}
+             GH_TOKEN: ${{ github.token }}
+           run: bunx checks-commit-title
+   ```
+
+A repository whose branch protection requires `commitlint` keeps that required status name while `commitlint.yml` goes away.
+The same job reports the title step's outcome under that name on every run, which needs `statuses: write`:
+
+   ```yaml
+         - name: report the title as commitlint
+           if: always()
+           env:
+             GH_TOKEN: ${{ github.token }}
+             HEAD_SHA: ${{ github.event.pull_request.head.sha }}
+             OUTCOME: ${{ steps.title.outcome }}
+           run: |
+             state=failure
+             if [ "$OUTCOME" = success ]; then state=success; fi
+             gh api "repos/$GITHUB_REPOSITORY/statuses/${HEAD_SHA:-$GITHUB_SHA}" -f state="$state" -f context=commitlint -f target_url="$GITHUB_SERVER_URL/$GITHUB_REPOSITORY/actions/runs/$GITHUB_RUN_ID" --silent
+   ```
+
 A private repository sets `runs-on: ${{ vars.CI_RUNS_ON || 'ubuntu-latest' }}` on each job, as [checks-ci-wiring](docs/gates/checks-ci-wiring.md#runners) requires.
 `checks-effect-scope` writes the Effect paths of `oxlint.config.ts` and the kit's severities into `tsconfig.json`, as [The Effect rules](docs/configs/effect-rules.md#language-service) says.
 `bun run lint` then ends with `checks-lint: <count> gate(s) pass`.
@@ -157,7 +183,7 @@ These bins run on their own:
 - [`checks-flake`](docs/gates/checks-flake.md) runs the suite on a schedule and records the seeds a flaky test fails with.
 - [`checks-mutation`](docs/gates/checks-mutation.md) runs Stryker for scoped checks and refuses a full run outside CI.
 - [`checks-mutation-compare`](docs/gates/checks-mutation-compare.md) compares the mutants of two reports and lists each one that regresses.
-- [`checks-mutation-baseline`](docs/gates/checks-mutation-baseline.md) restores the newest mutation baseline from `main`, through a cache on a self-hosted runner, and deletes superseded baselines after a `main` upload.
+- [`checks-mutation-baseline`](docs/gates/checks-mutation-baseline.md) restores the newest mutation baseline from `main`, saves it on a self-hosted runner's disk in place of an artifact, and deletes superseded baselines after a `main` run.
 - [`checks-subsumed-tests`](docs/gates/checks-subsumed-tests.md) lists each test another test subsumes in a mutation run.
 - [`checks-changelog`](docs/gates/checks-changelog.md) writes the pending release into `CHANGELOG.md` from the conventional commits since the last release.
 - [`checks-release-notes`](docs/gates/checks-release-notes.md) writes one `CHANGELOG.md` section to a file for a GitHub release.
@@ -166,9 +192,11 @@ These bins run on their own:
 - [`checks-release-tag`](docs/gates/checks-release-tag.md) tags a landed release commit with its version and dispatches the release workflow on the tag.
 - [`checks-vendor`](docs/gates/checks-vendor.md) pins each library its `prepare` arguments name to a shared read-only clone and links it under `repos/`.
 - [`checks-browser`](docs/gates/checks-browser.md) opens a product's built pages in Chrome and fails on the layout, keyboard, motion, accessibility, nesting and asset checks its `browser-checks.json` declares.
+- [`checks-commit-title`](docs/gates/checks-commit-title.md) lints the pull request title in one step of the `ci` job.
+- [`checks-docs-only`](docs/gates/checks-docs-only.md) tells whether a change touches only top-level Markdown and Markdown under `docs/`, so a docs-only change skips the full run.
 
 `checks-lint` has [its own page](docs/gates/checks-lint.md), which says which range it resolves.
-oxlint and commitlint run through their own tools, as the pages under Related topics say.
+oxlint runs through its own tool, as the pages under Related topics say.
 
 ## Upgrade
 

package/docs/configs/commit-messages.md

@@ -14,20 +14,26 @@ It arrives with the kit, since `@commitlint/cli` and `@commitlint/config-convent
 ## Workflow
 
 The lint runs in CI on pull requests, because `jj` never fires a git hook.
-Each repository owns `.github/workflows/commitlint.yml` and runs the installed `commitlint` binary in a pull request step.
+Each repository lints the title in one step of its `ci` job with `bunx checks-commit-title`.
 The workflow lints with the installed kit's `commitlint.config.js`, so every repository holds titles to the same rules.
+The `ci` job reports the title step's outcome as a `commitlint` status on every run, so a required `commitlint` status stays while `commitlint.yml` goes away.
+That post needs the workflow's `statuses: write` permission.
+The title lint runs before the docs-only filter, so a change to top-level Markdown and `docs/` Markdown alone still lints its title.
 
 ## What it lints
 
 It lints the pull request title and nothing else.
 The title is the enforced subject because a squash merge uses it as the main commit subject, and per-commit messages are not linted.
-GitHub appends ` (#N)` to the squashed subject, so the workflow lints the title with that suffix attached, and the header length limit applies to the landed subject, not the bare title.
-The workflow moves git's comment character off `#`, so a title starting with `#` is linted like any other.
-The workflow also triggers on `workflow_dispatch`, since GitHub holds the `pull_request` runs of a release pull request the workflow token opens until a maintainer approves them, as [checks-release-pr](../gates/checks-release-pr.md) says.
-A dispatched run carries no pull request, so the workflow reads the title of the one open pull request its branch heads, and fails when there is none.
+GitHub appends the pull request number to the squashed subject, so the bin lints the title with ` (#0000)` attached.
+The header length limit applies to the landed subject, not the bare title.
+The bin moves the git comment character off `#`, so a title starting with `#` is linted like any other.
+The `ci` job also triggers on `workflow_dispatch`, as [checks-release-pr](../gates/checks-release-pr.md) says.
+GitHub holds the `pull_request` runs of a release pull request the workflow token opens until a maintainer approves them.
+A dispatched run carries no pull request, so the bin reads the title of the one open pull request its branch heads.
+It fails when there is none.
 That lookup needs the workflow's `pull-requests: read` permission.
-It reports a dispatched run's result on the head commit as a `commitlint` status, since GitHub keeps a dispatched run's check off the pull request.
-The kit's own `.github/workflows/commitlint.yml` shows the step.
+The `commitlint` status covers a dispatched run too, since GitHub keeps a dispatched run's check off the pull request.
+The kit's own `.github/workflows/ci.yml` shows the step.
 
 It never sees a commit's author or committer fields, nor the `Co-authored-by` trailer GitHub writes from a foreign author when it squashes, so it cannot enforce who a commit belongs to.
 [checks-commit-identity](../gates/checks-commit-identity.md) is that enforcement.

package/docs/gates/checks-ci-wiring.md

@@ -8,7 +8,8 @@ audience: consumers
 
 ## What it checks
 
-The kit requires `./node_modules/.bin/commitlint` on every pull request.
+The kit requires `bunx checks-commit-title` on every pull request.
+A step that calls `bun src/delivery/commit-title.ts` or `./node_modules/.bin/commitlint` directly still satisfies the check.
 It requires `bun run lint`, `bun run build`, `bun run typecheck` and `bun run test` for each of those scripts that `package.json` defines.
 A `build` script also requires `git diff --exit-code`.
 The target branch is the pull request base in CI, else the branch `refs/remotes/origin/HEAD` names, else the default branch of the repository in GitHub's event, else `main`.

package/docs/gates/checks-commit-title.md

@@ -0,0 +1,57 @@
+---
+kind: reference
+audience: consumers
+---
+# checks-commit-title
+
+`checks-commit-title` lints the pull request title against the shared commitlint config in one step of the `ci` job.
+
+## What it checks
+
+It lints the pull request title and nothing else.
+The title comes from `PR_TITLE` when the event carries one.
+A dispatched run carries no pull request, so the bin reads the title of the one open pull request its branch heads.
+It fails when there is none.
+A run with no title to lint passes and says so.
+The bin lints the title with ` (#0000)` attached, since GitHub appends the pull request number to the squashed subject.
+It moves the git comment character off `#`, so a title starting with `#` is linted like any other.
+
+## What it reads
+
+It reads `PR_TITLE` and `GITHUB_EVENT_NAME` from the environment.
+A dispatched run also reads `GITHUB_REPOSITORY`, `GITHUB_REPOSITORY_OWNER` and `GITHUB_REF_NAME`, and calls `gh api` with `GH_TOKEN` for the open pull request.
+It lints with the installed kit's commitlint config through the installed commitlint cli, as [The commit message lint](../configs/commit-messages.md) says.
+
+## Arguments
+
+The bin takes no arguments.
+
+## Exit codes
+
+| Code | Result |
+| --- | --- |
+| 0 | The title lints clean, or there is no title to lint. |
+| 1 | The title breaks the rules, or no one open pull request heads the branch. |
+| 2 | The kit config or binary cannot be resolved, or a dispatched run misses its environment. |
+
+## Sample output
+
+```
+⧗   --- input ---
+# feat(lint): add x (#0000)
+✖   subject may not be empty [subject-empty]
+✖   type may not be empty [type-empty]
+
+✖   found 2 problems, 0 warnings
+ⓘ   Get help: https://github.com/conventional-changelog/commitlint/#what-is-commitlint
+```
+
+## When it runs
+
+The `ci` job runs it on `pull_request` and `workflow_dispatch`, as [checks-ci-wiring](checks-ci-wiring.md) requires.
+The job then posts its outcome as a `commitlint` status, as [The commit message lint](../configs/commit-messages.md) says.
+
+## Related topics
+
+- [The commit message lint](../configs/commit-messages.md)
+- [checks-ci-wiring](checks-ci-wiring.md)

package/docs/gates/checks-docs-only.md

@@ -0,0 +1,50 @@
+---
+kind: reference
+audience: consumers
+---
+# checks-docs-only
+
+`checks-docs-only` tells whether a change touches only top-level Markdown and Markdown under `docs/`, so a docs-only change skips the full `ci` run.
+
+## What it checks
+
+A change is docs-only when every file it touches is a `.md` file at the top level or under `docs/`, and it touches at least one file.
+Markdown anywhere else, such as a test fixture under `tests/` or a template under `dist/`, keeps the full run.
+A rename counts both sides.
+An empty change and a change with no range keep the full run.
+
+## What it reads
+
+It reads the base and head refs from its arguments.
+It compares their merge base with the head through `git merge-base` and `git diff`.
+
+## Arguments
+
+```sh
+checks-docs-only <base-ref> <head-ref>
+```
+
+With no arguments, the bin reports `docs-only=false`.
+
+## Exit codes
+
+| Code | Result |
+| --- | --- |
+| 0 | The bin classified the change, and the verdict is on stdout. |
+| 2 | The range cannot be decoded. |
+
+## Sample output
+
+```
+docs-only=true
+```
+
+## When it runs
+
+The `ci` job has a filter step that appends the verdict to `GITHUB_OUTPUT`, and the typecheck and test steps skip when the verdict reads `true`.
+The build, its `git diff --exit-code` and `bun run lint` still run, so `checks-docs` and the generated blocks hold on a docs-only change.
+The job itself always runs and reports, so every required check stays green on a docs-only change.
+
+## Related topics
+
+- [checks-ci-wiring](checks-ci-wiring.md)

package/docs/gates/checks-flake.md

@@ -54,7 +54,7 @@ Only a schedule the repository writes runs it.
 
 ## Running it on a schedule
 
-A repository runs it on a schedule and keeps the record as an artifact:
+A repository runs it on a schedule and keeps the record of a failed run as an artifact:
 
 ```yaml
 on:
@@ -70,12 +70,17 @@ jobs:
       - run: bun install --frozen-lockfile
       - run: bunx checks-flake --runs 10 --report flake-report.json
       - uses: actions/upload-artifact@v4
-        if: always()
+        if: failure()
         with:
           name: flake-report
           path: flake-report.json
+          retention-days: 7
 ```
 
+A passing run's job summary holds all its seeds, so a passing run uploads nothing.
+In a private repository every upload counts against the account's Actions storage, and GitHub refuses each one once that storage is used up.
+A run that only uploads on failure stays green through that refusal, and a failing run is red for its tests either way.
+
 A private repository sets `runs-on: ${{ vars.CI_RUNS_ON || 'ubuntu-latest' }}` on the job, as [checks-ci-wiring](checks-ci-wiring.md#runners) requires.
 
 ## Related topics

package/docs/gates/checks-mutation-baseline.md

@@ -4,14 +4,16 @@ audience: consumers
 ---
 # checks-mutation-baseline
 
-`checks-mutation-baseline` restores the newest mutation baseline that `main` published, and deletes superseded baselines after a `main` upload.
+`checks-mutation-baseline` restores the newest mutation baseline that `main` published, and deletes superseded baselines after a `main` run.
 On a self-hosted runner it keeps each baseline it downloads, so the next job copies it instead.
+There it also saves a run's baseline on the runner's disk, so the baseline never counts against the account's Actions storage.
 
 ## What it checks
 
 It reads the successful runs of `mutation.yml` on `main`.
 Without `--full` it takes the newest of the 20 newest of those runs that a pull request did not start.
-It restores that run's `mutation-baseline` artifact, and takes the run whether or not it holds one.
+It restores the baseline that run saved on the runner's disk, as [The saved baselines](#the-saved-baselines) says.
+Without one there, it restores that run's `mutation-baseline` artifact, and takes the run whether or not it holds one.
 It tries no older run, so a newest run without the artifact restores nothing.
 An artifact without `stryker-incremental.json` counts as no baseline.
 It copies `stryker-incremental.json` to the first destination, and `mutation/mutation.json` to the second destination when the artifact holds it.
@@ -25,6 +27,7 @@ It creates the directories each destination needs.
 
 With `--prune` it deletes the repository's superseded baselines instead of restoring one.
 It keeps the newest unexpired `mutation-baseline` among the runs the restore reads, and the newest unexpired `mutation-baseline-full` the restore takes first.
+A run whose baseline the runner's disk holds stops that search, and every older `mutation-baseline` goes, since the restore reads that run's saved baseline first.
 It also keeps the unexpired baselines of the run it runs in, which `GITHUB_RUN_ID` names.
 The restore reads only successful runs, so it takes them once that run succeeds.
 A failed artifact lookup while it picks what to keep stops it before it deletes anything.
@@ -39,7 +42,8 @@ It deletes through `gh`, which needs a token that deletes the repository's Actio
 It reads the runs and their artifacts through `gh`, which needs a token that reads the repository's Actions, such as `GH_TOKEN: ${{ github.token }}` with `actions: read`.
 The `mutation-baseline` artifact holds `stryker-incremental.json` and `mutation/mutation.json`, which an upload of `reports/stryker-incremental.json` and `reports/mutation/mutation.json` writes.
 The `mutation-baseline-full` artifact holds `mutation.json` at its root, which an upload of `reports/mutation/mutation.json` alone writes.
-It reads `RUNNER_ENVIRONMENT` and `HOME` to place the runner cache, and `--prune` reads `GITHUB_RUN_ID`.
+It reads `RUNNER_ENVIRONMENT` and `HOME` to place the runner cache, and `GITHUB_REPOSITORY_ID` to find the saved baselines.
+`--save` and `--prune` read `GITHUB_RUN_ID`.
 
 ## The runner cache
 
@@ -58,24 +62,53 @@ A 100 MB baseline zip can unpack to about 500 MB, so a repository restoring both
 When `RUNNER_ENVIRONMENT` is `github-hosted`, it downloads into a temporary directory and writes no cache, since a hosted runner starts every job on a fresh machine.
 When `HOME` is unset it works the same way, and prints to stderr that the runner cache is disabled.
 
+## The saved baselines
+
+`--save` writes the run's baseline to `$HOME/.cache/avi2dg-checks/mutation-baseline/<repository id>/saved/mutation-baseline/<run id>.json`.
+The entry is one JSON file that holds `stryker-incremental.json` and, when given, `mutation/mutation.json`, keyed by those names.
+It writes both files without each mutant's `statusReason`.
+Stryker puts the test runner's failure message there, which no reader of a baseline uses, and which makes up most of a large report.
+A report of about 280 MB comes out at about 5 MB.
+The entry lands through a rename beside it, so a job sharing the runner sees it whole or not at all.
+A re-run attempt keeps its run's id, so its entry replaces the one an earlier attempt saved.
+
+The restore reads only the successful runs, so a run that saves and then fails leaves an entry no restore reads.
+A re-run attempt that succeeds replaces it first.
+A restore reads the entry in one open, so a job that removes or replaces it afterwards changes nothing the restore copies.
+A restore from the disk removes the entries of runs older than the one it read.
+It keeps the entries of newer runs, which may still be running.
+A job that picked one of the removed entries and had not opened it yet finds none, and falls back to the artifact.
+
+Every job that restores the baseline must run on the machine that saved it, as the same user.
+A job on another machine finds no entry and falls back to the artifact, which the prune deletes once a saved baseline supersedes it.
+Losing the disk costs the next `main` run a fresh baseline, since an incremental run with no state tests every mutant.
+
+`--save` refuses on a GitHub-hosted runner, since its disk ends with the job.
+There a repository uploads the baseline as an artifact.
+It also refuses when `HOME`, `GITHUB_REPOSITORY_ID` or `GITHUB_RUN_ID` is unset.
+
 ## Arguments
 
 ```sh
 checks-mutation-baseline <incremental-dest> [mutation-json-dest]
 checks-mutation-baseline --full <mutation-json-dest>
+checks-mutation-baseline --save <incremental-src> [mutation-json-src]
+checks-mutation-baseline --slim <mutation-json-src> <dest>
 checks-mutation-baseline --prune [--dry-run]
 ```
 
 `--full` restores only the report of a run that started with no state.
-`--prune` deletes superseded baselines after an upload.
+`--save` keeps this run's baseline on the runner's disk in place of an upload.
+`--slim` writes a report without `statusReason` to `<dest>`, for a report that still goes up as an artifact.
+`--prune` deletes superseded baselines after a save or an upload.
 `--dry-run` lists what `--prune` would delete, and deletes nothing.
 
 ## Exit codes
 
 | Code | When |
 | --- | --- |
-| 0 | it restored a baseline, or found none to restore |
-| 2 | the arguments do not parse, `gh` cannot list the runs, the cache cannot be written, or another job removed the entry before it was copied |
+| 0 | it restored a baseline, found none to restore, saved the baseline or wrote the slim report |
+| 2 | the arguments do not parse, `gh` cannot list the runs, the cache cannot be written, another job removed the entry before it was copied, a file to save or slim does not parse, or `--save` runs where it refuses |
 
 A failed artifact lookup or download prints the `gh` error and moves on, as a missing artifact does.
 With `--prune`, `0` means it deleted the superseded artifacts, found none, or could not delete some.
@@ -92,6 +125,12 @@ mutation-baseline: restored it from the runner's cache, mutation-baseline artifa
 
 A miss prints `downloaded it into the runner's cache` instead, and a hosted runner prints `downloaded it`.
 
+```
+mutation-baseline: saved the mutation-baseline of run 38058558974 on the runner's disk
+mutation-baseline: restored it from the runner's disk, mutation-baseline saved by run 38058558974
+mutation-baseline: wrote full/mutation.json without statusReason, 4788924 bytes from 272879455
+```
+
 ```
 mutation-baseline: deleted artifacts 11542133901, 11553708473, 11632727585; kept mutation-baseline artifact 11670749656 from run 38055231501
 ```
@@ -110,16 +149,12 @@ A baseline job restores the state the previous `main` run left before an increme
   run: bunx checks-mutation-baseline reports/stryker-incremental.json
 ```
 
-A baseline job uploads the state the incremental run wrote, then on `main` prunes the superseded baselines:
+A baseline job on a self-hosted runner saves the state the incremental run wrote, then on `main` prunes the superseded baselines:
 
 ```yaml
-- uses: actions/upload-artifact@v4
-  with:
-    name: mutation-baseline
-    path: |
-      reports/mutation/mutation.json
-      reports/stryker-incremental.json
-    retention-days: 7
+- name: Save baseline state
+  if: github.ref == 'refs/heads/main'
+  run: bunx checks-mutation-baseline --save reports/stryker-incremental.json reports/mutation/mutation.json
 - name: Prune superseded baselines
   if: github.ref == 'refs/heads/main'
   env:
@@ -127,8 +162,23 @@ A baseline job uploads the state the incremental run wrote, then on `main` prune
   run: bunx checks-mutation-baseline --prune
 ```
 
-The incremental upload keeps 7 days of retention, since the restore reads only the newest `main` run.
-The full upload keeps 30 days, since full runs start weekly.
+The saved baseline uses none of the account's Actions storage, which every private repository's artifacts share.
+That storage accrues by the hour over the month, so an artifact deleted early still counts until the month ends.
+A baseline job on a GitHub-hosted runner uploads the same two files as a `mutation-baseline` artifact with `retention-days: 7` instead, since the restore reads only the newest `main` run.
+
+A full run uploads its report as the `mutation-baseline-full` artifact, which a pull request's scope step reads on any runner.
+It slims the report first, so the artifact holds about 0.5 MB in place of about 100 MB:
+
+```yaml
+- run: bunx checks-mutation-baseline --slim reports/mutation/mutation.json "$RUNNER_TEMP/full/mutation.json"
+- uses: actions/upload-artifact@v4
+  with:
+    name: mutation-baseline-full
+    path: ${{ runner.temp }}/full/mutation.json
+    retention-days: 30
+```
+
+The full upload keeps 30 days, so the newest full baseline outlives the gap between full runs.
 A pull request's scope step loses its coverage when no full baseline outlives the gap.
 
 A pull request's scope step restores the full report with `--full`:

package/docs/gates/checks-mutation.md

@@ -97,13 +97,18 @@ jobs:
           bun-version-file: .bun-version
       - run: bun install --frozen-lockfile
       - run: bunx stryker run
+      - if: always()
+        run: bunx checks-mutation-baseline --slim reports/mutation/mutation.json "$RUNNER_TEMP/report/mutation.json"
       - uses: actions/upload-artifact@v4
         if: always()
         with:
           name: mutation-report
-          path: reports/mutation/mutation.json
+          path: ${{ runner.temp }}/report/mutation.json
+          retention-days: 7
 ```
 
+The upload holds the report without each mutant's `statusReason`, as [checks-mutation-baseline](checks-mutation-baseline.md#the-saved-baselines) says, since the full report of a large repository passes 100 MB as an artifact.
+
 The job runs on the fleet's self-hosted Linux runner labelled `winbox`, which is where a repository sends its full sweeps.
 It never reads `CI_RUNS_ON`, so an override that moves a repository's other jobs during a runner outage leaves the sweep waiting for `winbox`.
 [checks-ci-wiring](checks-ci-wiring.md#runners) refuses a mutation job that names it in `runs-on`.

package/docs/gates/checks-release-pr.md

@@ -47,7 +47,7 @@ The repository needs **Allow GitHub Actions to create and approve pull requests*
 checks-release-pr <workflow>...
 ```
 
-Each argument names a workflow file under `.github/workflows/` whose jobs report the checks the default branch requires, such as `ci.yml` and `commitlint.yml`.
+Each argument names a workflow file under `.github/workflows/` whose jobs report the checks the default branch requires, such as `ci.yml`.
 Each named workflow triggers on `workflow_dispatch`.
 Name no workflow that runs something else on dispatch, such as a mutation baseline.
 
@@ -63,7 +63,7 @@ Name no workflow that runs something else on dispatch, such as a mutation baseli
 A run that opens the pull request prints the build's own output, then one line:
 
 ```
-release-pr: opened https://github.com/acme/widget/pull/12 to release 0.4.0, and dispatched ci.yml, commitlint.yml on release/main
+release-pr: opened https://github.com/acme/widget/pull/12 to release 0.4.0, and dispatched ci.yml on release/main
 ```
 
 A run on the same `HEAD` the next day prints one line:
@@ -115,7 +115,7 @@ jobs:
       - name: open or refresh the release pull request
         env:
           GH_TOKEN: ${{ github.token }}
-        run: ./node_modules/.bin/checks-release-pr ci.yml commitlint.yml
+        run: ./node_modules/.bin/checks-release-pr ci.yml
   tag:
     if: "github.event_name == 'push' && startsWith(github.event.head_commit.message, 'chore: release ')"
     runs-on: ubuntu-latest
@@ -150,8 +150,7 @@ Nothing requires them, and approving them runs the same checks again.
 
 The daily release needs the repository's other workflows to accept the dispatch:
 
-- `.github/workflows/ci.yml` and `.github/workflows/commitlint.yml` trigger on `workflow_dispatch`, grant `statuses: write`, and end each required job with the step below.
-  `commitlint.yml` also grants `pull-requests: read`, which the title lookup needs.
+- `.github/workflows/ci.yml` triggers on `workflow_dispatch`, grants `statuses: write` and `pull-requests: read`, and ends each required job with the step below.
 - The title lint reads the title of the one open pull request its branch heads when the event carries none, as [Commit messages](../configs/commit-messages.md) says.
 - `.github/workflows/release.yml` triggers on `workflow_dispatch` and refuses a ref that is not a tag, as [checks-release-notes](checks-release-notes.md) shows.
 - **Allow GitHub Actions to create and approve pull requests** is on, which the call after the step sets.

package/docs/gates/checks-release-tag.md

@@ -8,7 +8,7 @@ audience: consumers
 
 ## What it checks
 
-It reads the subject of `HEAD`, and does nothing unless the subject is `chore: release <version>`, with or without the ` (#N)` a squash merge adds.
+It reads the subject of `HEAD`, and does nothing unless the subject is `chore: release <version>`, with or without the pull request number a squash merge appends.
 It refuses a release commit whose `package.json` holds another version.
 It tags `HEAD` as `v<version>` and pushes the tag to `origin`.
 A tag the workflow token pushes starts no `push` workflow, so it then dispatches the workflow its argument names on the tag.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@avi2dg/checks",
-  "version": "0.39.0",
+  "version": "0.41.0",
   "description": "Deterministic checks shared across a set of TypeScript repositories",
   "license": "MIT",
   "repository": {
@@ -40,11 +40,14 @@
     "src/testing/test-report.ts",
     "src/testing/flake.ts",
     "src/delivery/commit-identity.ts",
+    "src/delivery/commit-title.ts",
+    "src/delivery/docs-only.ts",
     "src/testing/mutation.ts",
     "src/testing/mutation-scope.js",
     "src/testing/mutation-guard-plugin.js",
     "src/testing/mutation-compare.ts",
     "src/testing/mutation-baseline.ts",
+    "src/testing/mutation-baseline-saved.ts",
     "src/testing/subsumed-tests.ts",
     "src/delivery/ci-wiring.ts",
     "src/delivery/shell-command.ts",
@@ -132,6 +135,8 @@
     "checks-test": "src/testing/test.ts",
     "checks-flake": "src/testing/flake.ts",
     "checks-commit-identity": "src/delivery/commit-identity.ts",
+    "checks-commit-title": "src/delivery/commit-title.ts",
+    "checks-docs-only": "src/delivery/docs-only.ts",
     "checks-mutation": "src/testing/mutation.ts",
     "checks-mutation-compare": "src/testing/mutation-compare.ts",
     "checks-mutation-baseline": "src/testing/mutation-baseline.ts",

package/src/delivery/ci-wiring.ts

@@ -11,6 +11,7 @@ export type { Command };
 export type Gate = {
   readonly command: string;
   readonly words: Command;
+  readonly alternatives: readonly Command[];
 };
 
 export type Declaration = {
@@ -63,7 +64,10 @@ export class WiringError extends Schema.TaggedError<WiringError>()("WiringError"
 const WORKFLOWS = ".github/workflows";
 const SCRIPTED = ["lint", "build", "typecheck", "test"];
 const BUILT_TREE = "git diff --exit-code";
-const TITLE_LINT = "./node_modules/.bin/commitlint";
+const TITLE_LINT = "bunx checks-commit-title";
+// The gate holds until every consumer migrates, so the direct commitlint call still counts.
+// The kit calls its own file through bun, since bunx never resolves the working tree.
+const TITLE_CALLS = ["bun src/delivery/commit-title.ts", "./node_modules/.bin/commitlint"];
 const Manifest = Schema.Struct({ scripts: Schema.optionalKey(Schema.Record(Schema.String, Schema.String)) });
 // Without these a pull_request workflow never sees the commits a pull request pushes.
 const GATING_TYPES = ["opened", "synchronize"];
@@ -207,6 +211,7 @@ function gapsAmong(gates: readonly Gate[], steps: readonly RunStep[], lintGates:
     const entryPoint = entryPointCommand(gate.words, lintGates);
     const commands = [
       { command: gate.command, words: gate.words },
+      ...gate.alternatives.map((words) => ({ command: gate.command, words })),
       ...(entryPoint === undefined ? [] : [{ command: entryPoint.join(" "), words: entryPoint }]),
     ];
     const invoking = steps.flatMap(({ location, blocker, script }) => {
@@ -258,7 +263,11 @@ export function requiredCommands(scripts: readonly string[]): readonly string[]
 
 export function declarationFor(scripts: readonly string[], branch: string): Declaration {
   return {
-    gates: requiredCommands(scripts).map((command) => ({ command, words: command.split(" ") })),
+    gates: requiredCommands(scripts).map((command) => ({
+      command,
+      words: command.split(" "),
+      alternatives: command === TITLE_LINT ? TITLE_CALLS.map((call) => call.split(" ")) : [],
+    })),
     defaultBranch: branch,
     lintGates: KIT_GATES,
   };

package/src/delivery/commit-title.ts

@@ -0,0 +1,82 @@
+#!/usr/bin/env bun
+import { Config, Console, Effect, FileSystem, Path, Schema } from "effect";
+import { collect } from "../core/git.ts";
+import { runMain } from "../core/main.ts";
+
+const NAME = "commit-title";
+
+class TitleSetup extends Schema.TaggedError<TitleSetup>()("TitleSetup", {
+  message: Schema.String,
+}) {}
+
+const setup = (message: string): TitleSetup => new TitleSetup({ message });
+
+// The cli entry stays inside its own package, so this resolves from the install cache as well as node_modules.
+const cliOf = Effect.fn("cliOf")(function* () {
+  const entry = yield* Effect.try({
+    try: () => new URL("./cli.js", import.meta.resolve("@commitlint/cli")),
+    catch: () => setup("cannot resolve @commitlint/cli from the installed kit"),
+  });
+  return yield* (yield* Path.Path).fromFileUrl(entry);
+});
+
+// The config ships with the kit, so it sits two levels above this file wherever the kit is installed.
+const configOf = Effect.fn("configOf")(function* () {
+  const file = yield* Effect.try({
+    try: () => new URL("../../commitlint.config.js", import.meta.url),
+    catch: () => setup("cannot resolve commitlint.config.js from the installed kit"),
+  });
+  return yield* (yield* Path.Path).fromFileUrl(file);
+});
+
+const dispatchedTitle = Effect.fn("dispatchedTitle")(function* () {
+  const repository = yield* Config.String("GITHUB_REPOSITORY").pipe(Config.withDefault(""));
+  const owner = yield* Config.String("GITHUB_REPOSITORY_OWNER").pipe(Config.withDefault(""));
+  const ref = yield* Config.String("GITHUB_REF_NAME").pipe(Config.withDefault(""));
+  if (repository === "" || owner === "" || ref === "") {
+    return yield* setup("a dispatched run lints the open pull request its branch heads, so it needs GITHUB_REPOSITORY, GITHUB_REPOSITORY_OWNER and GITHUB_REF_NAME");
+  }
+  // A dispatched run carries no pull request, so the title comes from the one open pull request the branch heads.
+  const found = yield* collect("gh", [
+    "api",
+    `repos/${repository}/pulls?head=${owner}:${ref}&state=open`,
+    "--jq",
+    `if length == 1 then .[0].title else error("no one open pull request heads the branch") end`,
+  ]);
+  const title = found.stdout.trim();
+  if (found.exitCode !== 0 || title === "" || title === "null") {
+    const report = found.stderr.trim() === "" ? found.stdout.trim() : found.stderr.trim();
+    if (report !== "") yield* Console.error(report);
+    return undefined;
+  }
+  return title;
+});
+
+const lintTitle = Effect.fn("lintTitle")(function* (title: string) {
+  const system = yield* FileSystem.FileSystem;
+  const path = yield* Path.Path;
+  const file = path.join(yield* system.makeTempDirectoryScoped({ prefix: "checks-commit-title-" }), "pr-title");
+  yield* system.writeFileString(file, `${title} (#0000)`);
+  // A title opening with the git comment character lints as empty without this: commentChar moves off the hash.
+  const linted = yield* collect(process.execPath, [yield* cliOf(), "--config", yield* configOf(), "--edit", file], undefined, {
+    env: { GIT_CONFIG_COUNT: "1", GIT_CONFIG_KEY_0: "core.commentChar", GIT_CONFIG_VALUE_0: "\x01" },
+  });
+  if (linted.stdout.trim() !== "") yield* Console.log(linted.stdout.trim());
+  if (linted.stderr.trim() !== "") yield* Console.error(linted.stderr.trim());
+  return linted.exitCode === 0;
+});
+
+const check = Effect.scoped(Effect.gen(function* () {
+  const direct = yield* Config.String("PR_TITLE").pipe(Config.withDefault(""));
+  if (direct !== "") return yield* lintTitle(direct);
+  const event = yield* Config.String("GITHUB_EVENT_NAME").pipe(Config.withDefault(""));
+  if (event === "workflow_dispatch") {
+    const title = yield* dispatchedTitle();
+    if (title === undefined) return false;
+    return yield* lintTitle(title);
+  }
+  yield* Console.log(`${NAME}: no pull request title is available, so there is nothing to lint`);
+  return true;
+}));
+
+if (import.meta.main) runMain(NAME, check);

package/src/delivery/docs-only.ts

@@ -0,0 +1,38 @@
+#!/usr/bin/env bun
+import { Console, Effect } from "effect";
+import { changedPaths, git } from "../core/git.ts";
+import { runMain } from "../core/main.ts";
+
+const NAME = "docs-only";
+
+export function isDocsPath(path: string): boolean {
+  const lower = path.toLowerCase();
+  return lower.endsWith(".md") && (!lower.includes("/") || lower.startsWith("docs/"));
+}
+
+// The verdict goes to stdout as one line, so a step appends it to GITHUB_OUTPUT; the detail goes to stderr.
+const check = Effect.gen(function* () {
+  const [base, head] = process.argv.slice(2);
+  if (base === undefined || head === undefined) {
+    yield* Console.error(`${NAME}: no range is given, so the full run stays`);
+    yield* Console.log("docs-only=false");
+    return true;
+  }
+  const mergeBase = (yield* git(["merge-base", base, head])).trim();
+  const changes = yield* changedPaths(mergeBase, head, []);
+  const paths = changes.flatMap((change) => (change.kind === "renamed" ? [change.from, change.path] : [change.path]));
+  const full = paths.filter((path) => !isDocsPath(path));
+  if (paths.length === 0) {
+    yield* Console.error(`${NAME}: the range changes no file, so the full run stays`);
+    yield* Console.log("docs-only=false");
+  } else if (full.length === 0) {
+    yield* Console.error(`${NAME}: ${paths.length} changed file(s) are all top-level or docs/ Markdown, so the full run can skip`);
+    yield* Console.log("docs-only=true");
+  } else {
+    yield* Console.error(`${NAME}: ${full.length} changed file(s) need the full run`);
+    yield* Console.log("docs-only=false");
+  }
+  return true;
+});
+
+if (import.meta.main) runMain(NAME, check);

package/src/testing/mutation-baseline-saved.ts

@@ -0,0 +1,105 @@
+import { Config, Console, Effect, FileSystem, Option, Path, Schema } from "effect";
+import { cacheRoot } from "../dependencies/cache-root.ts";
+
+export const LATEST_ARTIFACT = "mutation-baseline";
+export const INCREMENTAL = "stryker-incremental.json";
+export const REPORT = "mutation/mutation.json";
+const SAVED = "saved";
+
+class SaveFailure extends Schema.TaggedError<SaveFailure>()("SaveFailure", {
+  message: Schema.String,
+}) {}
+
+const decodeReport = Schema.decodeUnknownEffect(Schema.fromJsonString(Schema.Unknown));
+
+const SavedFiles = Schema.Struct({ [INCREMENTAL]: Schema.Unknown, [REPORT]: Schema.optionalKey(Schema.Unknown) });
+export type SavedFiles = typeof SavedFiles.Type;
+const decodeSavedFiles = Schema.decodeUnknownEffect(Schema.fromJsonString(SavedFiles));
+
+const isRecord = (value: unknown): value is Readonly<Record<string, unknown>> => typeof value === "object" && value !== null && !Array.isArray(value);
+
+const withoutReason = (mutant: unknown): unknown => (isRecord(mutant) ? Object.fromEntries(Object.entries(mutant).filter(([key]) => key !== "statusReason")) : mutant);
+
+function slimFile(file: unknown): unknown {
+  if (!isRecord(file)) return file;
+  const mutants = file["mutants"];
+  return Array.isArray(mutants) ? { ...file, mutants: mutants.map((mutant: unknown) => withoutReason(mutant)) } : file;
+}
+
+// statusReason holds the test runner's failure message for each mutant, which no reader of a baseline uses and which fills most of a large report.
+export function withoutReasons(report: unknown): unknown {
+  if (!isRecord(report) || !isRecord(report["files"])) return report;
+  return { ...report, files: Object.fromEntries(Object.entries(report["files"]).map(([name, file]) => [name, slimFile(file)])) };
+}
+
+const slimOf = Effect.fn("slimOf")(function* (from: string) {
+  const report = yield* (yield* FileSystem.FileSystem).readFileString(from).pipe(
+    Effect.flatMap(decodeReport),
+    Effect.mapError((cause) => new SaveFailure({ message: `cannot read ${from}: ${cause.message}` })),
+  );
+  return withoutReasons(report);
+});
+
+export const slimmed = Effect.fn("slimmed")(function* (from: string, to: string) {
+  const fs = yield* FileSystem.FileSystem;
+  const report = yield* slimOf(from);
+  yield* fs.makeDirectory((yield* Path.Path).dirname(to), { recursive: true });
+  yield* fs.writeFileString(to, JSON.stringify(report));
+});
+
+const shelfOf = Effect.fn("shelfOf")(function* (root: string, repository: number) {
+  return (yield* Path.Path).join(root, "mutation-baseline", String(repository), SAVED, LATEST_ARTIFACT);
+});
+
+// GitHub sets GITHUB_REPOSITORY_ID on every job, so a run outside Actions has no saved baselines.
+export const savedShelf = Effect.fn("savedShelf")(function* (root: Option.Option<string>) {
+  const repository = yield* Config.Int("GITHUB_REPOSITORY_ID").pipe(Config.option);
+  if (Option.isNone(root) || Option.isNone(repository)) return Option.none<string>();
+  return Option.some(yield* shelfOf(root.value, repository.value));
+});
+
+const savedEntry = Effect.fn("savedEntry")(function* (shelf: string, run: number) {
+  return (yield* Path.Path).join(shelf, `${run}.json`);
+});
+
+// One read opens the entry once, so a job that removes or replaces it afterwards leaves what this job read whole.
+export const savedFiles = Effect.fn("savedFiles")(function* (shelf: string, run: number) {
+  const entry = yield* savedEntry(shelf, run);
+  const text = yield* (yield* FileSystem.FileSystem).readFileString(entry).pipe(
+    Effect.asSome,
+    Effect.catchReason("PlatformError", "NotFound", () => Effect.succeedNone),
+  );
+  if (Option.isNone(text)) return Option.none<SavedFiles>();
+  return Option.some(yield* decodeSavedFiles(text.value).pipe(Effect.mapError((cause) => new SaveFailure({ message: `cannot read ${entry}: ${cause.message}` }))));
+});
+
+// GitHub numbers runs in the order it creates them, so a lower id is an older run the restore never reads again.
+export function outlived(entries: readonly string[], restoring: number): readonly string[] {
+  return entries.filter((entry) => {
+    const run = /^(\d+)\.json$/.exec(entry)?.[1];
+    return run !== undefined && Number(run) < restoring;
+  });
+}
+
+const required = (name: string) =>
+  Config.Int(name).pipe(Effect.mapError(() => new SaveFailure({ message: `${name} is unset, so --save runs only inside a GitHub Actions job` })));
+
+// The entry is one file renamed into place, so a job sharing the runner reads one attempt's entry whole even while a re-run replaces it.
+export const saveBaseline = Effect.fn("saveBaseline")(function* (incremental: string, report: Option.Option<string>) {
+  const fs = yield* FileSystem.FileSystem;
+  const path = yield* Path.Path;
+  const environment = yield* Config.String("RUNNER_ENVIRONMENT").pipe(Config.withDefault(""));
+  if (environment === "github-hosted") {
+    return yield* new SaveFailure({ message: "a GitHub-hosted runner discards its disk when the job ends, so upload the baseline as an artifact there" });
+  }
+  const root = yield* cacheRoot().pipe(Effect.mapError((cause) => new SaveFailure({ message: cause.message })));
+  const shelf = yield* shelfOf(root, yield* required("GITHUB_REPOSITORY_ID"));
+  const run = yield* required("GITHUB_RUN_ID");
+  const files: SavedFiles = { [INCREMENTAL]: yield* slimOf(incremental), ...(Option.isSome(report) ? { [REPORT]: yield* slimOf(report.value) } : {}) };
+  yield* fs.makeDirectory(shelf, { recursive: true });
+  const staged = path.join(yield* fs.makeTempDirectoryScoped({ directory: shelf, prefix: ".staging-" }), "entry.json");
+  yield* fs.writeFileString(staged, JSON.stringify(files));
+  yield* fs.rename(staged, yield* savedEntry(shelf, run));
+  yield* Console.log(`mutation-baseline: saved the ${LATEST_ARTIFACT} of run ${run} on the runner's disk`);
+  return true;
+}, Effect.scoped);

package/src/testing/mutation-baseline.ts

@@ -4,20 +4,19 @@ import { ChildProcessSpawner } from "effect/process";
 import { collect } from "../core/git.ts";
 import { runMain, Usage } from "../core/main.ts";
 import { cacheRoot } from "../dependencies/cache-root.ts";
+import { INCREMENTAL, LATEST_ARTIFACT, outlived, REPORT, saveBaseline, savedFiles, savedShelf, slimmed } from "./mutation-baseline-saved.ts";
 
 class BaselineFailure extends Schema.TaggedError<BaselineFailure>()("BaselineFailure", {
   message: Schema.String,
 }) {}
 
 const NAME = "checks-mutation-baseline";
-const USAGE = "usage: checks-mutation-baseline <incremental-dest> [mutation-json-dest] | --full <mutation-json-dest> | --prune [--dry-run]";
+const USAGE =
+  "usage: checks-mutation-baseline <incremental-dest> [mutation-json-dest] | --full <mutation-json-dest> | --save <incremental-src> [mutation-json-src] | --slim <mutation-json-src> <dest> | --prune [--dry-run]";
 const WORKFLOW = "mutation.yml";
 const BRANCH = "main";
-const INCREMENTAL = "stryker-incremental.json";
-const REPORT = "mutation/mutation.json";
 const REPORT_ALONE = "mutation.json";
 const KEPT_PER_ARTIFACT = 2;
-const LATEST_ARTIFACT = "mutation-baseline";
 const FULL_ARTIFACT = "mutation-baseline-full";
 const LATEST_LIMIT = 20;
 const FULL_LIMIT = 50;
@@ -63,12 +62,12 @@ export function newestFirst(runs: readonly Run[]): readonly number[] {
   return [...runs].sort((one, other) => other.createdAt.localeCompare(one.createdAt)).map((run) => run.databaseId);
 }
 
+// All non-pull-request runs newest first: a newer full run holds no baseline, and the newest baseline must survive it.
 const latestCandidates = Effect.gen(function* () {
   const newest = (yield* listed(undefined, LATEST_LIMIT)).find((run) => run.event !== "pull_request");
   return newest === undefined ? [] : [newest.databaseId];
 });
 
-// All non-pull-request runs newest first: a newer full run holds no baseline, and the newest baseline must survive it.
 const latestRuns = listed(undefined, LATEST_LIMIT).pipe(Effect.map((runs) => newestFirst(runs.filter((run) => run.event !== "pull_request"))));
 
 // Each full event is listed on its own, because one shared window lets push runs crowd out every full run.
@@ -108,12 +107,22 @@ const missedDeletion = Effect.fn("missedDeletion")(function* (artifact: Artifact
   );
 });
 
+// A run whose baseline the runner's disk holds supersedes every older artifact, since the restore reads that run's entry first.
+const keptLatest = Effect.fn("keptLatest")(function* (runs: readonly number[], shelf: Option.Option<string>) {
+  for (const run of runs) {
+    if (Option.isSome(shelf) && Option.isSome(yield* savedFiles(shelf.value, run))) return { saved: Option.some(run), kept: Option.none<Kept>() };
+    const artifact = yield* artifactOf(run, LATEST_ARTIFACT);
+    if (Option.isSome(artifact)) return { saved: Option.none<number>(), kept: Option.some<Kept>({ run, id: artifact.value.id, name: LATEST_ARTIFACT }) };
+  }
+  return { saved: Option.none<number>(), kept: Option.none<Kept>() };
+});
+
 const pruneBaselines = Effect.fn("pruneBaselines")(function* (dryRun: boolean) {
   const running = yield* Config.Int("GITHUB_RUN_ID").pipe(Config.option);
-  const latest = yield* keptArtifact(yield* latestRuns, LATEST_ARTIFACT);
+  const latest = yield* keptLatest(yield* latestRuns, yield* savedShelf(yield* runnerCache));
   const full = yield* keptArtifact(yield* fullCandidates, FULL_ARTIFACT);
   const artifacts = yield* everyArtifact();
-  const keeping = [...Option.toArray(latest), ...Option.toArray(full), ...uploadedBy(artifacts, running)];
+  const keeping = [...Option.toArray(latest.kept), ...Option.toArray(full), ...uploadedBy(artifacts, running)];
   const victims = superseded(artifacts, new Set(keeping.map((keep) => keep.id)));
   const removed: number[] = [];
   const missed: Missed[] = [];
@@ -124,7 +133,7 @@ const pruneBaselines = Effect.fn("pruneBaselines")(function* (dryRun: boolean) {
       else removed.push(victim.id);
     }
   }
-  yield* Console.log(pruneReport(dryRun, dryRun ? victims.map((victim) => victim.id) : removed, missed, keeping));
+  yield* Console.log(pruneReport(dryRun, dryRun ? victims.map((victim) => victim.id) : removed, missed, keeping, latest.saved));
   return true;
 });
 
@@ -175,8 +184,12 @@ export function superseded(artifacts: readonly Artifact[], kept: ReadonlySet<num
 // A workflow command ends at a newline, so the error's own newlines and percent signs are escaped.
 const annotated = (text: string): string => text.replaceAll("%", "%25").replaceAll("\r", "%0D").replaceAll("\n", "%0A");
 
-export function pruneReport(dryRun: boolean, removed: readonly number[], missed: readonly Missed[], keeping: readonly Kept[]): string {
-  const kept = keeping.length === 0 ? "no baseline artifacts" : keeping.map((keep) => `${keep.name} artifact ${keep.id} from run ${keep.run}`).join(", ");
+export function pruneReport(dryRun: boolean, removed: readonly number[], missed: readonly Missed[], keeping: readonly Kept[], saved: Option.Option<number>): string {
+  const holdings = [
+    ...keeping.map((keep) => `${keep.name} artifact ${keep.id} from run ${keep.run}`),
+    ...Option.toArray(saved).map((run) => `the ${LATEST_ARTIFACT} run ${run} saved on the runner's disk`),
+  ];
+  const kept = holdings.length === 0 ? "no baseline artifacts" : holdings.join(", ");
   const deleted = removed.length === 0 ? "nothing to delete" : `deleted artifacts ${removed.join(", ")}`;
   if (dryRun) return `mutation-baseline: dry run, ${removed.length === 0 ? "nothing to delete" : `would delete artifacts ${removed.join(", ")}`}; would keep ${kept}`;
   if (missed.length === 0) return `mutation-baseline: ${deleted}; kept ${kept}`;
@@ -265,36 +278,80 @@ const runnerCache = Effect.gen(function* () {
   );
 });
 
+const restoredFromSaved = Effect.fn("restoredFromSaved")(function* (shelf: string, run: number, request: Request) {
+  const fs = yield* FileSystem.FileSystem;
+  const path = yield* Path.Path;
+  const files = yield* savedFiles(shelf, run);
+  if (Option.isNone(files)) return false;
+  const stored = new Map(Object.entries(files.value));
+  for (const copy of [request.needed, ...request.optional]) {
+    const name = copy.from.find((from) => stored.has(from));
+    if (name === undefined) continue;
+    yield* fs.makeDirectory(path.dirname(copy.to), { recursive: true });
+    yield* fs.writeFileString(copy.to, JSON.stringify(stored.get(name)));
+  }
+  for (const older of outlived(yield* fs.readDirectory(shelf), run)) {
+    yield* fs.remove(path.join(shelf, older), { force: true });
+  }
+  yield* Console.log(`mutation-baseline: restored it from the runner's disk, ${LATEST_ARTIFACT} saved by run ${run}`);
+  return true;
+});
+
+const slimReport = Effect.fn("slimReport")(function* (from: string, to: string) {
+  const fs = yield* FileSystem.FileSystem;
+  const before = (yield* fs.stat(from)).size;
+  yield* slimmed(from, to);
+  const after = (yield* fs.stat(to)).size;
+  yield* Console.log(`mutation-baseline: wrote ${to} without statusReason, ${after} bytes from ${before}`);
+  return true;
+});
+
 // An artifact that lacks `needed` counts as no baseline, and `optional` copies only what the artifact holds.
-type Request = { readonly full: boolean; readonly needed: Copy; readonly optional: readonly Copy[] };
+type Request = { readonly kind: "restore"; readonly full: boolean; readonly needed: Copy; readonly optional: readonly Copy[] };
 
-type PruneRequest = { readonly prune: true; readonly dryRun: boolean };
+type Command =
+  | Request
+  | { readonly kind: "prune"; readonly dryRun: boolean }
+  | { readonly kind: "save"; readonly incremental: string; readonly report: Option.Option<string> }
+  | { readonly kind: "slim"; readonly from: string; readonly to: string };
 
 const isDestination = (arg: string | undefined): arg is string => arg !== undefined && !arg.startsWith("-");
 
-function parsed(args: readonly string[]): Request | PruneRequest | undefined {
-  if (args[0] === "--prune") {
-    const [flag, ...extra] = args.slice(1);
-    if ((flag === undefined || flag === "--dry-run") && extra.length === 0) return { prune: true, dryRun: flag !== undefined };
-    return undefined;
-  }
-  if (args[0] === "--full") {
-    const [report, ...extra] = args.slice(1);
-    if (!isDestination(report) || extra.length > 0) return undefined;
-    return { full: true, needed: { from: [REPORT_ALONE, REPORT], to: report }, optional: [] };
-  }
-  const [incremental, report, ...extra] = args;
+function restoreRequest(incremental: string | undefined, report: string | undefined, extra: readonly string[]): Command | undefined {
   if (!isDestination(incremental) || extra.length > 0) return undefined;
-  return { full: false, needed: { from: [INCREMENTAL], to: incremental }, optional: report === undefined ? [] : [{ from: [REPORT], to: report }] };
+  return { kind: "restore", full: false, needed: { from: [INCREMENTAL], to: incremental }, optional: report === undefined ? [] : [{ from: [REPORT], to: report }] };
 }
 
-const mutationBaseline = Effect.gen(function* () {
-  const request = parsed(process.argv.slice(2));
-  if (request === undefined) return yield* new Usage({ message: USAGE });
-  if ("prune" in request) return yield* pruneBaselines(request.dryRun);
+const FLAGS = new Map<string, (rest: readonly string[]) => Command | undefined>([
+  ["--prune", ([flag, ...extra]) => ((flag === undefined || flag === "--dry-run") && extra.length === 0 ? { kind: "prune", dryRun: flag !== undefined } : undefined)],
+  [
+    "--save",
+    ([incremental, report, ...extra]) =>
+      isDestination(incremental) && (report === undefined || isDestination(report)) && extra.length === 0
+        ? { kind: "save", incremental, report: Option.fromNullishOr(report) }
+        : undefined,
+  ],
+  ["--slim", ([from, to, ...extra]) => (isDestination(from) && isDestination(to) && extra.length === 0 ? { kind: "slim", from, to } : undefined)],
+  [
+    "--full",
+    ([report, ...extra]) =>
+      isDestination(report) && extra.length === 0 ? { kind: "restore", full: true, needed: { from: [REPORT_ALONE, REPORT], to: report }, optional: [] } : undefined,
+  ],
+]);
+
+function parsed([first, ...rest]: readonly string[]): Command | undefined {
+  const flag = first === undefined ? undefined : FLAGS.get(first);
+  if (flag !== undefined) return flag(rest);
+  const [report, ...extra] = rest;
+  return restoreRequest(first, report, extra);
+}
+
+const restoreBaseline = Effect.fn("restoreBaseline")(function* (request: Request) {
   const name = request.full ? FULL_ARTIFACT : LATEST_ARTIFACT;
   const root = yield* runnerCache;
+  const shelf = request.full ? Option.none<string>() : yield* savedShelf(root);
   for (const run of yield* request.full ? fullCandidates : latestCandidates) {
+    if (Option.isSome(shelf) && (yield* restoredFromSaved(shelf.value, run, request))) return true;
     const artifact = yield* artifactOf(run, name).pipe(Effect.catch(warned(Option.none<Artifact>())));
     if (Option.isSome(artifact) && (yield* restoredFrom(run, artifact.value, root, request))) return true;
   }
@@ -302,4 +359,13 @@ const mutationBaseline = Effect.gen(function* () {
   return true;
 });
 
+const mutationBaseline = Effect.gen(function* () {
+  const command = parsed(process.argv.slice(2));
+  if (command === undefined) return yield* new Usage({ message: USAGE });
+  if (command.kind === "prune") return yield* pruneBaselines(command.dryRun);
+  if (command.kind === "save") return yield* saveBaseline(command.incremental, command.report);
+  if (command.kind === "slim") return yield* slimReport(command.from, command.to);
+  return yield* restoreBaseline(command);
+});
+
 if (import.meta.main) runMain(NAME, mutationBaseline);