After heavy rain, basement floods because sump pump float switch fails to activate automatically, requiring manual intervention to trigger pumping.

Generate a build spec

User stories, data model, API surface and a two-to-four week MVP cut — grounded in what these 2 reports actually said. Markdown you can paste into a coding agent.