Text this: Operational Semantics for Single-Particle Classical Thermodynamics