Certificado de janela de Bell

Cole as probabilidades P(a,b|x,y) do seu experimento (cenário 2×2×2). O certificador checa no-signaling, computa o valor CHSH em aritmética exata e classifica na janela verificada — local (≤2), quântica (≤2√2) ou pós-quântica (≤4) — emitindo um certificado Lean que prova o valor por `norm_num`.

Exemplos:

Contexto x=0, y=0

P(0,0)P(0,1)P(1,0)P(1,1)

Contexto x=0, y=1

P(0,0)P(0,1)P(1,0)P(1,1)

Contexto x=1, y=0

P(0,0)P(0,1)P(1,0)P(1,1)

Contexto x=1, y=1

P(0,0)P(0,1)P(1,0)P(1,1)

Aceita decimais ("0.426775") ou frações ("3/8"). Cada contexto deve somar 1.