git-slop 0.16.2

A deterministic repository token-defragmenter for humans and AI agents.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
# Git Slop Release Checklist

Use this checklist for stable releases of the Rust CLI, crates.io package,
GitHub Release archives, public GitHub Marketplace Action, Homebrew Formula,
and external Scoop manifest.
The canonical release identity is one strict `X.Y.Z` version and one full Git
commit. The crates.io package, `vX.Y.Z` tag, seven native archives, release
manifest, installed binary, Action outputs, and Homebrew Formula must all agree
on that identity. The non-circular roots and verification order are defined in
the [release trust graph](release-trust.md).

## One-Time Publisher Setup

- Enable two-factor authentication on the GitHub account that publishes the
  Marketplace listing and accept the GitHub Marketplace Developer Agreement.
- Keep a protected GitHub environment named `release`, restricted to the
  `main` branch with administrator bypass disabled and no required reviewers.
  The environment binds the crates.io OIDC identity and release-scoped secrets;
  it must not add a second manual approval.
- In the `git-slop` crate settings on crates.io, add one GitHub
  [Trusted Publisher]https://crates.io/docs/trusted-publishing with this exact
  identity:

  - repository owner: `coreycoto`;
  - repository name: `git-slop`;
  - workflow filename: `release-publish.yml`; and
  - environment: `release`.

- Require trusted publishing for all new crate versions now that the OIDC-backed
  release path has terminal proof. Verify the crates.io setting before each
  release and keep `CARGO_REGISTRY_TOKEN` absent from the repository and release
  environment; rollback requires a separately reviewed workflow and credential
  change, never an inert standing token.
- Store a fine-grained GitHub token that can dispatch the receiver workflow in
  `coreycoto/homebrew-tap` as the environment secret
  `HOMEBREW_TAP_DISPATCH_TOKEN`.
- Keep the tap receiver at `.github/workflows/update-git-slop.yml` on that
  repository's `main` branch.
- Keep the trusted-main publisher at `.github/workflows/publish.yml` on the tap
  repository's `main` branch. The final successful job in the canonical
  `Release git-slop bottles` workflow sends a `repository_dispatch` containing
  only its exact run ID; the publisher treats that payload as a pointer and
  revalidates the run and automation head through the Actions API.
- Store a separate fine-grained GitHub token as the `git-slop` repository
  secret `SCOOP_BUCKET_DISPATCH_TOKEN`. Give it access only to
  `coreycoto/scoop-bucket` with **Actions: read and write**; do not grant source,
  administration, pull-request, or contents write permission through that
  cross-repository token.
- Keep `.github/workflows/update-git-slop.yml` on exact trusted bucket `main`.
  The bucket repository's own workflow token performs the manifest branch, PR,
  native qualification, governed merge, and exact-main proof. Keep its Actions
  setting that permits workflows to create pull requests enabled.

Verify the live `release` environment contract without mutating it:

```bash
gh api repos/coreycoto/git-slop/environments/release \
  | jq -e '
      .can_admins_bypass == false
      and .deployment_branch_policy.protected_branches == false
      and .deployment_branch_policy.custom_branch_policies == true
      and ([.protection_rules[].type] | index("required_reviewers") | not)'
gh api repos/coreycoto/git-slop/environments/release/deployment-branch-policies \
  | jq -e '
      .total_count == 1
      and .branch_policies[0].name == "main"
      and .branch_policies[0].type == "branch"'
```

The normal `github.token` creates the exact tag and GitHub Release in this
repository. No additional GitHub PAT is needed for those same-repository
operations. The Homebrew token is used only by the deliberate cross-repository
dispatch step inside the dispatch-authorized, branch-restricted publication
job. The Scoop token is used only after the stable release is public, by one
exact step in the read-only publication-verification workflow; it introduces
no Actions environment approval. Neither token should be reused for the other
package manager. The existing `HOMEBREW_TAP_DISPATCH_TOKEN` does not need to be
replaced for this release unless it was exposed or its repository/permission
scope is wrong.

## Prepare Main

- Update `Cargo.toml`, `Cargo.lock`, the Action's default `version`, examples,
  and generated release-note inputs to the same stable version.
