jochen ba2806b985 Measure that the postgres module's image initialises where genesis now raises the store (hq issue 609, ADR 0338 §5) ...

The genesis bundle raises the store as the postgres module's server: its pgvector image, its data in a
directory made before the store starts and owned as the module declares it, its password from a file.
The decision names one measurement before it is relied on: that image, on such a directory, empty,
initialises a store that answers with that password. The image and the owner are read from the
catalogue's manifest, so the measurement moves with the module's pin.

2026-10-13 10:47:34 +02:00

..

cmd/prove

Register R92 as a bed: genesis on a runtime that trusts no registry (hq issue 92)

2026-10-13 02:57:21 +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

Measure that the postgres module's image initialises where genesis now raises the store (hq issue 609, ADR 0338 §5)

2026-10-13 10:47:34 +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

Register R92 as a bed: genesis on a runtime that trusts no registry (hq issue 92)

2026-10-13 02:57:21 +02:00

register.go

Register the replay of issue 239: a module's name is not taken over by another repository

2026-10-13 07:25:26 +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

store_test.go

Measure that the postgres module's image initialises where genesis now raises the store (hq issue 609, ADR 0338 §5)

2026-10-13 10:47:34 +02:00