SV Documentación de laboratorios
Abrir Playground · Panel de pruebas

DOCUMENTACIÓN / PERFIL TECNOLÓGICO Y CONTINUIDAD

Perfil tecnológico y continuidad

Marco canónico en Calidad: perfiles, contratos y ensamblaje

Lectura prioritaria para continuar el cierre nuclear. El acta distingue representación, dominio y soporte tecnológico, precisa qué debe conservar y comprobar la semántica y la IR y exige ensayo previo de las realizaciones tecnológicas en el laboratorio. Leer el acta canónica en Calidad · Consultar el corte de integración.

Esta página mantiene un vínculo explícito a la sede canónica. Los registros y la candidata 020 conservan sus evidencias y límites propios.

Secuencia de cierre desde PR #61. Consultar etapas, relevos IMM/CYB y obligaciones tecnológicas · Corte integrado. Adenda del acta de transición existente · RETP-076.

Candidata documental basada en evidencia existente

PT-SV-LOCAL · 0.1-candidata. Terna de representación, dominio y tecnología; 14 obligaciones trazadas. Este registro no añade ejecuciones materiales ni acredita una integración completa.

Prototipo y pruebas 0.2 · Comprobación 016 · Comparación 018

Fecha: 6 de septiembre de 2026. Registro: 020. Identificador documental de la candidata: PT-SV-LOCAL. Versión: 0.1-candidata. Estado: PROPUESTA_DOCUMENTAL_TRAZADA · REALIZACION_INTEGRADA_NO_ACREDITADA.

Dirección del proyecto: Juan Antonio Lloret Egea. Preparación técnica: Watson, bajo la autorización de trabajo de esta sesión. La autorización permite preparar, registrar y contrastar la propuesta; no convierte su contenido candidato en una nueva versión normativa de la DSL o de la IR.

1. Encargo y punto de partida

Organizar la realización mediante tres componentes identificados y con contrato propio: representación, dominio y soporte tecnológico. El perfil tecnológico se construye desde los artefactos y resultados existentes del laboratorio. Cada obligación debe indicar su fuente, responsable, evidencia reutilizable, alcance y brecha. La coincidencia numérica de esta terna con el alfabeto SV no constituye una equivalencia semántica ni un teorema de minimalidad.

La unidad de trabajo es documental. No se han repetido campañas materiales, cambiado prototipos, añadido una segunda semántica ni seleccionado .NET, FFI o WASM como plataforma final. Las propiedades observadas conservan el corte, el entorno y el adversario de su prueba original.

SedeCorte de entradaFunción
SV-lenguaje-de-computacion, main230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4Núcleo y rectores, consulta sin modificación
PR 61, cierre-nuclear-20260904ad8e8dd30930e35b75bf5f2fad78938d36233b78N0 y N0-01, consulta sin integración
SV-matematica-semantica-cuaternaria, lab/infraestructura-sv-2026-09-06243bb59f82b3b859e49394dfddeba82f4bf11848Laboratorio y evidencia canónica experimental
SVcustos-dataset, lab/lenguaje-sv-beta41cb8eb51828cec0cf3e11e36b156456e20437ecProyección documental en el subdirectorio de infraestructura

Se han leído AGENTS.md, los Pilares completos, el acta de arquitectura revisada, RETP-072/073, la especificación de perfiles fuente, la secuencia N0 aplicable, el cierre de R1, el contrato experimental 0.2, su mapa, la correspondencia CS01–CS09 con la corrección 016, los registros 012/016/018 y el índice y renderizador documentales existentes. El índice de fuentes 020 conserva las identidades consultadas y distingue lectura documental de identificación de artefactos en el árbol Git.

2. Terna y reparto de competencias

ComponenteDeclaración propiaEstado que se conserva
RepresentaciónPerfil fuente por unidad y versiones aplicables de gramática e IR; misma identidad canónica y semántica SVSVP-ES y SVP-EN constituidos; otros idiomas requieren constitución y prueba propias
DominioIdentidad, versión, perímetro, parámetros, constitución, relaciones y reglas entregados por su unidad competenteContrato completo y cobertura de agente todavía no representados ni comprobados de extremo a extremo
TecnologíaCapacidades requeridas y ofrecidas, interfaces, dependencias, permisos, límites y estados materiales de una realización identificadaCandidata documental apoyada en realizaciones experimentales parciales

