Passo 2 · Um roster pequeno·Proof GatesEN
Roteamento de modelos com evidência · Curso visual

Proof Gates

Uma função configurada não é um resultado. Cruze a fronteira real, guarde o recibo correspondente e relate qualquer bloqueio restante.

Leia primeiro (fonte primária)
Your Machine Keeps the Most Honest Record of You

O fluxo privilegia logs, timestamps e diffs sobre autodescrição. Aqui aplicamos essa regra ao roteamento.

Ao final, você consegue

  • separar prova de configuração de prova de runtime
  • reconhecer comportamento fail-closed
  • relatar uma fronteira bloqueada sem exagero
Comece simples; abra a camada técnica apenas quando for útil.
1

A grande ideia

Toda afirmação precisa de um recibo correspondente. Um teste unitário prova o mapeamento; um comando real prova a inicialização; um container prova a fronteira de sandbox que realmente cruzou.

Pense nos portões de um aeroporto. O cartão de embarque leva ao portão, não ao destino. A analogia quebra porque gates de software podem ser repetidos deterministicamente.

No código

O perfil isolado alembic-proof criou a imagem Factory; depois, um container sem rede executou Claude Code 2.1.211 e Codex 0.140.0. Testes por função verificam que o runtime cria mapas de credenciais separados para Claude e Codex; os nomes não foram reinspecionados dentro do container. Isso prova imagem e CLIs na fronteira do container e mapping na fronteira de teste — não uma execução Factory autenticada completa.

2

Em uma imagem

configuraçãofail closed comando realreal path testes do workspace1,865 passed Dockerprovado Cada fronteira guarda seu recibo; um gate verde não substitui outro.
Docker está verde porque a imagem e os dois CLIs no container realmente rodaram.
3

No código

packages/factory/src/FactoryRuntime.ts
const parsed = factoryEnvironmentSchema.safeParse(env);
if (!parsed.success) {
  const field = parsed.error.issues[0]?.path[0];
  return failure(
    `Missing required Factory environment variable: ${String(field ?? "unknown")}`,
  );
}

Como achar ou executar isto

FACTORY_CLIPROXY_URL= FACTORY_CLIPROXY_TOKEN= GH_TOKEN= pnpm exec tsx .factory/run.ts termina antes de container ou chamada de modelo.

4

Experimente

Alterne os dois recibos. O simulador só permite afirmar a fronteira Docker dos CLIs quando ambos existem.

Simulador de fronteira

Fronteira Docker dos CLIs pronta para ser afirmada.

Os dois recibos existem.

A fronteira bloqueada permanece.

Relate o que passou e nomeie o que não passou.

Vire os três cartões, faça uma previsão e só então responda ao teste.

1.865 testes passaram. Docker está provado?
Não. Testes e Docker são fronteiras distintas.
O que significa fail closed?
Parar antes de modelo ou escrita quando falta wiring obrigatório.
O que é um recibo?
Comando, resultado, log ou artefato ligado à afirmação.
A imagem e os CLIs rodaram, mas não houve turno autenticado no gateway. Qual é o estado honesto?
A fronteira Docker dos CLIs está provada; uma execução Factory autenticada completa não é afirmada.
Qual relato é evidence-first?
O relato baseado em evidência nomeia tanto a fronteira cruzada quanto a fronteira mais estreita que não foi exercitada.
A seguir: aplicar a mesma honestidade à rota local do DeepSeek.

Fontes e recibos