Passo 8 · Prova·Prova · Feche o playbook e diagnostique K3
Codex com objetivo e prova — do prompt ao runtime · Lição 8/8

Feche o playbook e diagnostique K3

Adote somente o que atravessou o runtime; mantenha a rota K3 como diagnóstico bloqueado.

Demonstrações debatidas: 9 slide-deck · 11 status-report · 12 incident-report · 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


O endpoint local lista kimi-k3, mas isso não basta para chamá-lo de agente Codex pronto. O envelope real de ferramenta falhou. Por isso, o playbook entrega quatro perfis nativos e registra K3 como blocked_runtime_tool_envelope.

Pense como… Ver um trem no painel da estação não prova que sua passagem abre a catraca. A rota existe; o envelope de uso ainda não atravessa o boundary.

Por baixo do capô

Presença em /v1/models prova disponibilidade do identificador no gateway, não compatibilidade completa com spawn/tool calls do Codex. A ação correta é manter o diagnóstico explícito, não criar um perfil quebrado nem promover alegações sociais sobre preço, benchmark ou contexto como verdade operacional.

rota listada → envelope falha → perfil não criado
01 · rota listada conduz a envelope falha; o checkpoint é perfil não criado.
2

Atlas visual


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

envelope falha → perfil não criado → reteste futuro
02 · envelope falha conduz a perfil não criado; o checkpoint é reteste futuro.
perfil não criado → reteste futuro → rota listada
03 · perfil não criado conduz a reteste futuro; o checkpoint é rota listada.
reteste futuro → rota listada → envelope falha
04 · reteste futuro conduz a rota listada; o checkpoint é envelope falha.
rota listada → envelope falha → perfil não criado
05 · rota listada conduz a envelope falha; o checkpoint é perfil não criado.
envelope falha → perfil não criado → reteste futuro
06 · envelope falha conduz a perfil não criado; o checkpoint é reteste futuro.
perfil não criado → reteste futuro → rota listada
07 · perfil não criado conduz a reteste futuro; o checkpoint é rota listada.
reteste futuro → rota listada → envelope falha
08 · reteste futuro conduz a rota listada; o checkpoint é envelope falha.
rota listada → envelope falha → perfil não criado
09 · rota listada conduz a envelope falha; o checkpoint é perfil não criado.
envelope falha → perfil não criado → reteste futuro
10 · envelope falha conduz a perfil não criado; o checkpoint é reteste futuro.
perfil não criado → reteste futuro → rota listada
11 · perfil não criado conduz a reteste futuro; o checkpoint é rota listada.
reteste futuro → rota listada → envelope falha
12 · reteste futuro conduz a rota listada; o checkpoint é envelope falha.
rota listada → envelope falha → perfil não criado
13 · rota listada conduz a envelope falha; o checkpoint é perfil não criado.
envelope falha → perfil não criado → reteste futuro
14 · envelope falha conduz a perfil não criado; o checkpoint é reteste futuro.
3

No runtime


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

Evidência local sanitizada
route: kimi-k3
status: blocked_runtime_tool_envelope
adopted_profiles: 4
next: retest tool envelope before creating agent profile

Acesse você mesmo

Leia LOOP-LOG.md Passe 2 e evidence/proof-results.txt. O bloqueio está preservado, não escondido.

4

Comparativos


EvidênciaConclusão
/v1/models contém K3rota anunciada localmente
tool envelope falhaagente ainda bloqueado
PosturaResultado
criar perfil mesmo assimconfig frágil
registrar bloqueioverdade operacional preservada
5

Experimente


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

Predição

A presença de kimi-k3 na lista local autoriza criar o perfil?

Não. Falta a prova do envelope real de ferramenta.

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
reteste futuro
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: rota listada.

Apresentação da lição

Quadro 1/4

rota listada

O endpoint local lista kimi-k3, mas isso não basta para chamá-lo de agente Codex pronto. O envelope real de ferramenta falhou. Por isso, o playbook entrega quatro perfis nativos e registra K3 como blocked_runtime_tool_envelope.

Quadro 2/4

envelope falha

Presença em /v1/models prova disponibilidade do identificador no gateway, não compatibilidade completa com spawn/tool calls do Codex. A ação correta é manter o diagnóstico explícito, não criar um perfil quebrado nem promover alegações sociais sobre preço, benchmark ou contexto como verdade operacional.

Quadro 3/4

perfil não criado

Não. Falta a prova do envelope real de ferramenta.

Quadro 4/4

reteste futuro

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: Cola operacional.