Passo 7 · Prova·Prova · Atravesse o Proof Gate real
Codex com objetivo e prova — do prompt ao runtime · Lição 7/8

Atravesse o Proof Gate real

Parse não basta: carregue, execute, descubra o perfil e registre sentinels.

Demonstrações debatidas: 10 svg-illustrations · 9 slide-deck · 4 code-understanding · apresentação universal

Leia primeiro · fonte local
RESOURCES.md + evidence/proof-results.txt

Fontes sociais viram hipótese; o runtime local decide a configuração.

Ao final, você consegue
  • aplicar a regra ao pedido “adicione isso nas configs”;
  • separar recomendação de fato demonstrado;
  • escolher uma prova no boundary real.
A camada Simples é completa; a Técnica acrescenta precisão.
1

A grande ideia

A mudança só está pronta quando um processo novo do Codex carrega a configuração e executa o caminho real. Aqui, o loader estrito passou, o sentinel foi exato e um fast_scan foi descoberto por spawn.

Pense como… Ler a receita não prova que o forno funciona. Você liga o forno, assa e mede o resultado. Aqui, parse é receita; loader, execução e spawn são o forno.

Por baixo do capô

As evidências sanitizadas são GLOBAL_STRICT_LOAD_OK, config.load=ok, CODEX_CONFIG_SMOKE_OK, FAST_SCAN_CHILD_OK e AGENT_DISCOVERY_SMOKE_OK. Cada uma cobre uma fronteira distinta; o doctor global pode ter falhas independentes sem invalidar config.load.

TOML parse → strict load → exec sentinel
01 · TOML parse conduz a strict load; o checkpoint é exec sentinel.
2

Atlas visual

Leia cada diagrama como entrada → decisão → checkpoint. As legendas ligam a imagem ao mesmo exemplo.

strict load → exec sentinel → spawn profile
02 · strict load conduz a exec sentinel; o checkpoint é spawn profile.
exec sentinel → spawn profile → TOML parse
03 · exec sentinel conduz a spawn profile; o checkpoint é TOML parse.
spawn profile → TOML parse → strict load
04 · spawn profile conduz a TOML parse; o checkpoint é strict load.
TOML parse → strict load → exec sentinel
05 · TOML parse conduz a strict load; o checkpoint é exec sentinel.
strict load → exec sentinel → spawn profile
06 · strict load conduz a exec sentinel; o checkpoint é spawn profile.
exec sentinel → spawn profile → TOML parse
07 · exec sentinel conduz a spawn profile; o checkpoint é TOML parse.
spawn profile → TOML parse → strict load
08 · spawn profile conduz a TOML parse; o checkpoint é strict load.
TOML parse → strict load → exec sentinel
09 · TOML parse conduz a strict load; o checkpoint é exec sentinel.
strict load → exec sentinel → spawn profile
10 · strict load conduz a exec sentinel; o checkpoint é spawn profile.
exec sentinel → spawn profile → TOML parse
11 · exec sentinel conduz a spawn profile; o checkpoint é TOML parse.
spawn profile → TOML parse → strict load
12 · spawn profile conduz a TOML parse; o checkpoint é strict load.
TOML parse → strict load → exec sentinel
13 · TOML parse conduz a strict load; o checkpoint é exec sentinel.
strict load → exec sentinel → spawn profile
14 · strict load conduz a exec sentinel; o checkpoint é spawn profile.
3

No runtime

Este trecho registra a regra sem expor o arquivo global completo.

Evidência local sanitizada
codex app-server --strict-config …  # GLOBAL_STRICT_LOAD_OK
codex exec --skip-git-repo-check … # CODEX_CONFIG_SMOKE_OK
spawn_agent(fast_scan)             # FAST_SCAN_CHILD_OK

Acesse você mesmo

Abra evidence/proof-results.txt e compare cada sentinel com a fronteira que ele prova.

config-whitelist.json · proof-results.txt

4

Comparativos

CheckCobre
TOML parsesintaxe somente
strict loadschema/config do processo
CheckCobre
exec sentinelexecução real
spawn profiledescoberta do agente
5

Experimente

Decida antes de revelar; depois ajuste o risco, percorra o fluxo e responda aos quizzes.

Predição

Qual prova demonstra a descoberta do fast_scan?

FAST_SCAN_CHILD_OK junto de AGENT_DISCOVERY_SMOKE_OK.

Flashcards de recuperação

Pergunta
Qual é o exemplo contínuo?
Clique para virar
Resposta
adicione isso nas configs
Pergunta
Qual é a regra de prova?
Clique para virar
Resposta
Boundary real, não alegação.
Pergunta
Qual é o limite?
Clique para virar
Resposta
spawn profile
Escolha a opção operacionalmente correta:
A resposta correta segue o runtime e a finish line; as outras antecipam uma conclusão.

Ajuste de risco

4/10

Revisão focada + teste real.

Fluxo por etapas

Etapa 1 de 4: TOML parse.

Apresentação da lição

Quadro 1/4

TOML parse

A mudança só está pronta quando um processo novo do Codex carrega a configuração e executa o caminho real. Aqui, o loader estrito passou, o sentinel foi exato e um fast_scan foi descoberto por spawn.

Quadro 2/4

strict load

As evidências sanitizadas são GLOBAL_STRICT_LOAD_OK, config.load=ok, CODEX_CONFIG_SMOKE_OK, FAST_SCAN_CHILD_OK e AGENT_DISCOVERY_SMOKE_OK. Cada uma cobre uma fronteira distinta; o doctor global pode ter falhas independentes sem invalidar config.load.

Quadro 3/4

exec sentinel

FAST_SCAN_CHILD_OK junto de AGENT_DISCOVERY_SMOKE_OK.

Quadro 4/4

spawn profile

Leve a regra para o playbook final.

Revisão espaçada
Qual evidência fecha melhor esta lição?
O boundary correto mede o comportamento afirmado; aparência e confiança não substituem execução.
Acertos: 0/1
Pergunte ao seu agente-professor quando um boundary estiver ambíguo. Próxima etapa: Feche o playbook e diagnostique K3.