// @generated — auth lease transition authority source marker
// Generated by `xtask protocol-codegen`

// Raw auth lease transition minting is intentionally not exposed from this
// public generated module. The generated runtime handoff consumes a typed
// AuthMachine publication obligation before packaging the public transition.
