Actor definition from requirements analysis.
NestJS parameter decorator for route protection.
JWT token payload structure.
OptionalplanPlanning ledger captured from the initial authorization write.
Optional for backward compatibility with histories recorded before the authorization writer persisted its CoT compliance ledger.
Authorization provider function (JWT verification, role validation).
A first-class AutoBeRealizeFunction (type: "authorization") so it
rides the shared queryIR write/correct/materialize machinery. Its content
always holds the materialized (Prisma-rendered) TypeScript.
Complete authorization implementation for a specific actor.
Author
Michael