jochen 87eca0c9a9 Register R166: a requirement could not be optional (hq issue 166) ...

Issue 166 resolves with its replay. TestReplay166 in the controller (mesh-controller #287) uses only
what the catalogue had before #281, so the prover lays it over the commit before: it fails there and
passes on the fix.

2026-10-13 02:28:18 +02:00

..

cmd/prove

Register the replay of issue 305, run in the catalogue module it lives in (hq ADR 0237)

2026-10-08 10:11:57 +02:00

bed_test.go

Prove every changed health check on a bed before the catalogue merges (hq ADR 0240, to-be 48 Phase D)

2026-10-07 15:12:26 +02:00

bed.go

Prove every changed health check on a bed before the catalogue merges (hq ADR 0240, to-be 48 Phase D)

2026-10-07 15:12:26 +02:00

bus_test.go

Replay the core incidents, and prove each fails before its fix and passes on it (hq to-be 45 §9)

2026-10-06 21:01:39 +02:00

crashloop_test.go

Replay the crash loop: a container that exits at start fails its gate on the first machine (hq ADR 0240)

2026-10-07 02:28:50 +02:00

docker.go

Pull an image named by its digest as the runtime's own client does, and say a pull that failed

2026-10-07 15:52:54 +02:00

go.mod

Replay the core incidents, and prove each fails before its fix and passes on it (hq to-be 45 §9)

2026-10-06 21:01:39 +02:00

go.sum

Replay the core incidents, and prove each fails before its fix and passes on it (hq to-be 45 §9)

2026-10-06 21:01:39 +02:00

merge-check.sh

Check the Go replays in the Go toolchain, and register R301 and R302 (hq issues 301, 302)

2026-10-08 00:13:46 +02:00

register_test.go

Replay the crash loop: a container that exits at start fails its gate on the first machine (hq ADR 0240)

2026-10-07 02:28:50 +02:00

register.go

Register R166: a requirement could not be optional (hq issue 166)

2026-10-13 02:28:18 +02:00

resolver_test.go

Replay the core incidents, and prove each fails before its fix and passes on it (hq to-be 45 §9)

2026-10-06 21:01:39 +02:00

silentweb_test.go

Replay the silent web application: its declared HTTP check raises it within two looks (hq ADR 0240 Phase B, issue 145)

2026-10-07 14:41:54 +02:00