Resumo

  • A proposta individual WEXP Coverage, publicada por Mikhail Sergeev em 23 de outubro de 2026, separa a autenticidade de cada recibo da prova de que todas as ações de um conjunto delimitado produziram recibos. O exemplo em PostgreSQL limita a ação a uma inserção confirmada em um livro fechado.
  • O poder de decisão está na premissa de captura. Quem garante que uma ação não passou por fora do livro, quem autorizou essa garantia e por que o consumidor do resultado deveria aceitá-la?

Uma auditoria impecável sobre o conjunto errado

Há uma maneira barata de obter cem por cento de sucesso numa verificação: entregar apenas o que o verificador consegue enxergar. O rascunho WEXP Coverage, de Mikhail Sergeev, não aceita esse truque de escritório. Uma assinatura prova algo sobre os bytes apresentados. A pergunta decisiva é como estabelecer que nenhuma ação relevante ficou fora do conjunto apresentado.

O texto, datado de 23 de outubro de 2026, propõe respostas delimitadas por escopo, corte temporal, destinatário e política de confiança. O IETF Datatracker o registra como Internet-Draft individual ativo, sem fluxo RFC. Estamos diante de uma proposta, não de regra adotada ou relato de uma falha observada. Ainda assim, ela obriga uma indústria inteira de selos verdes a dizer exatamente qual afirmação foi testada.

O primeiro passo é abandonar a contagem única. A representa as ações reais no escopo. C reúne os recibos finais criados até o corte de criação. R reúne os recibos disponíveis ao destinatário nomeado até o corte de entrega. Cv e Rv são visões fornecidas ao avaliador; S é uma visão dos registros de origem que pretende dar evidência sobre A. A integridade de S não garante que S contenha tudo o que ocorreu.

Uma solicitação pode falhar antes de se tornar ação. Uma transação pode ser confirmada mesmo quando a resposta ao cliente se perde. Um recibo pode nascer sem chegar ao destinatário. A repetição do mesmo recibo não cria outra ocorrência; dois recibos distintos ligados à mesma ação podem quebrar a correspondência exata. O contrato de implantação precisa definir cada etapa. Caso contrário, a equipe escolhe a coluna que produz o número mais bonito.

A proposta dá dez nomes às alegações. creation-complete exige um recibo final para cada ação. creation-sound exige uma ação para cada recibo final. creation-exact exige uma relação um a um. Entrega, cobertura da fonte, correspondência entre visões apresentadas e ausência de ações recebem testes distintos. Uma coincidência perfeita entre a planilha da fonte e a planilha dos recibos responde somente pela coincidência das duas planilhas, enquanto a fonte ainda pode ter deixado uma ação passar ao largo.

Esse é o motivo de uma regra que parece pequena e não é: fonte indisponível não pode virar lista vazia. A lista autenticada e realmente lida até o fim é uma condição. A consulta que falhou é outra. Assinar um arquivo vazio conserva o vazio do arquivo; não demonstra que não houve trabalho fora dele.

A política que permite acreditar

Cada premissa do modelo pode estar verificada, assumida por decisão autorizada, desconhecida ou refutada. Uma suposição aceita precisa registrar a autoridade da política, a razão e o alcance. Não vale usar a frase “a captura é completa” como a própria prova da captura. É preciso mostrar rotas de gravação, escritores, falhas, caminhos privilegiados de desvio e o momento exato em que registros se tornam finais.

O administrador do sistema entra aqui como personagem central. Ele pode alterar a fonte? Emitir um recibo antes de gravá-lo? Restaurar um estado antigo? Mostrar apenas um ramo de uma história bifurcada? O rascunho explica que dois selos iguais, duas organizações ou duas chaves não provam, por si, a inexistência desses caminhos. Controle independente é uma propriedade da operação, não da quantidade de assinaturas exibidas na página.

Num exemplo construído, uma derivação favorável depende de uma premissa de captura aceita. Outra evidência estabelece uma ação omitida. O avaliador conserva as duas e devolve not-established, indicando conflito. Não pode trocar a política para fazer o contraexemplo sumir. O dispositivo é técnico, mas o recado é institucional: quem aprova uma hipótese não recebe licença para editar o fato que a desmente.

Três barreiras para fechar um lote

O perfil pg-ledger/0.2.0 torna a discussão verificável ao diminuir a ambição. A ação é uma inserção confirmada num livro de ações nomeado, em um lote PostgreSQL 18 com uma instância primária. Uma transferência bancária, a entrega de mercadoria ou qualquer efeito fora do banco exigiria outra ligação especificada e validada. O perfil não infere esses efeitos de uma linha no banco.

Toda inserção e todo selo bloqueiam a mesma linha de época. Três barreiras confirmadas encerram, nessa ordem, a entrada de ações, a criação de recibos finais e a admissão pelo destinatário. A finalização espera o primeiro fechamento; a publicação espera o segundo. Uma leitura completa depois dos três fornece visões de origem, finalização e caixa de entrada. Horários de relógio e números de sequência não substituem prova de ordem de confirmação. Tentativas repetidas e variantes conflitantes permanecem disponíveis; só ocorrências autenticadas e idênticas podem ser normalizadas como retransmissões sob regra explícita.

O desenho oferece um sentido operacional para “todas” dentro desse lote. Seu fundamento, contudo, exige PostgreSQL e host corretos, armazenamento íntegro, separação de funções, ausência de emissão antecipada ou desvio, exportação completa autenticada, chaves e política estáveis. Um administrador privilegiado, uma restauração, uma bifurcação ou emissão fora do livro podem destruir a premissa. O selo protege o volume fechado; não examina a mesa onde páginas foram retiradas antes da encadernação.

O rascunho WEXP Core avalia afirmações de conteúdo relativas a alvos de execução exatos. Coverage olha para o conjunto. O exemplo hipotético da proposta traz 99 avaliações individuais válidas e uma ação comprovadamente sem recibo num conjunto fechado de 100 ações. As 99 avaliações continuam válidas. Para demonstrar a omissão, porém, é necessário estabelecer a existência da centésima ação e pesquisar de modo suficiente a ausência de seu recibo. A contagem de 99, sozinha, não faz essa prova. Trata-se de um teste lógico, sem números de produção.

Fontes