PKStack (Poteto Kiro): Kiro-native verified-development workflows with project operability, executable feature maps, and current-session verified goals.