Treat Merge as Promotion: Four Stages Between Local Green and main

A green check is a local fact. Merge is a promotion. If you let an agent-written diff jump from...