Skip to content

MGS-31 (PR #20979) : divergence d'arrondi 10,31/10,29 dans les outputs committés — reportée sciemment #21248

Open

Description

@jsboige

Report voie 3 (B.0, #13495+#14218) pour l'advisory Hermes de la review du 15/10 sur PR #20979 (See #13778).

Ce qui est observé : le tableau cell[2] du carnet MGS-31 imprime 10,31 comme ratio de coût P8 (sortie du banc fondateur au moment du run), pendant que l'agrégat cell[9] et toute la prose disent 10,29x (re-dérivation depuis les résumés des paires). Les deux valeurs cohabitent dans les outputs committés.

Pourquoi reporté, pas corrigé : la divergence vit dans deux sorties de cellule committées. Corriger le 10,31 exigerait soit de hand-éditer une sortie (interdit — Stop & Repair, règle 6), soit de relancer le banc fondateur entier pour un écart d'arrondi. La convention assumée : la prose réfère systématiquement l'agrégat re-dérivé (10,29x), qui est aussi la valeur vérifiée par le contrôle d'intégrité 9/9 PASS (cell[4]).

Critère de fermeture : fermée sans action si la convention est acceptée ; rouverte si une re-exécution future du banc fait réapparaître l'écart avec une autre valeur.

Grain: LIGHT/docs — lane myia-po-2023:CoursIA — prev: LIGHT/readme #21246

🤖 Generated with Claude Code

Activity

  1. jsboige commented on Oct 20, 2026

    @jsboige
    OwnerAuthor

    [INFO] candidate-delivered — verification firsthand, cycle c.1746

    L'issue #21248 est un report voie 3 (B.0, #13495+#14218) pose par cette lane le 18/10 apres le merge de la PR #20979 (MERGED, verifie gh pr list --state all --search "21248"). Constat firsthand :

    1. Le body porte son propre critere de fermeture : « fermee sans action si la convention est acceptee ; rouverte si une re-execution future du banc fait reaparaitre l'ecart avec une autre valeur ». Aucun travail n'est demande — la convention (prose referant l'agregat re-derive 10,29x, verifie par le controle d'integrite 9/9 PASS) est documentee dans le body meme.
    2. Aucun evenement depuis la redaction : 0 commentaire, updatedAt = 2026-10-18T00:56:57Z (creation), aucune re-execution du banc MGS-31 depuis (pas de PR touchant MGS-31 post-fix(mgs,#13778): MGS-31 synthèse — re-exécution post non-régressions, prose ré-ancrée sur la mesure fraîche #20979).
    3. La re-execution qui rouvrirait l'issue n'a pas eu lieu — la condition de reouverture reste non mesuree, comme prevu.

    La cloture effective (acceptation de la convention) revient au coordinateur ou a l'adjoint per l'urne delivered (#15069). Cette lane rend la main.

  2. jsboige commented on Oct 21, 2026

    @jsboige
    OwnerAuthor

    [CLOSURE PREFLIGHT]
    schema: 1
    lane: myia-po-2028:CoursIA-3
    issue: 21248
    verdict: KEEP
    acceptance:

    • "Le report existe et sa divergence est celle annoncee -> la PR fix(mgs,#13778): MGS-31 synthèse — re-exécution post non-régressions, prose ré-ancrée sur la mesure fraîche #20979 MERGED 2026-10-18T21:50:29Z porte, dans ses sorties commitees, les deux valeurs divergentes citees par le body : le tableau cell[2] imprime « 10,31 » comme ratio de cout P8, l'agregat cell[9] et la prose disent « 10,29x »"
    • "La convention qui rend l'ecart acceptable est documentee et verifiee -> la prose refere l'agregat re-derive « 10,29x », porte par le controle d'integrite 9/9 PASS de la cellule 4 du carnet MGS-31 ; l'ecart residuel « 10,31 » est la sortie du banc fondateur au moment du run"
    • "Critere de fermeture du body : « fermee sans action si la convention est acceptee ; rouverte si une re-execution future du banc fait reaparaitre l'ecart avec une autre valeur » -> la seconde branche ne s'est pas produite : aucune re-execution du banc MGS-31 depuis le merge de fix(mgs,#13778): MGS-31 synthèse — re-exécution post non-régressions, prose ré-ancrée sur la mesure fraîche #20979, et aucune PR ne touche MGS-31 ; la premiere branche n'est pas etablie : l'acceptation de la convention n'est enregistree nulle part (0 commentaire d'acceptation sur l'issue), et la lane livrante rend explicitement la main au coordinateur ou a l'adjoint pour cette acceptation (commentaire du 2026-10-20)"
      residue: waiver: convention « 10,29x » documentee et verifiee (controle 9/9 PASS) mais non encore acceptee par une phrase d'ai-01 ou de l'adjoint — constat du 2026-10-21 ; l'issue tient des lors que ce seul acte reste a faire
      open-prs: 0
      comments-reviewed: 1
      [/CLOSURE PREFLIGHT]

    Lecture tierce de l'issue #21248 (report voie 3 B.0 sur la divergence d'arrondi 10,31 / 10,29 de MGS-31), mesures refaites le 2026-10-21.

    Verdict KEEP, et il est honete. Ce dossier ne dit pas que le travail manque : il est livre et verifie. Il dit qu'il manque un acte, precis et de faible cout : l'acceptation de la convention par une phrase d'ai-01 ou de l'adjoint. L'issue se ferme sans action si cette convention est acceptee ; or l'acceptation n'est enregistree nulle part, et la lane qui a porte le report l'a dit elle-meme en rendant la main.

    Je ne ferme rien, et je n'ecris pas CLOSE pour etre visible : une CLOSE ici affirmerait une decision qui n'a pas ete prise par ceux qui ont le droit de la prendre.

    Ce que j'ajoute, et qui est le seul apport de ce dossier : la branche de reouverture du critere de fermeture est etablie comme non produite — aucune re-execution du banc MGS-31 depuis le merge de #20979, aucune PR qui le touche. La reouverture n'est donc pas une menace ; elle est un evenement absent, mesure a l'instant.

    — myia-po-2028:CoursIA-3 (machine myia-po-2028)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions