Add: ledger G1 recouvrement 18 PRs endjin/Z3.Linq vs fork (#16050 G1-bis)

[jsboige]

Grain: DEEP/research-code — lane myia-po-2024:CoursIA — prev: DEEP/notebook-python #16849

Summary

G1-bis de #16050 (EPIC #14169) : les 18 PRs TBD laissées par le scanner preliminaire #16052 sont tranchees en verdicts definitifs, avec evidence fichier:ligne des deux cotes. Livrable : docs/ledgers/14169-g1-recouvrement.md (74 lignes).

Resultat : 8 REDONDANT / 8 NOUVEAU-POUR-NOUS / 1 DIVERGENT / 1 HORS-CAPACITE

• Base de mesure documentee : fork au pin main courant 20984bf (pas le e09dae6 du body) -- l'ecart est le port d'endjin#95 deja livre par fix(smt,#14445): Z3.Linq DateTime round-trip via UTC ticks (bump submodule, port endjin#95) #14594, ce qui motive d'emblee le verdict REDONDANT de feat(ml): add open exercises to ML.NET notebooks (ECE TP) #95 (ancetre du pin, verifie merge-base --is-ancestor).
• fix(search/sudoku): STRING cells to LIST format (issue #82) #86 adjudique DIVERGENT : la semantique statut-vs-solution existe dans le fork via Explain/Explanation.cs:7-19 (Satisfiable/Unsatisfiable/Unknown, gap B6 Z3.Linq fork: combler le DSL — backlog complet B1-B10 (port maximal, grignotage progressif) #4616) ; l'amont livre la meme capacite sous forme API TrySolve/TryOptimize -- definition meme du DIVERGENT. Premiere passe sous-agent (sonnet, diffs + greps, preuves citees) + adjudication lane contre greps independants.
• Faisabilite par NOUVEAU : patches locaux (QC: Combler les gaps entre projets et notebooks pedagogiques #47 package, GenAI Video: Execution validation des 16 notebooks (objectif >80%) #80 float.Parse, fix(genai): resolve Path import and GENAI_ROOT issues in Image notebooks #88-moitié short) vs ports structurels (GenAI Audio: Mise a jour TTS/STT vers modeles SOTA (Fish S2 Pro, petits modeles performants) #73 completion, feat(ml): add bonus exercises to Lab1, Lab4, Lab7 notebooks (ECE TP) #91 marshaller anonyme, feat(search): Ajouter exercices ouverts aux notebooks Search manquants #93 template + decision semantique, feat(Probas): add open exercises for ECE TP #96 limites depend de fix(search/sudoku): STRING cells to LIST format (issue #82) #86, feat(GameTheory): add open exercises to 6 additional notebooks #98 AssertBounds sur hook AssertConstraints pret).
• fix(genai/image): resolve GENAI_ROOT undefined reference bug (critical) #94 (doc XML) = HORS-CAPACITE (aucun .cs de capacite au-dela de commentaires).

Validation

• Chaque verdict cite fichier:ligne a 20984bf (git grep/git show au pin, layout solutions/Z3.Linq/) ET le hunk de capacite amont ; les fichiers tests/README/build du diff sont exclus du tri (regle G1).
• Greps independants de la lane sur 6 PRs (fix(ece): Convert STRING cells to LIST in 9 ML notebooks (#49) #77, fix(search/sudoku): STRING cells to LIST format (issue #82) #86, fix(genai): resolve Path import and GENAI_ROOT issues in Image notebooks #88, feat(ml): add open exercises to ML.NET notebooks (ECE TP) #95, feat(GameTheory): add open exercises to 6 additional notebooks #98, feat(datascience-agents): Amélioration des notebooks ML pour Ing4 #99) avant adjudication -- un premier passage avec la mauvaise racine de chemin (src/ au lieu de solutions/) a rendu 0 hit et a ete ecarte avant toute conclusion d'absence.

Notes review

• Garde-fous G1 respects : aucune PR sortante (G4 = feu vert user), aucun bump de submodule. G1 est rendu : G2-G5 debloquent (acceptance 4 du body [#14169-G1] Mesurer le recouvrement : 28 PRs endjin/Z3.Linq vs fork MyIntelligenceAgency/Z3.Linq e09dae6 #16050).
• Methode complete in-ledger ; premiere passe deleguee + adjudication = pattern delegation read-heavy du harnais.

See #16050 (acceptance 1-4 satisfaites par ce ledger ; fermeture = coordinateur)
See #14169

🤖 Generated with Claude Code

[github-actions]

G-VAR-2/3 GENRE signals (advisory, non bloquant, #10020).
La lane `myia-po-2024:CoursIA` voit ces signaux actifs sur les mergees du jour (UTC 2026-09-19) :

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=2 genre=4 cap=2)
• CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=4 cap=2)
• NOTE ([variation] Le label est lane-agregat mais PR-attache : le merge-gate peut HOLD le grain de CONTENU qui remedie au motif #10341) : la PR courante est de classe CONTENU (non LIGHT-genre) et ne contribue pas au motif ci-dessus -- les labels agregees ne sont PAS poses sur cette PR (le merge-gate ne doit pas la HOLD pour ce motif ; le coupable est parmi les grains META de la lane).

G-VAR-2 plafonne a max(1, grains_mergees_du_jour // 3) LIGHT par lane et par jour, toutes categories LIGHT confondues -- un RATIO, pas un plafond plat ; le cap calcule du jour est dans le tally ci-dessus. G-VAR-3 interdit deux genres LIGHT consecutifs. Les signaux ci-dessus rendent le fait VISIBLE (labels variation-tier-inflation, `variation-genre-run`, `variation-genre-cap-exceeded`, `variation-genre-mismatch`, `variation-genre-unknown`) -- la decision de merge reste au coordinateur.

[clusterManager-Myia]

VERDICT: LGTM (vérifié: décomptes re-comptés à la main, 4/4 preuves fichier:ligne échantillonnées exactes sur le fork @20984bf, 4/4 acceptances #16050 satisfaites)

[NanoClaw] structural review (1 fichier docs, +74/−0, head 84adbd275a)

Vérifié firsthand :

• Décomptes re-comptés (règle : un body qui publie un compte se re-compte) : tableau = 18 lignes (#47→#99) ; synthèse REDONDANT 8 + NOUVEAU 8 + DIVERGENT 1 + HORS-CAPACITE 1 = 18 ✓ ; pré-tri 1 EXCLU-TESTS + 3 INFRA + 18 TBD = 22 scannées, +6 tests-only hors scope = 28 du body EPIC ✓. Cohérent de bout en bout.
• Preuves échantillonnées 4/4 exactes sur MyIntelligenceAgency/Z3.Linq @ 20984bf (lecture brute du fork) : Explanation.cs:7-19 = enum SolveStatus {Satisfiable, Unsatisfiable, Unknown} + doc « distinguishes the three Z3 statuses » mot pour mot ; Theorem.cs:389-390 = case Status.UNKNOWN: return new Explanation(SolveStatus.Unknown, …) ; ExpressionVisitor.cs:866 = MkReal(Convert.ToString(val, CultureInfo.InvariantCulture)) (commentaire B7/#4616 cité à l'identique) ; ISolveable{T}.cs:12 = interface nue T? Solve() sans Try-pattern — le verdict DIVERGENT adjudiqué #86 tient : capacité (statut ≠ solution) présente via Explain, surface Try* absente.
• Décision de périmètre saine et documentée : mesure contre 20984bf (état de main) et non le pin e09dae6 du body, avec conséquence explicite (#95 REDONDANT par port déjà livré, écart motivé par #14594/#14605).
• Acceptances #16050, les 4 vérifiées satisfaites : (1) fichier:ligne par PR ✓, (2) verdicts chiffrés par colonne ✓, (3) note de faisabilité pour chaque NOUVEAU-POUR-NOUS (8/8, tableau dédié, patches locaux vs ports structurels distingués) ✓, (4) déblocage G2-G5 + rappel des garde-fous (pas de PR sortante sans feu vert user) ✓.
• Le verdict #99 « REDONDANT (capacité) » est honnêtement borné (2 diagnostics manquants suivis en note, non-bloquants).
• Security scan : 0 hit.

Nits (mineurs) :

• Le H1 (« Recouvrement 28 PRs ») décrit l'objet EPIC global alors que le document tranche les 18 TBD — le titre de PR dit correctement « 18 PRs » ; le H1 pourrait préciser « 18 des 28 ».
• CI au head : 21 check-runs, unique rouge = « PR gate » (classe DWELL/agrégat habituelle, pas une jambe de contenu).

— [NanoClaw]

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2027:CoursIA
pr: 16903
head: 84adbd2
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 54dd56d3e0c2199a59a53a00585dc2db63b78614da82c8e953f113770be35445
diff-files: 1
diff-additions: 74
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier de prevalidation tierce (gate #16907, Phase 4) — premier dossier sur cette PR.

Verifications firsthand au head exact 84adbd2

• B.0 : check_unaddressed_nits.py 16903 rc=0 ; 1 commentaire et 1 review Hermes LGTM lus, 0 thread inline.
• Checks latest-wins : 0 check non vert.
• Scope : 1 fichier, docs/ledgers/14169-g1-recouvrement.md +74/−0 — les 18 verdicts TBD de [#14169-G1] Mesurer le recouvrement : 28 PRs endjin/Z3.Linq vs fork MyIntelligenceAgency/Z3.Linq e09dae6 #16050 tranches avec evidence fichier:ligne des deux cotes. Le ledger est le support sanctionne par sota-not-workaround (registre axe-2) pour ce type de grain.
• Domaine (research-code/ledger) : Hermes a re-compte les decomptes a la main et echantillonne 4/4 preuves fichier:ligne exactes sur le fork au pin 20984bf ; garde-fous G1 respectes (aucune PR sortante, aucun bump) ; G1 rendu -> G2-G5 debloquent (acceptance 4 de [#14169-G1] Mesurer le recouvrement : 28 PRs endjin/Z3.Linq vs fork MyIntelligenceAgency/Z3.Linq e09dae6 #16050).

Disposition : READY pour lecture finale ai-01. Aucun merge, APPROVED ou CHANGES_REQUESTED effectue ici.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2025:CoursIA-2
pr: 16903
head: 84adbd2
complete: true
body: read
comments-reviewed: 2
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 2f038aa8e8ae26110a508ac86fe313b494ab440f6d31b9741a689ef04c33d633
diff-files: 1
diff-additions: 74
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]