Development record

The release workflow's budget test checks each go test step alone, not cumulatively, so a scaffolded repository's Test step plus a hung race package can pass it while its 15-minute job is cancelled with no goroutine dump; and the verify job has no watchdog, so a late race package in abcd's own profile can pass the job's limit the same way.