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 os recibos e nomeie a fronteira bloqueada.

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 provaria o sandbox.

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 preflight exige raiz do gateway, token do gateway e token do GitHub antes de construir o roster. O baseline completo passou. Docker permanece explicitamente sem prova porque o Colima não ficou SSH-ready.

2

Em uma imagem


configuraçãofail closed comando realreal path testes do workspace1,865 passed Dockersem prova Uma fronteira bloqueada fica visível; nunca vira uma afirmação de sucesso.
Evidência verde não apaga a fronteira tracejada do Docker.
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 a afirmação completa quando ambos existem.

Simulador de fronteira

Fronteira completa 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.
O teste de configuração passa, mas o daemon está indisponível. Qual é o estado honesto?
Configuração e testes estão provados; a fronteira do runtime de container está bloqueada.
Qual relato é evidence-first?
O relato baseado em evidência preserva os gates verdes e a fronteira ainda não resolvida.
A seguir: aplicar a mesma honestidade à rota local do DeepSeek.

Fontes e recibos