jochen 7f67fea9c2 Register R314: an answer larger than one message of the bus is paged, not lost (hq issue 314) ...

Proved by the prover: fails on the controller's main before the fix (the caller
times out), passes on mesh-controller 4b43115.

2026-10-08 11:27:21 +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 R314: an answer larger than one message of the bus is paged, not lost (hq issue 314)

2026-10-08 11:27:21 +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