Sketches types, signatures, and module structure before code, then guides implementation. Use for architect this, or non-trivial work where coding first locks in the wrong shape.