- Keep the new changelog heading as `Unreleased` while implementation and local
  qualification are still changing. Give `docs/releases/<version>.md` a
  `Numbered improvements: **<count>**.` declaration and keep its numbered list
  contiguous; release preparation validates the count and changelog link.
- Confirm there is no prerelease suffix or leading zero.
- For a release that introduces or materially changes the policy-guided
  advisor, run the complete pinned Safeguard matrix in
  [the V1 benchmark protocol]benchmarks/safeguard-v1.md. Require a `ship`
  recommendation, all automatic gates, and all maintainer-rating gates before
  declaring that advisor ready. A prepare-only, unpinned, partial, mock, or
  model-unavailable result is not release evidence.
- Treat `benchmarks/advisor/release-gate.json` as the executable advisor
  release decision. `cargo xtask check-distribution` must reject public
  inference unless that gate and its decision record both say `ship`.
  `release-prepare` runs that check before packaging. A `defer` or `adjust`
  release may ship provider-free context only; it must keep public inference
  disabled.
- Run inference benchmarks only on an explicitly confirmed, separately
  provisioned host. First run `cargo xtask advisor-capacity` with the exact
  model size and conservative peak estimate; its receipt must say
  `provider_contacted: false`, `report_accessed: false`, and `eligible: true`,
  contain no blockers, and validate against `git slop schema
  advisor-capacity`.
  Then require the full benchmark's model-size, peak-memory, physical-memory,
  available-memory, initial-swap, and swap-growth gates. The harness must not
  install, start, stop, or unload Ollama. A resource-watchdog abort is terminal
  for that host and must not be retried as part of the same release decision.
- Confirm the harness's 8-MiB per-stream child-output guard is recorded in the
  result configuration; an output-limit abort is terminal for that matrix.
- Confirm the provider response reports the exact requested served model and a
  normal stopped completion for every sample; truncated or mismatched output is
  a validation failure, not benchmark evidence. Missing or mismatched model
  identity must terminate the matrix immediately.
- Confirm the loopback HTTP client rejects invalid ports, unsupported transfer
  or content encoding, oversized declared bodies, non-JSON success responses,
  ambiguous framing, and trailing chunk bytes. Confirm its connection timeout
  is one deadline across all resolved addresses and that HTTP error bodies do
  not enter diagnostics.
- Confirm provider configuration and probing follow all local report, policy,
  and bounded-context validation; provider-free context must not evaluate the
  release gate or contact a provider. Stored evidence must exclude endpoint
  paths and arbitrary provider response metadata.
- Validate prepare-only, completed, interrupted, and finalized results against
  the strict `advisor-benchmark-1` schema. Apply ratings only through
  `advisor-benchmark-finalize`; it must rederive the recommendation and every
  automatic gate, bind every ordered matrix cell and repository fingerprint to
  the pinned corpus, reject omissions, drift, and repeated finalization, and
  require the decision report to match the JSON evidence before replacing
  `results.json` and its regenerated `decision.md` as a rollback-safe pair.
- Confirm `action.yml` remains the only root Action metadata file and its
  Marketplace name, description, branding, inputs, and outputs are current.
- Confirm the nested Actions in `action.yml` and release workflows are pinned
  to full commit SHAs.
- For crates.io authentication, confirm only the branch-restricted
  `publish-crate` job uses the minimum OIDC permission, `id-token: write`, and
  invokes
  `rust-lang/crates-io-auth-action@c6f97d42243bad5fab37ca0427f495c86d5b1a18`
  (`v1.0.5`). The action must have no custom registry input or fail-open
  behavior.
- Confirm `.github/workflows/release-publish.yml` contains no
  `secrets.CARGO_REGISTRY_TOKEN` reference. Its temporary
  `CARGO_REGISTRY_TOKEN` environment value must come only from
  `steps.crates-io-auth.outputs.token` on the exact Cargo publication step.
- Run the complete local validation from a clean worktree:

```bash
cargo xtask release-prepare --version <version> --check-only
cargo fmt -p git-slop -- --check
cargo clippy -p git-slop --all-targets --all-features --locked -- -D warnings
cargo test -p git-slop --all-targets --all-features --locked
cargo fmt --manifest-path xtask/Cargo.toml --all -- --check
cargo clippy --manifest-path xtask/Cargo.toml --all-targets --all-features --locked -- -D warnings
cargo test --manifest-path xtask/Cargo.toml --all-targets --all-features --locked
cargo xtask validate
node --test action/*.test.mjs
cargo publish -p git-slop --dry-run --locked
```

