AGI Club · São Paulo · 2026

Minimal
Oversight

Quanta revisão os agentes de IA precisam — e onde?
Um sistema, um framework, 150.000 traces reais de execuções

Carlos R. B. Azevedo · Senior Director of AI Engineering · github.com/crbazevedo · arXiv:2606.15563
QUEM FALA

Carlos R. B. Azevedo

Pesquisador e engenheiro de IA · São Paulo

  • Doutor em engenharia de computação. Pesquisa sobre tomada de decisão sob incerteza: otimização multiobjetivo, aprendizado antecipatório e simulação estocástica.
  • Liderou equipes de IA e ciência de dados na indústria e em consultoria.
  • Escreveu a teoria Minimal Oversight (arXiv:2606.15563) e desenvolve o delegation-lab abertamente.

Cada afirmação desta noite remete a um paper, um lab ou uma execução registrada.

github.com/crbazevedo · @crbazevedo
O MATERIAL

O que sustenta esta noite

o paper

Minimal Oversight

A teoria: a menor revisão que mantém a qualidade acima da meta.

arXiv:2606.15563 · público

o lab

delegation-lab

Código executável: as equações, os fluxos de trabalho e o harness das execuções ao vivo.

github.com/crbazevedo/delegation-lab
pip install minimal-oversight

os dados

Um log de produção

Dois meses de entrega multiagente real, desidentificados.

150.000 eventos

O paper e o lab são públicos. Tudo mostrado esta noite pode ser reexecutado a partir deles.

O PROBLEMA

Dois meses de trabalho de agentes. Uma pessoa lendo tudo.

877
tarefas, issue → merge
150.000
eventos registrados
1
revisor

Ler tudo, a 5 minutos por tarefa: 9 dias úteis.

Quanta revisão? Onde no workflow? Quando a autonomia é impossível?
dados de produção · desidentificados
O PROBLEMA · SEIS ANOS

A necessidade muda de forma desde 2020

cobertura necessária para uma meta de 90% · calculadamodelos de pesos abertos cruzam depois: Kimi K2 Thinking, nov 25, precisa de 96%050%100%inviável acima desta linha125%ago 24GPT-4o33%118%out 24Sonnet 3.549%108%fev 25Sonnet 3.762%99%abr 25o369%88%ago 25GPT-575%70%fev 26Opus 4.681%
duração de tarefa concluída com 50% de confiabilidade · METR 1.11 min10 min1 h12 h2020202120222023202420252026GPT-3 · 8 sGPT-4 · 4 minSonnet 3.7 · 1 hGPT-5 · 3,4 hOpus 4.6 · 12 hduplicação≈7 meses (2019–2025)≈ 4 meses pós-2023

A alucinação caiu dentro de cada instrumento fixo: sumarização fundamentada passou de 3,0% (GPT-4, 2023) para cerca de 1% (2025); o conjunto de dados mais difícil de nov 2025 reposicionou a fronteira entre 2 e 15%. A lembrança em domínio aberto sem navegação ainda erra perto de 40%.

A revisão por tarefa caiu; a supervisão migrou para o sistema.

calculado: identidade de viabilidade (c 0,80 · f 0,85) sobre SWE-bench Verified (retirado em fev 2026) · METR 1.1 · HHEM
O PROBLEMA · RESPOSTAS COMUNS

Três respostas que todo mundo tenta primeiro

resposta 1

“Revisar tudo uniformemente.”

Parece seguro. A frota supera um leitor só.

resposta 2

“Confiar no ci verde.”

Mergeou limpo, então o agente deve ser bom.

resposta 3

“Vigiar o trabalho mais fraco.”

Olhos seniores nas mudanças mais arriscadas.

IO Sistemacada ação deixa registro
IIA Teoriaa aritmética da revisão
IIIO Testequatro previsões contra os dados
IVA Práticaexecuções ao vivo + os hábitos

As três respostas falham esta noite contra a teoria e 150.000 rastros reais.

I
O Sistema

O que fica registrado quando agentes trabalham?

Quatro partes de um plano de controle, uma tarefa de exemplo.

I · O SISTEMA · O SETUP plano de controle vs plano de dados

Um plano de controle acima de todos os agentes

Modeloos pesos
Agentemodelo + ferramentas, em loop
HarnessClaude Code, Codex CLI
Plano de controleplaneja · despacha · checa · audita
PLANO DE CONTROLE o logcaixa-preta contratospor tarefa checagensde qualidade planejador &loop autorização
admissionno loop contratos ↓ eventos ↑ harness A (Claude Code)sessão · sessão · sessão harness B (Codex)sessão · sessão agentes próprios de SDLCvia adaptadores PLANO DE DADOS

repositório compartilhado · CI · artefatos · checagens em cada merge

NOSSO EXEMPLO · “burst-guard” : impedir que um tenant barulhento derrube a API para todos.

