{
  "revision": {
    "data": "2026-10-11",
    "escopo": "Correcao de campos derivados e remocao de decomposicao binomial nao validada; DPs empiricos e T3/T4 originais preservados",
    "original": "auditoria_taesa/revisao/antes_das_correcoes.zip"
  },
  "design_revision": {
    "parametros": {
      "REPS": 5000,
      "SEED": 20261015,
      "T": 6,
      "k": 4,
      "H": 21
    },
    "verificacao_exaustiva": {
      "enumeracoes": 27,
      "variancia_exata": 0.026635802469135807,
      "media_variancia_estimada": 0.026635802469135803
    },
    "alvo": 0.11559480268625213,
    "variancia_design_exata": 0.0020014174442807547,
    "variancia_empirica": 0.0019707397836444436,
    "media_variancia_design_estimada": 0.002005801470032494,
    "metodos": {
      "t_tipo_aproximacao_original": {
        "cobertura": 0.9132,
        "ep_mc": 0.003981601687763355,
        "largura_media": 0.23331553499367705,
        "fracao_ep_zero": 0.0,
        "alvo": "media de todos os tipos elegiveis"
      },
      "t_dois_estagios_fpc": {
        "cobertura": 0.9142,
        "ep_mc": 0.003960766592466665,
        "largura_media": 0.21656838905510659,
        "fracao_ep_zero": 0.0,
        "alvo": "media de todos os tipos elegiveis"
      },
      "estratos_condicional_t_aproximado": {
        "cobertura": 0.9376,
        "ep_mc": 0.003420708698500941,
        "largura_media": 0.14515648596321806,
        "fracao_ep_zero": 0.0,
        "alvo": "media dos tipos sorteados"
      }
    },
    "nota": "Variancia com dois estagios e FPC; quantis t continuam aproximados. Comparador condicional tem outro alvo. Nenhum novo treinamento."
  },
  "note": "Aggregates copied from caso_taesa/saida (etapa4_teoria.py and etapa3_inferencia.py). No rerun.",
  "theory": {
    "parametros": {
      "REPS": 2000,
      "B": 999,
      "K": 20,
      "SEED": 20261014,
      "sistema": "hit1_bm25"
    },
    "T1_T2": {
      "50": {
        "componentes": {
          "M": 1300,
          "R": 0.1940556832084987,
          "macro": 0.1787814968471947,
          "nbar": 51.55538461538462,
          "S2u": 474.3179448542461,
          "S2r": 0.05019261404644353
        },
        "K": {
          "5": {
            "dp_micro": 0.188555390429338,
            "dp_macro": 0.09999956552993647,
            "dp_ingenuo_micro": 0.02463166015546842,
            "razao_var_micro_linearizada": 58.599044852076865,
            "chunks_equivalentes_micro_linearizados": 4.398995303210765,
            "chunks_equivalentes_macro_design": 14.681994900695125,
            "empirico": {
              "micro": 0.1544501773902463,
              "macro": 0.0986852048046979
            },
            "chunks_equivalentes_micro_empiricos": 6.556236035417519,
            "chunks_equivalentes_macro_empiricos": 15.075690107558362,
            "razao_var_micro_empirica": 39.31782225111838
          },
          "20": {
            "dp_micro": 0.09373009506347413,
            "dp_macro": 0.04970936530684663,
            "dp_ingenuo_micro": 0.01231583007773421,
            "razao_var_micro_linearizada": 57.92029143680184,
            "chunks_equivalentes_micro_linearizados": 17.80218411768107,
            "chunks_equivalentes_macro_design": 59.41619811375058,
            "empirico": {
              "micro": 0.09192876725773898,
              "macro": 0.05041843181365649
            },
            "chunks_equivalentes_micro_empiricos": 18.506680639744435,
            "chunks_equivalentes_macro_empiricos": 57.756734152673296,
            "razao_var_micro_empirica": 55.715431220729776
          },
          "80": {
            "dp_micro": 0.04575346528701242,
            "dp_macro": 0.024265159642332775,
            "dp_ingenuo_micro": 0.006157915038867105,
            "razao_var_micro_linearizada": 55.205277775701745,
            "chunks_equivalentes_micro_linearizados": 74.7108054774812,
            "chunks_equivalentes_macro_design": 249.3532248708221,
            "empirico": {
              "micro": 0.04510541583182572,
              "macro": 0.023760545508551452
            },
            "chunks_equivalentes_micro_empiricos": 76.87303389550681,
            "chunks_equivalentes_macro_empiricos": 260.0569595560877,
            "razao_var_micro_empirica": 53.65250413866963
          }
        }
      },
      "100": {
        "componentes": {
          "M": 1300,
          "R": 0.18461033340297883,
          "macro": 0.1596274516329731,
          "nbar": 25.771538461538462,
          "S2u": 113.06247379608175,
          "S2r": 0.05014782594757439
        },
        "K": {
          "5": {
            "dp_micro": 0.184160761730805,
            "dp_macro": 0.09995493954170537,
            "dp_ingenuo_micro": 0.03417869135603187,
            "razao_var_micro_linearizada": 29.032427129661258,
            "chunks_equivalentes_micro_linearizados": 4.438405777519152,
            "chunks_equivalentes_macro_design": 13.42675041612907,
            "empirico": {
              "micro": 0.15125400684033255,
              "macro": 0.10183066078451118
            },
            "chunks_equivalentes_micro_empiricos": 6.57972031514094,
            "chunks_equivalentes_macro_empiricos": 12.936664456920296,
            "razao_var_micro_empirica": 19.584068339678673
          },
          "20": {
            "dp_micro": 0.09154554353861845,
            "dp_macro": 0.049687181914954845,
            "dp_ingenuo_micro": 0.017089345678015934,
            "razao_var_micro_linearizada": 28.696144189935453,
            "chunks_equivalentes_micro_linearizados": 17.961673380897818,
            "chunks_equivalentes_macro_design": 54.33638059027233,
            "empirico": {
              "micro": 0.0884885173348726,
              "macro": 0.049554971694846996
            },
            "chunks_equivalentes_micro_empiricos": 19.22416003854338,
            "chunks_equivalentes_macro_empiricos": 54.6267009208804,
            "razao_var_micro_empirica": 26.81161456195531
          },
          "80": {
            "dp_micro": 0.04468709698457457,
            "dp_macro": 0.02425433102799944,
            "dp_ingenuo_micro": 0.008544672839007967,
            "razao_var_micro_linearizada": 27.35101243103222,
            "chunks_equivalentes_micro_linearizados": 75.38013746737447,
            "chunks_equivalentes_macro_design": 228.0346464116347,
            "empirico": {
              "micro": 0.04577458373414025,
              "macro": 0.02404232657796399
            },
            "chunks_equivalentes_micro_empiricos": 71.84100560271285,
            "chunks_equivalentes_macro_empiricos": 232.07398171776313,
            "razao_var_micro_empirica": 28.698416170906462
          }
        }
      },
      "200": {
        "componentes": {
          "M": 1086,
          "R": 0.17794970986460348,
          "macro": 0.16176092885678262,
          "nbar": 15.233885819521179,
          "S2u": 34.8510948012863,
          "S2r": 0.054880346210502126
        },
        "K": {
          "5": {
            "dp_micro": 0.17290615319278682,
            "dp_macro": 0.10452528332094892,
            "dp_ingenuo_micro": 0.043823542931891175,
            "razao_var_micro_linearizada": 15.567035892949558,
            "chunks_equivalentes_micro_linearizados": 4.892995019822861,
            "chunks_equivalentes_macro_design": 12.41077279716994,
            "empirico": {
              "micro": 0.14148661737503207,
              "macro": 0.10279689895095868
            },
            "chunks_equivalentes_micro_empiricos": 7.30743471074721,
            "chunks_equivalentes_macro_empiricos": 12.831620440690179,
            "razao_var_micro_empirica": 10.423552465762272
          },
          "20": {
            "dp_micro": 0.08585116807063374,
            "dp_macro": 0.05189877572495638,
            "dp_ingenuo_micro": 0.021911771465945588,
            "razao_var_micro_linearizada": 15.35102706927311,
            "chunks_equivalentes_micro_linearizados": 19.847383176091974,
            "chunks_equivalentes_macro_design": 50.34163374761991,
            "empirico": {
              "micro": 0.08502705516071268,
              "macro": 0.052520566689059335
            },
            "chunks_equivalentes_micro_empiricos": 20.233983679881913,
            "chunks_equivalentes_macro_empiricos": 49.15670057105952,
            "razao_var_micro_empirica": 15.05772275053064
          },
          "80": {
            "dp_micro": 0.04170005240864075,
            "dp_macro": 0.025208529089486596,
            "dp_ingenuo_micro": 0.010955885732972794,
            "razao_var_micro_linearizada": 14.486991774567302,
            "chunks_equivalentes_micro_linearizados": 84.12449489349522,
            "chunks_equivalentes_macro_design": 213.37646749488204,
            "empirico": {
              "micro": 0.041821110729459064,
              "macro": 0.025656952967196788
            },
            "chunks_equivalentes_micro_empiricos": 83.63817445403248,
            "chunks_equivalentes_macro_empiricos": 205.98299844081785,
            "razao_var_micro_empirica": 14.571227474979112
          }
        }
      },
      "400": {
        "componentes": {
          "M": 749,
          "R": 0.1733316513182793,
          "macro": 0.16925597201774753,
          "nbar": 10.583444592790388,
          "S2u": 12.871118112799984,
          "S2r": 0.05907838185224339
        },
        "K": {
          "5": {
            "dp_micro": 0.1510920640537211,
            "dp_macro": 0.10833651289471465,
            "dp_ingenuo_micro": 0.052036259370942625,
            "razao_var_micro_linearizada": 8.430846238457747,
            "chunks_equivalentes_micro_linearizados": 6.276620574879808,
            "chunks_equivalentes_macro_design": 11.980129817356966,
            "empirico": {
              "micro": 0.13987420523649802,
              "macro": 0.11135054949098414
            },
            "chunks_equivalentes_micro_empiricos": 7.323756905667184,
            "chunks_equivalentes_macro_empiricos": 11.340351086828255,
            "razao_var_micro_empirica": 7.225420456405938
          },
          "20": {
            "dp_micro": 0.07478060162433654,
            "dp_macro": 0.053619425102756954,
            "dp_ingenuo_micro": 0.026018129685471313,
            "razao_var_micro_linearizada": 8.260869499779163,
            "chunks_equivalentes_micro_linearizados": 25.62307658551757,
            "chunks_equivalentes_macro_design": 48.90653818443668,
            "empirico": {
              "micro": 0.074217125919064,
              "macro": 0.05456863087227488
            },
            "chunks_equivalentes_micro_empiricos": 26.01362767256399,
            "chunks_equivalentes_macro_empiricos": 47.21990556972118,
            "razao_var_micro_empirica": 8.136846368376768
          },
          "80": {
            "dp_micro": 0.03581857086929512,
            "dp_macro": 0.02568274574283356,
            "dp_ingenuo_micro": 0.013009064842735656,
            "razao_var_micro_linearizada": 7.580962545064829,
            "chunks_equivalentes_micro_linearizados": 111.6844414400138,
            "chunks_equivalentes_macro_design": 213.17109917162531,
            "empirico": {
              "micro": 0.03578459655037037,
              "macro": 0.025423563880982204
            },
            "chunks_equivalentes_micro_empiricos": 111.89661116798717,
            "chunks_equivalentes_macro_empiricos": 217.53962182049142,
            "razao_var_micro_empirica": 7.566588108304201
          }
        }
      }
    },
    "T3_unidade": {
      "20": {
        "micro": {
          "dp_real": 0.09221697460748088,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.24,
              "ep_mc": 0.009549869109050658,
              "razao_variancia": 0.027034997803605902,
              "largura": 0.056938081727588546
            },
            "Blocos de 5 chunks": {
              "cobertura": 0.285,
              "ep_mc": 0.010093933821855581,
              "razao_variancia": 0.038183578719760684,
              "largura": 0.06692326759347231
            },
            "Blocos de 20 chunks": {
              "cobertura": 0.335,
              "ep_mc": 0.010554027667198908,
              "razao_variancia": 0.05603155046169235,
              "largura": 0.07554317322404773
            },
            "Documentos (um nivel)": {
              "cobertura": 0.846,
              "ep_mc": 0.008071059410015517,
              "razao_variancia": 0.7077107491236958,
              "largura": 0.2584663941708786
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.8625,
              "ep_mc": 0.007700446415630719,
              "razao_variancia": 0.7389434082491492,
              "largura": 0.2678752925761196
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.799,
              "ep_mc": 0.008960998828255698,
              "razao_variancia": 0.6201109745824613,
              "largura": 0.4126692701622518
            }
          }
        },
        "macro": {
          "dp_real": 0.05139688027244244,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.5795,
              "ep_mc": 0.011038110119037587,
              "razao_variancia": 0.19026856750247703,
              "largura": 0.0853532514045851
            },
            "Blocos de 5 chunks": {
              "cobertura": 0.4735,
              "ep_mc": 0.011164626057329461,
              "razao_variancia": 0.13228421417168393,
              "largura": 0.06824192942230567
            },
            "Blocos de 20 chunks": {
              "cobertura": 0.1535,
              "ep_mc": 0.00806032722660811,
              "razao_variancia": 0.01719098233119857,
              "largura": 0.020466355984375795
            },
            "Documentos (um nivel)": {
              "cobertura": 0.905,
              "ep_mc": 0.006556485338960196,
              "razao_variancia": 0.8977321748128896,
              "largura": 0.18502771275203134
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.9395,
              "ep_mc": 0.005331029450303197,
              "razao_variancia": 1.087915866664041,
              "largura": 0.20446978694897744
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.9175,
              "ep_mc": 0.0061519813881382975,
              "razao_variancia": 0.8982144005559846,
              "largura": 0.20085156739988003
            }
          }
        }
      },
      "5": {
        "micro": {
          "dp_real": 0.1559603303837002,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.315,
              "ep_mc": 0.010386890776358439,
              "razao_variancia": 0.059983853763330514,
              "largura": 0.1285696050055639
            },
            "Documentos (um nivel)": {
              "cobertura": 0.764,
              "ep_mc": 0.009494840704298308,
              "razao_variancia": 0.5482517102016624,
              "largura": 0.3387887247514399
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.8355,
              "ep_mc": 0.008289745170992895,
              "razao_variancia": 0.6179741253142347,
              "largura": 0.3800345218957556
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.657,
              "ep_mc": 0.010614871643124094,
              "razao_variancia": 0.3295037378573656,
              "largura": 0.7092531524484391
            }
          }
        },
        "macro": {
          "dp_real": 0.09845439954437986,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.559,
              "ep_mc": 0.011102229505824495,
              "razao_variancia": 0.20461085589750738,
              "largura": 0.1543830334898023
            },
            "Documentos (um nivel)": {
              "cobertura": 0.802,
              "ep_mc": 0.008910555538236659,
              "razao_variancia": 0.8606043651332579,
              "largura": 0.3080124516975363
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.8685,
              "ep_mc": 0.007556710593902613,
              "razao_variancia": 1.0654809236864133,
              "largura": 0.34684514117746956
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.8625,
              "ep_mc": 0.007700446415630719,
              "razao_variancia": 0.8593369320851094,
              "largura": 0.5767281761775813
            }
          }
        }
      },
      "10": {
        "micro": {
          "dp_real": 0.12329053421331652,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.257,
              "ep_mc": 0.009771156533389485,
              "razao_variancia": 0.03614725899285224,
              "largura": 0.08434273728585691
            },
            "Documentos (um nivel)": {
              "cobertura": 0.83,
              "ep_mc": 0.008399404740813483,
              "razao_variancia": 0.6160768662433288,
              "largura": 0.3096254650856985
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.863,
              "ep_mc": 0.007688660481514319,
              "razao_variancia": 0.6623192540471964,
              "largura": 0.33023680124144617
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.731,
              "ep_mc": 0.009915618992276781,
              "razao_variancia": 0.4534319489619976,
              "largura": 0.5655813381031121
            }
          }
        },
        "macro": {
          "dp_real": 0.07032141850252102,
          "esquemas": {
            "Chunks (estratificado)": {
              "cobertura": 0.5855,
              "ep_mc": 0.011015664982196945,
              "razao_variancia": 0.20401905214101257,
              "largura": 0.1176462277107536
            },
            "Documentos (um nivel)": {
              "cobertura": 0.885,
              "ep_mc": 0.007133547504573023,
              "razao_variancia": 0.9284270806389476,
              "largura": 0.24973548969262901
            },
            "Documentos + chunks (dois niveis)": {
              "cobertura": 0.923,
              "ep_mc": 0.005961165993327143,
              "razao_variancia": 1.1322644943179576,
              "largura": 0.27764038099659316
            },
            "Selvagem por documento (bootstrap-t)": {
              "cobertura": 0.8925,
              "ep_mc": 0.006926173185822025,
              "razao_variancia": 0.9303387860043093,
              "largura": 0.29637267175138277
            }
          }
        }
      }
    },
    "T4_estratificado": {
      "10+10": {
        "corte_chunks": 76.0,
        "docs_por_estrato": [
          1171,
          129
        ],
        "k_por_estrato": [
          10,
          10
        ],
        "frac_chunks_grandes": 0.5904844342297705,
        "cobertura": 0.8865,
        "ep_mc": 0.007092874946028586,
        "falha_abaixo": 0.101,
        "largura": 0.22331722707161522,
        "dp": 0.05908746002881817,
        "vies": -0.00023907909234283098
      },
      "5+15": {
        "corte_chunks": 76.0,
        "docs_por_estrato": [
          1171,
          129
        ],
        "k_por_estrato": [
          15,
          5
        ],
        "frac_chunks_grandes": 0.5904844342297705,
        "cobertura": 0.8745,
        "ep_mc": 0.007407757757918383,
        "falha_abaixo": 0.118,
        "largura": 0.24995040074759653,
        "dp": 0.06445723596733088,
        "vies": -0.0015419754914194617
      }
    }
  },
  "two_stage": {
    "alvo": 0.11559480268625213,
    "T": 6,
    "k": 4,
    "reps": 5000,
    "cobertura": {
      "Chunks iid (Wald)": 0.4388,
      "Documento como unidade (t, 23 gl)": 0.8586,
      "Documento como unidade (bootstrap)": 0.8466,
      "Tipos como estratos fixos": 0.75,
      "Tipo como unidade (t, T−1 gl)": 0.9128,
      "Tipo como unidade (bootstrap percentil)": 0.8408,
      "Tipo como unidade (bootstrap-t)": 0.9378
    },
    "ep_mc": {
      "Chunks iid (Wald)": 0.0070178994008178825,
      "Documento como unidade (t, 23 gl)": 0.004927596574396081,
      "Documento como unidade (bootstrap)": 0.005096438756622117,
      "Tipos como estratos fixos": 0.006123724356957945,
      "Tipo como unidade (t, T−1 gl)": 0.003989891226587513,
      "Tipo como unidade (bootstrap percentil)": 0.005174076922505115,
      "Tipo como unidade (bootstrap-t)": 0.003415586626042444
    },
    "largura": {
      "Chunks iid (Wald)": 0.05385553594866526,
      "Documento como unidade (t, 23 gl)": 0.15086702766728166,
      "Documento como unidade (bootstrap)": 0.13810075746472902,
      "Tipos como estratos fixos": 0.11098420960679842,
      "Tipo como unidade (t, T−1 gl)": 0.2338091427147776,
      "Tipo como unidade (bootstrap percentil)": 0.15772362599177708,
      "Tipo como unidade (bootstrap-t)": 0.37555897246999104
    }
  },
  "srs_k20": {
    "micro|Wald iid (chunk)": {
      "cobertura": 0.2952,
      "ep_mc": 0.006450689265497138,
      "largura_media": 0.06895295786242588
    },
    "micro|Bootstrap de chunks": {
      "cobertura": 0.2502,
      "ep_mc": 0.006125356479422238,
      "largura_media": 0.05736693528000943
    },
    "micro|Wald com n efetivo (z)": {
      "cobertura": 0.8904,
      "ep_mc": 0.004417869169633705,
      "largura_media": 0.329102796246034
    },
    "micro|CR1 + t(K-1)": {
      "cobertura": 0.771,
      "ep_mc": 0.0059423732632678,
      "largura_media": 0.27239950607968955
    },
    "micro|CR2 + t(gl IK)": {
      "cobertura": 0.8568,
      "ep_mc": 0.004953660464747256,
      "largura_media": 0.3887734540020232
    },
    "micro|Bootstrap percentil (doc)": {
      "cobertura": 0.8536,
      "ep_mc": 0.004999340756539806,
      "largura_media": 0.25918677813843677
    },
    "micro|Bootstrap-t (doc)": {
      "cobertura": 0.8838,
      "ep_mc": 0.004532053839044721,
      "largura_media": 0.6726641191710343
    },
    "macro|Wald iid (chunk)": {
      "cobertura": 0.597,
      "ep_mc": 0.006936728335461898,
      "largura_media": 0.08591015145005387
    },
    "macro|Bootstrap de chunks": {
      "cobertura": 0.5968,
      "ep_mc": 0.006937287077813632,
      "largura_media": 0.08519936984354215
    },
    "macro|CR1 + t(K-1)": {
      "cobertura": 0.9298,
      "ep_mc": 0.003613086215411972,
      "largura_media": 0.2059092976894257
    },
    "macro|CR2 + t(gl IK)": {
      "cobertura": 0.9298,
      "ep_mc": 0.003613086215411972,
      "largura_media": 0.2059092976894257
    },
    "macro|Bootstrap percentil (doc)": {
      "cobertura": 0.9146,
      "ep_mc": 0.003952387632811337,
      "largura_media": 0.18584357518233505
    },
    "macro|Bootstrap-t (doc)": {
      "cobertura": 0.9716,
      "ep_mc": 0.0023491887961592183,
      "largura_media": 0.24286977838999918
    }
  },
  "sha256": {
    "saida/teoria.json": "c08fbd3160978405aa925a3426530881b2606495905cbe37249a1f2d99cf27d1",
    "saida/resultados.json": "ff7a22d93bddba6ea13ed820e1d016e228b58fa1e928ad318f0d5453ee13d905",
    "etapa4_teoria.py": "079543cb29d51eddac2c49d177a95c71d59ba77d7dc77f59f89700bb66f49b1e",
    "etapa3_inferencia.py": "7e41f340b8ad7d47c569d523cf242852b2ead781be66aae3c5595a0b5b1eea98",
    "revisao_desenho.py": "90b6acbf0184ead8f6f8d79dc69fa847ec4928b6d5b7fbc6d350a5c739da8572",
    "saida/revisao_desenho.json": "635ab2976dd5a7ae626c8ac43cce73b5432545a4edbe8377320a5d136ca3f165"
  }
}