Immediately before the publication commit, replace `Unreleased` with the real
`YYYY-MM-DD` publication date and run the protected-boundary form locally:

```bash
cargo xtask release-prepare --version <version> --check-only --require-release-date
```

The protected workflow repeats that exact dated check before it can publish the
crate. Do not date an in-progress release merely to make ordinary local
preparation pass.

If `gh release verify` or `gh attestation verify` cannot refresh its
Sigstore/TUF cache because the home cache is read-only, scope `XDG_CACHE_HOME`
to a newly created private temporary directory for that command. Never disable
attestation verification or reuse an untrusted shared cache to work around a
write-permission error.

Do not create or push the release tag manually. The workflow deliberately
creates it only after crates.io has accepted and served the exact candidate
package.

## Start The Release

Dispatch `.github/workflows/release-publish.yml` from the exact current `main`
revision with the stable version:

```bash
gh workflow run release-publish.yml \
  --repo coreycoto/git-slop \
  --ref main \
  --field mode=publish \
  --field version=<version>
```

This explicit dispatch is the authorization to publish the crate, create the
exact tag, and send the immutable Homebrew handoff. Do not dispatch `publish`
mode merely to preview a candidate; use the local `release-prepare` checks for
that purpose. The only later manual approval is GitHub Marketplace publication
with 2FA.

Before the branch-restricted publication job begins, the workflow:

1. revalidates that the dispatch revision is the live `main` revision;
2. runs the full product, `xtask`, Action, package, and publish dry-run gates;
3. creates and verifies the exact candidate `.crate` bytes;
4. builds and smokes all seven supported targets from those candidate bytes;
5. checks `git-slop version` and `git-slop build-info --format json`;
6. dry-runs schema-3 manifest and crates-backed Formula generation; and
7. audits and styles the generated Formula with native Homebrew on macOS.

The seven targets are Linux GNU x86-64, Linux ARM64, static Linux musl x86-64,
macOS Apple Silicon, macOS Intel, Windows x86-64, and Windows ARM64.

Packaged-contract qualification requires complete history because history and
provenance fields are part of the released report contract. Keep candidate
checkouts at `fetch-depth: 0`; a local exact-tag checkout must run
`git fetch --unshallow` before `scripts/validate-packaged-contracts.sh`. The
validator installs only the lockfile-pinned dependencies under
`tools/schema-validator/` and exercises the same 12 report-schema mutations as
the Rust runtime suite.

## Dispatch-Authorized crates.io Publication

After every preflight dependency succeeds, the branch-restricted `release` job
starts without a reviewer gate and re-fetches live `main`; any drift from the
candidate revision fails closed in normal `publish` mode. In both modes, the
separate workflow control revision must still equal live `main` when the job
starts and again at the tag mutation boundary. If `main` advances while the run
is executing, dispatch the workflow again from the new head. Recovery permits
only the immutable release revision—not the workflow control revision—to be an
older ancestor of `main`.

The branch-restricted publication job cannot start until the native Homebrew
audit has accepted the exact candidate Formula. The first public mutation is
crates.io publication. In normal `publish` mode, and only when the version is
still absent, the job exchanges its GitHub OIDC identity through the reviewed
crates.io auth action. The resulting 30-minute token is passed as
`CARGO_REGISTRY_TOKEN` only to the immediately following
`cargo publish --no-verify` step; the action's post-step revokes it when the job
completes. The standing GitHub environment secret is not read.

The workflow packages the candidate again, requires byte-for-byte equality
with the preflight package, and then reconciles the registry even when Cargo
returns a timeout or another nonzero status. Publication is accepted only when
all of these values equal the candidate SHA-256:

- the crates.io index/API checksum;
- the downloaded static `.crate` checksum; and
- the locally verified candidate checksum.

A yanked version is rejected. Only after this verification does the workflow
create the annotated OpenPGP-signed `v<version>` tag at the exact source revision.
An existing version/tag is a valid rerun only when version, revision, and crate
digest all agree; the workflow never moves or deletes a tag.

If the version already exists, the OIDC exchange and Cargo publication steps
are both skipped. Recovery mode is likewise unable to request or consume a
crates.io credential. These rerun paths reverify the immutable registry bytes
before any missing tag or release work.

