ABC
La spec: lo único que avanza por la víaPernos A, B y C: los requisitos que la spec trae consigoSin spec no hay ciclo; sin ciclo no hay código. El GATE A (pnpm sdd:gate <spec>) abre el ciclo solo si la spec está registrada en specs/index.json y su módulo en global.json. El GATE B (pnpm sdd:gate <spec> cycle-XX) deja escribir código solo con cycle.json in-progress y tasks.json con tareas. El cierre exige pnpm sdd:validate en verde, el fragmento de contexto del ciclo y el consumo registrado en cada task. Si falta uno, la compuerta no sube: la respuesta es BLOCKED, determinista, sin leer a mano.