Prova e continuação

Prova na fronteira real

Testes estabelecem comportamento; apenas o caminho compilado real mais uma sonda independente fecha a afirmação de capacidade.

U1 PROVEN · U2 PROVENEXEMPLO SINTÉTICO · /demo-claude/

Escada de prova de testes de fixture à fronteira real e sonda independente.

Ao final, você consegue

Associar cada afirmação ao recibo que realmente a prova.
Ler o status de U1 e U2 a partir de seus recibos distintos.
Nomear a evidência que fechou o gate U2.

Modelo central

Uma escada de prova tem degraus diferentes. Testes unitários provam algoritmos com entradas controladas. Testes de CLI provam parsing e semântica de exit. Uma execução compilada real prova o caminho do operador. Uma sonda independente de metadados ou bytes cruza o resultado. O validador do curso prova o curso — não a capacidade sobre o arquivo.

Modelo mental: Um modelo da ponte, teste de material e laudo importam, mas o tráfego na ponte concluída é a prova de fronteira. Nenhum recibo anterior pode se passar pelo último.

O loop log registra as duas fronteiras reais. A U1 contou 661 JSONL elegíveis e 752.116.382 bytes. Depois, a U2 concluiu sobre 661 JSONL e 752.603.828 bytes, com 136.770 registros físicos, 658 janelas e zero falhas. Um walker independente conferiu 661/661 hashes de arquivo e o total exato de bytes; um clone estável também produziu manifestos byte-idênticos. Portanto U1 e U2 estão PROVEN.

Tabela de fronteiras

Pergunta	Fronteira observada	Dono	Veredito
Testes focados	Contratos de algoritmo e fixture	Ambas as unidades	Necessário
CLI compilado real	Fronteira do operador	U1	PROVEN
Cross-check independente	Contagens e bytes	U1	PROVEN
Manifesto real + sonda bytes/hash	Arquivo real U2	U2	PROVEN

Fonte local primária

docs/fable-session-mining/LOOP-LOG.md

# Recibo U1 (sanitizado)
inventário compilado: 661 JSONL · 752116382 bytes
sonda independente de metadados: MATCH

# Recibo U2 (sanitizado)
manifesto compilado: 661 JSONL · 752603828 bytes
136770 registros · 658 janelas · 0 falhas
sonda independente arquivo/hash/bytes: MATCH 661/661
conteúdo sentinel: AUSENTE · validador: ACCEPTED

Evidência controlada para comportamento focado.

Parsing de argumentos, forma da saída e semântica de exit.

O caminho compilado real do consumidor completa honestamente.

Um segundo mecanismo cruza o mesmo invariante.

Laboratório sintético

Escolha um recibo. O que ele prova exatamente?

Recuperação e feedback

Preveja antes de revelar

Quais recibos, além dos testes verdes, permitem ao curso marcar a fronteira real U2 como provada?

Uma execução real compilada, a conferência independente de arquivo/hash/bytes em 661/661, exclusão do sentinel, determinismo no clone estável e revisão independente ACCEPTED.

Cartões de recuperação

Cartões de recuperaçãoProva de fixtureAtive para virar

Prova de fixtureEvidência controlada para comportamento focado.

Cartões de recuperaçãoProva de CLIAtive para virar

Prova de CLIParsing de argumentos, forma da saída e semântica de exit.

Cartões de recuperaçãoProva de fronteiraAtive para virar

Prova de fronteiraO caminho compilado real do consumidor completa honestamente.

Cartões de recuperaçãoSonda independenteAtive para virar

Sonda independenteUm segundo mecanismo cruza o mesmo invariante.

Teste seu modelo

Qual é o status honesto atual?

O loop log autoritativo contém recibos reais compilados e cross-checks independentes para as duas fronteiras.

Ledger de evidências

Contratos focados · PROVENtestes U1 + U2

Fronteira real U1 · PROVENrecibo compilado registrado

Fronteira real U2 · PROVENrecibo compilado registrado

Revisão independente · PROVENACCEPTED · sem P0/P1

Autoridade: docs/fable-session-mining/LOOP-LOG.md. Testes nunca promovem um recibo real ausente.