# DF-5578 fix runtime validation: fixed twin (verbatim ufm_do_req + one-line init,
# identical stack poisoning, counterfactual short-ok mode) -- 18/18 clean,
# plus the production-semantics containment lines from the same run.

UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18
UFM5578: FULL FM_GET_STAT short  : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT silent : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT full   : rc=0 out=0x0000005c -- device byte delivered
UFM5578: pat=0x00 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18
UFM5578: FULL FM_GET_STAT short  : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT silent : rc=5 (EIO) out=0x000000cc -- LEAK BLOCKED (discarded)
UFM5578: FULL FM_GET_STAT full   : rc=0 out=0x0000005c -- device byte delivered
UFM5578: pat=0x00 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x00 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xff rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xa5 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x5a rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0x0f rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=0 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=1 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: pat=0xf0 rep=2 FIXED(buf={0}) : ret=0x00 (clean)
UFM5578: RESULT: counterfactual short-ok: 18/18 pattern-match; fixed twin clean 18/18