counterfactual.cybermachines.space

Causal AI Lab

O valor de um assistente causal não está em acertar o número. Está na trilha de decisões que permite discordar dele depois — e em falhar alto quando a alegação não se sustenta.

pesquisa conduzida em
USP — Universidade de São Paulo
IME · instituto de matemática, estatística e ciência da computação mestrado em Ciência da Computação — o caso de uso deste workshop
pesquisa em causalidade na indústria a narrativa de crédito deste workshop
vitrine · respira bancada · stlite mesa · aguarda CEP bancada · squad de causalidade porta MCP · em obra
Do preditivo ao causal · o roteiro
fio principal: o mestrado (DATASUS × ar × clima, São Paulo) — um exemplo do que se constrói com as peças que já existem · fio auxiliar: concessão de crédito (Limite+), para quem vem do ML
01 · o canal

Pergunte por quê

Um canal conversacional de ciência de dados causal. Cada resposta percorre os cinco movimentos dentro das premissas assinadas do estudo, com procedência em cada número. O chat é só o cliente mais simples da porta das máquinas.

estações 1 e 4 · enquadrar e estimar Seu modelo preditivo ordena bem — e não responde a pergunta da decisão.
no crédito · Limite+

O score diz quem atrasa; não diz o que acontece se você conceder o aumento de limite. E o efeito é heterogêneo: no universo-gabarito, 17,9% da base tem efeito negativo — a campanha ótima não é a do maior score. Uplift ≠ propensão.

no mestrado · respira

A mesma troca de pergunta: de “quantas internações amanhã?” para “quanto o MP₂.₅ causa?”. Dois estimadores no DAG V2 — ATE binarizado +11,4 e ACE via GCM +37,9 internações — dois estimadores, duas definições de efeito.

peça: Fases 0–4 da monografia (estatística → Granger → DoWhy → GCM)
canal · projeto respira · rodada 1 demo roteirizada
lab
Este canal responde sobre a rodada 1 do respira (dados públicos agregados, São Paulo, set/2024–ago/2025). As premissas estão assinadas no contrato: pergunta, DAG V2 e regra de decisão. Pergunte por um pico.
02 · a mesa do DAG

Quem sabe, senta

Consulta Delphi por setor sobre cada aresta do grafo: epidemiologia, gestão em saúde e pesquisa — e um setor máquina. Moradores participam do respira; a Mesa científica é de quem trabalha na área. Setores nunca se somam, o placar fica escondido até fechar, e a regra de decisão é pré-registrada antes do primeiro voto.

estação 2 · modelar O grafo é uma premissa, não um achado — e correlação tem duas armadilhas com nome.
no crédito · Limite+

Confundidor: cliente de risco recebe mais campanha — campanha parece causar atraso. Collider: condicionar em resgatou_oferta cria correlação espúria entre renda e risco. Controlar “tudo” não é neutro: há bons e maus controles.

no mestrado · respira

O inverno acumula poluente e faz circular vírus que ninguém mede — o candidato cand-virus está na Mesa. E o dia de alerta oficial do ar é um collider: depende do poluente e da previsão de frio. O DAG V1 foi rejeitado na falsificação; o V2 elicitado chegou perto. Grafo se discute com quem sabe — é para isso que a Mesa existe.

peça: DAGs V1→V4 + falsificação (Eulig et al.) + Mesa do DAG
aresta em consulta · fase 1 (às cegas)
vento → NO₂
epidemiologia4 votos
gestão2 votos
pesquisa5 votos
máquinalacrado · contado à parte

Voto: confiança 1–5 + justificativa + direção contrária opcional. Placar abre só no fechamento; pseudônimos por setor; quem propôs não vota.

setor máquina Cinco modelos open-weight no Workers AI votam como setor próprio, declarado no termo. A máquina não distingue confundidor como especialista distingue — por isso é um setor, nunca o centro.
pré-registro A regra de decisão e a tarefa de conformidade são publicadas como hash antes da consulta abrir — primeiro no respira, depois no OSF. congelado 13/out/2026 · regra_mesa 52b308c5e454…a98d5b20 · conformidade 526c44473289…cc2b9ba5
o que sai daqui Decisões por aresta → V3 candidato → conhecimento prévio para o causal-learn. Só a Mesa entra na dissertação; o resto do lab corre em paralelo.
03 · a porta das máquinas

Qualquer agente se conecta

Três servidores MCP pequenos, por token e convite. Pela porta, um agente — Claude, Codex, Cursor, Gemini CLI — lê dados, contratos e gabaritos, e propõe mudanças. Nunca as aprova.

estação 3 · identificar Identificar é design, não regressão: o grafo diz o que ajustar — e o acaso bem usado vale um experimento.
no crédito · Limite+

O push_lembrete sorteado é uma variável instrumental de graça: mexe no comportamento sem porta dos fundos para o atraso. Metade do quase-experimento já mora no seu backlog de features.

no mestrado · respira

O backdoor do V2 dá o conjunto de ajuste via conjuntos_de_ajuste. E a direção do vento, que desloca a pluma de poluição (Deryugina et al., AER 2019), é a candidata a instrumento sugerida pela banca — já presente no DAG V4 sinótico; a restrição de exclusão é discutível, e isso vira lição.

peça: MCP contrato (grafo determinístico no Worker) + DAG V4 sinótico
fontes

Séries com procedência

O MCP SUS: SIH e SIM por município e dia via PySUS, com piso de supressão; ar (QUALAR) e clima (INMET) do ETL ambiental. Observabilidade: RCAEval e a telemetria da cyberesfera. Licença e citação em cada resposta.

descrever_fontebuscar_seriecitar
contrato

O grafo como contrato

Algoritmos de grafo determinísticos, em JavaScript no Worker. Toda aresta proposta entra como pendente, com origem: agente.

validar_dagdiff_dagconjuntos_de_ajustepropor_arestaconferir_rodada
mesa

A consulta por setor

Estado da consulta, resultado por setor após o fechamento, exportação de conhecimento prévio — e o voto do setor máquina, lacrado.

estadoresultado_por_setorexportar_conhecimento_previovotar_como_maquina
a regra da porta A máquina propõe; a decisão é sempre de uma pessoa. origem: agente · revisão: pendente
{
  "mcpServers": {
    "lab-fontes":   { "url": "https://counterfactual.cybermachines.space/mcp/fontes"   },
    "lab-contrato": { "url": "https://counterfactual.cybermachines.space/mcp/contrato" },
    "lab-mesa":     { "url": "https://counterfactual.cybermachines.space/mcp/mesa"     }
  }
}
04 · os gabaritos

Mundos com verdade conhecida

Nenhuma skill nova entra no método sem passar por universos sintéticos com efeitos plantados — posteriores ao corte de treino dos modelos. O gabarito devolve o erro; a verdade nunca sai do servidor.

estação 5 · refutar O dado que falta e o procedimento que muda a conclusão — por isso a regra vem antes do resultado.
no crédito · Limite+

Sem o datamart de interação, o sinal do efeito inverte. E no caso individual — “este cliente teria atrasado com o limite antigo?” — só o contrafactual (GCM) responde, nunca o score.

no mestrado · respira

Sem vigilância de vírus (SIVEP-Gripe), o efeito do MP₂.₅ infla. E a lição da Fase 0b: dois procedimentos de Granger defensáveis, duas conclusões sobre o MP — em nível sem correção ele antecede as internações; diferenciado com BH, silencia (e o NO₂ junto). Quem decide não é o gosto: é a regra pré-registrada e a falha alta.

peça: falsificação do V2 + refuters DoWhy + Fase 0b (fase0b_granger_mp.py)
garoa · saúde

Uma cidade que respira

