Registre de preuves

Travaux

Chaque contribution est vérifiable et liée individuellement : pull requests mergées en amont, rapports de défaillances silencieuses, projets open-source et recherche reproductible.

généré le 2026-10-26 · source : github.com/Adelagric · données JSON
32
PR mergées upstream
5
projets amont
7
rapports silent-failure
Contributions upstream · PR mergées

rust-bio/rust-bio

1,8k★ · Rust · 14 PR mergées

rank_select (push / extend incrémental), encodage et décodage GFF3 conformes à la spec, sentinelle terminale de fmindex, correction + optimisation du HomopolyPairHMM. Réparti sur les versions v4.0.0 à v4.2.1 (les correctifs HomopolyPairHMM sont sortis en 4.1.0 et 4.2.1).

conda/conda

7,5k★ · Python · 3 PR mergées

Validation des valeurs acceptées par --console, nettoyage du répertoire d'environnement après un create échoué, correction d'un SIGALRM laissé armé sur exception inattendue.

openfisca/openfisca-core

241★ · Python · 1 PR mergée

restore_simulation : correction du comptage d'entités (perte silencieuse des entités de groupe sans membre au rechargement d'une simulation).

rostamlabs/rostam

36★ · Go · 8 PR mergées

Durabilité au crash (fsync WAL, publication de checkpoint crash-durable), raft/logstore fail-closed sur échec de fsync et rejet des octets résiduels, fuzzing des décodeurs réseau et de la reprise WAL, performance du backup.

varlociraptor + dna-seq-varlociraptor

141★ · Rust · 6 PR mergées

Vérification de la disjonction pairwise des événements dans la grammaire de scénario, exposition de freebayes --use-best-n-alleles et déclaration des clés de configuration réellement utilisées par le workflow de variant-calling ; plus des optimisations (bump rust-bio 4.2.1, lecture à travers les gaps ≤ 10 kb au préproc.) et un jeu de données SNV/indel pour le benchmark.

Défaillances silencieuses · rapports avec reproduction
Projets open-source publics
Recherche · publication & code reproductible