Shows the release task in the eval examples

[johnnyt]

What

The mix encryptor.ecto.migrate and mix encryptor.ecto.verify moduledocs showed a bare bin/my_app eval '...' over the library call as the release path. An eval VM loads the configuration and starts nothing, so that call runs with neither the repository nor either vault up. Both moduledocs now show the call inside the release function built on Ecto.Migrator.with_repo/2 and link the exit guide's section "Before step 4: the release task" (rendered as migrate-from-cloak.html#before-step-4-the-release-task; the anchor was checked in a local mix docs build).

ADR-0002 and ADR-0004 carry the same bare eval lines in their worked examples. Each takes one dated foot Note, appended after the last section in the file, that names its three examples by the lines that introduce them and reads each through the guide's release function. The Notes decide nothing; git diff origin/main -- docs/adr/ shows zero removed lines. No changelog fragment: changelog.d/README.md excludes documentation and ADRs.

Gate

Full mix quality green on this tree (database arm included): format, compile, doc links, dependencies, credo, docs, tests, dialyzer. The commit was made with a bare git commit over the staged tree, byte-identical (git write-tree) to the tree that run passed on.

Review (in-turn, gate tier)

Direction check: every claim in the moduledoc and Note text was checked against the code and records on main at 704ed27. The guide section "Before step 4: the release task" defines MyApp.Release.with_encryption/1 on Ecto.Migrator.with_repo/2, starting the legacy vault and the new vault inside the callback, and its steps 4, 5 and 6 call run/2 and verify/2 through it. The mix tasks start the host application first (Encryptor.Ecto.Migrator.CLI's boot/0 runs app.start), which is why the Notes scope the gap to the eval form. ADR-0002's examples sit under "Rehearse, then run, from a release:" and "And the acceptance check:" in its worked example; ADR-0004's under its "Step 4", "Step 5" and "Step 6" lead lines. ADR-0004 decision 10 is the one that has the how-to lead with the release eval form, and decision 6 is the no-extra-capability rule the Note leaves unchanged. Both Notes are additions only and close with the bead provenance line.

Ruled by the operator, 2026-09-29 (scheduled as a docs fix; one Note per record, zero removed lines).

Refs: ece-qlc