run

Parses the templated thermostat.pl program, builds a solver registering get_temp/1 and push/1 under the libs.agency.thermostat library alias (with variable tracking enabled so bound variables remain visible), and solves the start/0 goal once, printing the outcome to standard output.