Enum HandleIdentity 

pub enum HandleIdentity {
    Credentialless,
    CatalogUser {
        username: String,
        user_id: u64,
        created_version: u64,
    },
    ServicePrincipal {
        principal_id: [u8; 16],
    },
}

The per-caller identity bound to one handle (spec §10.1, S1A-001).

This is a label the core never consults for shared-table authorization in Stage 1A (the embedded enforcement path reads the facade’s auth state, and shared cores reject auth-mode transitions); per-request enforcement over handles arrives with Stage 1D sessions.

Variants

Credentialless

No credentials were supplied for this handle.

CatalogUser

A user resolved from the database catalog. user_id + created_version pin the exact catalog generation so username reuse cannot revive a stale identity.

Fields

username: String

user_id: u64

created_version: u64

ServicePrincipal

A non-catalog principal (service account, daemon worker, test actor).

Fields

principal_id: [u8; 16]

Trait Implementations

impl Clone for HandleIdentity

fn clone(&self) -> HandleIdentity

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for HandleIdentity

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for HandleIdentity

impl PartialEq for HandleIdentity

fn eq(&self, other: &HandleIdentity) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for HandleIdentity