After registry and tag verification, that same branch-restricted job sends
only the immutable version, source revision, canonical crates.io URL, and crate
SHA-256 to the Homebrew tap receiver. The token is scoped to that one dispatch
step.
The receiver waits for the exact public GitHub Release; it does not create a
tap PR from the unpublished draft or trust precomputed Formula/manifest
digests. No Actions environment approval occurs on the normal path; the later
Marketplace publication with 2FA is its only manual approval.

## Reruns And Failures

The workflow is deliberately restartable without weakening immutable identity:

- Before crates.io publication, a failure has made no public release mutation;
  fix the candidate on `main` and dispatch the resulting exact revision.
- If Cargo reports an error after accepting the package and the release revision
  is still live `main`, rerun in `publish` mode. The workflow reconciles
  crates.io and proceeds only when the local, index, and static-package digests
  are identical.
- If crates.io accepted the package but `main` advanced before the exact tag or
  draft was completed, use the explicit branch-restricted recovery mode. Supply
  the original full source revision and crate SHA-256; do not substitute the new
  `main` revision or a newly packaged digest. Copy both values from the failed
  run's **Immutable release identity** job summary and cross-check the SHA-256
  against the crates.io API before dispatching:

  ```bash
  gh workflow run release-publish.yml \
    --repo coreycoto/git-slop \
    --ref main \
    --field mode=recover \
    --field version=<version> \
    --field recovery_revision=<40-character-release-revision> \
    --field recovery_crate_sha256=<64-character-crates.io-sha256>
  ```

  Recovery runs the workflow definition from exact current `main`, carries that
  workflow control revision separately from the historical release revision,
  and requires the control revision to remain live `main` when the
  branch-restricted job starts and at any missing-tag push. The supplied
  release revision must remain an ancestor of current `origin/main`. The
  non-yanked crates.io API checksum, downloaded static `.crate`, embedded Cargo
  VCS revision, and supplied digest must agree. Recovery reacquires the
  immutable crate instead of repackaging advanced `main`, re-runs all seven
  target lanes, and enters the same branch-restricted `release` environment
  without a reviewer gate before any missing tag is pushed. The OIDC
  authentication action and Cargo publication step are unreachable in recovery
  mode, so recovery cannot request or consume a crates.io credential.
  The historical release revision remains the source of every artifact and of
  the composite Action that Marketplace consumers receive. Draft discovery,
  asset repair, and an initial installer verification may use current trusted
  control tooling, but terminal Marketplace readiness requires the exact
  historical tag to pass the full seven-platform composite-Action smoke. If that
  tagged Action cannot pass, recovery stops instead of masking it with newer
  control code.
- A missing tag is created only after the registry package has been reverified.
  An existing tag must already resolve to the supplied revision; the workflow
  never moves or deletes it. A missing/yanked package, a revision no longer
  contained in `main`, or any revision/digest mismatch fails closed and requires
  investigation rather than mutation.
- A draft release may be refreshed only with the same verified identity. Once
  published, release assets are treated as immutable and the release job is a
  verification-only no-op. Draft metadata is resolved to a numeric GitHub
  Release ID before upload and verification because the tag-indexed REST
  endpoint does not expose drafts.
- A failed Homebrew receiver can be recovered by manually dispatching
  `homebrew-handoff.yml` from current `main` with the published version and
  source revision. That explicit dispatch authorizes the branch-restricted
  recovery workflow to reverify the public identity before redispatch; it
  cannot change the package, tag, or release assets and adds no reviewer gate.

## Review The Verified Draft

The workflow builds the seven final archives from the downloaded crates.io
package, verifies their embedded build identity, and creates or refreshes a
draft GitHub Release. It never publishes the release automatically.

The draft must contain exactly twelve assets:

- seven target archives;
- `SHA256SUMS`, with exactly eleven unique entries;
- `release-manifest.json`, schema 3; and
- `git-slop.rb`, whose source URL and SHA-256 point to the static crates.io
  package rather than a GitHub archive or Homebrew bottle; and
- deterministic CycloneDX and SPDX SBOMs.

