SQL demo

See a blocked PR in 70 seconds.

An AI coding agent opens a migration PR. Permission Protocol blocks it. A human signs. The receipt is issued. GitHub can merge.