El contrato del agente liga su cobertura recibida, operaciones y permisos con las capacidades tecnológicas que requiere. No se inventa cobertura ni se transforma una capacidad disponible en una facultad autorizada.

Infraestructuras médicas puede ser objeto de un dominio de conocimiento técnico. El soporte tecnológico describe los medios de ejecución de ese agente o de otro. Ambas identidades se declaran por separado aunque compartan tecnología. Este registro no constituye un nuevo dominio, no mezcla Inmunología con Ciberseguridad y no crea agentes materiales.

El núcleo conserva Σ={0,1,U}, b≥3, n=b² y la célula como vector plano, ordenado y posicional. Recibe y comprueba lo representable; no escoge células, asignaciones, reglas clínicas ni coberturas. Frontera y anfitrión conservan y materializan los contratos. Los fallos técnicos permanecen fuera de Tri.U. La IA auxiliar conserva el permiso explícito y la subordinación fijados en los Pilares.

3. Qué hereda esta candidata

Activo identificadoEvidencia existenteUso y límite de reutilización
prototipo-v02 y herramientas/fase02.pyRegistro 012: 24 resultados correctos de 0.2, 17 históricos y 7 de limpieza; paquete ejecución 34022055251Reutilizar transporte, control local, ligadura, cancelación, recuperación y sus oráculos. El efecto es SQLite sintético; no ejecuta SV ni R1
comprobacion-016Registro 016: 14 criterios y 54000 muestras con compile_svp realReutilizar la distinción validez/identidad y el coste de una/dos compuertas. La referencia de identidad es una fixture exacta; no acredita autoridad humana
comparacion-018, adaptadores C y anfitrión .NETRegistro 018: 79 pares byte a byte y 36000 muestrasReutilizar el enlace nativo/FFI y WASM desde la misma fuente Rust. Se ejerció compilación y serialización EN, no álgebra completa, R1 ni ensamblaje
Contrato experimental 0.2 y mapaEstados, precondiciones, canales, límites y testigos identificadosBase de requisitos materiales. La versión 2 del mensaje experimental no es una versión de ABI SV
Correspondencia CS01–CS09 y corrección 016Obligaciones de enlace y pares positivo/negativo ya especificadosReutilizar esos criterios. Su ejecución de enlace sigue pendiente; no crear una batería equivalente con otros nombres
Fuentes, comandos, salidas, muestras y manifiestosPaquetes 012, 016 y 018 y controles conservadosCustodia y reproducción referida al corte. Este registro no cuenta esos resultados como ejecuciones nuevas

El resultado de 016 permite dejar fuera del requisito general la segunda validación ensayada: no añadió protección frente a la sustitución probada y aproximadamente duplicó la latencia mediana. No refuta todas las posibles esclusas.

018 mantiene dos alternativas materiales: FFI de menor coste observado y WASM con contención de los dos fallos sintéticos. El anfitrión pudo modificar el centinela en ambas rutas; ninguna acredita protección frente a ese actor. La ejecución local de 018 demuestra independencia de Actions para esa tanda, con preparación de herramientas todavía dependiente de proveedores. No se extrapolan medianas, picos, consumo ni garantías entre 012, 016 y 018.

4. Contenido contractual propuesto

PT-SV-LOCAL y sus identificadores PT01–PT14 son referencias documentales de esta candidata. No son palabras de la DSL, tipos de IR, capacidades ejecutables ni una codificación opaca aceptada por el núcleo. La sede y sintaxis del contrato ejecutable deberán resolverse en la puerta competente.

