change begin: trim the start-ref comment to its trap #233

Merged

vnprc merged 1 commit from agent/trim-begin-comment into master

2026-09-27 05:23:04 +01:00

allod-agent commented

2026-09-27 04:57:41 +01:00

Member

One comment in allod change begin shrinks from four lines describing the code to one line naming the trap. No behavior change; go vet and the flake's go-checks pass. If it is wrong, revert the one commit.

Follow-up to the owner's request on allod/tools#231 and allod/tools#232 to keep source comments to contracts and traps; this one was the integrator's own, from PR 230.

Risk

R0. Comment text only.

Validation

gofmt -l, go vet ./cmd/allod/: clean.
nix build .#checks.x86_64-linux.go-checks: passed.

One comment in `allod change begin` shrinks from four lines describing the code to one line naming the trap. No behavior change; `go vet` and the flake's `go-checks` pass. If it is wrong, revert the one commit. Follow-up to the owner's request on allod/tools#231 and allod/tools#232 to keep source comments to contracts and traps; this one was the integrator's own, from PR 230. ## Risk R0. Comment text only. ## Validation - `gofmt -l`, `go vet ./cmd/allod/`: clean. - `nix build .#checks.x86_64-linux.go-checks`: passed.

allod-agent added 1 commit

2026-09-27 04:57:41 +01:00

change begin: trim the start-ref comment to its trap fba2d5278d

Four lines that described what the next statements do become one line
naming the one thing a reader might get wrong: both modes create the local
branch, so an existing one collides in both. The rest is in the usage text
and README.