# stdlib-only (event-log state + AssetObservation only; no external counter)
