{
  "id": "LAB-2026-033",
  "version": 2,
  "kind": "Especificación anterior a ejecución",
  "max_message_bytes": 4096,
  "memory_limit_bytes": 67108864,
  "deadline_ms": 200,
  "cases": [
    {
      "id": "LAB033-good_es-34415054643",
      "mode": "good",
      "expected": "ACCEPT",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "good_es",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-good_en-34415054643",
      "mode": "good",
      "expected": "ACCEPT",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "good_en",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-omission-34415054643",
      "mode": "omit",
      "expected": "COVERAGE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "omission",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-substitution-34415054643",
      "mode": "value",
      "expected": "VALUE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "substitution",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-duplicate-34415054643",
      "mode": "duplicate",
      "expected": "DUPLICATE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "duplicate",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-reference-34415054643",
      "mode": "reference",
      "expected": "REFERENCE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "reference",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-swap-34415054643",
      "mode": "swap",
      "expected": "REQUEST",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "swap",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-replay-34415054643",
      "mode": "replay",
      "expected": "EPOCH",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "replay",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-origin-34415054643",
      "mode": "origin",
      "expected": "ORIGIN",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "origin",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-scope-34415054643",
      "mode": "scope",
      "expected": "SCOPE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "scope",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-profile-34415054643",
      "mode": "profile",
      "expected": "PROFILE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "profile",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-self_attestation-34415054643",
      "mode": "explanation",
      "expected": "SCHEMA",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "self_attestation",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-revoked-34415054643",
      "mode": "good",
      "expected": "REVOKED",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "revoked",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-refusal-34415054643",
      "mode": "refusal",
      "expected": "REFUSAL",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "refusal",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-utf8-34415054643",
      "mode": "invalid",
      "expected": "UTF8",
      "protected": true,
      "oracle": "Rechazo explícito de bytes que no forman UTF-8",
      "control": "LAB033-good_es",
      "legacy_id": "utf8",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-oversize-34415054643",
      "mode": "oversize",
      "expected": "OVERSIZE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "oversize",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-truncated-34415054643",
      "mode": "truncated",
      "expected": "TRUNCATED",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "truncated",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-silent-34415054643",
      "mode": "silent",
      "expected": "EOF",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "silent",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-spin-34415054643",
      "mode": "spin",
      "expected": "TIMEOUT",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "spin",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-flood-34415054643",
      "mode": "flood",
      "expected": "OVERSIZE",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "flood",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-file_read-34415054643",
      "mode": "open_read",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "file_read",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-file_write-34415054643",
      "mode": "open_write",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "file_write",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-proc-34415054643",
      "mode": "proc",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "proc",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-socket-34415054643",
      "mode": "socket",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "socket",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-dup-34415054643",
      "mode": "dup",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "dup",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-fork-34415054643",
      "mode": "fork",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "fork",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-memory_read-34415054643",
      "mode": "memory_read",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "memory_read",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-other_fd-34415054643",
      "mode": "other_fd",
      "expected": "PROBE:1",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "other_fd",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-memory_limit-34415054643",
      "mode": "memory_limit",
      "expected": "MEMORY_DENIED",
      "protected": true,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "memory_limit",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-control_write-34415054643",
      "mode": "open_write",
      "expected": "PROBE:ALLOWED",
      "protected": false,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "control_write",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-control_socket-34415054643",
      "mode": "socket",
      "expected": "PROBE:ALLOWED",
      "protected": false,
      "oracle": "Respuesta y recuperación observadas por el receptor; centinela contrastado externamente",
      "control": "Control sin filtro para escritura/socket; receptor débil para omisión; casos correctos para utilidad",
      "legacy_id": "control_socket",
      "recovery_required": true,
      "sentinel_checked": true
    },
    {
      "id": "LAB033-control_trust-34415054643",
      "expected": "ACCEPT_WEAK_REJECT_STRICT",
      "oracle": "Comparar receptor débil y receptor estricto sobre la misma respuesta incompleta",
      "control": "LAB033-omission",
      "legacy_id": "control_trust",
      "recovery_required": false,
      "sentinel_checked": false
    },
    {
      "id": "LAB033-companion-34415054643",
      "expected": "ACCEPT_WHILE_SPINNING",
      "oracle": "Señal de entrada en bucle, proceso vivo observado antes/después, respuesta correcta independiente; no mide reparto de CPU",
      "control": "LAB033-spin",
      "legacy_id": "companion",
      "recovery_required": false,
      "sentinel_checked": false
    }
  ],
  "pending": [
    "Integración con sv_core y R1",
    "Modelo IA real y utilidad profesional",
    "Arranque o receptor comprometidos",
    "UID/namespaces en entorno local",
    "GPU/DMA/canales laterales",
    "Autorización humana y revocación distribuida",
    "Presupuesto de producción y carga agregada"
  ],
  "verifier_negative_controls": [
    "cambiar observación de omisión a ACCEPT",
    "eliminar un testigo",
    "duplicar un identificador",
    "retirar pendientes",
    "falsear recuento",
    "falsear fuente",
    "afirmar efecto en un rechazo"
  ],
  "source_commit": "d870febdc145890105dbab0b5b58658c19fef217",
  "run_id": 34415054643,
  "specification_commit": "d870febdc145890105dbab0b5b58658c19fef217",
  "expected_journal": [
    "good_es\tA=vigente;B=revocada;C=dependencia",
    "good_en\tA=vigente;B=revocada;C=dependencia"
  ]
}