Enum Op 

#[non_exhaustive]
pub enum Op {
    SpawnEntity {
        id: EntityId,
        owner: Principal,
    },
    DespawnEntity {
        id: EntityId,
    },
    SetComponent {
        entity: EntityId,
        type_code: TypeCode,
        bytes: Bytes,
        size: u64,
    },
    RemoveComponent {
        entity: EntityId,
        type_code: TypeCode,
        size: u64,
    },
    EmitEvent {
        actor: Option<EntityId>,
        event_type_code: TypeCode,
        event_bytes: Bytes,
    },
    ScheduleAction {
        at: Tick,
        actor: Option<EntityId>,
        action_type_code: TypeCode,
        action_bytes: Bytes,
    },
    SendSignal {
        target: InstanceId,
        route: RouteId,
        payload: Bytes,
    },
}

Kernel-level effect intent. Each variant is “what to do”; the kernel wraps it in Effect for authorization, then dispatches into the per-step StepStage.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

SpawnEntity

Register a new entity with the given id and owner.

Fields

id: EntityId

Entity id to register.

owner: Principal

Owning principal — recorded in EntityMeta.

DespawnEntity

Remove an entity from the instance.

Fields

id: EntityId

Entity to remove.

SetComponent

Attach (or replace) a component on entity under type_code.

Fields

entity: EntityId

Entity that owns the component.

type_code: TypeCode

Component type discriminant.

bytes: Bytes

Canonical-postcard bytes of the component value.

size: u64

Approximate size in bytes — used by the resource ledger (memory budget enforcement).

RemoveComponent

Detach a component from entity.

Fields

entity: EntityId

Entity to detach from.

type_code: TypeCode

Component type discriminant.

size: u64

Approximate size in bytes — must match the original SetComponent size for the ledger to balance.

EmitEvent

Emit a domain event. Surfaces as KernelEvent::DomainEventEmitted to observers post-commit.

Fields

actor: Option<EntityId>

Optional originating entity.

event_type_code: TypeCode

Event type discriminant.

event_bytes: Bytes

Canonical-postcard bytes of the event payload.

ScheduleAction

Enqueue another action for a future tick. The scheduled action inherits the scheduling action’s principal (captured at dispatch) and a caps_ceiling equal to the parent’s effective capabilities — privilege can only narrow across a schedule, never widen, so a domain action cannot mint a more-privileged future action (no time-shifted escalation). Kernel-internal System-origin scheduling goes through a kernel API, not this domain Op.

Fields

at: Tick

Tick at which the scheduled action becomes due.

actor: Option<EntityId>

Optional originating entity.

action_type_code: TypeCode

Type code of the scheduled action.

action_bytes: Bytes

Canonical-postcard bytes of the scheduled action.

SendSignal

Cross-instance signal. Routed by the kernel to the target instance’s IPC queue post-commit.

Fields

target: InstanceId

Receiving instance.

route: RouteId

Route discriminant — the receiving instance dispatches by this id.

payload: Bytes

Canonical-postcard bytes of the signal payload.

Trait Implementations

impl Clone for Op

fn clone(&self) -> Op

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Op

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Op

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Op

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.