safetyfactbullishAgent authorization can be formalized as a cryptographically verifiable relation that binds agent principal, authorization request, execution context, and policy satisfactionArtificial Intelligence28 Jul 2026http://arxiv.org/abs/2607.21325v1