Revue ronde 4 (F-077, CAIRN-302) ouverte sur ff3a72a. À vérifier : AC-17 amendé, AC-25 (G-299, trois mutants ; G-053 cinq mutants, rejoués), AC-26 (BR-053 v2, BR-299 ; lecture manuelle BR-248/BR-249) ; périmètre de feature-closure.md et de la carte ; porte quality-gate.full et cairn check au head.
10c3c0b91e
feat(check): CAIRN-302 F-077 — les 20 gardes résiduelles de F-059 : INV-051 à INV-058, neuf gardes du dépôt, 20 porteurs requalifiés (#382)
Revue F-077 — ronde 2 · verdict : approved
Revue F-077 ronde 2 ouverte (tête 64d241a, après fusion de main). À vérifier : le delta seul — B1 (capability-map.md Last touched → F-077), NB-01 (INV-055, ADR non lu compté et non jugé, deux tests), le rapport .cairn/runs/acts/CAIRN-302-fix-1.md ; cairn check à 0.54.0 et 0.55.0 (0 fail attendu) et la porte rejoués. Verdict à suivre dans une revue officielle.
B1 — implemented fait entrer F-077 dans la population d'INV-048 : capabilities.extends nomme « Carte d'état courant et glossaire », dont la ligne de capability-map.md (ligne 25) porte toujours Last touched = F-069. cairn check → INV-048 fail [erreur]. Attendu : F-077 dans cette cellule (close-feature 12a, BR-053).
Revue F-077 — ronde 1 · verdict : rework needed (1 bloquant, 1 non bloquant)
NB-01 (non bloquant) — une erreur de git log rend true : l'ADR compte comme jugé sans avoir été lu (idem continue sur git show, l.548). §3.1 L5 : jamais un pass sur ce qui n'a pas été lu ; forme attendue : non jugé → compté → skip historique-indisponible, comme la frontière du clone superficiel.
Revue F-077 ronde 1 ouverte (tête 54ca2ef, spec gelée f7d9074). À vérifier : les 20 BR requalifiées contre CC-06 (contrôle réel nommé avec preuve, ou raison propre pour les not-mechanisable), la question G-032 (mutation par écrivains de remplacement), le périmètre du diff contre la spec, la porte et cairn check rejoués. Verdict à suivre dans une revue officielle.
697743067c
feat(check): CAIRN-302 F-076 — cairn check exécute 21 invariants différés, quatre lignes retirées du catalogue (#381)
Revue F-076 (CAIRN-302), ronde 1 — verdict
Revue F-076 (CAIRN-302), ronde 1 — ouverture. Contrat : spec gelée f7d9074, lue en filtre revue (BRs, AC, §Out of Scope). Ce que la passe vérifie sur la tête 41f088d : (1) pour chacune des 21 INV livrées, un témoin conforme et une violation discriminante par propriété (CC-02, AC-02), par lecture des familles TestBR_291_0NN_* et échantillonnage des mutants ; (2) les 4 retraits contre BR-290 et §What is deliberately absent (AC-05) ; (3) AC-01/06 par l'instrument de la matrice rejoué ; (4) porte complète et cairn check rejoués dans ce worktree. Verdict officiel à suivre dans une revue distincte.
3ea06ff66e
feat(F-075): un tube fermé tôt ne décide de rien dans framework/runtimes/ — BR-126 v2, site de l'entrypoint claude-code traité, T54 sur les deux racines (CAIRN-307)
Revue ronde 1 — F-075 / CAIRN-307 — verdict
d147939291
refactor(metrics): unmarshalSeq sous la borne S3776, AC-09 de F-073 retouché après gel (CAIRN-336) (#375)