| E001 | InvalidTriCoercion | E001 | InvalidTriValue | E001 | InvalidTriValue | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | literal_ternario_no_reconocido_cubierto_explícitamente |
| E002 | InvalidCellSize | E002 | InvalidBValue | E002 | InvalidBValue | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | bad_b_value_cubierto_explícitamente |
| | | | E003 | NSquaredViolation | no_directa | no_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | sin_caso_superficial_explícito |
| | | | E004 | EmptyCodomain | si_directa | no_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | sitio_de_emision_sin_caso_superficial_explicito |
| | | | E005 | DuplicateIdentifier | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | duplicate_identifier_cubierto_explícitamente |
| | | | E006 | UndeclaredReference | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | referencia_inexistente_y_comprobaciones_de_tipo_estructural_cubiertas_explícitamente |
| | | | E007 | InvalidConnectorMapping | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | conector_mapping_incompleto_cubierto_explícitamente |
| | | | E008 | ConnectorTargetNotTri | no_directa | no_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | codigo_preservado_por_trazabilidad_sin_emision_directa_ni_caso_explicito;_el_subcaso_target_no_ternario_emite_E104 |
| | | | E009 | TableInputMismatch | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | admissibility_table_incompleta_cubierto_explícitamente |
| | | | E010 | InvalidRole | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | invalid_role_literal_cubierto_explícitamente |
| | | | E011 | TableOutputNotInCodomain | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_condicion_tipificada_de_AdmissibilityTable:_cada_salida_literal_pertenece_a_output_codomain;_no_cierra_J1_4_ni_equivale_a_E105_E106 |
| E101 | EmptyCodomain | E101 | VectorLengthMismatch | E101 | VectorLengthMismatch | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | cellstate_vector_length_mismatch_cubierto_explícitamente |
| E102 | MissingOutputSemantics | E102 | MissingOutputSemantics | E102 | MissingOutputSemantics | si_directa | si_explicita | coincide | mantener_vigente | convergencia_vigente:_misma_obligacion_material_y_emision_explicita |
| E103 | IllegalBridgePosition | E103 | GraphCycleDetected | E103 | GraphCycleDetected | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | compose_cycle_graph_cubierto_explícitamente |
| E104 | InvalidConnectorCodomain | E104 | InvalidConnectorCodomain | E104 | InvalidConnectorCodomain | si_directa | si_explicita | coincide | mantener_vigente | convergencia_vigente:_mismo_diagnostico_de_la_IR_con_emision_y_bateria |
| E105 | IncompleteAdmissibilityTable | E105 | BridgePositionOutOfRange | E105 | BridgePositionOutOfRange | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | bridge_position_fuera_de_rango_cubierto_explícitamente |
| E106 | MissingSemanticRelation | E106 | MissingSemanticRelation | E106 | MissingSemanticRelation | no_directa | no_explicita | coincide | mantener_vigente_y_ampliar_cobertura | coincidencia_plena_sin_bateria_con_comprobacion_documentada_que_muestra_caida_actual_a_E006 |
| E107 | InvalidTernarizerPartition | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E108 | MissingResContext | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E109 | InvalidCaptureSpec | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E110 | InvalidAdmissibilitySpec | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E111 | UnorderedCodomain | E111 | UnorderedCodomain | E111 | UnorderedCodomain | no_directa | no_explicita | coincide | mantener_vigente_y_ampliar_cobertura | coincidencia_plena_sin_bateria_y_sin_comprobacion_superficial_propia_en_v0_1 |
| | | | E112 | IllegalBridgeUpdate | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_bajo_Via_B_la_clausula_posicional_de_J2_2_E202_de_la_IR;_no_cierra_procedencia_por_connector |
| | | | E113 | EdgeConnectorMismatch | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_bajo_Via_B_la_obligacion_E206_de_la_IR_sin_reutilizar_el_ID_efectivo_colisionado |
| | | | E114 | SimpleRegimeConcurrency | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_unicidad_de_target_position_en_regimen_Simple_J2_3;_no_materializa_E204_MissingConflictOperator_ni_RG1 |
| E201 | VectorLengthMismatch | E201 | LiteralResultForbidden | E201 | LiteralResultForbidden | no_directa | no_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_explicito |
| E202 | IllegalBridgeUpdate | E202 | GateInputNotEvalResult | E202 | GateInputNotEvalResult | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | el_ID_E202_efectivo_sigue_divergente;_la_clausula_posicional_de_la_IR_se_materializa_parcialmente_via_E112_y_la_procedencia_por_connector_sigue_abierta |
| E203 | CyclicCompositionGraph | E203 | GateMissingTable | E203 | GateMissingTable | no_directa | no_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_explicito |
| E204 | MissingConflictOperator | E204 | QueryMissingContext | E204 | QueryMissingContext | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_especifico_del_E204_de_la_IR |
| E205 | UndeclaredRegime | E205 | SuperviseOpaqueTarget | E205 | SuperviseOpaqueTarget | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_especifico_del_E205_de_la_IR |
| E206 | EdgeConnectorMismatch | E206 | ResolveMissingContext | E206 | ResolveMissingContext | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | E206_efectivo_emite_en_parse_por_ausencia_acreditada_de_context_en_resolve_y_sigue_divergente;_E206_EdgeConnectorMismatch_de_la_IR_sigue_protegido_por_E113_mas_E104_E007 |
| | E207 | ResolveMissingMechanism | E207 | ResolveMissingMechanism | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | E207_efectivo_emite_en_parse_por_ausencia_acreditada_de_mechanism_en_resolve;_no_cierra_J1.6_ni_tipa_Mechanism |
| | E208 | ComposeMissingRelations | E208 | ComposeMissingRelations | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | caso_compose_relations_vacias_svp_emite_hoy_E208_con_cobertura_explicita |
| | E209 | ComposeMissingPatterns | E209 | ComposeMissingPatterns | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | caso_compose_patterns_vacios_svp_emite_hoy_E209_con_cobertura_explicita |
| | E210 | MaxMinForbidden | E210 | MaxMinForbidden | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | max_keyword_cubierto_explícitamente |
| | E211 | SuperviseMetaNotSupervisor | E211 | SuperviseMetaNotSupervisor | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | supervise_wrong_role_y_supervise_coupled_wrong_role_cubren_procedencia_simple_y_acoplada |
| | | | E212 | SuperviseMetaNotEvalResult | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_J3_3_meta_eval_como_EvalResult_sin_reutilizar_E211_ni_E306 |
| | | | E213 | ProjectionSourceNotResult | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | protege_tipo_de_fuente_de_proyeccion_sin_identificador_autonomo_equivalente_en_la_IR |
| | | | E214 | ProjectionFieldNotFound | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | protege_pertenencia_del_campo_al_esquema_del_resultado;_target_context_mechanism_no_son_expresables_hoy_como_identificador_tras_el_punto |
| | | | E215 | GateTableSignatureMismatch | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | protege_aridad_y_codominio_por_posicion_entre_gate_y_AdmissibilityTable;_no_ejecuta_la_tabla_ni_calcula_GateResult_output |
| E301 | InconsistentCounts | E301 | FrameMutationForbidden | E301 | FrameMutationForbidden | no_directa | no_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_explicito |
| E302 | WrongThreshold | E302 | TrajectoryMutationForbidden | E302 | TrajectoryMutationForbidden | no_directa | no_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_explicito |
| E303 | ClassificationPrecedenceViolation | E303 | TransitionDataMissingHorizon | E303 | TransitionDataMissingHorizon | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | caso_transition_data_horizon_no_declarado_svp_emite_hoy_E303_con_cobertura_explicita |
| E304 | NonDeterministicGate | E304 | TrajectoryAlternanceViolation | E304 | TrajectoryAlternanceViolation | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | E009_y_E215_protegen_estructura_de_tabla_y_firma_de_entrada;_no_hay_ejecucion_material_de_GateResult_output |
| | | | E307 | UndeclaredHorizonEvent | si_directa | si_explicita | solo_implementacion | mantener_como_deuda_gobernada_bajo_Via_B | materializa_bajo_Via_B_la_obligacion_E403_de_la_IR_sin_reutilizar_el_ID_efectivo_colisionado |
| E305 | UnsafeUResolution | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E306 | UntaggedSupervisable | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E401 | FrameMutationAttempt | E401 | DomainPortContractViolation | E401 | DomainPortContractViolation | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | domain_chain_mismatch_cubierto_explícitamente |
| E402 | NonAppendOnlyTrajectory | E402 | AgentDomainContractViolation | E402 | AgentDomainContractViolation | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | agent_architecture_mismatch_cubierto_explícitamente |
| E403 | UndeclaredHorizonEvent | E403 | QueryContractViolation | E403 | QueryContractViolation | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | el_ID_E403_efectivo_sigue_divergente;_la_obligacion_de_la_IR_se_protege_funcionalmente_via_E307 |
| E404 | BrokenAlternation | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E405 | EmptyTrajectory | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E406 | InsufficientTransitionData | E406 | InsufficientTransitionData | E406 | InsufficientTransitionData | si_directa | si_explicita | coincide | mantener_vigente | convergencia_vigente:_J4_3_rechaza_induced_parameters_vacio;_no_cierra_por_si_sola_la_suficiencia_de_reconstruccion_del_operador_inducido |
| E501 | OpaqueJustification | E501 | SerializationNonDeterministic | E501 | SerializationNonDeterministic | no_directa | no_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | sin_caso_de_prueba_explicito |
| E502 | QueryMutatesTrajectory | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E503 | StrongConclusionUnderInsufficientCoverage | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E504 | UndeclaredLossyEncoding | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E505 | IllegalCompClosure | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E506 | AutomatedDesignDelegation | | | | | no_directa | no_explicita | solo_ir | reservar_para_fase_posterior | sin_contrato_efectivo_actual |
| E507 | QueryContextMismatch | E507 | UCoercionDetected | E507 | UCoercionDetected | si_directa | si_explicita | mismo_id_significado_distinto | regularizacion_documental_inmediata_y_convergencia_posterior | u_coercion_cubierto_explícitamente |