`SHA256SUMS` covers the seven archives, manifest, Formula, and both SBOMs. The
manifest's `supplemental_assets` roles are the authoritative extensible
inventory for the Formula and SBOMs; publisher and receiver workflows derive
their expected filenames from it instead of duplicating those filenames.
GitHub's release asset digests, the manifest's target matrix and source
provenance, the exact tag commit, the crate checksum, and the Action installer
must all verify before inspecting or publishing the draft.

Inspect the draft and workflow summary:

```bash
gh run list --repo coreycoto/git-slop --workflow release-publish.yml --limit 1
gh release view v<version> --repo coreycoto/git-slop --json url,tagName,isDraft,isPrerelease,assets
```

Do not edit or publish the draft merely because it is visible. Draft creation
precedes the seven-platform Action smoke matrix. Wait until the complete Release
Publish run is green, including the terminal `marketplace-ready` job, before
using the Marketplace controls. The Homebrew receiver may already be running;
its bounded public-release wait is expected and cannot bypass this draft gate.

## Publish The Action In GitHub Marketplace

Open the verified draft release in GitHub's web interface:

1. choose **Edit**;
2. select **Publish this Action to the GitHub Marketplace**;
3. use **Code quality** as the primary category and **Continuous integration**
   as the secondary category;
4. review the Marketplace terms and complete the 2FA prompt; and
5. publish the release.

Before publishing, confirm repository release immutability remains enabled
under **Settings -> General -> Releases**. The draft is the only mutable staging
surface: attach and verify every artifact there. Publication must lock the exact
tag and assets and create GitHub's release attestation. If publication produces
a release whose API record does not report `immutable: true`, the verification
workflow fails closed and neither the Scoop relay nor Homebrew recovery may
dispatch. Correct published artifacts with a new patch release; never replace
an asset or move a published version tag.

This UI approval is intentional: GitHub does not expose a supported workflow
or REST API switch for a new Action listing's Marketplace checkbox and
categories. It is the normal release path's only manual approval. Publishing
the release makes `coreycoto/git-slop@v<version>`
available; the Action still installs the verified prebuilt archive, never
Homebrew and never an unverified executable.

## Verify The Homebrew Handoff

Before dispatching a new bottle release, verify that release immutability is
enabled on the tap:

```bash
gh api -H 'X-GitHub-Api-Version: 2026-03-10' \
  repos/coreycoto/homebrew-tap/immutable-releases \
  --jq 'select(.enabled == true)'
```

The tap publisher must also require the published `git-slop-<version>` bottle
release to report `immutable: true`. The historical `git-slop-0.11.8` bottle
release predates tap-side enablement and is a documented exception; never
replace its assets.

The explicit Release Publish dispatch also authorizes one narrowly scoped
Homebrew receiver dispatch. The receiver starts with the immutable
version, revision, canonical crate URL, and crate SHA-256, then waits for the
exact stable GitHub Release to become public. Once the Marketplace publication
step makes that release public, the receiver downloads and verifies all release
assets, exact tag revision, schema-3 manifest, GitHub asset digests, static
crates.io package, Formula, CycloneDX and SPDX SBOMs, and eleven-line checksum
inventory. It derives the Formula and manifest URLs/digests from those verified
public assets before creating the tap PR.

The `release.published` event runs
`.github/workflows/release-published.yml`. Its first job remains read-only and
verifies that the public release reports platform-enforced immutability and
reverifies its exact identity and assets; a dependency-ordered job then exposes
`SCOOP_BUCKET_DISPATCH_TOKEN` to exactly one `gh workflow run` command and sends
only the verified version, release ID, revision, and release-manifest digest to
the Scoop receiver. It never redispatches Homebrew and introduces no second
Actions environment approval. If the early Homebrew receiver fails or times
out, explicitly dispatch `homebrew-handoff.yml` from current `main` with the
exact published version and source revision. That is a recovery path, not part
of a normal release.

The receiver opens an exact two-file automation PR and dispatches the canonical
two-platform `Release git-slop bottles` workflow. After every required
validation, bottle, and upgrade job succeeds, its final job sends a
`repository_dispatch` containing the exact successful run ID. The publisher
runs from trusted tap `main`, derives the run attempt, head SHA, branch, actor,
and conclusion from the Actions API, and then independently rechecks artifact
provenance, the unique same-repository bot PR, current `main` parent, exact head
SHA, two-file allowlist, release identity, Formula, manifest, and both unexpired
bottle artifacts. It repeats the parent/head/PR/two-file checks immediately
before `brew pr-pull`, publishes with the expected head SHA, and removes only
the consumed automation branch. A matching formula already on `main` is an
idempotent success only after the same canonical bottle block is verified. No
label or manual Actions approval is part of the normal path.

