Passo 7 · Evidência operacional · Evidência operacional · Proof Gates e validação independente PT-BREN
CLIProxyAPI 7.2.70 · kimi-k3 · Visual Course

Proof Gates e validação independente

Uma configuração bonita não é uma prova; cada gate pede uma observação que não pode ser forjada por uma lista estática.

Leia primeiro (fonte primária)
CONFIG-MODEL-POLICY-EVIDENCE.md

Registro local redigido do gateway em execução e do exemplo kimi-k3.

Leia a versão simples, ou abra a camada técnica em qualquer seção.
1

A grande ideia


Uma configuração bonita não é uma prova; cada gate pede uma observação que não pode ser forjada por uma lista estática.

Pense como… Pense em três carimbos: escopo pergunta se a entrega existe, fronteira pergunta se ela funciona e validador pergunta se outro leitor concorda. O carimbo não faz o trabalho; ele registra a checagem..

Por baixo do capô

O escopo exige 13 modelos e K3 real; a prova exige sentinelas e JSON HTTP; o validador independente separa limitações upstream de falhas locais e preserva tentativas falhas.

2

Em uma imagem


01 · contrato de escopocontrato de escopogovernaanti-cheatingEscopo não aceita mock estático.
contrato de escopo — governa — Escopo não aceita mock estático.
3

No código


Este é o caminho local real e um comando seguro de leitura.

GOAL.md
# trecho real, não editado
node --check validation-harness/validate-gateway-full-window.mjs
node course/scripts/validate-course.mjs

Acesse você mesmo

node --check validation-harness/validate-gateway-full-window.mjs node course/scripts/validate-course.mjs

4

Experimente


Use os controles para recuperar a evidência antes de ler a explicação.

02 · anti-cheatinganti-cheatingconfere comlista vivaSentinela separa 200 de sucesso semântico.
anti-cheating — confere com — Sentinela separa 200 de sucesso semântico.
03 · lista vivalista vivaroteia parasentinela únicaValidador separa limite externo de erro local.
lista viva — roteia para — Validador separa limite externo de erro local.
04 · sentinela únicasentinela únicaexcluiuso observadoEscopo não aceita mock estático.
sentinela única — exclui — Escopo não aceita mock estático.
05 · uso observadouso observadoprovapatch de imagemSentinela separa 200 de sucesso semântico.
uso observado — prova — Sentinela separa 200 de sucesso semântico.
06 · patch de imagempatch de imagemdelimitaJSON 503Validador separa limite externo de erro local.
patch de imagem — delimita — Validador separa limite externo de erro local.
07 · JSON 503JSON 503mapeia parafull contextEscopo não aceita mock estático.
JSON 503 — mapeia para — Escopo não aceita mock estático.
08 · full contextfull contextreinicia comotentativa falhaSentinela separa 200 de sucesso semântico.
full context — reinicia como — Sentinela separa 200 de sucesso semântico.
09 · tentativa falhatentativa falhapreservareview.mdValidador separa limite externo de erro local.
tentativa falha — preserva — Validador separa limite externo de erro local.
10 · review.mdreview.mdcompara comlimite upstreamEscopo não aceita mock estático.
review.md — compara com — Escopo não aceita mock estático.
11 · limite upstreamlimite upstreamretornafalha localSentinela separa 200 de sucesso semântico.
limite upstream — retorna — Sentinela separa 200 de sucesso semântico.
12 · falha localfalha localconfirmaredação de segredoValidador separa limite externo de erro local.
falha local — confirma — Validador separa limite externo de erro local.
13 · redação de segredoredação de segredoqualificacontrato de escopo registro de verificaçãoEscopo não aceita mock estático.
redação de segredo — qualifica — Escopo não aceita mock estático.
14 · contrato de escopo registro de verificaçãocontrato de escopo registro de verificaçãoregistracontrato de escopoSentinela separa 200 de sucesso semântico.
contrato de escopo registro de verificação — registra — Sentinela separa 200 de sucesso semântico.

Resumo em três quadros

1 Defina o que conta
2 Exercite a fronteira
3 Peça outro veredito
O escopo exige 13 modelos e K3 real; a prova exige sentinelas e JSON HTTP; o validador independente separa limitações upstream de falhas locais e preserva tentativas falhas.
Registre a observação, preserve a exceção e escolha a próxima prova estreita.
recupereGate de escopoclique para virar
Escopo não aceita mock estático.
recupereGate de fronteiraclique para virar
Sentinela separa 200 de sucesso semântico.
recupereRevisão independenteclique para virar
Validador separa limite externo de erro local.
Preveja antes de revelar

O que torna um 200 insuficiente?

HTTP 200 sem a sentinela pode ser uma conclusão não relacionada ao pedido.

Exemplo resolvido
1Abra GOAL.md.
2Confronte contrato de escopo com patch de imagem.
3Registre falha local como próxima prova.
Revisão de recuperação
O que torna um 200 insuficiente?

HTTP 200 sem a sentinela pode ser uma conclusão não relacionada ao pedido.

Pergunte qual fronteira você provaria a seguir; a próxima lição reduz outro risco operacional.