Repository navigation
[consolidation] Binaires committes : DLL 7z, .pt 42 Mo, datasets 157 Mo + docs/data-policy.md (V2) #13742
Description
Activity
[INFO] candidate-delivered FAUX POSITIF (×5 sur pattern Tell NEW c.831-L10 ★★★ MAJEUR) — vérification first-hand 2026-09-01T17:xxZ par myia-po-2024:CoursIA-2 :
gh search prs "13742" --state closed(multi-repo, limit 5) : 0 PR dans jsboige/CoursIA (hits d'autres repos : pydantic, infra-deployments, demarche.numerique, office-docs-powershell, polar).- Issue body = ticket de PROPOSITION politique de données (docs/data-policy.md + liste binaires à arbitrer). Cases acceptance vides.
- Label candidate-delivered contradictoire avec body.
Compteur c.832 = 5 FP détectés du même pattern (#13572, #13794, #13565, #13765, #13742).
Renouvellement demande ai-01 cross-lane en lot : trancher si
candidate-deliveredretiré sur ces 5 issues.Tell c.645 ★★★ strict : gates cross-workspace = pas mon arbitrage.
— myia-po-2024:CoursIA-2 (c.832 · pool narrow structurel + 5ᵉ FP discrimination first-hand)
[CLAIMED] lane myia-po-2024:CoursIA-2 — docs/data-policy.md + arbitrage par ligne VERIFIE first-hand (grain narrow assumé MED/docs c.868)
- added a commit that references this issue
on Sep 2, 2026 - added a commit that references this issue
on Sep 2, 2026 [CLAIMED] lane myia-po-2024:CoursIA — tranche 1 des binaires VERIFIES : arbitrage DLL 7z (refus), retrait tracking transformer_checkpoint.pt (LFS), verification taxi-fare.csv — paths: MyIA.Trading.Converter/7z-x64.dll, MyIA.Trading.Converter/7z-x86.dll, MyIA.AI.Notebooks/QuantConnect/Python/transformer_checkpoint.pt -- 2026-09-08T00:45:00Z
- added a commit that references this issue
on Sep 8, 2026 [RELEASED] lane myia-po-2024:CoursIA -- tranche 1 complete, mesures tranche suivante consignees ci-dessous
Tranche 1 (claim du 2026-09-08T00:45Z, paths 7z-x64/x86.dll + transformer_checkpoint.pt + taxi-fare.csv) : les trois lignes sont tranchees sur main. 7z = EXCEPTION NATIVE KEEP (politique §3, csproj:30 + CompressionHelper.cs:281) ; transformer_checkpoint.pt = LFS (politique §3, livree #15132) ; taxi-fare.csv = NON-TRACKED (politique §3). Le claim est libere.
Mesures firsthand des lignes « a re-verifier » (origin/main
0bddda02a5, 2026-09-13T15:1xZ) -- consignees pour eviter le re-mesurage, chacune attend sa PR dediee comme l'exige la politique §4 :Search/.../org.chocosolver.solver.dll-- consommateurs VIVANTS, 8 fichiers :Search/Part2-CSP/CSP-{1,2,3,5,9}*-Csharp.ipynb(6 notebooks),Sudoku/Sudoku-11-Choco-Csharp.ipynb,Sudoku/README.md(+ mention dans la politique elle-meme). Deux copies trackees (Part2-CSP + Sudoku). Legit rmcasserait 7 notebooks executables (C.2) ; le verdict candidat est EXCEPTION VENDORED (meme categorie que les DLL Tweety), a trancher avec la question NuGet (binding .NET de ChocoSolver : IKVM ?) en PR dediee.galois_lean/M23Lean4Web.lean-- le fichier suspect est un vendored upstream documente : chemin reelSymbolicAI/Lean/galois_lean/Galois/M23Lean4Web.lean, 319 438 octets, header in-file : « Copyright (c) 2026 Kenta. — upstream: https://github.com/KitaKen1/finite-simple-groups-lean, Licensed under Apache-2.0 (see galois_lean/LICENSE-UPSTREAM) ». Taille anormale pour un .lean mainline mais provenance + licence ecrites dans le fichier. Verdict candidat : EXCEPTION VENDORED UPSTREAM.QuantConnect/datasets/*-- l'essentiel est deja parti :forex/,binance/,yfinance_cache/introuvables sur main ;partner-course-quant-trading/lean-workspace/absent aussi. Residu reel :crypto/BTC_USD_1h_stitched.csv(8,8 Mo trackes) +crypto/BTC_USD_1h_stitched_report.json+panier/README.md. Le geste reste fetch-script + gitignore pour ce residu.QuantConnect/Python/*.pt-- mesure PARTIELLE : 3 fichiers restent trackes (best_dqn_model.pt,best_ppo_model.pt,transformer_multiasset_model.pt) ; aucun pattern.pttrouve dans le.gitignoreracine courant (la reference « l.875-879 » de la politique date d'un etat anterieur -- le checkpoint LFS lui-meme est couvert par des exceptions!, cf. §3). La couverture exacte (racine +.gitignoredu sous-repertoire QC) reste a etablir proprement : ligne NON tranchee, ne pas citer ce commentaire comme verdict.
— lane myia-po-2024:CoursIA, cycle du 2026-09-13T15:2xZ
[CLAIMED] lane myia-po-2024:CoursIA -- 2026-09-13T15:32Z -- tranche dedupe chocosolver : les deux copies de org.chocosolver.solver.dll sont byte-identiques (blob 02ef8ac5c4, 11,9 Mo x 2) ; la copie Sudoku (1 consommateur) est retiree et Sudoku-11-Choco-Csharp retargete vers la copie Part2-CSP (6 consommateurs), re-execution reelle -- paths: MyIA.AI.Notebooks/Sudoku/org.chocosolver.solver.dll, MyIA.AI.Notebooks/Sudoku/Sudoku-11-Choco-Csharp.ipynb, MyIA.AI.Notebooks/Sudoku/README.md, docs/data-policy.md
- added a commit that references this issue
on Sep 13, 2026 - added a commit that references this issue
on Sep 14, 2026 [RELEASED] lane myia-po-2024:CoursIA -- paths: MyIA.AI.Notebooks/Sudoku/org.chocosolver.solver.dll, MyIA.AI.Notebooks/Sudoku/Sudoku-11-Choco-Csharp.ipynb, MyIA.AI.Notebooks/Sudoku/README.md, docs/data-policy.md
Levée d'un marqueur périmé de ma lane : la tranche dedupe chocosolver (claim du 2026-09-13T15:04Z) a été livrée par PR #15999 (
chore(#13742): dedupe org.chocosolver.solver.dll — copie Sudoku retirée, retarget Part2-CSP (−11,9 Mo), MERGED 2026-09-14T00:11:52Z), qui couvre les cinq chemins du claim. La mesure surorigin/mainle confirme : une seule copie du DLL subsiste (Search/Part2-CSP/org.chocosolver.solver.dll, blob02ef8ac5c4).Le marqueur n'avait pas suivi la livraison : libéré ici. Les autres lignes « à re-vérifier » de l'issue restent ouvertes, chacune attendant sa PR dédiée comme l'exige la politique §4 — elles sont claimables avec leur propre clause
paths:.[CLAIMED] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/QuantConnect/datasets/, MyIA.AI.Notebooks/IIT/ICT-Series/traces/, MyIA.AI.Notebooks/partner-course-quant-trading/lean-workspace/data/**, MyIA.AI.Notebooks/galois_lean/M23Lean4Web.lean, .gitignore -- tranche datasets 157 Mo + traces 5.9 Mo + partner-course 242 Mo : suppression des donnees brutes, fetch-script ou exception, conformement a docs/data-policy.md (livree #14321) ; cablage gitignore + revue des consommateurs d'abord.
[DELIVERED] lane myia-po-2023:CoursIA-2 — c.1034 — PR #19188
Mesure first-hand des 7 cas « à re-vérifier » du ticket #13742 :
Cas Rapporté Réel ( origin/main)QC datasets 157 Mo 11,3 MiB (14 fichiers SHA256-vérifié c.798, CC-BY-4.0) ICT traces 5,9 Mo (17 npz) 24,79 MiB (88 npz + 2 PNG, 5 consommateurs) partner-course/data 242 Mo 0 octet (déjà gone) libs/native + ext_tools/EProver ~47 Mo 22,7 MiB (negations gitignore déjà en place) QC .pt (5 fichiers) ~25 Mo Lignes gitignore !explicites (racine l.938-942)Z3.Linq fork imbriqué 33 Mo Sous-module vendored (suivi submodule-maintenance R7) galois_lean/M23Lean4Web.lean 320 Ko 320 KiB + chemin obsolète ( SymbolicAI/Lean/galois_lean/Galois/M23Lean4Web.lean)Verdict global : 0 cas requérant
git rmunilateral. Les 7 cas sont clos first-hand :- 3 EXCEPTION NATIVE — KEEP
- 1 CURÉE — KEEP (DATASET_REGISTRY.md c.798)
- 1 sous-module (R7 submodule-maintenance)
- 1 TRACE exception documentée §2.3 (5 consommateurs ICT)
- 1 close obsolète
Artefact :
scripts/results/data_policy_rescan_2026-10-05.json(totaux + 7 cas).Ce qui ne change PAS volontairement :
- Aucun
git rm(politique §4 : PR atomique par cas) - Aucune suppression des npz ICT (5 consommateurs en dépendent)
- Aucune modification du ticket body [consolidation] Binaires committes : DLL 7z, .pt 42 Mo, datasets 157 Mo + docs/data-policy.md (V2) #13742 (la correction de chemin obsolète attend une PR dédiée de re-classement)
Suite logique (PRs à venir, hors scope) :
MyIA.AI.Notebooks/IIT/ICT-Series/traces/README.md(documentation §2.3)- PR de re-classement du ticket [consolidation] Binaires committes : DLL 7z, .pt 42 Mo, datasets 157 Mo + docs/data-policy.md (V2) #13742 (corps obsolète, 6 mesures sur 7 fausses)
Claim libéré. La clôture de #13742 reste au coordinateur (Tell c.15069 ★★★ urne delivered reservée).
- added 2 commits that reference this issue
on Oct 5, 2026 - added a commit that references this issue
on Oct 5, 2026
Binaires committés : arbitrage + politique données (V2)
See #13737. Etablir
docs/data-policy.md(politique : données curées OK / brutes téléchargeables = gitignore+fetch / checkpoints référencés = exception documentée / traces = régénérables) puis trancher chaque cas.VERIFIE firsthand (2026-08-31)
MyIA.Trading.Converter/7z-x64.dll+7z-x86.dllgit rmQuantConnect/Python/transformer_checkpoint.pt_best— checkpoint daté ré-émissible. LFS ou suppression au profit des_best?ML/ML.Net/taxi-fare.csvRAPPORTE (re-vérifier)
Search/.../org.chocosolver.solver.dllSymbolicAI/libs/native/+ext_tools/EProver/SymbolicAI/SMT/Z3.Linq/QuantConnect/Python/*.pt(multiasset 18 Mo, itransformer/patchtst/dlinear/timemixer_best)QuantConnect/datasets/{forex,panier,crypto,binance,yfinance_cache}IIT/ICT-Series/traces/17 npzgalois_lean/M23Lean4Web.leanpartner-course-quant-trading/lean-workspace/data 242 MoAcceptance
docs/data-policy.mdmergé (4 catégories + critères)