Belz’s private DI² app: green tests, wrong world, and the manual oracle
Posts here