o detalhe do Ocaso ao qual eu continuava voltando é que um bloco pode ter uma atestação de sucesso e ainda assim não ser final.

na minha primeira leitura de Atestação Concisa era mais simples.

a proposta chega.

a validação alcança uma supermaioria de votos Válidos.

a ratificação confirma.

as assinaturas BLS agregadas provam o quórum.

terminou, certo?

não exatamente.

a seção de finalização em avanço do Ocaso divide um bloco em aceito, atestado, confirmado e final.

se um bloco é produzido na iteração I > 0 enquanto uma iteração anterior ainda não tem atestação de falha, ele pode carregar uma atestação de sucesso e só pode ser marcado como aceito.

porque “o comitê alcançou quórum” soa muito parecido com “este bloco não pode desaparecer”.

no Ocaso, isso são reivindicações diferentes.

a iteração anterior ainda não resolvida ainda importa. se um bloco de iteração menor mais tarde chega a um consenso, o mecanismo de fallback pode substituir o bloco aceito e descartar seus sucessores.

então a atestação de sucesso prova que houve concordância.

mas não prova sempre que a cadeia já terminou de escolher.

um bloco atestado ou chegou na iteração 0 ou tem atestações de falha cobrindo todas as iterações anteriores, então nenhum bloco de iteração menor pode substituí-lo diretamente. confirmado depende de blocos posteriores. final só chega quando o bloco é confirmado e seu pai já é final.

isso fez “finalidade em segundos” parecer menos um único evento e mais como um limite que um aplicativo precisa ler corretamente.

um aplicativo no Ocaso não está apenas perguntando se o consenso assinou algo.

liberar garantias?
reconhecer uma transferência de segurança?
deixar outro contrato tratar o estado como irreversível?

isso talvez não mereça o mesmo nível de exigência.

na maior parte do tempo isso provavelmente acontece rapidamente. ok

o caso-limite é o que me interessa: um bloco parece ter dado certo, um aplicativo reage a ele, e uma iteração menor ainda está viva.

o Ocaso não esconde essa lacuna. ele a nomeia.

aceito não é final.

e, quando percebi isso, minha pergunta de integração mudou.

não “o consenso teve sucesso?”

quão irreversível este aplicativo precisa que o Ocaso seja antes de ele agir?

@Dusk $DUSK #Dusk $ACE $APR