Proof-Carrying Agent Permissions

gdp-ts turns an authorization check into a value that sensitive TypeScript functions require and the type checker can verify. The early mechanism could reduce a common agent risk: code calls a powerful function without preserving proof that policy was checked. It remains one library and linter. Confirmation requires adoption in agent frameworks, integrations with real identity systems or evidence that it prevents authorization regressions in production.