{
  "tipo": "RESULTADO_ASENTADO_V1",
  "resultado": "q0=f(0) XOR f(1) para las cuatro funciones binarias",
  "alcance": "Misma respuesta al problema de Deutsch para V1 y la referencia Q1 ideal; no equivalencia de todas las salidas, distribuciones ni hardware.",
  "argumento_exacto": [
    {
      "tabla": [
        0,
        0
      ],
      "s0_exacto": "1",
      "s1_exacto": "0",
      "q0": 0,
      "certeza_algebraica_q0": true
    },
    {
      "tabla": [
        0,
        1
      ],
      "s0_exacto": "0",
      "s1_exacto": "1",
      "q0": 1,
      "certeza_algebraica_q0": true
    },
    {
      "tabla": [
        1,
        0
      ],
      "s0_exacto": "0",
      "s1_exacto": "-1",
      "q0": 1,
      "certeza_algebraica_q0": true
    },
    {
      "tabla": [
        1,
        1
      ],
      "s0_exacto": "-1",
      "s1_exacto": "0",
      "q0": 0,
      "certeza_algebraica_q0": true
    }
  ],
  "ensayos_reloj_controlado": [
    {
      "tabla": [
        0,
        0
      ],
      "t0_de_ensayo": 0.0,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        0
      ],
      "t0_de_ensayo": 0.25,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        0
      ],
      "t0_de_ensayo": 0.5,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        0
      ],
      "t0_de_ensayo": 0.999999,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        1
      ],
      "t0_de_ensayo": 0.0,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        1
      ],
      "t0_de_ensayo": 0.25,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        1
      ],
      "t0_de_ensayo": 0.5,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        0,
        1
      ],
      "t0_de_ensayo": 0.999999,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        0
      ],
      "t0_de_ensayo": 0.0,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        0
      ],
      "t0_de_ensayo": 0.25,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        0
      ],
      "t0_de_ensayo": 0.5,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        0
      ],
      "t0_de_ensayo": 0.999999,
      "q0": 1,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        1
      ],
      "t0_de_ensayo": 0.0,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        1
      ],
      "t0_de_ensayo": 0.25,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        1
      ],
      "t0_de_ensayo": 0.5,
      "q0": 0,
      "una_captura": true
    },
    {
      "tabla": [
        1,
        1
      ],
      "t0_de_ensayo": 0.999999,
      "q0": 0,
      "una_captura": true
    }
  ],
  "casos_reales_previos": 4,
  "tabla_amplitudes_global": false,
  "tiempo": "O(1) por ejecucion del protocolo fijo de dos unidades",
  "memoria": "O(1) por ejecucion del protocolo fijo de dos unidades",
  "fase_leida_antes_de_medir": false,
  "Q_consultado_dentro_de_estas_ejecuciones_V": false,
  "evidencias_sha256": {
    "resultados_v1.json": "48e64efd5d91eeabf3a4eaaf52f80b4f87ff4ddef045230a75b7f196b55073d4",
    "analisis_complejidad_v1.json": "10677aadd180b2c4b9e56f1d9981cd50711552dc637f90150113739425c646e1",
    "comparacion_maquinas.json": "c82d37004b4003e128511ae8e00cc53b6fe599eb17a9df7a0300b7c30938e6ac",
    "data_v1.json": "3f86c4d82a161e44d40de0798b21e5c8cd7ace8cc55864e6c091d4e09c1533cc"
  },
  "codigo_sha256": {
    "v1.py": "1550c06020939e66bc669d76a50a1ee1b93b83faecc0f76f9fcb5342c001dd7f",
    "v2.py": "610e873216d267a75c48c3b187d5298fea3ef91d9ca04beaf32493da0c9cbf6e",
    "v3.py": "7f78ab9fc900a1fe752fcacb0f27da1eb05c9b8f1dd51575dbed45498e5951d0",
    "v_relacional.py": "aadc543bf7f9d3ea78cc065a06b9be4d794ecf31c3b3f1ca032bb923f87bf01f",
    "operaciones_senales.py": "39581bd71ff9b828711c8b65bd2c1b1f900b7684c1f964ae3edef1618e0f36b5",
    "ejecucion_v.py": "24faf855fec6d8bc578181c40aaf7eb72602372baf3c46b1e3e71f7cfd296d7d",
    "protocolo_q3.py": "71e740d2fef5922f8bbae925576fd9a6904a8f6e3d368c578ab8dbfbde423fa6",
    "latch_v.py": "65906b879716dd26137b771cb2419fb9d7f845ddba5d97a950991bdfcdf4d4c1",
    "circuito_logico_v.py": "9c456c26c92b285adf9ccaf208b1017b9f754c0bfbdfe1488b56d7959a304896",
    "propagacion_conocidos.py": "3b72e0b798cdd20e925d6fe155a72545fe15b13fa1445767487d25e1df8bbe6e",
    "comparador_temporal_v.py": "af34cc10cfcefaadf75b44df9968ef4fabd5568f1b9330d018e94f2bd3263587",
    "circuito_senales_v.py": "3b77e70b581f2904d8d7fa56236160b84aa2999737f3590f606d662459f4677d",
    "pruebas_v.py": "1e83f6fae545e56a7bd3002fe5c730d23dae258ac7a8f5a2c7487ac6a767c61a",
    "asentar_v1.py": "9478a1d197109b470b316f60815eb291368ebf9bff1e8ec976125f6b896b623e"
  }
}