gdp-ts brings compile-time authorization proofs to TypeScript APIs

Guillermo Rauch introduced gdp-ts, a library, linter, and AI skill that uses "proofs" to enforce that sensitive functions are called only after an authorization check.

The TypeScript typechecker verifies these proofs at compile time, aiming to stop security bugs from shipping, including those written by AI agents. The README models a Vercel API constraint requiring a role and entitlement proof to change a Project's password.