Skip to content

Suivi PR #15711 — re-review Hermes attendue (CONCERNS ablations + clearance) #15742

Closed
Closed
Suivi PR #15711 — re-review Hermes attendue (CONCERNS ablations + clearance)#15742
Labels
candidate-deliveredReferenced by a merged PR with no post-merge activity -- candidate for close triage (#10466)

Description

@jsboige
jsboige
opened on Sep 12, 2026

Suivi voie 3 B.0 — PR #15711

Ouverture précédant le merge (Tell c.1087-L1 ★★ fondateur voie 3 B.0 obligatoire quand voie 1 cross-lane fermée : auteur PR = jsboige self-bot ≠ reserve_author = clusterManager-Myia Hermes).

Référence : PR #15711 — feat(lean,#15635): generateur de contraintes compositionnelles + demonstrateur (tranches 3+4).

Hermes CONCERNS à traiter post-merge (review 2026-09-12T06:34:59Z sur head ) :

  • 26/26 tests PASS vérifiés firsthand par Hermes (pytest 207s)
  • 4 familles de pruning instrumentées + ablations
  • Certification jamais ablatable
  • Comparaison baseline honnête avec ses caveats
  • CONCERNS substantive = aspects à raffiner post-merge (à documenter en revue de suivi)

Actions post-merge :

  1. Re-revue par Hermes après un amend mineur éventuel
  2. Raffiner les aspects notés en CONCERNS
  3. Clôture après feu vert Hermes

Co-Authored-By: Claude Haiku 4.5 (1M context) noreply@anthropic.com

Activity

  1. jsboige
    added a commit that references this issue on Sep 12, 2026

    feat(lean,#15635): generateur de contraintes compositionnelles + demo…

    5946187

  2. jsboige commented on Sep 13, 2026

    @jsboige
    jsboige
    on Sep 13, 2026
    OwnerAuthor

    [CLAIMED] lane myia-po-2023:CoursIA -- dissipation CONCERNS Hermes #15711 : seuil R3 code-vs-doc (< 2 implémenté vs < 3 énoncé) + commentaire GROW ≥ 2 contredit la mesure -- 2026-09-13T05:5xZ

  3. jsboige commented on Sep 13, 2026

    @jsboige
    jsboige
    on Sep 13, 2026
    OwnerAuthor

    [DELIVERED] PR #15924 (lane myia-po-2023:CoursIA) — option (b) de la review : formulations corrigées (schéma + GROW + inline), contrat puni par un nouveau test (d=1 rejet / d=2 passe le modèle), 27/27 pass. Re-revue Hermes attendue.

  4. myia-ai-01
    added a commit that references this issue on Sep 15, 2026

    fix(lean,#15742): aligner le seuil R3 enonce sur le contrat implement…

    d080105
  5. github-actions
    added
    candidate-deliveredReferenced by a merged PR with no post-merge activity -- candidate for close triage (#10466)
    on Sep 15, 2026
  6. jsboige
    added a commit that references this issue on Sep 16, 2026

    fix(lean,#15742): aligner le seuil R3 enonce sur le contrat implement…

    7bd1940

  7. jsboige commented on Sep 18, 2026

    @jsboige
    jsboige
    on Sep 18, 2026
    OwnerAuthor

    [ADJOINT CLOSE] Adjugée CLOSE_OK — campagne de consolidation du 2026-09-18 (mandat ai-01 2026-09-18T03:12Z, fermeture déléguée pour CLOSE_OK certains). Lot vérifié en haiku (calibration ai-01), spot-check G.1 adjoint.

    Acceptance vérifiée firsthand contre main : PR #15924 MERGED 2026-09-15T03:19Z — seuil R3 aligné sur le contrat d'implémentation (< 2 modèle, bande à 2 au replay) dans scripts/lean/life_compose.py, 27/27 pass, doc docs/lean/life-components-schema.md alignée.

    CONCERNS de review dissipées au fil ; re-revue Hermes non bloquante.

    Spot-check adjoint : PR re-requêtée, MERGED, fichiers du diff conformes au claim.

    Réouvrir en citant le critère manquant si contestation.

  8. jsboige
    closed this as completedon Sep 18, 2026
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

    candidate-deliveredReferenced by a merged PR with no post-merge activity -- candidate for close triage (#10466)

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions