Reproducción del receptor A/V
Trabajar sobre el commit de preparación registrado en resultados-1/CORTES.json, conservando el directorio hermano semantica-a sin modificaciones. Se requiere Rust 1.98.0, destino wasm32-wasip1 y Node 24.19.0. No se instala ni usa Python, una API de proveedor o dependencia de crates. WASI se inicia sin entorno ni directorios preabiertos.
- Verificar
FIJACION_PREVIA.json: fuentes del incremento, entradas, esperados y cinco fuentes heredadas. - Designar explícitamente otra carpeta para una reproducción independiente:
ejecutar.mjsrechaza sobrescribirresultados-1. No eliminar una ronda fallida para repetirla. - Establecer
SV_AV_RUSTCcon la ruta del compilador ySV_AV_CORTE_CALIDAD/SV_AV_CORTE_LABcon los commits de preparación. Ejecutarnode ejecutar.mjsen una copia sin resultados previos.
Se compilan dos artefactos por cada una de las cuatro configuraciones: receptor sin corpus incorporado y controles con --cfg controles_publicos. El primero sólo recibe entradas por el transporte descrito; el segundo ejerce los casos fijados y sus aserciones Rust. El conductor captura y compara bytes, huellas, estados reportados y eventos; no resuelve semántica ni decide oráculos.
preparar-controles.mjs documenta la procedencia de los datos y no es necesario para ejecutar: sus archivos de salida ya están fijados. Si se estudia su generación, utiliza únicamente la captura pública nativo-debug de RETP-135, nunca P3. tabla exporta expresiones constantes, sin ejecutar una consulta.
Una ejecución fallida permanece como resultado. La reproducción por un tercero no se sumará a la muestra original ni se confundirá con participación nueva de un modelo. No se ejecuta una reproducción adicional sólo para mejorar cifras.