"Roles who can edit posts in this state" ineffective

I am trying to set up a basic publishing workflow. I have 5 roles (admin, guest, authed, writer, editor) and 4 states (draft, review, rework, publish). After fiddling with the options for a while I have almost everything working as desired, except for one major thing. I do not want 'writer' to be able to edit their own nodes after they reach the 'publish' state. "Home » administer » workflow » Edit workflow » Access control » Published » Roles who can edit posts in this state » author" and "... » writer" are both unchecked, which seems to indicate the condition that I desire, but those users can still edit their nodes.

I have read other bugs with ideas for moving published nodes into their own taxonomy with taxonomy_access, but that seems like a workaround, not a fix. If the checkbox in question here truly has no purpose then it shouldn't exist. If it means something different then imho it should be relabelled. And if it means what I think it means, then it is broken.