I · O SISTEMA · O LOG event sourcing

Uma tarefa, um log: tudo que “burst-guard” fez

contrato criadot tamanho declarado despachadavia Claude Code leituras ×23contexto edições ×14implementação testes rodam2 falhando achado do agente críticoum caso esquecido correção aplicadaretry testes rodamtudo verde PR abertodiff + evidência humano aprovamerge feito resultado avaliadodano: menor
  • Append-only: cada evento tipado, com timestamp, atribuído. Dashboards são computados a partir dele.
  • Se não está no log, não aconteceu.
  • Um incidente dá replay passo a passo, uma semana depois.

Este log é o conjunto de dados do Ato III.

I · O SISTEMA · O CONTRATO design by contract

Toda tarefa começa como um contrato escrito

tarefa: burst-guard
objetivo: rate limiting por tenant na API pública
pronto quando: 429 ao estourar · config por tenant · docs
pode ler: api/gateway/** · docs/limits.md
pode escrever: api/gateway/limits/**
autonomia: implementa + abre PR · merge segue humano
tamanho declarado: M
  • O  prompt é um ponteiro para este contrato.
  • Ele não muda enquanto a tarefa roda.
  • Áreas de escrita nunca se sobrepõem; agentes paralelos não colidem.
  • O tamanho é declarado antes de existir código.

Fixado de antemão: o que foi pedido, a quem, com quais limites.

I · O SISTEMA · O CRONOGRAMA directly-follows graph (DFG)

O trabalho forma um grafo de dependências

onda 1 · pronta agora onda 2 · após a onda 1 onda 3 quota-ledger tenant-schema sdk-bump usage-meter burst-guard retry-budget rate-docs canary-rollout status-page
  • Uma onda: toda tarefa com insumos prontos, tudo de uma vez.
  • O paralelismo esbarra em escrita sobreposta e capacidade de revisão. Computação nunca limita.

O grafo de dependências limita a velocidade do trabalho.

I · O SISTEMA · O PLANEJADOR mdp fatorado · rddl

Escolher o que roda quando é um problema de decisão

// o mundo do planejador, em RDDL
stage(t) : {intake, build, ship, done};  // variáveis por tarefa
skill(t) : real;  dispatch(t), review(t) : action;
stage’(t) = if dispatch(t)  // despacho: uma aposta com probabilidades conhecidas
  then Discrete(done: skill(t), build: 1−skill(t)) else stage(t);
// atualização do lab: skill 0.78→0.70 ⇒ coverage 0.90→1.00
reward = Σt [ quality(t) − λ·review(t) ];  // a tese
  • O estado é um punhado de variáveis por tarefa e por agente: stage, tamanho declarado, habilidade estimada, revisão devida.
  • O próximo valor de cada variável depende de poucos pais. A recompensa soma por tarefa.
  • Um solver devolve uma política: para cada estado, a próxima ação, recomputada a cada onda.
  • Resultados fora da previsão alimentam a próxima onda por construção.

O grafo e os escopos de escrita são restrições duras. A política escolhe dentro delas.

MDPs fatorados: Boutilier et al. · RDDL: Sanner
I · O SISTEMA · O PLANEJADOR, FORMALMENTE rede de bayes dinâmica (2tbn)

O modelo de transição, desenhado como rede de Bayes

plate: uma cópia por tarefa fatia t fatia t+1 ação aₜ dispatch·revisar·adiar stageskillrev. devida stage′skill′devida′ custo da revisão U qualidade − λ·revisão
  • Duas fatias de tempo. Uma seta por dependência.
  • Um resultado revisado atualiza a skill; a skill reprecifica as tarefas abertas do agente.
  • Revisão devida não tem seta para skill: backlog não diz nada sobre qualidade.
  • Poucos pais por variável: tabelas pequenas, planejamento barato.
P(s′ | s, a) = Πi P(si′ | parents(si′), a)
  • Desenrolada para frente, planeja a onda. Condicionada no log, estima habilidade e deriva.

Um diagrama, duas direções: prevê para frente, aprende para trás.

Dean & Kanazawa · Boutilier et al.
I · O SISTEMA · AS CHECAGENS defesa em profundidade

Três camadas de checagens, depois um humano

saída do agentediff + evidência checagens autom.testes·análise estática dois críticosbugs·premissas·contexto humanopausa registrada mergecom evidência retries limitados, depois escala para um humano
checagens  testes · estática · CI → passou
crítico  “limites são por tenant; os testes só cobrem o tenant padrão” → detectado
retry  testes de tenant adicionados → verde  ·  humano  aprova em 30 s → merge feito

Cada erro encontrado vira uma nova checagem automática.

I · O SISTEMA · O LOOP loop autonômico (MAPE-K)

O loop que roda sozinho

intake admission planejar ondas dispatch checagens merge retrospectiva nenhum despachante humano pontos laranja: os únicos lugares em que um humano pode pausá-lo
54+ h
execução mais longa, totalmente autônoma
  • Intake lê os roadmaps e cria tarefas candidatas que já nascem como contratos.
  • Admission controla cada candidata: dependências, áreas de escrita, capacidade e política. Veredictos: aceitar · reduzir · endurecer · adiar · rejeitar.
  • Cada handoff vira regra. Humanos mantêm os pontos de pausa.
  • O loop pode se pausar. Nunca pode parar em silêncio.

O roadmap dá intenção. As checagens dão confiança. Ninguém vigia o loop.

I · O SISTEMA · O QUE ELE TE DÁ

Cinco números por tarefa, e uma surpresa

númeromedido em
feito certo, antes da revisãoprimeira passada
feito certo, depois da revisãomerge
tamanho declaradoplanejamento
revisão recebidachecagens & pausas
dano quando falhouretrospectiva

O tempo desse revisor é bem gasto? Isso exige um frame teórico.

II
A Teoria

Qual é a menor revisão que mantém a qualidade?

Supervisão mínima suficiente (MSO). Uma fórmula, usada de quatro jeitos. arXiv:2606.15563.

II · A TEORIA · O OBJETIVO supervisão mínima suficiente

Supervisão mínima suficiente, em uma figura

revisão insuficiente abaixo da meta revisão excessiva a qualidade quase não muda orçamento total de revisão → qualidade entregue 45% 90% a meta de qualidade o ponto mínimo suficiente

Suficiente: qualidade entregue ≥ meta.
Mínima: nem uma revisão a mais.

  • A revisão tem retornos decrescentes: os primeiros olhares compram mais.

Gaste revisão até o ponto e então pare.

II · A TEORIA · USO 1: PARA FRENTE

O que a revisão faz com a qualidade

depois = antes + (1 − antes) × olhou × detectou × corrigiu
o time de burst-guard, toda tarefa revisada:  0.45 + 0.55 × 0.80 × 0.85 ≈ 0.82
olhou

fração das tarefas que você revisa

detectou

erros que você nota quando olha

corrigiu

erros notados de fato reparados

Três botões, todos mensuráveis a partir dos cinco números do log.

II · A TEORIA · USO 2: PARA TRÁS mascaramento

O dashboard diz 82%. Qual agente é esse?

habilidade pré-revisãoqualidade da revisãodashboard
82%nenhuma necessária82%
45%detecta 80% · corrige 85%82%
28%detecta 86% · corrige 87%82%

82 ÷ 45 ≈ 1.8× de bajulação, medida em produção.

+36%
autonomia concedida a mais via dashboard
31×
erro possível da estimativa de habilidade

Registre dois resultados por tarefa: antes da revisão, depois da revisão.

✕ “Confiar no pipeline verde”

O verde mede o workflow. Autonomia precisa do número pré-revisão.

II · A TEORIA · USO 3: NA MARGEM alocação marginal

A revisão paga mais em agentes quase bons

fraco demais consertar = refazer ponto ideal quase perfeito amostragem 025% 50%75% 100% habilidade do agente pré-revisão valor de uma olhada pico ≈ 75%
  • Agente fraco: reparar é refazer. Realoque.
  • Agente quase perfeito: uma olhada raramente muda algo. Amostre.
  • No meio: uma olhada costuma virar falha → passou. Gaste aqui.
✕ “Vigiar o trabalho mais fraco”
97%amostragem
88%leve
74%mais revisão
62%pesada
41%encolha a tarefa
22%não delegue

Gaste cada olhada onde ela compra mais qualidade.

II · A TEORIA · USO 4: NO LIMITE

Algumas metas são impossíveis em qualquer orçamento

meta 90% · agente em 45% · detecta 80% · corrige 85%
lacuna a fechar:  0.90 − 0.45 = 0.45
cada revisão recupera:  0.55 × 0.80 × 0.85 = 0.374
0.45 ÷ 0.374 = 1.20 → revisar 120% das tarefas
✕ impossível: revisão sozinha não fecha a lacuna
meta de 80% → cobertura de 94%.

quando a matemática diz não

  • Encolher as tarefas
  • Testes & críticos melhores
  • Loop de reparo melhor
  • Baixar a meta, ou manter um humano

Todo pipeline tem um teto de qualidade: metas acima dele falham em qualquer orçamento.

Mais peças móveis → autonomia segura mais curta.

“Isso pode rodar sozinho?” se resolve com uma divisão.

II · A TEORIA · FORMAS motifs de workflow

A forma do workflow muda a matemática

chain
10
chain mais funda no log

cinco passos de 90% → 59%
gate a cada passagem → 85%

fan-out
113
fan-outs no log

4 ramos todos limpos: 66%
o dano fica em um ramo: amostre

merge
117
merges no log

o risco se concentra aqui
uma olhada cobre todos os ramos

diamond
65
diamonds no log

um fan-out que precisa reconciliar
revise a junção, amostre os braços

loop
a deriva se acumula por ciclo

o agente de longa duração
auditoria fixa a cada N ciclos

A olhada de maior alavancagem num grafo fica no merge.

II · A TEORIA · PROFUNDIDADE DE REPARO profundidade de reparo

Cobertura se paga em toda tarefa; replay, só na captura.

Sinalizar e seguir · grátis
quando a precisão do crítico é baixa

Patch na saída · barato
fraco em defeitos herdados

Retry do passo · médio
funciona onde o defeito nasceu

Replay da raiz · caro
a única cura para cascatas

1 salto 2 3 4+ quão atrás está a causa raiz valor do replay: decai custo do replay: cresce pare o replay aqui o cruzamento se move com o seu orçamento

além de ≈ 6 saltos, replay perde até com orçamento ilimitado

  • A cada salto para trás, mais um estágio precisa sobreviver de novo: o valor cai, a conta sobe.
gatequalidade por token
build0.047
ship0.043
intake0.013 · um terço

A melhor política financia build e ship, pula intake, e paga os replays.

Um pipeline saudável dá replay de propósito. Replays subindo apontam o gate subfinanciado.

II · A TEORIA · AO LONGO DO TEMPO

Habilidades derivam. Planos de revisão vencem.

estima habilidade aloca revisão executa e entrega mede resultados
5
updates de modelo em dois meses · habilidades mexeram toda vez

Solte revisão onde a habilidade subiu.

  • Reestime em agenda fixa.
  • Mantenha uma pequena auditoria aleatória sempre ligada.

A alocação se repete, porque as habilidades seguem mudando.

III
O Teste

Quatro previsões, checadas contra os dados.

1 · Fluxos de trabalho bajulam modelos
2 · Pedidos maiores falham mais
3 · A revisão fica onde a falha não está
4 · Planos fixos envelhecem; adaptativos seguram
dados: o log de 150.000 eventos + SWE-bench Verified

III · O TESTE · A EVIDÊNCIA mineração de processos · llm como juiz

Dois conjuntos de dados, três métodos

log de produção
793

tarefas concluídas, de 877 abertas. Revisão e governança reais; sem gabarito.

swe-bench verified
500 × 16

tarefas × modelos, testes ocultos. Com gabarito; sem governança.

Fluxo de trabalho recuperado do log por mineração de processos: 16 papéis achados.

Dano avaliado em 444 falhas por juízes LLM: concordância 0.84, tudo dentro de um nível.

Simulador calibrado em dados reservados: o modelo do planejador do Ato I, condicionado nos eventos.

Traces dizem o que aconteceu. O simulador diz o que teria acontecido.

III · O TESTE · O CENÁRIO

O workflow, recuperado do log

intake planejamento admission dispatch implementarresultado pré-revisão teste / CItaxa de detecção revisão PR gateponto de pausa humano mergeresultado pós-revisão releaseponto de pausa humano retrospectivadano avaliado loop de conserto · taxa de reparo próxima onda

caixas vermelhas: governança · borda grossa: pausa humana

Cada achado a seguir aponta de volta para este mapa.

III · O TESTE · PREVISÃO 1
previstofluxos de trabalho fazem modelos parecerem melhores do que sãoconfirmado · medido · causalidade em aberto

O mesmo modelo parece 4× melhor dentro do workflow

0102030 tarefas resolvidas (%) dentro do workflow modelo sozinho 9.5 32.0 tarefas fáceis 2.3 12.8 tarefas médias 0 · 0 tarefas difíceis
3.9×
workflow vs. modelo sozinho, modelos pareados
73–89%
das vitórias do workflow: tarefas que o modelo falhou sozinho

Em produção este mecanismo mediu 1.8×. Nas tarefas mais difíceis a diferença some.

Conceda autonomia pela habilidade solo; resultado de workflow bajula o modelo.

SWE-bench Verified, execuções públicas pareadas
III · O TESTE · PREVISÃO 2
previstopedidos maiores falham mais, mesmo em dificuldade igualconfirmado · correlação

Pedidos maiores falham mais. Mais difíceis, bem menos.

dano médio em 444 tarefas falhas · mais escuro = pior grandemédiopequeno tamanho do pedido baixamédiaalta dificuldade 1.69 1.39 1.69 1.27 1.48 1.39 0.86 0.93 1.48 média da linha 1.621.351.07
  • Tamanho e dificuldade quase não se correlacionam aqui.

Um degrau a mais de tamanho ≈ 2× o dano de um degrau de dificuldade.

  • Igual no SWE-bench: patches maiores, menos resolvidos.

Se uma tarefa pede dois rótulos de tamanho, divida.

O tamanho é fixado no planejamento, antes de existir código.

III · O TESTE · PREVISÃO 3
previstoa revisão humana fica onde a falha não estáconfirmado · observado

A revisão guardou o fim. Os erros nasceram antes.

onde ficaram as 298 pausas humanas release · 69% pull request · 28% outras 3% 0%

implementação, onde os erros nascem: 0 pausas

0.47
revisão gasta vs. falha futura · 0.5 = cara ou coroa
0.58
só da estrutura da tarefa · fraco mas real

Sinalizadas pela estrutura, sub-revisadas por humanos: 47% falharam vs. 35%.

A atenção seguiu o calendário, e o risco ficou sem vigia.

III · O TESTE · PREVISÃO 4
previstorevisão posta onde paga atinge a meta bem mais baratoconfirmado · em simulação

Mesma qualidade, um sexto da revisão

custo de revisão para segurar a mesma meta · unidades relativas o que humanos fizeram ✕perde a meta 9.2 revisar tudo ✓ segura a meta 11.4 pôr onde paga 1.9 ✓ segura a meta ótimo teórico 1.6
⅙
do custo de revisar tudo · 1.9 vs 11.4

Sob drift, planos fixos perdem a meta. O loop adaptativo segura: a política do planejador do Ato I, redecidindo conforme as estimativas mudam.

Um resultado de simulação. O próximo passo é um teste ao vivo.

III · O TESTE · COMO CITAR ISTO

O que os números desta noite podem e não podem dizer

medido

bajulação 4× · posição da revisão

Aconteceram.
Não provam causa.

correlação

tamanho ranqueia risco

Conhecido antes do código.
Não prova que mover a revisão ajuda.

simulação

custo ⅙ · resultados de deriva

Previsto pelo modelo.
Ainda não implantado.

execuções ao vivo

O Ato IV soma um quarto tipo

Modelos reais, nota mecânica, n = 6 por célula.
Evidência direcional.

Cite cada número com seu rótulo.

IV
A Prática

Como aplicar review patterns em coding workflows?

Execuções em modelos reais.

IV · A PRÁTICA · EXECUÇÕES AO VIVO 1/4

Patterns: uma chain com feedback, e um fan-out com re-dispatch.

especificar implementar verificar · crítico retry + feedback replay da raiz CHAIN · LangGraph · o implementador nunca vê o ticket
def gate(state) -> Command:
  verdict = ask(CRITIC, ...)
  if verdict.startswith("OK"):
    return Command(goto=END)
  if "DEFECT_SPEC" in verdict: 
    return Command(goto="spec", update={"feedback": [verdict]})
  return Command(goto="implement", update={"feedback": [verdict]})
analista A analista B analista C sintetizar checar · crítico redespacha o ÚNICO ramo culpado FAN-OUT · ADK · o merge vê só resumos
async def _run_async_impl(self, ctx):
  async for ev in self.fan.run_async(ctx): yield ev # 3 analistas
  async for ev in self.synth.run_async(ctx): yield ev
  blamed = localize(ask(CRITIC, ...))  # revisar a junção
  async for ev in self.analysts[blamed].run_async(ctx):
    yield ev  # repetir UM ramo e então unir de novo
revisor: maritaca, outra famíliaavaliador: juiz independente + checagens automáticas, fora do loopgabarito: testes ocultos · gabaritos de provaexecutores: gemini 3.5 / 3.6o código completo no repo
IV · A PRÁTICA · EXECUÇÕES AO VIVO 2/4 taxas-base

Rodada 1: a revisão piorou as coisas

15 tarefas · chain a 93% de habilidade · crítico de veredito em toda tarefa trabalho correto 1 quebrada 8 marcadas · 7 falsas
0.93 → 0.73
qualidade após reparos forçados
3 · 0
soluções funcionais quebradas · salvas
0.79
índice de mascaramento
críticoprecisão
maritaca small0.10
maritaca large0.00
gemini flash0.00
gemini pro0.00

Faixa de capacidade de 3×, mesmos artefatos congelados. Discriminação idêntica. Defeitos raros fazem de qualquer crítico de veredito um gerador de alarmes falsos.

a identidade assumia que revisão só ajuda. Ela quebrou:
after = before + (1−before)·b·c·f − before·b·(1−p)·ρ

Melhoramos o crítico. Nada mudou. O instrumento era o problema.

IV · A PRÁTICA · EXECUÇÕES AO VIVO 3/4 críticos executáveis

O conserto foi o instrumento: críticos que produzem evidência

veredito · uma opinião
“Se o código satisfaz todos os critérios, responda exatamente: OK
Se violar um deles, responda: DEFECT_CODE: …”
precisão
0,00–0,20
executável · evidência
“ NÃO julgue o código: escreva instruções assert que expressem os critérios. Nós as executamos.”
precisão
2×

mesmo modelo · ele deve escrever testes válidos

rubrica · evidência + feedback
“Pontue cada critério: PASS ou FAIL. Não invente critérios.”
concordância dos juízes
0,85–0,97

critérios reprovados = mensagem de reparo

Um veredito é uma opinião. Uma asserção que executa, ou um critério pontuado, é evidência.

IV · A PRÁTICA · EXECUÇÕES AO VIVO 4/4

Com o instrumento certo, a revisão enfim paga

meta 0.8 base 0.61 → 0.63 patch + falhas 0.56 → 0.88 revisão + reconstrução 0.78 → 0.96 zero regressões critérios no contrato 1.00 estável upgrade 0.59 → 0.59 · estável
  • O upgrade não comprou nada: a falha era informação perdida entre nós.
  • Revisão com feedback reconstruiu exatamente isso, e a chain concordou baixinho (+0.02, zero regressões).
  • Critérios marcaram 1.00 em tudo: contrato, lista de critérios e feedback são um artefato só.
n = 6 por célula · execuções únicas · modelos ao vivo

O workflow diz o que comprar: revisão, profundidade de feedback ou um nó melhor.

IV · A PRÁTICA · DELEGATION-LAB

delegation-lab calcula qual alavanca

from google.adk import Agent
from minimal_oversight import analyze_pipeline

support = Agent(name="support",
  sub_agents=[triage, locate, patch, verify])
report = analyze_pipeline(support, p_min=0.90)
viável ou nãorevisão por nóranking de mascaramentoagenda de rechecagem
nóhabilidadeo plano
triage95%pular
locate70%revisar 98% das execuções
patch55% → 75%upgrade + revisar 88%
verify85%revisar 49%

2.4 unidades de revisão põem todo nó ≥ 90%. “Revisar tudo” custa 4.0 e ainda perde: um nó de 55% não chega a 90% em cobertura nenhuma.

Aqui a matemática manda subir o nó; no fan-out ela mandou feedback.

O cockpit faz isso ao vivo: cole rastros ou um grafo, arraste a meta, veja o plano se mover.

IV · A PRÁTICA · PLAYBOOK

Seis hábitos, ranqueados por efeito medido

1Escreva os critérios antes de alguém agir1.00 em toda célula ao vivo; contrato, lista de critérios e feedback são um artefato sóadicione um bloco de critérios a um template de tarefa
2Registre dois números por tarefaa revisão esconde a habilidade real, e pode inverter (mascaramento ao vivo 0.79)adicione uma coluna pré-revisão
3Faça críticos produzirem evidênciaprecisão de veredito 0.00 → 2×; juízes que dão nota critério a critério concordam 0.85–0.97transforme um crítico em asserts ou em nota critério a critério
4Declare o tamanho no planejamentotamanho prevê dano 2× melhor que dificuldadeum campo de tamanho · divida o que for XL
5Divida antes de delegaralgumas metas de qualidade são impossíveis em qualquer orçamento faça a divisão para um pipeline
6Re-estime em agenda fixacinco updates de modelo em dois meses mexeram toda habilidadeagende · mantenha auditorias aleatórias

Os três do topo são as principais alavancas.

IV · A PRÁTICA · PARA LEVAR

O que você aprendeu esta noite

engenharia de software

event sourcing
o log é a única verdade

design by contract
o pedido é fixado de antemão

defesa em profundidade
checagens independentes em camadas

planejamento de ia

MDP fatorado
o mundo em variáveis pequenas

RDDL
uma língua para MDPs fatorados

alocação marginal
gaste cada olhada onde compra mais

engenharia de harness

hooks
código em momentos fixos do loop

adaptadores & sidecars
plugam qualquer harness no log

playbooks & skills
passos fixos, modelo dentro

esta teoria

supervisão mínima suficiente
a menor revisão que mantém a qualidade

mascaramento
a revisão esconde a habilidade real

o pico de 75%
onde a revisão paga mais

profundidade de reparo
patch · retry · replay

Cada um destes está a uma busca de distância.

FECHAMENTO
“Revisar tudo”
6× o custo pela mesma qualidade
“Confiar no pipeline verde”
a revisão esconde o agente: bajulação de 1.8×
“Vigiar o trabalho mais fraco”
a revisão paga mais perto de 75% de habilidade

Autonomia é um orçamento, definido pelo pipeline inteiro; o modelo contribui um termo.

Cheque se é viável. Gaste onde paga. Recheque em agenda fixa.
A revisão se paga quando críticos produzem evidência.

paper
arxiv.org/abs/2606.15563
código
github.com/crbazevedo/delegation-lab
instalar
pip install minimal-oversight
eu
@crbazevedo

Obrigado. Perguntas?

A
Apêndice · para o Q&A

Fórmulas · confiabilidade dos juízes · estatísticas de estrutura · referências · história de campo · anexos · partes puladas · seis anos de modelos

APÊNDICE · A1

As fórmulas por trás do Ato II

σcorr = σraw + (1−σraw)·b·c·f · olhou × detectou × corrigiu
emendada (execuções ao vivo): − σraw·b·(1−p)·ρ · reparos falso-positivos destroem trabalho correto
α*(x) = min(αmax, (λ/2)·σ√(σ(1−σ))) · pico ≈ 0.75
Beff = Cop − pmin − λ·H(W) · λ ≈ 0.02 / bit
T*auto = Beff / μeff · inclinação observada −0.99
K/N ≥ (pmin−σraw) / [(1−σraw)·c·f] · acima de 100%: revisão sozinha não atinge a meta
replay iff w·[f(1−ρ)σ̄d − f₁up] > λ·ΔC(d)
r₃(j) = ℓ bjcj Σm<j π̃m Π(1−bgcgeg)

Cada quantidade é estimável a partir das duas colunas do log.

arXiv:2606.15563
APÊNDICE · REFATORAÇÃO DE FORMA (SIMULADA)

Mesmos agentes, forma melhor: 46% → 88%

antes · um agente · 12 ferramentas · chain de seis passos 46% depois · três agentes · 4 ferramentas cada · emenda revisada por passagem agente Aintake & spec agente Bbuild & teste agente Cship & docs olhada olhada olhada 88%
  • Menos ferramentas por agente: cada dobra nas escolhas taxa o buffer de autonomia (≈ 2% por bit).
  • Divida o mega-agente: pedidos menores sobem a habilidade crua. É o achado do tamanho.
  • Revise nas emendas: a passagem dá à olhada onde se segurar.

exemplo resolvido · passos 88% → 93% · detecção 80% · correção 85%

Forma amigável à governança é escolha de projeto; aqui ela subiu a qualidade.

APÊNDICE · O GRAFO MINERADO, AVALIADO

Este grafo, avaliado: revise as junções, trave as chains fundas

117
merges · 14% de todos os nós
113
fan-outs
65
diamonds · 56% dos merges
10
chain mais funda
pesado em merges → alavancagem

117 olhadas (14% dos nós) ficam a jusante de todo ramo paralelo. Revisar só as junções inspeciona a maior parte do trabalho conjunto do grafo.

chains fundas → gates, por aritmética

Profundidade 10 a 95%/passo entrega 60% cru. Revisar o fim de toda execução ainda trava em 87%, abaixo da meta. Chains ≥ 5 pedem gates no meio.

diamonds → risco de reconciliação

56% dos merges juntam braços que precisam concordar: a forma de fan-in que previu dano. Prioridade: junções → gates de chain → ramos amostrados → pare.

A estrutura diz onde olhar, antes de qualquer resultado chegar.

estimativas: estrutura minerada × as equações desta noite
APÊNDICE · A2

Juízes LLM precisam ganhar confiança

checagemvalor
concordância ponderada, re-nota reservada κ_w0.84
concordância entre quatro avaliadores (Fleiss κ)0.61
dentro de um nível de dano100%
juiz mais duroreportado, sem correção
construções alternativas de rótuloachados inalterados
  • Dano pontuado 0–3 no campo “o que quebrou” de cada retrospectiva.
  • 815 retrospectivas · re-nota reservada de 120 tarefas por outros juízes.
  • Contagens de menção medem ruído de processo; o juiz pontua o dano.

Confiabilidade de juiz é um número que você mede e reporta.

Zheng et al. ’23 · Wang et al. ’23 · Landis & Koch ’77
APÊNDICE · A3

A estrutura recuperada, e onde a habilidade do modelo importa

16
famílias de papel (864 nós · 671 arestas)
10
profundidade máxima de chain
113
fan-outs
117 · 65
merges · diamonds
entre modelos, swe-bench (16 modelos)

inclinação habilidade→resolução por dificuldade:
fácil 0.91 · média 1.11 · difícil 0.73

Upgrades de modelo compram mais nas tarefas médias.

O elo com habilidade média repousa numa premissa não testada.

Toda forma de workflow que a teoria assume ocorre em produção.

APÊNDICE · A4

Referências & ponteiros

  • Azevedo (2026) · Minimal Oversight · arXiv:2606.15563
  • delegation-lab · toolkit + demos · github.com/crbazevedo/delegation-lab
  • Estudo empírico · supervisão em rastros reais de agentes · em revisão, 2026
  • Cemri et al. (2025) · por que sistemas multiagentes falham (MAST) · arXiv:2503.13657
  • Jimenez et al. (2024) · SWE-bench · ICLR
  • Bowman et al. (2022) · supervisão escalável · arXiv:2211.03540
  • Madras et al. (2018) · learning to defer · NeurIPS
  • Geifman & El-Yaniv (2017) · predição seletiva · NeurIPS
  • Zheng et al. (2023) · LLM-as-a-judge · NeurIPS
  • van der Aalst (2016) · Process Mining · Springer

Lâminas + notas do apresentador vivem neste arquivo: aperte N.

APÊNDICE · A5 · HISTÓRIA DE CAMPO

A execução que parou em silêncio

Uma execução autônoma longa pausou.
Sem crash. Sem erro.

O modelo vinha segurando a decisão de parar ou continuar, e escolheu parar, sem registrar nada.

  • Parar-ou-continuar saiu do modelo, para regras fixas sobre o log.
  • “Parar” não está no vocabulário do modelo; o fallback é trabalho ocioso útil.
  • Só o kill switch do operador para o loop.

O modelo nunca deve decidir quando parar.

APÊNDICE · OS ACOPLAMENTOS hooks · sidecars

Como o plano de controle toca um agente

percebe decide age hook hook hook harness de terceirosnão é seu sidecar log
hooks

Código em momentos fixos do loop do agente: antes de uma chamada de ferramenta, depois da saída. Pode bloquear: é código em vez de prompt.

adaptadores & sidecars

Um processo companheiro acoplado a um harness que não é seu. Ele traduz os eventos daquele harness para o log. Mesma ideia dos sidecars do Kubernetes.

skills

Conhecimento prático empacotado que o agente carrega sob demanda: procedimentos, checklists, regras de domínio.

playbooks

Sequências fixas de passos para tipos de tarefa conhecidos. O modelo improvisa só dentro de um passo.

O que precisa acontecer é código. O modelo preenche as lacunas de julgamento.

APÊNDICE · A6 · PULADO DE PROPÓSITO

O resto do plano de controle, em quatro linhas

blast radius

Ações ranqueadas de só-leitura → irreversível. Um workflow é tão arriscado quanto seu passo mais arriscado.

aprovações de uso único

Ações perigosas consomem uma aprovação emitida para aquele estado exato.

controle de admissão

Planos recebem uma de cinco respostas graduadas: aceitar · reduzir · endurecer · adiar · rejeitar.

confiança conquistada

A confiança é computada de resultados do log. A revisão nunca desliga; a taxa se move.

Um instinto em tudo: transformar julgamentos em comparações contra o log.

APÊNDICE · A7 · LINHA DO TEMPO

Seis anos de modelos, por família

OpenAI

jun 20 GPT-3
texto atrás de API; humano lê tudo

nov 22 ChatGPT
escala de massa em 5 dias

mar 23 GPT-4
boa o bastante para pularem a revisão

set 24 o1-preview
raciocínio oculto por trás da resposta

abr 25 o3
ferramentas dentro do raciocínio

ago 25 GPT-5
cadeias longas de ferramentas

Anthropic

mar 23 Claude 1
assistente HHH via API

mar 24 Claude 3
família em camadas, com visão

out 24 computer use
opera tela, cursor e teclado

mai 25 Claude 4
horas de código autônomo

set 25 Sonnet 4.5
execuções de 30 horas

jun 26 Claude 5
salvaguardas por nível no produto

Google

mar 23 Bard
chat ao lado da busca

fev 24 Gemini 1.5
contexto de 1M de tokens

dez 24 Gemini 2.0
modelo para a era agêntica

mar 25 Gemini 2.5
orçamento de raciocínio exposto

nov 25 Gemini 3
plataforma orientada a agentes

mai 26 Gemini 3.5 Flash
agente pessoal 24/7 (Spark)

DeepSeek + abertos

jul 23 Llama 2
pesos abertos amplamente adotados

dez 24 DeepSeek-V3
fronteira auto-hospedável

jan 25 DeepSeek-R1
raciocínio aberto, licença MIT

jul 25 Kimi K2
agêntico aberto, 1T parâmetros

abr 26 DeepSeek-V4
contexto de 1M, aberto

o arco   2020-22 texto lido por resposta  ·  2023 revisão pulada, código disparado  ·  2024 ferramentas, contexto de projeto, raciocínio oculto  ·  2025 agentes de horas, com permissões e auditoria  ·  2026 governança contínua de sistemas de longa duração

ecossistema   jun 23 function calling  ·  nov 24 MCP  ·  fev 25 CLIs de código no terminal  ·  mar 25 horizonte METR dobrando em meses  ·  set 25 execuções de 30 h anunciados

datas verificadas em 2026-08-03 · fontes no kb (evolution-milestones)
8 / 52
Notas do apresentador · N para ocultar
[3:40] Chamarei de modelo o componente que gera respostas. Agente é o modelo operando com contexto, memória e ferramentas. Harness é o ambiente que executa e restringe o agente. Acima disso, o plano de controle coordena contratos, agenda, políticas, avaliação e observabilidade. Contratos descem para os agentes; eventos e resultados sobem. Para quem constrói agentes, a consequência é importante: não é possível governar apenas pelo prompt ou pela resposta final. Precisamos observar o objeto completo que produz o resultado.

Índice · G ou Esc para fechar