Recepción gobernada y comprobación observada
RETP-154. Candidata aislada sobre la candidata RETP-153; producción sigue en dba4d655280ae36172dd601377367a0f89b69010. Plan fijado antes de ejecutar.
Objeto finito
Realizar dos operaciones que faltan en la vía examinada: recibir un acto previamente admitido junto con su plan T-0 fijado, y producir una comprobación técnica desde una comparación ejecutada. El instalador de confianza queda fuera de la entrada de la IA. La recepción exige la premisa opaca existente: no la fabrica ni interpreta un documento como autoridad. Se conserva expresamente la ausencia del productor material de esa premisa.
La candidata no es un autenticador institucional. Su ensayo positivo usa la premisa sintética interna de R1, identificada como tal. No se convierte la comparación de bytes en verificador universal: sólo una obligación específica, con correspondencia exacta instalada previamente. Las obligaciones nucleares de autoridad, validez y no autoacreditación quedan excluidas de ese comparador.
Casos comprometidos
- Acto, emisor declarado y versión iguales: T-0 real produce su continuidad y conserva bytes.
- Acto alterado, emisor declarado distinto y versión distinta: rechazo anterior a T-0; luego el original todavía puede recibirse.
- Segunda recepción del mismo preparado: rechazo, sin segunda continuidad.
- Plan inválido: se conserva el error T-0; no se entrega continuidad; intento terminal.
- Entrada vacía o superior a 65536 bytes: rechazo técnico. Los límites se comprueban antes de copiar.
- Comprobación específica aplicable, entradas iguales: resultado técnico acreditado con evidencia exacta.
- Bytes distintos: refutado; evidencia ausente: no verificable. Ninguno se transforma en Tri.U.
- Descriptor o aplicabilidad de otra continuidad con contenido idéntico: rechazo antes de comparar.
- Intento de acreditar una obligación nuclear mediante igualdad de bytes: rechazo.
- El resultado recibido de la IA no es argumento de la función verificadora. El resultado comprobado permanece unido a la evidencia y a la continuidad prestada.
- Cliente externo sin cfg(test): no puede preparar la instalación de confianza ni fabricar la premisa. Los accesores ordinarios deben compilar.
- Regresión completa de las 217 pruebas de la candidata precedente, en depuración y optimización, más los testigos nuevos.
Límites y criterio de cierre
Recepción y comparación conformes en el alcance ensayado no acreditan la raíz de confianza, autenticidad de emisor, vigencia material, interpretación del acto, cobertura profesional ni permiso. El plan se aporta ya fijado por el instalador competente; no se deriva de prosa ni se vuelve a elegir al recibir. La candidata no publica una conversión de la comprobación a permiso: la procedencia de todos los requisitos y su ligadura al ejercicio deben conservarse antes de habilitar ese enlace.
Una etiqueta, hash, firma sin emisor reconocido o booleano de la IA no sustituyen la premisa. El límite de 65536 bytes es del montaje de recepción, no del álgebra SV. No se acredita persistencia, aislamiento de host, WASM, P3 reservado, P4 o P5. No se modifican dominios, agentes, células, Frame, terna ni diagnósticos del catálogo.