Contrato de contexto: separar o observado do inferido no Code
Um fluxo de engenharia fica mais auditável quando arquivo observado, hipótese, mudança proposta e verificação têm estados diferentes.
Por que rotular evidência
Durante uma investigação de código, fatos observados em arquivos não devem receber o mesmo peso que uma hipótese de causa raiz. O Giorgio mantém estados como observado em arquivos, inferido, mudança proposta, verificado por execução e não executado.
O benefício na revisão
- Evita apresentar hipótese como fato.
- Mostra claramente o que foi ou não executado.
- Facilita retomar a sessão sem reconstruir toda a investigação.
Contrato não é excesso de burocracia
O objetivo é tornar as decisões legíveis. Em tarefas simples, o contrato pode ser curto; em tarefas críticas, ele funciona como trilha para entender por que uma mudança foi aceita.
A parte difícil de Estado observado não é hipótese
O contrato de contexto impede que uma suposição ganhe o mesmo peso de um arquivo lido ou de um teste executado. Marcar observado, inferido, proposto, verificado e não executado reduz um dos erros mais caros em agentes de código: continuar a partir de fatos inventados.
- contratos entre arquivos e runtimes continuam alinhados
- cada estado de erro tem recuperação previsível
- verificação distingue parser, runtime e visual
Falha específica: Estado observado não é hipótese
O risco aparece quando resumos comprimem demais e apagam a proveniência. Uma frase curta como “auth está quebrado” não diz se isso veio do runtime, de um print ou de uma hipótese.
Evidência que fecha Estado observado não é hipótese
A evidência boa mantém ligação entre claim, fonte e check. Ao retomar a sessão, o agente sabe o que pode reutilizar e o que precisa confirmar novamente.
Contrato de saída como gate
Em “Contrato de contexto: separar o observado do inferido no Code”, o ponto técnico que fecha a análise é tratar código executável, regressão e evidência como parte do mesmo contrato. A implementação deixa de ser convincente quando uma dessas dimensões existe só no texto, mas não aparece no comportamento verificável do produto.
- definir o estado esperado antes da ação
- observar o efeito real e registrar a evidência
- se o gate falhar, reparar a causa antes de ampliar o escopo