Universo sintético de poluição, clima e internações, com DAG oculto e contrafactuais exatos — as cinco armadilhas plantadas, do confundidor de inverno ao collider do alerta.

erro devolvido · verdade retida
sombra · observabilidade

Um sistema que cai

Grafo de serviços com falhas injetadas e causa raiz conhecida, como no RCAEval (735 casos) — mais os chamados de QA da própria cyberesfera, que o lab observa.

causa raiz plantada
a medida que importa

O modo de falha

A medida principal não é o erro do número: é quantas vezes, com premissa violada, o agente recusa a alegação ou a rebaixa para não causal — em vez de devolver uma estimativa em silêncio.

recusa correta · falhar alto
05 · as peças que já existem

O mestrado é só um exemplo

Tudo o que o fio principal usou está construído e é reutilizável para outra pergunta, outro município, outro domínio. O lab é o lugar onde essas peças viram método para qualquer pesquisador.

mcp sus · pysus Aquisição DATASUS via PySUS: microdados SIH (set/2024–ago/2025) e SIM (2024) → séries diárias por município, sexo, faixa etária e subgrupo CID-10 — a base do servidor fontes, com piso de supressão. pronto
etl ambiental QUALAR horário (Pq. D. Pedro II e Congonhas), INMET 83781 diário e IAG horário → dataset integrado diário (364 dias, set/2024–ago/2025), com notebook de ETL reexecutável. pronto
fases 0–4 A sequência da monografia de qualificação: estatística clássica + Granger (F0) → DAGs e falsificação (F1) → ATE/ACE (F2) → contrafactuais e cenários (F3) → RCA, ICC e atribuição (F4). 42 CSVs, 37 figuras, notebook master reexecutável. pronto
respira.cybersocial.space A vitrine: rodada 1 imutável (DAG V2, 19 variáveis, 37 arestas), achados em 5 degraus de ambição causal, evidencias.json sob CC BY 4.0. no ar
bancada.cybersocial.space O painel do mestrado no navegador via stlite: clima e ar de São Paulo. no ar
pacote de skills Os cinco movimentos como procedimento portátil (SKILL.md, CC BY 4.0), roteando para as skills de teoria, métodos, DoWhy, DATASUS e RCA — a computação pesada roda na máquina do pesquisador. em obra
qa + espelho Dois MCPs remotos já no ar na infraestrutura da cyberesfera (OAuth, tokens, três níveis) — e o espelho: agentes gerativos avaliados contra as próprias memórias. no ar
papers PN/PS e RCA quasi-Markoviana (BRACIS 2025, arXiv:2509.02535); OPE para experimentos adaptativos (BRACIS 2026); CAR @ UAI 2025. publicados
06 · evolução governada

O lab aprende, com freio

ritmo rápido

Memória de caso

Cada sessão deixa rastro: o que o agente propôs, o que a pessoa aceitou, onde o harness quebrou. Automático; nada a travar.

ritmo médio

Caderno de lições

Um agente refletor propõe lições curtas a partir dos rastros; uma fila de aprovação humana decide o que entra.

ritmo lento

Skills

Uma skill só muda se não piorar a suíte de gabaritos e passar por revisão humana. Skill que não melhora resultado medido é aposentada.

O que nunca evolui sozinho: as arestas do DAG (toda lição que afirma uma aresta vai para a Mesa), a regra pré-registrada, as tolerâncias do harness e os próprios gabaritos — parte deles fica guardada e nunca promove skill, para o lab não decorar a prova.

BRACIS 2026 · Cuiabá · 19–22 out

Traga a sua pergunta causal

Você viu um exemplo de saúde pública construído com peças abertas — e as mesmas armadilhas que moram no seu problema de crédito, churn ou latência. O lab abre por convite: um token para a porta das máquinas, uma cadeira na Mesa para quem sabe do domínio.

counterfactual.cybermachines.space contato@cybersocial.space