Limitação conhecida da seção 9 do scripts/coherence_test.sh, registrada na quarta revisão do lote 3.
Problema
A contagem publicada nos READMEs é derivada por grep de call sites ancorados em linha. Um refactor que envolva ou itere as chamadas quebra a derivação sem que nada reclame: três case_run dentro de um for viram 1 no grep e 3 no total de runtime. O número dos READMEs é então ajustado para o valor do grep, o invariante passa, e o que a suíte imprime deixa de bater com o que a documentação promete — exatamente o drift que a seção existe para impedir.
Já acontece numa forma hoje: 10 dos call sites vivem atrás do guard de perl, então em host sem perl a suíte imprime dez a menos enquanto o invariante continua verde. A premissa está escrita no arquivo, mas continua sendo premissa.
Etapas
Limitação conhecida da seção 9 do
scripts/coherence_test.sh, registrada na quarta revisão do lote 3.Problema
A contagem publicada nos READMEs é derivada por grep de call sites ancorados em linha. Um refactor que envolva ou itere as chamadas quebra a derivação sem que nada reclame: três
case_rundentro de umforviram 1 no grep e 3 nototalde runtime. O número dos READMEs é então ajustado para o valor do grep, o invariante passa, e o que a suíte imprime deixa de bater com o que a documentação promete — exatamente o drift que a seção existe para impedir.Já acontece numa forma hoje: 10 dos call sites vivem atrás do guard de
perl, então em host sem perl a suíte imprime dez a menos enquanto o invariante continua verde. A premissa está escrita no arquivo, mas continua sendo premissa.Etapas
NN/NNque ela imprime.