Ubicaciones sintácticas y perfil fuente ES/EN

RETP-159 · 12 de septiembre de 2026 · Candidata experimental.

Los errores de las primitivas sintácticas incluidas conservan ahora el intervalo de sus bytes originales. Cuando el punto de rechazo comprueba una forma constitutiva incompatible con el perfil seleccionado, entrega una causa específica y una explicación ES/EN. Los identificadores contextuales válidos, los comentarios y los literales conservan su tratamiento anterior.

Resultado y evidencia

Plan previo, casos y esperados y compromiso anterior al cambio. Resultado principal, observaciones, procesos y salidas, controles complementarios y medidas.

Las repeticiones no aumentan el número de fuentes distintas. El programa de prueba compara también las API detallada y heredada; las invocaciones internas adicionales no se contabilizan como casos nuevos. El registro de procesos conserva bytes de salida, códigos, comandos, identidad de binarios, tiempo y CPU. La memoria es el máximo acumulado de procesos hijos e incluye el compilador; no es memoria por caso ni el coste incremental del diagnóstico. No se ha constituido una comparación de rendimiento ni medido coste monetario o inferencia.

Cambio y compatibilidad

La candidata modifica dos archivos de la cápsula RETP-158: analizador sintáctico y diagnósticos. Comparación incremental.

El emisor registra la posición que conoce antes de devolver el error. La clasificación de grafía procede del índice léxico existente y del contexto de comprobación. No se interpreta el texto de Debug ni el centinela interno para determinar una causa. Las funciones que todavía no aportan esa información mantienen la ausencia de intervalo; no se les asigna por aproximación el último elemento consumido.

COMPILER-DIAGNOSTICS/2 añade FrontendCause::ForeignSurface y CD.FOREIGN_SURFACE. Es una sucesión observable de la API diagnóstica experimental: consumidores con correspondencias exhaustivas deberán contemplar la nueva variante. Las API heredadas conservan resultados, errores y precedencia. Los códigos canónicos E004/E115, la IR 0.3 y su proyección permanecen iguales en el corpus comprobado.

La batería original está conservada en antecedente-158/focal.rs. La sucesora focal_heredado_v2.rs cambia únicamente los dos esperados extranjeros: de causa genérica y rango ausente a causa específica e intervalo original. Este cambio de contrato se declaró antes de ejecutar la candidata. Los 40 esperados nuevos no se obtuvieron copiando sus salidas.

Reproducción

Descargue esta carpeta completa o PAQUETE_REPRODUCIBLE.zip. Con Linux, Python 3.10 o posterior y rustc con biblioteca estándar nativa:

python reproducir.py /ruta/absoluta/rustc /ruta/a/directorio/nuevo

Se ejecutó además la reproducción completa desde el paquete en un directorio nuevo: sus 77 archivos por versión y los dos documentos de resultado coinciden exactamente con la cualificación inicial. Las salidas, tiempos y registros de esa ejecución se conservan por separado en recepcion_portatil; no se suman como casos nuevos.

La reproducción comprueba el manifiesto y las cápsulas SHA-256, recupera 77 archivos por candidata y ejecuta la cualificación y los controles complementarios. No requiere red. Se ha utilizado rustc 1.98.0, destino x86_64-unknown-linux-gnu. El observador conserva los límites de 120 segundos por proceso y 2 MiB por flujo. Python recupera y observa; las decisiones SV se ejecutan en Rust.

Alcance y continuidad

Cortes de entrada: Lenguaje 03d00131fb0df234101f01c9ca5dfa5f22886ceb; laboratorio ce202d9420adb2c6189fce557ad74e2a276c3a0c, rama lab/playground-sv-permanente. Se cotejaron los 49 archivos del antecedente con el árbol publicado. Se consultaron AGENTS, Pilares completos, perfiles y ensamblaje, transición completa y relevos, contrato diagnóstico RETP-109/110, workflow V2 y plan de integración RETP-147. Es un incremento del paso 6; no cierra P6 del workflow ni cambia la secuencia general.

Incluye el despacho inicial y las primitivas peek_word, take_raw_word, take_dispatch_word, take_word, take_text, take_nat, word, sym, arrow y la etiqueta individual de take_tri. La modificación del punto de emisión no demuestra por sí sola exhaustividad de todos sus caminos; se conserva el inventario base.

Siguen pendientes los emisores compuestos de campos opcionales y admisibilidad, los validadores restantes, sus subcausas, la presentación y serialización final y DG01–DG14 global. legacy() conserva su política de acceso: la conservación del error anterior no lo convierte en texto saneado para publicación. No se acreditan WASI, navegador, recepción profesional ni seguridad material. DFL-001/011 y las demás deudas conservan sus límites. La reserva P3 permanece cerrada y P4/P5 mantienen sus compuertas.

El siguiente objeto es completar el inventario y la migración de los emisores diagnósticos restantes dentro del mismo paso. El encargo común externo continúa pendiente: este paquete expone código, esperados y resultados y permite reproducción, sin constituir una prueba ciega. No se ha ejecutado ningún proveedor externo. No se promueve código al núcleo productivo ni se cambia la visibilidad del laboratorio.

Estado: CONFORME_EN_ALCANCE_NATIVO; CIERRE_GLOBAL_PENDIENTE.