Module actor 

Actor primitive — per-shell activity subject.

Actor<'s, S> carries two compile-time proofs: the shell brand 's (typed isolation) and the ActorState typestate (authentication status). Transition methods consume self so there is no way to forge a phantom state change.

Structs

Actor

Shell-branded, typestate-tagged Actor handle.

ActorId

Opaque handle into the runtime Actor namespace.

ActorProfile

Actor profile Component — exactly one per Actor (invariant E-actor-1).

UserBinding

Binding from Actor to the backing User — present iff the actor is Authenticated (invariant E-actor-2).

Enums

ActorKind

Actor role family.

Anonymous

Typestate: actor has not (or not yet) authenticated.

Authenticated

Typestate: actor holds a verified UserBinding.

Suspended

Typestate: actor is banned / quarantined — Actions reject at compute.

Traits

ActorState

Sealed typestate marker for Actor authentication status.