### RED-PROOF B1 no mark → refused — mutation in pgconvert.go
--- FAIL: TestConvert_MajorWithoutMarkIsRefused (0.00s)
    pgconvert_test.go:215: the preflight let it through: <nil>
--- FAIL: TestConvert_JobRefusesAMarkThatDoesNotMatch (0.01s)
    pgconvert_test.go:235: phase "done" key "", want failed with the no-test sentence
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.020s
### RED-PROOF B2 marker validated again before emptying — mutation in pgconvert.go
--- FAIL: TestConvert_NeverEmptiedWithoutMarker (0.01s)
    pgconvert_test.go:338: Empty was called although the copy had no marker
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.015s
FAIL
### RED-PROOF B3 counts compared — mutation in pgconvert.go
--- FAIL: TestConvert_CountsDifferAreUndone (0.01s)
    pgconvert_test.go:271: ended "done" (), want undone
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.021s
FAIL
### RED-PROOF B3 PG_VERSION checked — mutation in pgconvert.go
--- FAIL: TestConvert_WrongVersionIsUndone (0.01s)
    pgconvert_test.go:304: ended "done" (), want undone
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.019s
FAIL
### RED-PROOF B3 cut-off dump refused — mutation in pgconvert.go
--- FAIL: TestConvert_CutOffDumpNeverEmptiesTheVolume (0.01s)
    pgconvert_test.go:315: ended "done" (), want undone
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.018s
FAIL
### RED-PROOF B4 restart during converting → undo — mutation in update.go
--- FAIL: TestConvert_RestartDuringConvertingIsUndone (0.06s)
    pgconvert_test.go:399: RecoverUpdates resumed []
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.062s
FAIL
### RED-PROOF B5 old datadir copy kept — mutation in update.go
--- FAIL: TestConvert_HappyPath (0.01s)
    pgconvert_test.go:196: the kept copy is not recorded: <nil>
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.014s
FAIL
### RED-PROOF B5 release wired — mutation in main.go
--- FAIL: TestConvert_ReleaseIsWiredAtStartup (0.01s)
    conversion_wiring_test.go:11: ReleaseConversionCopies is never called — a converted app's old datadir copy would stay on disk for ever
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/cmd/controller	0.015s
FAIL
### RED-PROOF A5 space checked before anything moves — mutation in update.go
--- FAIL: TestConvert_NoSpaceIsRefusedWithNothingMoved (0.01s)
    pgconvert_test.go:353: phase "done" key ""
FAIL
FAIL	gitea.dooplex.hu/admin/felhom-controller/internal/stacks	0.014s
FAIL
