Issues 301, 302: a push of recorded builds is no repair; the lab's Go replays are checked in Go #184

Merged
mesh-admin merged 1 commits from issues/301-302-a-push-of-recorded-builds-and-the-labs-go into main 2026-10-07 22:26:28 +00:00
1 Commits
Author SHA1 Message Date
jochen 7fde8f4bbe Issues 301 and 302: a push of recorded builds is no repair, and the lab's Go is checked in Go
mesh/merge-gate pass: the change touches no module of the mesh's graph
mesh/repo-check pass: its merge-check.sh passed
mesh/delivery delivered
301: S15 counted the operator's pushes of recorded builds, the word ADR 0242
asks for, as repairs and wanted a healer for three causes. 302: the lab's
replays register was never compiled before a merge, because its check ran in
the TypeScript toolchain. To-be 45 §7 and §9 say how each is now decided and
checked.
2026-10-08 00:17:14 +02:00