Laboratory / Computing
Data and invariants
Compare list, stack, queue, and set traces for the same arriving items. Attempt an invalid update and identify which interface makes the mistake unrepresentable.
What changed
The representation holds 4 staged items while lookup pressure is 35. Operations and invariants determine the useful structure.
Return to the route
Experiment after prediction.
Before changing a control, say which visible feature should move and which should remain invariant. That prediction is the useful part of the experiment; motion alone is not evidence.