Domestic AI Puzzles: Cozy Smart-Home Brainteasers