Add the replay of issue 239: a module's name is not taken over by another repository (hq issue 239) #294

Merged

mesh-admin merged 1 commits from fix/239-replay into main

2026-10-13 05:37:08 +00:00

Author	SHA1	Message	Date
jochen	95556b8def	Add the replay of issue 239: a module's name is not taken over by a build from another repository mesh/merge-gate head 95556b8def3f merged into trunk 8f1aec0832b1 — pass: the change touches no module of the mesh's graph Details mesh/repo-check head 95556b8def3f merged into trunk 8f1aec0832b1 — pass: its merge-check.sh passed Details mesh/delivery delivered Details mesh/delivery-group group fix/239-replay delivered: every member is delivered Details The fix (#174, hq ADR 0266 §7) refuses an outcome built from a repository other than the module's registered one; nothing replayed the photo app's outage that showed why. The replay uses only what the controller had before the fix, so the prover can show it fails there and passes on the fix.	2026-10-13 07:02:05 +02:00