def record
import bendvy-ecs-core@0.1.0.4/transaction.bend as Transactionimport Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
106# Append an operation observation through the current tracing state.
107# Disabled tracing retains its disabled state; facts confer no write authority.
108def record(~W:Type,~E:Data,tx:Tx<W,E>,fact:TraceFacts.Fact) -> Tx<W,E>:
109 match tx:
110 case Tx{world,undo,commands,events,trace}:Tx{world,undo,commands,events,TraceFacts.append(trace,fact)}