~/jendhub

def release_cleared

bendvy-ecs-core@0.1.0.4 · world.bend:190

import bendvy-ecs-core@0.1.0.4/world.bend as World
import Base

190# Only schema-owned cleanup calls this after all payloads and stamps are cleared.
191# Trusted cleanup boundary: release only after schema-owned payload/stamp clearing.
192# Metadata validation is not proof that arbitrary caller-supplied storage is empty.
193def release_cleared(~S:Data,~C:Type,~R:Type,~E:Data,world:World<S,C,R,E>,+handle:Handle<S>) -> World<S,C,R,E>:
194  owner_change(~S,~C,~R,~E,True{},handle_key(~S,handle),metadata_valid(~S,~C,~R,~E,world,handle))

Uses (6)

Used by (3)