¿Qué hace spec?
Crea, modifica o propaga bugs hacia atrás en SPEC.md en la raíz del repositorio. Único mutador del proyecto de especificación. Se activa cuando el usuario solicita escribir una especificación, iniciar una nueva especificación, destilar una especificación a partir del código existente, agregar invariantes, modificar secciones (§G, §C, §I, §V, §T, §B) o registrar un bug mediante backprop. Frases comunes: "escribe la especificación para...", "nueva especificación", "bug: ...", "modifica §V.3", "destila especificación del código", "especifica esta idea". Lee y sigue FORMAT.md para las reglas de codificación 'caveman' y la forma de tabla de tuberías de §T y §B.