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.
| Sede | Corte de entrada | Función |
|---|---|---|
| SV-lenguaje-de-computacion, main | 230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4 | Núcleo y rectores, consulta sin modificación |
| PR 61, cierre-nuclear-20260904 | ad8e8dd30930e35b75bf5f2fad78938d36233b78 | N0 y N0-01, consulta sin integración |
| SV-matematica-semantica-cuaternaria, lab/infraestructura-sv-2026-09-06 | 243bb59f82b3b859e49394dfddeba82f4bf11848 | Laboratorio y evidencia canónica experimental |
| SVcustos-dataset, lab/lenguaje-sv-beta | 41cb8eb51828cec0cf3e11e36b156456e20437ec | Proyecció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
| Componente | Declaración propia | Estado que se conserva |
|---|---|---|
| Representación | Perfil fuente por unidad y versiones aplicables de gramática e IR; misma identidad canónica y semántica SV | SVP-ES y SVP-EN constituidos; otros idiomas requieren constitución y prueba propias |
| Dominio | Identidad, versión, perímetro, parámetros, constitución, relaciones y reglas entregados por su unidad competente | Contrato completo y cobertura de agente todavía no representados ni comprobados de extremo a extremo |
| Tecnología | Capacidades requeridas y ofrecidas, interfaces, dependencias, permisos, límites y estados materiales de una realización identificada | Candidata 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 identificado | Evidencia existente | Uso y límite de reutilización |
|---|---|---|
| prototipo-v02 y herramientas/fase02.py | Registro 012: 24 resultados correctos de 0.2, 17 históricos y 7 de limpieza; paquete ejecución 34022055251 | Reutilizar transporte, control local, ligadura, cancelación, recuperación y sus oráculos. El efecto es SQLite sintético; no ejecuta SV ni R1 |
| comprobacion-016 | Registro 016: 14 criterios y 54000 muestras con compile_svp real | Reutilizar 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 .NET | Registro 018: 79 pares byte a byte y 36000 muestras | Reutilizar 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 mapa | Estados, precondiciones, canales, límites y testigos identificados | Base de requisitos materiales. La versión 2 del mensaje experimental no es una versión de ABI SV |
| Correspondencia CS01–CS09 y corrección 016 | Obligaciones de enlace y pares positivo/negativo ya especificados | Reutilizar esos criterios. Su ejecución de enlace sigue pendiente; no crear una batería equivalente con otros nombres |
| Fuentes, comandos, salidas, muestras y manifiestos | Paquetes 012, 016 y 018 y controles conservados | Custodia 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ícita | Qué exige a las otras piezas | Qué deberá entregar o acreditar la realización |
|---|---|---|
| Identidad y versión del perfil y de cada realización | Referencias exactas a representación, contratos recibidos, núcleo y artefactos autorizados | Resolución inequívoca, procedencia y compatibilidad comprobada; un ID o un hash aislados no acreditan autorización |
| Operaciones y representación admitidas | Entrada, salida y diagnóstico definidos por la versión competente; perfil fuente explícito cuando proceda | Uso de la única fuente semántica y conservación de lo declarado; rechazo de operaciones no soportadas |
| Necesidades del dominio y del agente | Constitución recibida, cobertura, operaciones, condiciones y permisos explícitos | Medios suficientes para ese encargo y respeto de sus límites; sin completar lo que falta |
| Capacidades y dependencias | Necesidades declaradas, sin autodetección de facultades | Capacidades ofrecidas, mecanismos que las imponen y dependencias de construcción, ejecución, publicación y recuperación diferenciadas |
| Recursos y ciclo de vida | Presupuestos aprobados para un entorno y encargo concretos | Límites efectivos, estado de cancelación, parada, reinicio y recuperación; una medida observada no constituye una cota garantizada |
| Resultados, efectos y fallos | Identidad y ligaduras de la operación, autoridad y régimen de ejercicio cuando sean aplicables | Resultado 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ón | Componentes, versiones, conexiones, transformaciones legítimas y permisos identificados | Compatibilidad 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
- Ensamblaje fuente: cada unidad conserva bytes, nombre y perfil; converge a la representación canónica antes de la validación global. La capacidad ES/EN existente no traduce identificadores ni datos del dominio.
- Composición de dominios y agentes: exige contratos explícitos, cobertura y relaciones compatibles. No se acredita por reunir archivos ni por compartir nombres. Se mantiene posterior a los contrastes singulares acordados.
- Composición tecnológica: deberá declarar qué componente satisface cada necesidad y qué canal une cada par. Debe verificar restricciones conjuntas, permisos, diagnóstico y comportamiento ante fallo. Sumar PASS o recursos de ensayos separados no demuestra una realización compuesta.
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.
| ID | Obligación y sede | Evidencia que se conserva | Brecha y siguiente acción |
|---|---|---|---|
| PT01 | Identidad, versión y procedencia; frontera y custodia | Pilares §§4–5; manifiestos 016/018 y objetos Git | Parcial: ligar perfiles, contratos, artefacto cargado y autoridad; conservar la exigencia en el contrato de frontera |
| PT02 | Idioma, unidad fuente y ensamblaje; Lenguaje y frontera | Especificación ES/EN §§6–10; 018 sólo EN monofuente | No extender el alcance de 018; reutilizar los casos ES/EN y de ensamblaje cuando la ruta los admita |
| PT03 | Constitución, cobertura y permisos; dominio, agente y Lenguaje | Pilares §§2–5; CS03 | No representado de extremo a extremo: resolver en F/F-IF y retornos IMM/CYB; no fabricar contratos desde el laboratorio |
| PT04 | Integridad de representación y diagnóstico; Lenguaje y frontera | Paridad de 79 programas en 018; CS08–CS09; deudas N0 | Parcial: respetar reparación de oráculos y K1 antes de atribuir protección general; Debug no es ABI diagnóstica interversiones |
| PT05 | Procedencia gobernada y ligadura del efecto; R1 y adaptador | R1 intraproceso cerrado; CS01–CS02 especificados; corrección API 016 | Enlace no ejecutado: preparar la fixture mediante API pública trazada y rechazar la vía material sin procedencia gobernada |
| PT06 | Reentrega y nuevo ejercicio; frontera de ejecución | I03-replay/concurrent en 0.2; CS04–CS05 | Parcial: conservar separado request_id de ExerciseRef; la deduplicación no autoriza otro ejercicio ni un reintento SingleUse |
| PT07 | Cancelación, revocación y consulta; frontera y autoridad competente | A07-before/after/binding/authority/offline/restart; I08; CS06–CS07 | Parcial: integrar autoridad y alcance SV; un vencimiento de E/S no constituye cancelación |
| PT08 | Aislamiento respecto del actor declarado; anfitrión y sistema | V12–V14 de 016; centinela y fallos sintéticos de 018 | Parcial: comparar frontera de proceso y recuperación nativa si se exige contención; anfitrión comprometido sigue abierto |
| PT09 | Presupuestos y disponibilidad; infraestructura | A05-positive/capacity-control/quota; medidas 012/016/018 | Parcial: fijar presupuestos del encargo antes de ensayar carga, límites agregados y equipos objetivo; no declarar SLO con medianas |
| PT10 | Persistencia y recuperación; continuidad material | A02-recovery y A06-transaction; límites del cierre R1 | Parcial: no promover reinicio sintético a resistencia a rollback, clonación, pérdida de energía o recuperación gobernada |
| PT11 | Dependencias y autonomía de ejecución; distribución y operación | Contrato 0.2 §7; 018 local, sin API remotas en ejecución | Parcial: conservar inventarios y distinguir construcción, ejecución y publicación; restauración integral fuera del proveedor pendiente |
| PT12 | Ensamblaje tecnológico; contratos de frontera y agente | Acta de arquitectura §§3–4; activos separados 0.2/016/018 | Criterio candidato: declarar ligaduras y comprobar el conjunto necesario sin ampliar permisos ni sumar garantías por composición |
| PT13 | Custodia semántica; núcleo y destinos | Una fuente Rust; paridad 018; Pilares §7 | No atribuir álgebra completa a compile_svp; conservar puerta algebraica Rust y K1-T antes de producción por Ternarizer |
| PT14 | Evolución y mantenimiento; responsables de contratos y realización | Pilares §9; acta §§3 y 7; versiones y huellas 018 | Criterio 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
- Pilares completos, corte nuclear.
- Acta de arquitectura.
- Perfiles fuente y ensamblaje.
- Radiografía N0 del corte de PR61.
- Cierre y límites de R1.
- Contrato experimental 0.2, privado.
- Correspondencia CS01–CS09 y corrección 016, privado.
- Registro 012, privado.
- Registro 016, privado.
- Registro 018, privado.
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.