alpha proof task

Work only inside the current worktree. Leave every change on disk in this worktree; do not push, and do not switch branches.

Files expected to change: alpha.txt

Engine verification journal record: {"kind":"verify.passed","task":"alpha","phase":"coder","commands":[{"command":"true","code":0}],"seq":10,"at":"2026-08-07T14:34:02.814Z","runId":"run-848336-1786113191217","slug":"exec-plane-proof"}
Do not rely on any coder self-reported acceptance prose.
End your reply with exactly one JSON object on its own line with exactly these keys: verdict and findings. verdict must be "PASS" or "FAIL". findings must be an array of objects with exactly these keys: severity, path, message.