Declaración que deberá quedar explícitaQué exige a las otras piezasQué deberá entregar o acreditar la realización
Identidad y versión del perfil y de cada realizaciónReferencias exactas a representación, contratos recibidos, núcleo y artefactos autorizadosResolución inequívoca, procedencia y compatibilidad comprobada; un ID o un hash aislados no acreditan autorización
Operaciones y representación admitidasEntrada, salida y diagnóstico definidos por la versión competente; perfil fuente explícito cuando procedaUso de la única fuente semántica y conservación de lo declarado; rechazo de operaciones no soportadas
Necesidades del dominio y del agenteConstitución recibida, cobertura, operaciones, condiciones y permisos explícitosMedios suficientes para ese encargo y respeto de sus límites; sin completar lo que falta
Capacidades y dependenciasNecesidades declaradas, sin autodetección de facultadesCapacidades ofrecidas, mecanismos que las imponen y dependencias de construcción, ejecución, publicación y recuperación diferenciadas
Recursos y ciclo de vidaPresupuestos aprobados para un entorno y encargo concretosLímites efectivos, estado de cancelación, parada, reinicio y recuperación; una medida observada no constituye una cota garantizada
Resultados, efectos y fallosIdentidad y ligaduras de la operación, autoridad y régimen de ejercicio cuando sean aplicablesResultado y diagnóstico de su capa; estado material desconocido cuando no pueda confirmarse; nunca convertir pérdida de recibo en ausencia de efecto o Tri.U
Composición y evoluciónComponentes, versiones, conexiones, transformaciones legítimas y permisos identificadosCompatibilidad del conjunto y conservación de obligaciones; actualización trazada y revalidación de lo afectado

Una propiedad marcada como no acreditada no puede satisfacer una obligación exigida por un agente. Tampoco se rellena mediante una cadena libre o un indicador de autorización. Los requisitos que todavía no puedan representarse quedan pendientes y bloquean únicamente la promoción que dependa de ellos.

5. Ensamblaje: tres operaciones distinguibles

Esta candidata no obliga a unir bus 0.2, compuerta 016 y anfitrión 018 en una sola instalación. Son activos para construir y comparar el ensamblaje mínimo que corresponda al contrato. No se introduce una nueva dependencia para conectar piezas que ya disponen de una interfaz suficiente.

6. Matriz de obligaciones y brechas

La matriz CSV 020 reproduce estas filas. Los IDs ordenan la trazabilidad documental; cada testigo histórico conserva su nombre. «Parcial» describe el alcance de la evidencia heredada, nunca una aceptación automática del conjunto.

IDObligación y sedeEvidencia que se conservaBrecha y siguiente acción
PT01Identidad, versión y procedencia; frontera y custodiaPilares §§4–5; manifiestos 016/018 y objetos GitParcial: ligar perfiles, contratos, artefacto cargado y autoridad; conservar la exigencia en el contrato de frontera
PT02Idioma, unidad fuente y ensamblaje; Lenguaje y fronteraEspecificación ES/EN §§6–10; 018 sólo EN monofuenteNo extender el alcance de 018; reutilizar los casos ES/EN y de ensamblaje cuando la ruta los admita
PT03Constitución, cobertura y permisos; dominio, agente y LenguajePilares §§2–5; CS03No representado de extremo a extremo: resolver en F/F-IF y retornos IMM/CYB; no fabricar contratos desde el laboratorio
PT04Integridad de representación y diagnóstico; Lenguaje y fronteraParidad de 79 programas en 018; CS08–CS09; deudas N0Parcial: respetar reparación de oráculos y K1 antes de atribuir protección general; Debug no es ABI diagnóstica interversiones
PT05Procedencia gobernada y ligadura del efecto; R1 y adaptadorR1 intraproceso cerrado; CS01–CS02 especificados; corrección API 016Enlace no ejecutado: preparar la fixture mediante API pública trazada y rechazar la vía material sin procedencia gobernada
PT06Reentrega y nuevo ejercicio; frontera de ejecuciónI03-replay/concurrent en 0.2; CS04–CS05Parcial: conservar separado request_id de ExerciseRef; la deduplicación no autoriza otro ejercicio ni un reintento SingleUse
PT07Cancelación, revocación y consulta; frontera y autoridad competenteA07-before/after/binding/authority/offline/restart; I08; CS06–CS07Parcial: integrar autoridad y alcance SV; un vencimiento de E/S no constituye cancelación
PT08Aislamiento respecto del actor declarado; anfitrión y sistemaV12–V14 de 016; centinela y fallos sintéticos de 018Parcial: comparar frontera de proceso y recuperación nativa si se exige contención; anfitrión comprometido sigue abierto
PT09Presupuestos y disponibilidad; infraestructuraA05-positive/capacity-control/quota; medidas 012/016/018Parcial: fijar presupuestos del encargo antes de ensayar carga, límites agregados y equipos objetivo; no declarar SLO con medianas
PT10Persistencia y recuperación; continuidad materialA02-recovery y A06-transaction; límites del cierre R1Parcial: no promover reinicio sintético a resistencia a rollback, clonación, pérdida de energía o recuperación gobernada
PT11Dependencias y autonomía de ejecución; distribución y operaciónContrato 0.2 §7; 018 local, sin API remotas en ejecuciónParcial: conservar inventarios y distinguir construcción, ejecución y publicación; restauración integral fuera del proveedor pendiente
PT12Ensamblaje tecnológico; contratos de frontera y agenteActa de arquitectura §§3–4; activos separados 0.2/016/018Criterio candidato: declarar ligaduras y comprobar el conjunto necesario sin ampliar permisos ni sumar garantías por composición
PT13Custodia semántica; núcleo y destinosUna fuente Rust; paridad 018; Pilares §7No atribuir álgebra completa a compile_svp; conservar puerta algebraica Rust y K1-T antes de producción por Ternarizer
PT14Evolución y mantenimiento; responsables de contratos y realizaciónPilares §9; acta §§3 y 7; versiones y huellas 018Criterio candidato: cambio identificado, compatibilidad o ruptura explícita, pruebas afectadas y retorno trazado; mantenimiento propio no desaparece

