| FFL-A | Contrato diagnóstico | IR ↔ catálogo ↔ emisión observable | IR_CANONICA_BIENFORMACION_SV_v0_2.md / docs/referencia/ERRORES_CANONICOS_SV_v0_2.md / src/svp_errors.py | cerrado | Concordancia suficiente o deuda gobernada y explicitada | Cerrado bajo Vía B el 18/08/2026 con deuda residual reconocida y gobernada |
| FFL-B | Cadena de implementación | análisis léxico ↔ análisis sintáctico ↔ descenso a IR ↔ validación ↔ serialización ↔ interfaz de línea de órdenes / entorno de prueba | src/ | cerrado | Coherencia técnica verificable con la IR y deuda restante expresamente delimitada | Cerrado el 19/08/2026 tras E215 con conformidad 57/57; las obligaciones no representables quedan registradas como deuda y no abren otros bloques |
| FFL-C | Pruebas y evidencia | conformidad ↔ pruebas rápidas ↔ SEC-0 ↔ cobertura observable | tests/ | cerrado | Evidencia suficiente para sostener el estado público declarado | Cerrado el 20/08/2026 con conformidad 58/58; pruebas rápidas 3/3; SEC-0 3/3; caracterización E006 4/4; la cobertura observable distingue casos persistidos emisión alcanzable y propiedades estructurales |
| FFL-D | Documentación pública | estado público verificable sin atribuciones superiores a la evidencia | README.md / docs/README.md / docs/referencia/ | pendiente | Alineación completa entre documentación pública y evidencia | No abierto como bloque; las correcciones documentales de mantenimiento no constituyen su apertura |
| FFL-E | Interfaz semántico-diagnóstica | núcleo mínimo preservable hacia una infraestructura de ejecución futura | docs/arquitectura/ | cerrado | Contrato mínimo identificado y publicado | Cerrado el 21/08/2026 tras fijar suficiencia representacional por operación salida terminal tipada contrato de interfaces testigos realizables y condición de representación insuficiente; no modifica Tri ni atribuye ejecución nueva |