def noticed_leaf

bendvy-ecs-core@0.1.0.3 · execution_command_removed.bend:43

import Base
import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as Notice
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

43# Inspect actual displaced owners once and return those same owners. No cached
44# view or presence metadata can manufacture a removal notice or refresh payloads.
45def noticed_leaf(~S:Data,-P:Type,key:String,entity:Notice.Identity<S>,tick:Tick.Tick,journal:Notice.Journal<S>,removed:Maybe<&1,P>) -> Notice.Journal<S> & Maybe<&1,P>:
46  match removed:
47    case None{}:(journal,None{})
48    case Some{owner}:(Notice.append(~S,Notice.Removed{key},entity,tick,journal),Some{owner})