{
  "schema": "sv-laboratory-documentation/2",
  "date": "2026-09-06",
  "source_commit": "f973904d58cd2a9f28cb93e9c41fe2c5893dce68",
  "public_baseline": "e101cede95e2094875123bef36bef4254ed2010b",
  "run_id": "34010741314",
  "continuation_status": "7 PASS · 1 FAIL · 1 BLOCKED · 0 ERROR",
  "continuation_results": [
    {
      "id": "I07-revision",
      "status": "PASS",
      "claim": "La precondición de revisión impide adelantar una modificación dependiente",
      "remaining": [
        "Orden causal general no representado por el protocolo"
      ]
    },
    {
      "id": "I08-lock",
      "status": "PASS",
      "claim": "Revocación persistida antes de que el receptor pueda obtener la transacción de escritura",
      "remaining": [
        "No hay barrera instrumentada entre validación y compromiso; esa carrera exacta permanece pendiente"
      ]
    },
    {
      "id": "C04-logs",
      "status": "PASS",
      "claim": "Los registros y capturas examinados no contienen el canario excluido ni las claves binarias",
      "remaining": [
        "Volcados de memoria, codificaciones alternativas y canales laterales no examinados"
      ]
    },
    {
      "id": "C05-keys",
      "status": "PASS",
      "claim": "Un segundo juego independiente de credenciales no abre el recibo del primer participante",
      "remaining": [
        "No acredita aislamiento de varios participantes con credenciales compartidas ni políticas por participante"
      ]
    },
    {
      "id": "C06-captures",
      "status": "PASS",
      "claim": "Las capturas persistidas tras reiniciar el bus no contienen el canario en claro",
      "remaining": [
        "No examina disco no asignado, intercambio ni memoria residual"
      ]
    },
    {
      "id": "A05-deadline",
      "status": "FAIL",
      "claim": "Comprobar si el plazo de 2 s limita la interacción completa",
      "remaining": [
        "FAIL indica bloqueo reproducido: el plazo por lectura no es un plazo absoluto ni un presupuesto agregado",
        "Reserva de control y capacidad agregada no implementadas"
      ]
    },
    {
      "id": "A07-invalid",
      "status": "PASS",
      "claim": "Un campo de cancelación ajeno al contrato se rechaza y no cancela otra petición",
      "remaining": []
    },
    {
      "id": "A07-authorized",
      "status": "BLOCKED",
      "claim": "Cancelación autorizada y correlacionada con una petición",
      "remaining": [
        "Requiere contrato experimental explícito y realización antes de evaluarse"
      ]
    },
    {
      "id": "A08-bounded",
      "status": "PASS",
      "claim": "Tres intentos con bus detenido no generan efectos; el restablecimiento permite un compromiso",
      "remaining": [
        "La observación es finita; un único camino permanentemente caído no puede acreditar continuidad"
      ]
    }
  ],
  "evidence_url": "https://github.com/juantoniolloretegea/SV-matematica-semantica-cuaternaria/blob/lab/infraestructura-sv-2026-09-06/laboratorio-de-infraestructura-SV/registros/005-CONTINUACION_2026_09_06.md",
  "archive_sha256": "d07309baecc2ab7372a3ca28c4d43086786714d119ebb9a53dac2192ec229e22",
  "references": {
    "playground_private": "https://github.com/juantoniolloretegea/SV-matematica-semantica-cuaternaria/tree/c74740c289be27af4add1badcf93543c02b3c5de/laboratorio/playground_web",
    "beta_lab": "https://github.com/juantoniolloretegea/SV-matematica-semantica-cuaternaria/tree/fa43dc49adf9da8cff72d1a03c981c77d27ed93f",
    "protocol": "https://github.com/juantoniolloretegea/SVcustos-dataset/blob/e101cede95e2094875123bef36bef4254ed2010b/docs/PROTOCOLO_V2_1_DE_CLASIFICACION_TRANSITO_VALIDACION_PROMOCION_Y_DESPLIEGUE_DEL_LENGUAJE_SV_2026_08_29.md",
    "rector": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4/docs/calidad/PILARES_Y_RESTRICCIONES_DE_DISENO_DEL_LENGUAJE_DE_COMPUTACION_SV_2026_09_05.md",
    "architecture": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4/docs/calidad/ACTA_TECNICA_DE_ARQUITECTURA_DE_SOFTWARE_NUCLEO_FRONTERA_Y_HOST_SV_2026_09_04.md",
    "private_index": "https://github.com/juantoniolloretegea/SV-matematica-semantica-cuaternaria/blob/lab/infraestructura-sv-2026-09-06/laboratorio-de-infraestructura-SV/documentacion/INDICE.md"
  },
  "locations": [
    {
      "object": "Lenguaje estable y calidad",
      "repository": "SV-lenguaje-de-computacion",
      "branch": "main",
      "path": "docs/calidad/; rust/",
      "role": "Definición, realización e historial estable del Lenguaje."
    },
    {
      "object": "Antecedente privado del Playground",
      "repository": "SV-matematica-semantica-cuaternaria",
      "branch": "lab/playground-sv-permanente",
      "path": "laboratorio/playground_web/",
      "role": "Fuentes históricas del entorno experimental; B2 conserva su propia procedencia."
    },
    {
      "object": "Playground Beta B2 publicado",
      "repository": "SVcustos-dataset",
      "branch": "lab/lenguaje-sv-beta",
      "path": "docs/",
      "role": "Distribución pública experimental y documentos de uso."
    },
    {
      "object": "Experimento de infraestructura",
      "repository": "SV-matematica-semantica-cuaternaria",
      "branch": "lab/infraestructura-sv-2026-09-06",
      "path": "laboratorio-de-infraestructura-SV/",
      "role": "Fuente y registro privado del experimento sintético."
    },
    {
      "object": "Punto de entrada de ejecución",
      "repository": "SV-matematica-semantica-cuaternaria",
      "branch": "lab/infraestructura-sv-2026-09-06",
      "path": ".github/workflows/laboratorio-infraestructura-sv.yml",
      "role": "Ubicación técnica requerida por GitHub Actions."
    },
    {
      "object": "Revisión pública de infraestructura",
      "repository": "SVcustos-dataset",
      "branch": "lab/lenguaje-sv-beta",
      "path": "docs/laboratorio-de-infraestructura-SV/",
      "role": "Proyección estática seleccionada; incluye documentacion/."
    },
    {
      "object": "Fuente de las fichas documentales",
      "repository": "SV-matematica-semantica-cuaternaria",
      "branch": "lab/infraestructura-sv-2026-09-06",
      "path": "laboratorio-de-infraestructura-SV/documentacion/",
      "role": "Catálogo versionado e índice de fuentes; genera la proyección pública."
    }
  ],
  "pending": [
    {
      "front": "Disponibilidad del plano de datos",
      "status": "Límite estructural abierto",
      "remaining": "Se supera una conexión lenta y se reserva control local bajo cuatro lectores ocupados. Un bus único que no entrega permanentemente impide la disponibilidad de datos; falta decidir topología y condiciones operacionales."
    },
    {
      "front": "Cancelación y autoridad",
      "status": "Comprobación experimental parcial",
      "remaining": "Cancelación previa, posterior, persistente, ligada al contenido y por canal independiente comprobadas. Faltan gobierno de producción, claves y permisos por participante y dominio."
    },
    {
      "front": "I07 · Orden causal general",
      "status": "No representado",
      "remaining": "Una revisión transaccional rechaza inversión y conflictos de identidad. No representa precedencia general ni composición de operaciones SV."
    },
    {
      "front": "I08 · Validación y compromiso",
      "status": "Carreras instrumentadas superadas",
      "remaining": "Revocación y cancelación entre validación y transacción; BUSY durante compromiso. Falta integración con la frontera SV real."
    },
    {
      "front": "C04–C06 · Confidencialidad completa",
      "status": "Comprobación parcial",
      "remaining": "Canarios y claves ausentes de las capturas y salidas examinadas; control protegido por UID. Faltan volcados, residuos y aislamiento entre múltiples participantes."
    },
    {
      "front": "Presupuestos físicos",
      "status": "Cuotas lógicas comprobadas",
      "remaining": "4/2 atenciones, 64 efectos y 64 cancelaciones; capturas y líneas de observación acotadas. Faltan CPU, bytes físicos de almacenamiento, equidad y carga prolongada."
    },
    {
      "front": "Hardware, núcleo y dominios",
      "status": "Comparación .NET/FFI y WASM acotada en Linux",
      "remaining": "Registro 018: núcleo exacto, 79 pares, costes y fallos. Faltan PC físicos, Windows, ARM, LAN, contratos de dominio/agente, enlace R1 y plataforma final."
    },
    {
      "front": "Enlace con ejecución gobernada SV",
      "status": "CONTRASTE_DOCUMENTAL",
      "remaining": "Nueve pares de criterios CS01–CS09 sin ejecución. Firma, deduplicación y revisión experimental no sustituyen mediación, acumulación y continuidad SV."
    },
    {
      "front": "Autonomía de construcción, ensayo y custodia",
      "status": "Ejecución local de 018 acreditada; autonomía integral pendiente",
      "remaining": "La tanda 018 compila y ejecuta sin Actions. Adquisición de herramientas y custodia remota siguen dependiendo de proveedores; restauración integral fuera del proveedor y migración no acreditadas."
    }
  ],
  "phase02": {
    "run_id": "34022055251",
    "source_commit": "fa69ead89282112433b6dc9c6571d334c25c4858",
    "binary_sha256": "e7dd02013237d2b295903029267a4941ea600399e6e04cf43917104a00804265",
    "status": "24 PASS · 0 FAIL · 0 ERROR · 0 BLOCKED",
    "results": [
      {
        "id": "NA05-baseline",
        "status": "PASS",
        "claim": "El criterio positivo detecta el incumplimiento del prototipo 0.1",
        "negative_control": true
      },
      {
        "id": "A05-positive",
        "status": "PASS",
        "claim": "Una conexión lenta no impide respuesta auténtica en 2 s a otra petición.",
        "negative_control": false
      },
      {
        "id": "A05-capacity-control",
        "status": "PASS",
        "claim": "Cuatro lectores ocupados limitan datos y conservan el control local autorizado.",
        "negative_control": false
      },
      {
        "id": "A07-before",
        "status": "PASS",
        "claim": "Cancelación previa exacta impide el efecto y conserva una petición independiente.",
        "negative_control": false
      },
      {
        "id": "A07-after",
        "status": "PASS",
        "claim": "Un compromiso no se deshace y su estado sobrevive al reinicio del receptor.",
        "negative_control": false
      },
      {
        "id": "A07-binding",
        "status": "PASS",
        "claim": "Una huella ajena no cancela el contenido legítimo del mismo identificador.",
        "negative_control": false
      },
      {
        "id": "A07-authority",
        "status": "PASS",
        "claim": "La clave de datos y el canal TCP no permiten ejercer la cancelación.",
        "negative_control": false
      },
      {
        "id": "A07-offline",
        "status": "PASS",
        "claim": "Con el bus detenido se cancela y la entrega posterior queda impedida.",
        "negative_control": false
      },
      {
        "id": "A07-restart",
        "status": "PASS",
        "claim": "La cancelación previa permanece después de reiniciar receptor y bus.",
        "negative_control": false
      },
      {
        "id": "I08-revocation",
        "status": "PASS",
        "claim": "Revocación tras validación y antes de la transacción impide el efecto.",
        "negative_control": false
      },
      {
        "id": "I08-cancellation",
        "status": "PASS",
        "claim": "Cancelación tras validación y antes de la transacción impide el efecto.",
        "negative_control": false
      },
      {
        "id": "I08-commit",
        "status": "PASS",
        "claim": "Una cancelación bloqueada por la transacción no emite un éxito falso.",
        "negative_control": false
      },
      {
        "id": "I01-tamper",
        "status": "PASS",
        "claim": "La modificación del tráfico no produce efectos ilegítimos.",
        "negative_control": false
      },
      {
        "id": "I02-fabricate",
        "status": "PASS",
        "claim": "La modificación del tráfico no produce efectos ilegítimos.",
        "negative_control": false
      },
      {
        "id": "I03-replay",
        "status": "PASS",
        "claim": "Las entregas repetidas sólo comprometen un efecto.",
        "negative_control": false
      },
      {
        "id": "I06-receipt",
        "status": "PASS",
        "claim": "El recibo fabricado se rechaza aunque el efecto exista.",
        "negative_control": false
      },
      {
        "id": "I03-concurrent",
        "status": "PASS",
        "claim": "Peticiones concurrentes idénticas no duplican el efecto.",
        "negative_control": false
      },
      {
        "id": "I07-order",
        "status": "PASS",
        "claim": "La revisión explícita rechaza inversión y las identidades conflictivas.",
        "negative_control": false
      },
      {
        "id": "I09-contract",
        "status": "PASS",
        "claim": "Firmas inválidas, versiones y destinos ajenos no se admiten.",
        "negative_control": false
      },
      {
        "id": "A02-recovery",
        "status": "PASS",
        "claim": "Pérdida del recibo y reintento tras reinicio no duplican.",
        "negative_control": false
      },
      {
        "id": "A06-transaction",
        "status": "PASS",
        "claim": "La terminación antes de comprometer revierte y permite un reintento único.",
        "negative_control": false
      },
      {
        "id": "A05-quota",
        "status": "PASS",
        "claim": "Los límites de registros rechazan crecimiento y preservan reintentos y control.",
        "negative_control": false
      },
      {
        "id": "C04-C06-bounded",
        "status": "PASS",
        "claim": "Canario y claves no aparecen en capturas o salidas examinadas; otra clave no abre el recibo.",
        "negative_control": false
      },
      {
        "id": "P02-measurement",
        "status": "PASS",
        "claim": "Cuarenta operaciones auténticas con muestras completas y capturas acotadas.",
        "negative_control": false
      }
    ],
    "conclusion": "Repetición #9 correcta: 23 comprobaciones de fase 0.2 y un control, más 17 testigos iniciales y 7 comprobaciones del controlador. La ejecución #8 conserva un ERROR A04 por carrera de limpieza; la corrección está documentada y probada. Las garantías completas y el enlace con SV permanecen abiertos.",
    "measurement": "Ejecución 34022055251: 35 muestras útiles tras 5 de calentamiento, mediana completa 4,313462 ms y máximo 5,587314 ms. Intel Xeon Platinum 8573C alojado; no es SLO ni prueba de mejora causal.",
    "external_runtime_services": 0,
    "evidence_url": "https://github.com/juantoniolloretegea/SV-matematica-semantica-cuaternaria/blob/lab/infraestructura-sv-2026-09-06/laboratorio-de-infraestructura-SV/registros/012-CORRECCION_VERIFICADA_2026_09_06.md",
    "first_run": "34020051299",
    "evidence_label": "Registro 012 · privado"
  },
  "followup": {
    "date": "2026-09-06",
    "source_baseline": "893ccc19b74c1a1380e4ed8ec29d9c02dbb6928b",
    "core_reference": "230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4",
    "status": "CONTRASTE_DOCUMENTAL_CONCLUIDO_INTEGRACION_NO_REALIZADA",
    "new_runtime_tests": 7,
    "new_sv_link_cases": 9,
    "sv_link_cases_status": "NO_EJECUTADO",
    "pages": [
      "correspondencia-sv.html",
      "continuidad-infraestructura.html"
    ],
    "migration": "NO_INICIADA",
    "billing_usage": "NO_CONSULTADO",
    "controller_correction": {
      "failed_run": "34021807895",
      "corrected_run": "34022055251",
      "source_commit": "fa69ead89282112433b6dc9c6571d334c25c4858",
      "stop_checks": 7,
      "initial_cases": 17,
      "phase02_cases": 24,
      "status": "CORREGIDO_Y_VERIFICADO"
    },
    "existing_runtime_cases_repeated": 41
  },
  "comparacion018": {
    "date": "2026-09-06",
    "status": "COMPARACION_MATERIAL_REALIZADA_CON_LIMITES",
    "source_commit": "0189c4c2a38453826b450e7b201d8946055fd77c",
    "control_source_commit": "73b452169ef1d848dadf0b5395abbb84341fb9ee",
    "core_commit": "230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4",
    "corpus_pairs": 79,
    "samples": 36000,
    "github_actions_used_for_execution": false,
    "page": "ffi-dotnet-wasm.html",
    "record": "registros/018-COMPARACION_DOTNET_FFI_WASM_2026_09_06.md",
    "archive_sha256": "d8ba12907e0fabf779c5f75694e43e955053b34f24b681140d536571cfb574f0",
    "architecture_selected": false,
    "r1_exercised": false,
    "core_modified": false
  },
  "perfil_tecnologico020": {
    "date": "2026-09-06",
    "id": "PT-SV-LOCAL",
    "version": "0.1-candidata",
    "status": "PROPUESTA_DOCUMENTAL_TRAZADA",
    "scope": "IDENTIDAD_DOCUMENTAL_NO_TIPO_DSL_IR",
    "source_baseline": "243bb59f82b3b859e49394dfddeba82f4bf11848",
    "core_reference": "230a205b08f4c54c9c8d9c1c7ad35b2f6ddbbfc4",
    "page": "perfil-tecnologico.html",
    "record": "registros/020-PERFIL_TECNOLOGICO_Y_CONTINUIDAD_2026_09_06.md",
    "obligation_count": 14,
    "reuses": [
      "contrato-0.2",
      "registro-012",
      "registro-016",
      "registro-018",
      "CS01-CS09"
    ],
    "new_runtime_executions": 0,
    "sv_link_executed": false,
    "architecture_selected": false,
    "core_modified": false,
    "next_link_criteria": [
      "CS01",
      "CS02",
      "CS04",
      "CS05"
    ],
    "next_link_precondition": "Fixture legítima por API pública trazada y frontera material especificada; CS03 conserva su dependencia de contratos constituidos."
  },
  "acta_calidad_perfiles": {
    "date": "2026-09-06",
    "status": "MARCO_CANONICO_EN_CALIDAD",
    "canonical_url": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/main/docs/calidad/ACTA_TECNICA_DE_PERFILES_CONTRATOS_Y_ENSAMBLAJE_DEL_LENGUAJE_SV_2026_09_06.md",
    "immutable_url": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/605d900fc535aec4b0010820499b93e44d111f5c/docs/calidad/ACTA_TECNICA_DE_PERFILES_CONTRATOS_Y_ENSAMBLAJE_DEL_LENGUAJE_SV_2026_09_06.md",
    "core_commit": "605d900fc535aec4b0010820499b93e44d111f5c",
    "retp": "RETP-2026-075",
    "pr": 63,
    "relationship": "VINCULO_EXPLICITO_SIN_SEGUNDA_COPIA_NORMATIVA",
    "prior_laboratory_testing_required": true,
    "profile020_status": "CANDIDATA_DOCUMENTAL",
    "runtime_tests_added": 0,
    "receipt": "registros/022-recepcion-acta-calidad.json"
  },
  "secuencia_rectora": {
    "canonical_url": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/main/docs/dominios/inmunologia/ACTA_DE_CONFORMIDAD_DE_TRANSICION_SECUENCIAL_DESDE_OP-IMM-001_AL_LENGUAJE_SV_2026_09_03.md#adenda-secuencia-20260906",
    "immutable_url": "https://github.com/juantoniolloretegea/SV-lenguaje-de-computacion/blob/981159d6428197d1ad1d748649f1d8f690b2f588/docs/dominios/inmunologia/ACTA_DE_CONFORMIDAD_DE_TRANSICION_SECUENCIAL_DESDE_OP-IMM-001_AL_LENGUAJE_SV_2026_09_03.md#adenda-secuencia-20260906",
    "core_commit": "981159d6428197d1ad1d748649f1d8f690b2f588",
    "retp": "RETP-2026-076",
    "pr": 64,
    "relationship": "VINCULO_EXPLICITO_A_ADENDA_DEL_ACTA_EXISTENTE_SIN_SEGUNDA_SECUENCIA_NORMATIVA",
    "receipt": "registros/025-recepcion-secuencia-rectora.json",
    "runtime_tests_added": 0
  },
  "verificacion_publica027": {
    "id": "LAB-2026-027",
    "date": "2026-09-08",
    "page": "verificacion-publica.html",
    "package": "SV-LAB-PUBLICO-20260908-027",
    "objects": [
      "../manifiesto.json",
      "../testigos.json",
      "../verificar.mjs",
      "../estado.json"
    ],
    "panel": {
      "PASS": 55,
      "FAIL": 1,
      "BLOCKED": 1,
      "ERROR": 1,
      "NOT_EXECUTED": 0
    },
    "witnesses": 74,
    "private_artifacts_identified": 6472,
    "new_runtime_executions": 0,
    "required_from_next_campaign": true,
    "scope": "Consistencia pública; sin reproducción de artefactos privados ni cierre nuclear."
  },
  "reconciliacion008": {
    "execution_id": "34021807895",
    "counts": {
      "PASS": 16,
      "FAIL": 0,
      "BLOCKED": 0,
      "ERROR": 1,
      "NOT_EXECUTED": 0
    },
    "phase02": "NOT_EXECUTED",
    "included_in_panel_totals": false,
    "note": "16 PASS y 1 ERROR en 17 casos. A04 ERROR se referencia una vez desde el panel; los 16 PASS no se suman al total 55 del panel."
  },
  "punto_control030": {
    "id": "LAB-2026-030",
    "date": "2026-09-09",
    "status": "MEDICION_EXPLORATORIA_RECIBIDA_Y_REVISADA",
    "page": "punto-control-rendimiento.html",
    "record": "registros/030-PUNTO_DE_CONTROL_DE_RENDIMIENTO_2026_09_09.md",
    "package": "medicion-030/",
    "source_commit": "0f434dbb6f6ea8f5f4e270c58c4ad4c5490d8c84",
    "raw_samples_available": false,
    "new_sv_executions": 0,
    "refactoring_authorized": false,
    "beta_followup": true,
    "scope": "Transcripción y recálculo públicos; tiempos declarados, sin reproducción independiente."
  },
  "aislamiento033": {
    "id": "LAB-2026-033",
    "date": "2026-09-09",
    "source_commit": "d870febdc145890105dbab0b5b58658c19fef217",
    "run_id": 34415054643,
    "page": "aislamiento-auxiliar.html",
    "package": "aislamiento-033/",
    "passed": 33,
    "sv_core_executed": false,
    "ai_model_executed": false,
    "scope": "Aislamiento de un auxiliar sintético, verificación independiente y medición. No acredita producción."
  }
}