# RED-PROOF of check-engine-major.py's PostgreSQL clause (2026-09-25, catalog tree before commit)
# mutation: `if why is None and not others:` -> `if not others:` (the ladder proof is not consulted)
# python3 scripts/test_gate_decoys.py, lines quoted verbatim:
FAIL: FACT: docmost-postgres 16-alpine -> 17-alpine bundled with the app bump: rc=0 expected 1; missing ['ENGINE-MAJOR GATE FAILED']
FAIL: FACT: docmost-postgres postgres:16-alpine -> 17-alpine: rc=0 expected 1; missing ['R-463']
FAIL: DECOY: the entry is proven on both venues but carries NO conversion mark: rc=0 expected 1; missing ['NOT PROVEN FOR THIS APP', 'engine_conversion None']
# tree restored from the saved copy; the suite green again: C2-decoys-green.txt