7. Brechas que condicionan el siguiente trabajo

La lectura no ha demostrado una insuficiencia universal nueva que obligue a modificar hoy gramática, IR o núcleo. Ha localizado obligaciones representacionales ya registradas y un enlace material pendiente. Cualquier insuficiencia futura deberá quedar asociada a un caso concreto, pérdida demostrada y sede competente.

El siguiente trabajo de infraestructura con evidencia ya preparada es el enlace CS01, CS02, CS04 y CS05, conforme a la correspondencia y a su adenda 016. Antes de contarlo como ejecutable hay que disponer de una fixture legítima por la API pública y definir el acople que cierre la vía alternativa hacia el efecto. La mera inaccesibilidad de un constructor Rust no acredita autenticidad ante un receptor remoto. CS03 espera contratos constituidos y representación suficiente.

La vía pública de referencia es decide_permit_traced, TracedPermitDecision::Granted, mediate_traced_permit, execute_traced_mediated y EffectExecutor::execute, bajo ProtectedDecisionContinuity. Se conservarán los errores trazados. No se importarán las funciones internas crudas como API pública ni se usarán constructores privados, unsafe o deserialización de objetos sellados para completar una fixture ausente.

El contraste nativo en proceso separado sólo se justifica si el contrato exige contención comparable a la variante WASM ensayada. Su resultado deberá incluir coste y recuperación. No existe en esta candidata una elección de plataforma ni un presupuesto inventado para decidirla.

8. Continuidad del cierre nuclear

Se conserva la secuencia acordada: PR61/N0-01; reparación de oráculos; K1 empezando por N0-02; F; F-IF; retorno G/H de Inmunología e incorporación justificada; falsación I/J de Ciberseguridad; puerta algebraica Rust; comprobación IMM/CYB; K2; contrato operacional de frontera; consolidación. La composición de agentes se conserva separada.

Esta candidata aporta el inventario tecnológico y las preguntas de frontera a esa secuencia. F/F-IF recibe necesidades y pérdidas observables, no detalles de bibliotecas como doctrina de dominio. K2 conserva su sede para identidad, procedencia y ensamblaje. El contrato operacional recibe las obligaciones materiales PT01–PT14 y sus evidencias.

La autorización de esta sesión permite trabajar y documentar este encaje. No integra la PR 61 ni extiende por sí misma el alcance de R1. RETP-071 conserva R2 abierto; el acta de cierre de R1 no lo abrió por sí sola. Este trabajo no cambia esos estados.

9. Fuentes y criterio de continuación

Una continuación debe leer este registro junto con sus fuentes y el estado vigente de los tres repositorios. Reutilizará primero el artefacto y el oráculo existentes. Sólo añadirá o repetirá una prueba por una brecha identificada, un cambio relevante o una puerta exigible. Toda promoción conservará por separado obligación, realización, prueba, resultado y límite.