mu-th-ur
  • Joined on 2026-03-25
mu-th-ur commented on pull request sebastien/cairn#322 2026-10-13 20:19:01 +00:00
Feat CAIRN-237 — Un montage déclaré au chemin d'un montage posé le remplace (F-065) (Refs CAIRN-237)

Revue CAIRN-237, ronde 1 — ouverture. Contrat : F-065 gelée à a1dab28. À vérifier : préséance 3a et ligne d'information ; avertissements sur valeur retenue littérale (lien, ~/…, mountPoint déplacé, mountPoint partagé ST5-03, plusieurs déclarées) ; phrases ST5-06 ; BR-138 v2 et archive v1 ; décisions 5 et 6 ; réutilisation du lecteur F-064 ; les deux écarts déclarés et l'ordre des phases ; porte en worktree propre ; fusion sur main à jour. Verdict à suivre.

mu-th-ur commented on pull request sebastien/cairn#321 2026-10-13 20:18:09 +00:00
Fix 320 — Sysbox sur VM partagée : planchers utilisés sous Lima ≥ 2, qemu-x86_64 dans le conteneur, pare-feu vers la seule montante (Refs CAIRN-320)

review-feature, ronde 1 (contrat F-061, ticket #320) — revue ouverte. Vérifications en cours : règle DOCKER-USER (préfixe cairnp+, lecture de la montante, ordre, trafic de retour, non-régression 9.1/9.3b), entrypoint en root (entrées, montage :ro, construction de register, BR-233), écart « échec binfmt = avertissement » vs AC-08.10, porte rejouée dans un worktree propre. Verdict officiel à suivre.

mu-th-ur commented on pull request sebastien/cairn#318 2026-10-13 19:59:08 +00:00
Feat 219 — La garde de visibilité VM lit le point de montage que le démon voit, et le critère du résolveur unique déclare ce qu'il ne voit pas (Refs CAIRN-219)

Revue ronde 2 — ouverture : diff 389dc61..c83b014 contre F-064, clôture de B1 et frontière cité/non cité. Verdict officiel à suivre.

mu-th-ur commented on pull request sebastien/cairn#318 2026-10-13 19:40:33 +00:00
Feat 219 — La garde de visibilité VM lit le point de montage que le démon voit, et le critère du résolveur unique déclare ce qu'il ne voit pas (Refs CAIRN-219)

Revue ronde 1 (review-feature, contexte vierge, palier strong) — ouverture. Contrat : F-064 gelée à 0ca80de. À vérifier : valeur retenue de VMMounts, réécriture de la seule moitié distante du Contrôle de BR-135 (ST4-01), tests TestBR_135_004..011 et contrôle négatif d'AC-01, limites déclarées (BR-134 11/16, bloc images:), écarts nommés (sharedSees, T70 95→96, corpus BR-222), fusion propre sur main, porte complète en worktree. Verdict officiel à suivre.

mu-th-ur approved sebastien/cairn#316 2026-10-12 21:12:27 +00:00
Feat 273 — Docker isolé : la variante Sysbox sur VM partagée devient sélectionnable (Refs CAIRN-273)

Revue F-061/CAIRN-273 — ronde 1 — APPROVED. Tête 6a2ed0b, base 71dc5ce (ancêtre de la tête : le résultat de fusion est l'arbre de la tête).

mu-th-ur commented on pull request sebastien/cairn#316 2026-10-12 20:52:10 +00:00
Feat 273 — Docker isolé : la variante Sysbox sur VM partagée devient sélectionnable (Refs CAIRN-273)

Revue F-061/CAIRN-273 — ronde 1 ouverte sur la tête 6a2ed0b (base 71dc5ce). À vérifier contre la spec gelée (+ retouches D6/X10) : AC-01…06 en lane, X10 (80 scénarios, 3 définitions de parité, méthode d'union F-057), --user 0:0 et descente d'uid par setpriv (BR-233), pare-feu en deux règles vs périmètre BR-226, T76 et T59/BR-234 sur les recettes retouchées, §Deviations, porte rejouée sur la tête dans un worktree propre. Verdict officiel à suivre.

mu-th-ur approved sebastien/cairn#315 2026-10-12 19:58:27 +00:00
Feat 233 — La place de la couche de durcissement est gardée, et aucun conteneur du lanceur ne gagne de privilèges (Refs CAIRN-233)

Revue ronde 1 — verdict sur 758adb0, contrat F-063 gelé à deed81b + retouche tracée 2fe4359 (décision 10, écart X9).

mu-th-ur commented on pull request sebastien/cairn#315 2026-10-12 19:48:57 +00:00
Feat 233 — La place de la couche de durcissement est gardée, et aucun conteneur du lanceur ne gagne de privilèges (Refs CAIRN-233)

Revue ronde 1 (CAIRN-233, F-063 gelée à deed81b + retouche X9 2fe4359) — ouverture. À vérifier : conformité BR-233 (option sur les 5 sites, tests Go sur journal du simulacre), BR-234 (T59 : lignes logiques, ancre à 1, liste blanche close, mutants un par clé), AC-01..AC-05, AC-10/AC-11, écart X9 (56 scénarios ré-enregistrés = ancien effet à l'option près), porte complète rejouée dans un worktree lié propre. AC-06/AC-07 relevés au rapport d'implémentation ; AC-08/AC-09 à l'acceptation. Verdict à suivre.

mu-th-ur approved sebastien/cairn#314 2026-10-12 19:14:41 +00:00
Feat 235 — Toute image de runtime porte le client docker, compose et le groupe du repli (Refs CAIRN-235)

Revue F-062 ronde 1 — verdict : APPROVED. Contrat : spec gelée 0dfafdb. Diff lu en entier (1337560...8bd50d8, 11 fichiers, +298/−8).

mu-th-ur commented on pull request sebastien/cairn#314 2026-10-12 19:09:19 +00:00
Feat 235 — Toute image de runtime porte le client docker, compose et le groupe du repli (Refs CAIRN-235)

Revue F-062 ronde 1 — ouverture. Contrat : spec gelée à 0dfafdb (BR-231, BR-232, AC-01 à AC-09). À vérifier sur le diff main...8bd50d8 : périmètre (aucun ajout hors contrat), Dockerfile mistral-vibe (client + compose + groupe 988 avant durcissement), bloc T76 (population lue, ligne de compte, GID lu du lanceur, contrôles négatifs), artefacts de clôture (BR-231/232, index, spec, changelog, carte), porte rejouée dans un worktree de la branche, §Deviations une à une. Verdict officiel à suivre.

mu-th-ur approved sebastien/cairn#310 2026-10-10 09:31:09 +00:00
Correctifs post-acceptation F-060 : écart X8 (horodatage N1 du corpus) et BR-080 v3 (pré-release) (CAIRN-309)

Verdict ronde 1 (CAIRN-309) : APPROVED. Review loop closed — no further round required.

mu-th-ur commented on pull request sebastien/cairn#310 2026-10-10 09:25:27 +00:00
Correctifs post-acceptation F-060 : écart X8 (horodatage N1 du corpus) et BR-080 v3 (pré-release) (CAIRN-309)

Revue ouverte (CAIRN-309, ronde 1). À vérifier : X8 au format des écarts F-060 §3.4 sans réécriture de X1–X7 ; le blob ré-enregistré ne diffère que par la ligne last-check capturée littérale ; compte de scénarios inchangé (374) ; BR-080 v3 n'affaiblit pas l'invariant pour les tags finals (garde T39, test_BR_080_006) ; fiches BR-080/BR-222 conformes (archive de version, Versioning) ; aucun changement de mode de fichier ; porte rejouée dans un worktree propre. Verdict à suivre dans cette revue.

mu-th-ur commented on pull request sebastien/cairn#310 2026-10-10 09:25:19 +00:00
Correctifs post-acceptation F-060 : écart X8 (horodatage N1 du corpus) et BR-080 v3 (pré-release) (CAIRN-309)

Revue ouverte (CAIRN-309, ronde 1). À vérifier : X8 au format des écarts F-060 §3.4 sans réécriture de X1–X7 ; le blob ré-enregistré ne diffère que par la ligne last-check capturée littérale ; compte de scénarios inchangé (374) ; BR-080 v3 n'affaiblit pas l'invariant pour les tags finals (garde T39, test_BR_080_006) ; fiches BR-080/BR-222 conformes (archive de version, Versioning) ; aucun changement de mode de fichier ; porte rejouée dans un worktree propre.