== gate red-proof 1: the 'no new entry' refusal removed
  XX  FACT: a bare image move, no entry                    rc=0 (expected 1)
  XX  DECOY: the entry only in README.md                   rc=0 (expected 1)
FAIL: FACT: a bare image move, no entry: rc=0 expected 1; missing ['adds NO update_ladder entry']
== gate red-proof 2: 'failed' accepted as a ladder verdict
  XX  FACT: the entry's verdict is failed                  rc=0 (expected 1)
  XX  FACT: a failed verdict sits in the ladder            rc=0 (expected 1)
== gate red-proof 3: digest comparison removed
  XX  FACT: the registry now serves another digest         rc=0 (expected 1)
== restored
catalog gate decoys OK — 80 case(s), every label judged on its fact (R-421)