For bounded recovery after a publisher-only failure, the tap owner may resend
`git-slop-bottles-ready` with the same exact successful run ID while both
artifacts remain unexpired; the publisher revalidates the run and all current
state rather than trusting additional payload fields.

The resulting Formula must retain `coreycoto/tap/git-slop`, build from the exact
`.crate` source, and introduce no auxiliary runtime dependency. Homebrew derives
the version from the crates.io URL, so the Formula must not declare a redundant
`version` stanza; its embedded-provenance assertions must also pass Homebrew's
strict Ruby style.

The tap publisher must also make the `git-slop-<version>` bottle release
GitHub-immutable and query its API record for `immutable: true` before reporting
success. A bottle block with pinned digests is necessary but is not sufficient:
if platform immutability cannot be enabled or verified, the tap workflow must
fail closed and leave the Formula PR unmerged.

The v0.9.3 closeout proved a crates.io-backed source Formula only. The Actions
incident and manual tap merge bypassed the exact-PR, two-bottle trusted-main
publication path, so v0.9.3 is not bottle-publication evidence. Record bottle
proof for a later release only when both exact artifacts and the automatic
trusted-main publication complete through the canonical path.

Test both upgrade and clean-install lanes:

```bash
brew update
brew upgrade coreycoto/tap/git-slop
test "$(git-slop version)" = "git-slop <version>"
git-slop build-info --format json
brew test coreycoto/tap/git-slop
```

On a clean host, replace `brew upgrade` with `brew install
coreycoto/tap/git-slop`.

## Publish And Verify The External Scoop Manifest

Scoop publication follows the stable public GitHub Release. It is not a ninth
release asset, a tenth checksum entry, an Actions environment approval, or a
bucket credential shared with the source repository.

The automatic trusted-main Scoop receiver starts only after the read-only
public-release verifier has bound the exact version, numeric release ID, source
revision, and release-manifest SHA-256. Trusted bucket `main` independently
downloads the public release, derives the exact twelve assets from the manifest
and requires eleven checksum entries, verifies every GitHub asset digest,
resolves the tag, and
rerenders `bucket/git-slop.json`. The manifest must select
`git-slop-v<version>-x86_64-pc-windows-msvc.zip` for `64bit` and
`git-slop-v<version>-aarch64-pc-windows-msvc.zip` for `arm64`; each literal
hash must match both `SHA256SUMS` and the corresponding
`release-manifest.json` entry.

The receiver creates or reuses an exact one-file automation branch and
manifest-only pull request. It explicitly dispatches CI for that exact head,
requires the `Windows 64bit` and `Windows arm64` jobs to pass schema,
release-identity, hash-failure, and clean install/uninstall tests, then rechecks
the current base, bot PR, single-file allowlist, head, run, and job identities
immediately before merging through the active ruleset. Because merges made by a
workflow token do not recursively start ordinary push workflows, it explicitly
dispatches and awaits the same qualification on the resulting exact bucket
`main`. After exact-main qualification succeeds, the receiver compares the
published manifest on `main` with the exact automation head, deletes only
`automation/git-slop-v<version>`, and verifies that exact remote ref is absent.
An idempotent rerun also removes that already-consumed exact-version branch. No
per-release approval or manual merge is part of the normal path.

The installed binary must report the public tag's full source revision with
`source_dirty: false`, and both invocation forms must resolve:

```powershell
scoop bucket add coreycoto https://github.com/coreycoto/scoop-bucket
scoop install coreycoto/git-slop
git-slop version
git-slop build-info --format json
git slop version
scoop uninstall git-slop
```

After the exact bucket head merges, repeat a clean public-bucket install on each
architecture and record the source release SHA, current git-slop main SHA,
bucket main SHA, manifest URL, automation PR, exact-head and exact-main run IDs,
and two archive SHA-256 values.

