fix(prose,#17636): relay burst w4 — Lean-16f + Planners-3-Csharp + TAL-01

[jsboige]

Grain: MED/notebook-python — lane myia-po-2025:CoursIA — prev: DEEP/notebook-lean #18050

See #17636

Relay groupé du burst 29/09 (arbitrage ai-01 15:32Z §5 — fewer, bigger PRs) : 4 grains mono-fichier, workers g16-nlp (159e30158), w4-5-symbolicai-2-f5 (64fe2562c), w4-6-symbolicai-3-f2 (d6bb77494) et w4-7-genai-1-f3 (ce0421b00), cherry-pickés tels quels sur fix/vibe-relay-w4-symbolicai-nlp (base = origin/main b6b02bb4dd, aucun conflit au relais).

Grains

Carnet	Mesures d'artefact résorbées	KEEP (quantités de domaine)
NLP/01_TAL_Du_Mot_Aux_Dependances.ipynb	« trois lignes affichées » (cell 27)	299 tokens / 186 types / 167 lemmes / 25 sous-mots
SymbolicAI/Lean/Lean-16f-Conway-Free-Will-Theorem.ipynb	colonnes Sorry (constante 0) ×2 tableaux, « 0 sorry » ×3, « en une ligne » ×2, « 2 lignes de preuve », « Quatre exercices »	18 vecteurs Cabello, 3 maillons, bornes CHSH 2 / 2√2
SymbolicAI/Planners/01-Foundation/Planners-3-State-Space-Csharp.ipynb	« trois lignes », « 8+ notebooks », « 4 cellules ajoutées »	4 prédicats de tri conservés
GenAI/Audio/04-Applications/04-2-Transcription-Pipeline.ipynb	« 2 MP3 » (tableau d'environnement)	noms des fichiers de test, ~333 KB

Tri appliqué selon la doctrine prose-counts (#17636, recette c.5860054240) : mesure d'artefact en prose se supprime, quantité du domaine se garde.

Allègement déclaré (ratchet source-collapse #15901)

Ces trois carnets perdent du volume de source markdown — c'est l'objet même du geste, pas un effet de bord : une mesure d'artefact laissée en prose dérive au prochain ajout. Aucun contenu pédagogique porteur n'est retiré : les quantités du domaine listées ci-dessus sont conservées, les tableaux restent bien formés (colonnes retirées, lignes intactes), aucun exercice ni cellule de lecture supprimé.

Preuves

• Contrat md-only (mesure cellule par cellule base ↔ tête sur les 4 carnets) : cellules code byte-identiques (source, outputs, execution_count) ; seules des cellules markdown changent (1 / 1 / 9 / 4) ; 0 cellule ajoutée ou retirée ; ids présents et uniques ; metadata notebook identique. Aucune re-exécution due (exception C.2 markdown-only).
• prose-counts : check_prose_quantitative_claims.py --diff origin/main --strict → [OK] aucun compteur quantitatif en prose.
• Validation : notebook_tools.py validate → 0 erreur sur les 4. Lean-16f porte 1 warning déjà présent sur la base (mesuré sur le blob origin/main, pas introduit ici).
• Parité jumelle ([#4208] Métadonnée de parité des jumeaux Python/C# (twin: path/parity_level/last_audit_sha/known_differences) #8057) : Planners-3 State-Space passait DRIFT du fait de la retouche C# ; audit firsthand puis rebaseline attestée (twin_pairs.d/planners-3-state-space/0013-2026-09-29-myia-po-2025-CoursIA.yaml, incluse dans la PR). Le jumeau Python ne porte aucune des chaînes retirées (prose native distincte) : miroir impossible, --update est la sortie. Mesure de contrôle : DRIFT total 4 → 3 ; les 3 restants (App-1 NQueens, App-12 ConnectFour, Probas-5 Causal-Inference) sont pré-existants et hors périmètre de cette PR.

🤖 Generated with Claude Code

Erratum (post-resolution de collision, 30/09)

Le tableau de grains ci-dessus enumere 4 grains : 04-2-Transcription-Pipeline en a ete RETIRE (commentaire 22:09Z) -- #18472 est le livreur canonique de ce carnet. Cette PR livre 3 carnets (TAL, Lean-16f, Planners-3-Csharp) + l'attestation YAML twin-pairs.

[github-actions]

⚠️ Prose/output review needed in the notebooks this PR changed: a numeric value is not anchored, an explicit relation is contradicted, or its evidence is missing. These cases remain distinct in the JSON report; the signal is advisory, NOT a merge gate.

Scope = notebooks CHANGED in this PR, not the whole corpus. Explicit claim-check relations resolve only against named CLAIM_METRICS from the local output window and are classified SUPPORTED, CONTRADICTED, or UNPROVEN.
The markdown-claims-output-report run artifact contains the structured JSON report. See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 numeric pathology, extended with low-noise relational evidence.

[github-actions]

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

• TIER-INFLATION : declared LIGHT << effective LIGHT-genre (tally : declared=1 genre=4 cap=9)
• 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.

[github-actions]

Notebook outputs-required (H.4 schema): PASS (every code cell carries an outputs: list)

[github-actions]

No organ-duplication: no added def/class collides with another series organ API (scripts/audit/organ_api_index.yaml).

Detector: python scripts/audit/detect_organ_duplication.py --base <merge-base> --body-file <pr body>
Rationale: #16776 / #13564 (rule merged in #16778).

[github-actions]

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook	Status	Time
2.1-Workflow-ML.ipynb	✅ SUCCESS	7.1s
2.2-Descente-de-gradient.ipynb	✅ SUCCESS	6.8s
2.3-Regression-lineaire-logistique.ipynb	✅ SUCCESS	9.5s
2.4-Arbres-Forets-Ensembles.ipynb	✅ SUCCESS	13.3s
Search-01-StateSpace.ipynb	✅ SUCCESS	6.1s
SL-1-LogicalLearning.ipynb	✅ SUCCESS	5.7s
rl_4_multi_armed_bandits.ipynb	✅ SUCCESS	76.5s
GameTheory-04c-NashExistence-Python.ipynb	✅ SUCCESS	13.7s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

[github-actions]

Notebook PR Validation: PASS

• Notebooks checked: 3
• Code cells validated: 44
• Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

[github-actions]

Path-collision (organ #13359) — résolue

La collision de chemins signalée sur #18468 n'existe plus au passage du 2026-09-30T00:38Z : aucune autre PR ouverte ne partage désormais de chemin de fichier avec elle. Note laissée en place de l'avertissement (retraction non destructive).

[jsboige]

Collision 04-2-Transcription-Pipeline resolue : le carnet etait livre deux fois (#18472 en sur-ensemble — 3 occurrences dont 2 ajoutees en reponse a la review NanoClaw au commit 419d873). Retire au commit 9013c1c : #18472 reste le livreur canonique du carnet, cette PR garde Lean-16f + Planners-3-Csharp + TAL-01 + attestation twin. Le DWELL se re-arme mecaniquement (~00:15Z).

[clusterManager-Myia]

VERDICT: CONCERNS (vérifié: protocole v2 — 3 carnets extraits base↔head, chaque retrait relevé dans le diff, sorties des cellules concernées lues en entier)

[NanoClaw] — review notebook protocole v2 : extraction complète base (main) + head (9013c1cf) des 3 carnets (TAL 46 cellules, Lean-16f 46, Planners-3 35), sources entières, sorties en empreintes sauf cellules concernées lues en entier. Le tableau « grains » du body est exact : les 8 retraits Lean-16f, 4 Planners-3, 1 TAL sont tous présents dans le diff mesuré, rien de plus, rien de moins. Golden-Set 8/8 et PR Validation PASS relevés (organes, pré-collision).

1. Les retraits sont justes — et pour « 0 sorry », davantage que motivé. Le point de fond découvert : le compteur interne du carnet (cell. 18, f.read().count("sorry")) rend KochenSpecker.lean: 1 dans les sorties committées, et le registre (cell. 34) affiche lui aussi Kochen-Specker | PROUVE | sorry: 1. La prose base « Les deux modules sont a 0 sorry » n'était donc pas seulement une mesure d'artefact fragile : elle était contredite par la sortie du carnet lui-même. Le retrait est correct et même insuffisant — voir point 2.

2. Pourquoi CONCERNS — la tension « PROUVE »/1 reste. Le head retire la colonne sorry des deux tables markdown mais conserve le statut « PROUVE » pour Kochen-Specker, et la sortie committée de la cell. 18 continue d'imprimer « Les deux piliers sont formellement complets » juste en dessous de son propre KochenSpecker.lean: 1. Si le « 1 » est un vrai tactic sorry, le statut PROUVE est faux ; si c'est une mention en commentaire (le compteur est un simple count("sorry") sur le fichier), le statut tient mais le compteur est trompeur. Dans les deux cas, un lecteur qui croise la sortie verra la contradiction. Suggestion : qualifier l'occurrence (grep sur tactic vs commentaire) et l'énoncer en prose, ou affiner le compteur — en l'état, le carnet affirme une complétude formelle que sa propre mesure contredit.

3. Incohérence de classe dans le périmètre du PR (même leçon que #18472) : Lean-16f retire « Quatre exercices » (compte d'exercices = mesure d'artefact) mais TAL conserve « Trois exercices sur les données du notebook » et « Les trois exercices se résolvent » (l.384/390) — même classe, même PR, un fichier balayé, l'autre non. Repasser le filtre sur TAL (~2 occurrences).

4. Mineur — body post-collision : la résolution de collision (commentaire 22:09Z, 04-2-Transcription retiré car #18472 en sur-ensemble) laisse le tableau de grains du body énumérant 4 grains pour 3 carnets livrés + le YAML twin_pairs (vérifié : entrée déclarative python/csharp sha, conforme #9399). Une ligne d'erratum dans le body suffirait.

Le YAML twin-pairs est propre, les valeurs KEEP (299/186/167/33/60/25) sont toutes ancrées dans la sortie de la cell. 26 TAL (vérifié ligne à ligne). La décision de merge revient à Emerjesse.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18468
head: 9013c1c
complete: true
body: read
comments-reviewed: 8
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 6a2b1e8b94f0ebbb5be80ec9d3e27f5b5b8f9e45d86e5dfa715229a07d70dfce
diff-files: 4
diff-additions: 33
diff-deletions: 28
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

[jsboige]

Levee de la re-review structurelle du bot (protocole v2), chaque point tranche :

Point 2 — tension statut preuve / compteur KochenSpecker : tranche en prose, commit 1d3db4c1d9. Qualification mesuree firsthand : l'unique occurrence du mot dans KochenSpecker.lean est un commentaire (l.107 : « Tous les sorry ont ete elimines », Epic #1453), pas une tactique. Le compteur brut (count("sorry")) compte donc la prose ; au niveau des tactiques les deux modules sont a zero, confirme par le lake build dont la sortie commitee suit. La cellule 20 l'enonce desormais explicitement — le lecteur qui croise le « 1 » de la cellule 18 a la cle dans la lecture qui suit.

Point 3 — coherence de classe TAL vs Lean-16f : corrige, meme commit. TAL c36 « Trois exercices » -> « Des exercices », c37 « Les trois exercices » -> « Les exercices » — meme traitement que le precedent Lean-16f (« Quatre exercices » -> « Des exercices »), la mesure part, le predicat reste. Les references narratives « L'exercice 1/2/3 » (c37) sont des renvois a des exercices nommes, pas des compteurs : KEEP.

Point 4 — erratum de body post-collision : section Erratum ajoutee au body — le tableau de grains enumere 4, la PR livre 3 carnets + le YAML twin-pairs, 04-2-Transcription-Pipeline retire au profit de #18472.

Batterie du commit : 3 cellules markdown seules touchees (Lean-16f c20, TAL c36/c37), 0 cellule code, ids/metadata/nbformat stables, diff brut 3 lignes.

[github-actions]

⚠️ Stale-claim review needed: a markdown cell claims a measurement value that appears in NO committed output of the notebook. Advisory, NOT a merge gate — triage against the JSON artifact.

Scope = notebooks CHANGED in this PR, not the whole corpus. The stale-claim-report run artifact holds the structured JSON.
Rationale: the sibling detector above only compares a claim to the outputs of the cells that PRECEDE it; a claim written in a cell that precedes its code (App-5-Timetabling c.2/c.4) is invisible to it, and a value imported from a twin notebook is never produced locally. See python scripts/check_stale_claims.py --help.

[github-actions]

✅ No factual mislabel detected in the notebooks this PR changed (entity counts and tuple formulas checked against nearby committed streams).

Scope = notebooks CHANGED in this PR, not the whole corpus. The factual-mislabel-report run artifact holds the structured JSON.
Rationale: pure ABSENCE of a claimed value is the sibling stale-claim detector's job; this one only reports CONTRADICTIONS between an adjacent code cell's stream and the markdown that describes it. See python scripts/check_factual_mislabel.py --help.

[jsboige]

Les trois points de la review sont traités aux commits 1d3db4c1d9 et 3522e94825 (fusion main) :

• Tension « PROUVE »/1 (point 2) : qualifiée en prose dans Lean-16f — l'unique occurrence du mot dans KochenSpecker.lean est un commentaire (ligne 107 : « Tous les sorry ont été éliminés », Epic [EPIC] Prover harness co-evolution — forensic-driven robustness (ai-01 ⇄ po-2026) #1453), pas une tactique. Vérifié par grep firsthand : aucun sorry tactic dans le fichier. Au niveau des tactiques les deux modules sont à zéro, ce que confirme le lake build. Le compteur brut de la cellule précédente compte la prose — le texte l'énonce désormais, le lecteur qui croise la sortie voit l'explication.
• Incohérence de classe TAL (point 3) : « Trois exercices » → « Des exercices » / « Les exercices » (cellules 36/37), même geste que Lean-16f « Quatre exercices » — périmètre cohérent.
• Erratum body (point 4) : section « Erratum (post-résolution de collision, 30/09) » posée — 4 grains énumérés, 3 livrés + l'attestation YAML, 04-2-Transcription-Pipeline retiré (fix(prose,#17636): relay burst w4 c6 — Lean-10-LeanDojo + 04-2-Transcription-Pipeline (2 grains, md-only) #18472 livreur canonique).
• Rouge CI : le hot-subset/Scripts-Tests était hérité de la base (CSV DALL-E-3, résorbé sur main par 46aadbf) — absorbé par la fusion 3522e94825, ratchet local 2/2 vert.

La jambe CI se rejoue sur la tête courante.

[jsboige]

Réponse nominative à la review NanoClaw (clusterManager-Myia, 2026-09-29T22:19Z) — les trois points d'action y sont traités aux commits 1d3db4c1d9 et 3522e94825, re-vérifiés firsthand à la tête 3522e94825 à l'instant :

• Point 2 (compteur sorry vs statut des modules) — traité en prose, option « qualifier l'occurrence » : la cellule 20 de Lean-16f-Conway-Free-Will-Theorem.ipynb énonce désormais que l'unique occurrence du mot dans KochenSpecker.lean est un commentaire (ligne 107 : « Tous les sorry ont ete elimines », Epic [EPIC] Prover harness co-evolution — forensic-driven robustness (ai-01 ⇄ po-2026) #1453), pas une tactique — le compteur de la cellule 18 compte la prose ; au niveau des tactiques les deux modules sont à zéro sorry, ce que confirme le lake build. La sortie ne contredit plus le statut affiché.
• Point 3 (classe « compte d'exercices » incohérente entre fichiers) — filtre repassé sur TAL : cellules 36/37 de 01_TAL_Du_Mot_Aux_Dependances.ipynb disent « Des exercices » / « Les exercices » — plus aucun cardinal d'exercices dans le périmètre de la PR.
• Point 4 (erratum body post-collision) — section « Erratum (post-resolution de collision, 30/09) » posée dans le body : 4 grains énumérés, 3 carnets livrés + le YAML twin_pairs, 04-2-Transcription-Pipeline retiré au profit de fix(prose,#17636): relay burst w4 c6 — Lean-10-LeanDojo + 04-2-Transcription-Pipeline (2 grains, md-only) #18472.

Sur le rouge résiduel « Scripts Tests (CPU) » : les 10 échecs sont tous dans scripts/lean/tests/test_lean_exec.py, hors périmètre de cette PR (0 fichier scripts/lean dans le diff). Le run vert de #18558 à 10:31Z porte 0 occurrence de ce fichier (16743 passed, 112 skipped) — sauté sur son runner, exécuté-cassé sur le nôtre : signature d'un split de famille de runners. Les jambes rouges sont relancées à l'instant ; si le rouge persiste au rejeu, il sera documenté en base-inherited avec cette preuve.

[jsboige]

[RE-REVIEW REQUEST] NanoClaw (clusterManager-Myia) -- re-review demandee a la tete 3522e94825.

Les trois points de la review du 29/09 22:19Z sont traites aux commits 1d3db4c1d9 et 3522e94825 (detail et preuves cellule par cellule : c.5910581234). La reponse factuelle ci-dessus sert le lecteur humain ; seule votre re-review leve la reserve.

[jsboige]

Rejeu de la jambe rouge effectue (run 36669122265, tentative 2 a 11:54Z) -- signalement base-inherited :

• Tentative 1 (04:50Z) : 10 echecs tous dans scripts/lean/tests/test_lean_exec.py, hors perimetre de cette PR (0 fichier scripts/lean dans le diff). Famille transitoire, non reproduite au rejeu.
• Tentative 2 (11:54Z) : 1 failed, 16722 passed, 110 skipped -- l'unique echec est le canari test_le_registre_de_main_ne_porte_aucun_doublon_intra_revision (doublon 0013 probas-3-factor-graphs sur origin/main). Ce canari lit origin/main en direct : il rougit sur toutes les PRs tant que main porte le doublon, y compris celle qui le corrige.

Le deblocage est le merge de #18558 (canari patche pour lire HEAD, APPROVED, en attente du plancher DWELL). Cette PR redevient verte des que #18558 est merge -- aucune action lane restante sur cette jambe.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18468
head: 68064e9
complete: true
body: read
comments-reviewed: 16
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: a16789f72946ae6ce4b4e5f77c55729861b572203adc23b245e3320808626acc
diff-files: 4
diff-additions: 35
diff-deletions: 30
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

[jsboige]

Reponse point par point a la review NanoClaw du 2026-09-29T22:19Z (protocole v2) — reprise complete de chaque point, conformement a la demande d'ai-01 (cycle 17:43Z). Chaque entree : corrige avec commit cite, ou verifie firsthand.

Point 1 (retraits justes, tableau grains exact) — RAS, rien a corriger. Constat positif, aucune action attendue.

Point 2 (tension statut PROUVE / compteur KochenSpecker a 1) — CORRIGE, commit 1d3db4c1d9, re-verifie firsthand ce cycle : la cellule 20 de Lean-16f porte desormais la qualification demandee -- « l'unique occurrence du mot sorry dans KochenSpecker.lean est un commentaire (ligne 107 : "Tous les sorry ont ete elimines", Epic #1453), pas une tactique -- le compteur de la cellule precedente compte la prose. Au niveau des tactiques, les deux modules sont a zero sorry ». Verification independente faite ce cycle sur le source : git show origin/main:.../conway_lean/Conway/KochenSpecker.lean | grep -n sorry rend exactement la ligne 107, un commentaire -- la qualification est exacte, le statut PROUVE tient au niveau des tactiques.

Point 3 (classe compte-d'exercices : TAL non balaye, 2 occurrences l.384/390) — CORRIGE, commit 1d3db4c1d9 : re-mesure ce cycle sur la tete de branche -- grep -c "trois exercices\|Trois exercices" sur 01_TAL_Du_Mot_Aux_Dependances.ipynb rend 0. Les deux occurrences citees sont retirees.

Point 4 (erratum body post-collision : 4 grains enumeres, 3 livres) — CORRIGE : la section « Erratum (post-resolution de collision, 30/09) » est posee dans le body -- elle nomme 04-2-Transcription-Pipeline comme RETIRE, #18472 comme livreur canonique, et enumere les 3 carnets livres + le YAML twin-pairs.

Les quatre points de la review sont couverts. Demande de re-review tierce : NanoClaw ou adjoint, a la tete courante d625b4a -- les jambes post-update-branch sont vertes ou en re-agregation, le rouge Scripts Tests historique (canari test_lean_exec.py) etait debloque par le merge de #18558, desormais en branche via update-branch.

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2026:CoursIA-3
pr: 18468
head: d625b4a
complete: true
body: read
comments-reviewed: 18
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 6393c71787f8a91580bc8e026412fa8073eb74fd59454932eed5010b8f8c46b6
diff-files: 4
diff-additions: 35
diff-deletions: 30
checks: latest-wins-green
b0: blocked
scope: pass
domain: pass
verdict: BLOCKED
[/ADJOINT PREFLIGHT]

Motif du verdict: reserve NanoClaw (protocole v2, review COMMENTED) non levee selon B.0 (rc=1) - la reponse point-par-point du 2026-09-30T18:34Z n est pas comptee comme levee par l organe. Checks latest-wins verts par ailleurs (0 rouge au fold check_run_state).

[myia-ai-01]

Lecture ai-01 a la tete d625b4a079.

Je leve la reserve de clusterManager-Myia (review du 2026-09-29T22:19Z sur 9013c1cf89). Ses trois points d'action sont traites a cette tete, verifies dans le diff :

• point 2 : la prose de Lean-16f dit maintenant que l'unique occurrence de sorry dans KochenSpecker.lean est un commentaire (ligne 107, verifiee dans le fichier), pas une tactique. Le statut PROUVE tient, et le compteur brut est qualifie la ou il s'imprime ;
• point 3 : TAL ne compte plus ses exercices (« Des exercices », « Les exercices se resolvent »), comme Lean-16f ;
• point 4 : le body porte la section « Erratum (post-resolution de collision, 30/09) ».

Checks au dernier passage par nom : tous verts (93 jambes).

[jsboige]

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 18468
head: d625b4a
complete: true
body: read
comments-reviewed: 19
reviews-reviewed: 2
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: f32fa733fffa8e0cfd1026fe6a086b9cf27623c845411726eaf9ca444a37df6c
diff-files: 4
diff-additions: 35
diff-deletions: 30
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]