Skip to content

coordination: queue READY dérivée et consommation exacte-head #16480

Description

@myia-ai-01

Problème

Le gate unitaire de #16442/#16443 rend un dossier exact-head vérifiable, mais ne produit pas encore la queue READY consommable en rafale demandée par le user. Le coordinateur peut donc encore reconstruire un sweep, re-lire des surfaces déjà attestées et rouvrir une fenêtre TOCTOU avant le merge.

Acceptance

  • check_adjoint_prevalidation.py --queue <PRs...> dérive une queue JSON oldest-first sans état persistant.
  • Chaque entrée expose head, dossier/fingerprint, verdict READY/BLOCKED/DWELL_PENDING/STALE, B.0, latest checks, review qualifiante, variation, last_comment_is_dossier, tail_to_read, et cause de rejet.
  • Toute mutation observable invalide automatiquement l’entrée ; aucun unregister manuel.
  • --consume <PR> revalide à l’instant-T et refuse toute mutation/ancienneté au lieu d’autoriser une relecture intégrale.
  • /coordinate exécute : queue → merges exact-head → dispatchs → deep-work non délégable borné.
  • Métriques sans stockage : READY reçues, tentatives/succès/rejets, temps avant premier merge, âge dossier→consume.
  • Tests causaux : SHA invalide, rollup en vol, dossier non final, DWELL, B.0 rouge, domaine not-applicable d’une stack.

Dépendance

Empilé sur #16443. Ne pas merger avant #16443 et son correctif B.0 canonique. Le patch ne duplique pas la réparation de check_unaddressed_nits.py portée par myia-po-2027:CoursIA.

Demande user directe du 2026-09-17 : poursuivre et mettre en œuvre les solutions proposées par l’adjoint.

Activity

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