Beginning with v0.9.6, every release after the first Scoop-published version
must also prove a cross-version upgrade-in-place on both Windows architectures.
For v0.9.6, begin with a verified public v0.9.5 installation, record its version
and full source revision, refresh the bucket, and update the existing package:

```powershell
git-slop version
git-slop build-info --format json
scoop update
scoop update git-slop
git-slop version
git-slop build-info --format json
git slop version
```

Record the pre-update and post-update versions, source revisions, architecture,
bucket main SHA, and manifest URL. If receiver recovery is necessary, manually
dispatch `Update git-slop manifest` on exact bucket `main` with the same four
immutable values; it is idempotent and accepts no caller-supplied archive URL
or Windows hash.

## Reconcile The Release Surface

Treat publication as complete only when every row is green for the same version
and source revision:

| Surface | Terminal evidence |
| --- | --- |
| GitHub Release | Stable release, signed tag, manifest-derived asset inventory, checksums, SBOM graph validation, and attestations verify |
| crates.io | Package is not yanked; checksum and `.cargo_vcs_info.json` match the release manifest |
| GitHub Action | All seven native installer lanes report the exact source, crate, manifest, and archive identities |
| Homebrew | Receiver and bottle publisher are green; tap `main` installs and reports the exact source revision |
| Scoop | Receiver and exact bucket-`main` qualification are green on x64 and ARM64 |

The recovery operations are intentionally idempotent. Reverify the current
surface first, then redispatch only the failed receiver with the immutable
version and revision already published:

```bash
gh workflow run homebrew-handoff.yml --repo coreycoto/git-slop --ref main \
  -f version=<version> -f revision=<40-character-release-revision>

gh workflow run update-git-slop.yml --repo coreycoto/scoop-bucket --ref main \
  -f version=<version> \
  -f release_id=<numeric-github-release-id> \
  -f revision=<40-character-release-revision> \
  -f release_manifest_sha256=<64-character-manifest-digest>
```

Neither command may change the crate, tag, GitHub release assets, or supplied
identity. A receiver whose target already matches is a verified no-op.

## Verify Consumers And Close Out

- Run the public Action on a clean Linux consumer and on the supported runner
  matrix when release risk warrants it.
- Confirm the Action outputs `source-revision`, `crate-sha256`, and
  `release-manifest-sha256` with the expected values.
- Confirm `cargo install git-slop --version <version> --locked` succeeds.
- Confirm the GitHub Release, Marketplace listing, crates.io version, Homebrew
  Formula, executable version, and full source revision all agree.
- Confirm Release Publish required no deployment review and Marketplace
  publication with 2FA was the release's only manual approval.
- Confirm the Scoop receiver reports `Automation branch cleaned: true` (or that
  no branch existed on an idempotent rerun), and fail closeout if the exact
  consumed branch remains:

  ```bash
  release_version=<version>
  if gh api \
    "repos/coreycoto/scoop-bucket/git/ref/heads/automation/git-slop-v${release_version}" \
    >/dev/null 2>&1
  then
    echo "consumed Scoop automation branch still exists" >&2
    exit 1
  fi
  ```
- Confirm crates.io still requires trusted publishing and attributes this
  version to the exact GitHub release run and revision:

  ```bash
  release_version=<version>
  release_revision=<40-character-release-revision>
  release_run_id=<release-publish-run-id>
  curl --fail --silent --show-error \
    --user-agent "git-slop-release-checklist/1 (https://github.com/coreycoto/git-slop)" \
    https://crates.io/api/v1/crates/git-slop \
    | jq -e '.crate.trustpub_only == true'
  curl --fail --silent --show-error \
    --user-agent "git-slop-release-checklist/1 (https://github.com/coreycoto/git-slop)" \
    "https://crates.io/api/v1/crates/git-slop/${release_version}" \
    | jq -e \
      --arg version "$release_version" \
      --arg revision "$release_revision" \
      --arg run_id "$release_run_id" \
      '.version.num == $version
       and .version.trustpub_data.provider == "github"
       and .version.trustpub_data.repository == "coreycoto/git-slop"
       and .version.trustpub_data.sha == $revision
       and .version.trustpub_data.run_id == $run_id'
  ```

The completed v0.9.4 token-to-OIDC migration procedure is retained as
[historical evidence](history/crates-io-trusted-publishing-v0.9.4.md); it is not
an instruction for current releases.