Spawn Comment Sicko, fix accepted findings, and offer encodings for claimed constraints. Observe required inputs first; HOLD when they are missing rather than guessing.
