Red doesn't change anything with comments. Chrono79 is right, but it seems some posts are still editable sometimes? I've seen two examples where a post that had been replied to was editable.

I think if it is the first post, when it gets a reply you can't edit it anymore, the next ones you still can.

There is already a test that that code will fail tickets([25, 50, 100, 25, 25, 25, 50]) and not sure why, but the revalidation process is not disabling those solutions.
About the proper format, read this page