Un registre transactionnel réserve le risque statistique avant un test puis le comptabilise comme dépensé. Les forks ne délèguent que le solde ; une fusion transfère les allocations existantes sans en créer. Un contrôle facultatif utilise un reçu de test séquentiel borné.
05 / 05 · PARTIEL · REVU
Infini sous contrat
Transmettre un budget de validation dans une lignée évolutive.
Des comparaisons adaptatives répétées multiplient les occasions de promouvoir un faux progrès. Fork, fusion et rollback ne doivent pas créer un nouveau budget de risque.
Source revue le 2026-10-18 · integration
Le registre de risque et les contrôles facultatifs de promotion Trinity et Biocénose sont reliés pour des tests à périmètre déclaré.
La vérification de provenance des données, d'autres chemins de promotion et les longues campagnes empiriques restent ouverts.
Deux branches testent des procédures candidates. Leurs allocations viennent d'un même budget parent ; leur fusion ne peut pas en émettre une nouvelle copie.
Mener de longues campagnes adaptatives avec faux et vrais gains, puis attaquer les chemins fork, replay et fusion. Mesurer fausses promotions, vrais gains et coût d'évaluation.
La borne ne tient que si chaque test est valide pour la sélection, les données et les règles d'arrêt réellement utilisées. Le registre seul ne démontre pas la sûreté réelle.
CONTRAT ET CODE
Le statut décrit la tranche documentée au commit de revue. Les liens ouvrent les sources du runtime, pas une démonstration en direct.