Permitted conclusion

The reported endpoint suggests that the specified decoder does not meet one-quarter error. The validated numerical verdict remains unresolved because the only reported certified-style transmission interval is $[0,1]$.

Even a future validated exclusion for this decoder would not exclude all decoders. Theorem thm:specified is a performance identity for a specified map, not an optimality theorem.