Absolutely. And to make history a bit more clear - initially Polygon was not included on L2BEAT simply because of the mismatch between docs and marketing claims and code (Plasma bridge was never implemented)
OP situation was the exact opposite - they did have fraud proofs when
