Nobody cares about the distinction except pro-age gating activists. I don’t want any law that requires specific behavior from the OS, whether it’s verification, attestation, or something else.

Interesting, you don't think the GPL should be enforced? That requires specific behavior.

There is no law that says that you have to use the GPL for your OS project.