| Q-01 | H1 | Gramática mínima estable | No se han añadido categorías nuevas por presión semántica futura | Diff o auditoría sin ampliación sintáctica impropia | Verificado | Acta técnica H1 de 23/03/2026: base segura verificada; no abre H2/H3 ni cierra FFL-A–FFL-E. |
| Q-02 | H1 | IR no incompatible con relaciones y acumulaciones | No existe fijación que impida representar relaciones o acumulaciones futuras | Revisión técnica de nodos y lowering | Verificado | Acta técnica H1 de 23/03/2026: verificación con cautela fuerte suficiente para H1. |
| Q-03 | H1 | Validator no temporalista | No presupone linealidad fuerte o uniformidad de transición | Auditoría de reglas y errores | Verificado | Acta técnica H1 de 23/03/2026: validator no temporalista en el estado verificado. |
| Q-04 | H2 | IR preparada para familias de propiedades | No impide futura agrupación localizada ni exige refactor estructural previo | Microauditoría estructural | Pendiente | Apertura restringida de H2 autorizada y consolidación auditada de H2 restringido (23/03/2026): H2.1 pasa en elasticidad suficiente; el control sigue Pendiente hasta futura verificación positiva. |
| Q-05 | H2 | Runner no presupone continuidad uniforme | Tolera patrones de transición no banales sin hipoteca estructural acreditada | Auditoría de ejecución | Pendiente | Apertura restringida de H2 autorizada y consolidación auditada de H2 restringido (23/03/2026): H2.2 y H2.3 pasan en no-rigidez suficiente del validator y no-hipoteca del plano ejecutable; el control sigue Pendiente y no verificado positivamente. |
| Q-06 | H3 | Puntos de extensión claros | Hay puntos de ampliación sin rehacer arquitectura | Nota técnica o comentario de diseño | Pendiente | |
| Q-07 | H3 | Backend no hipotecado | No existen decisiones irreversibles incompatibles con horizontes identificados | Revisión de estructuras persistentes | Pendiente | |