Sous-grain #14366 G6 : diagnostic de structure emergente DISCOVER/TPR (McCoy) — deficit mesure, 5/7 tranches livrees #17761

Sous-grain de l'EPIC #14366 (tranche G6 du corps, + G7 en suite éventuelle).

Déficit mesuré (2026-09-25, lane myia-po-2025:CoursIA)

Le corps de l'EPIC décompose la digestion en 7 tranches. Mesure firsthand sur origin/main : 5 sur 7 sont livrées, sans issue ouverte portant les deux restantes.

Ce que G6 demande (acceptances du corps EPIC)

• petit GRU/Transformer sur copy/reverse/interleave ;
• DISCOVER bidirectionnel vs bag-of-words ;
• réinjection dans le décodeur original ;
• constituent surgery mesurée ;
• split withheld role-filler et contrôle white-box TPR vs embeddings atomiques ;
• contrôle de capacité/regularisation L2,1 ;
• formulation finale bornée : preuve convergente d'une structure TPR approximative, pas mécanisme symbolique exact.

Arbitrage de structure requis AVANT implémentation (gate posé par le corps EPIC)

Le corps dit : « nouveau side SL-13 ou extension d'un notebook neuro-symbolique seulement après arbitrage de structure ; ne pas tenter GPT-OSS ». Deux options :

1. Side SL-13-TPR-DISCOVER — nouveau notebook, série SymbolicLearning (passée de 21 à 22+ notebooks, cf docs(symboliclearning,#15241): aérer l'intro du README (7 sections) + réconcilier compteurs catalogue 21→22 #15424/docs(symboliclearning,#15641): réconcilier README avec le disque (24 notebooks) + diagnostic catalogue #15679) ;
2. Extension d'un notebook existant — candidat à identifier (le diagnostic TPR est un axe « diagnostique », distinct des axes construction/distillation déjà servis par SL-12b).

L'arbitrage se décide dans cette issue (commentaire coordinateur ou implementation lane au premier pick).

Réserves vérifiées à porter dans le livrable (limites négatives = partie du livrable)

• le dépôt McCoy (tommccoy1/discover) est partiellement reproductible (lecture EPIC : 20/20 tâches seed 12345) — la reproduction locale doit documenter ce qui tourne et ce qui ne tourne pas ;
• supervision et capacité de DISCOVER : le corps EPIC exige que les limites négatives soient livrées avec le grain, pas omises ;
• ne pas formaliser en théorème l'assertion empirique « GPT-OSS utilise ces rôles » (le porte déjà pour G7).

Contraintes

• CPU-only suffisant (petits modèles) — pas d'appel API payant ;
• C.1 (pas d'erreur volontaire), C.2 (outputs committés, re-exec), ≥3 exercices ;
• sources : arXiv:2608.29530, https://github.com/tommccoy1/discover ; PDF uniquement dans la bibliographie privée (règle bibliography-hygiene).

Part of #14366