feat(shared,#19088): A3-T1.1 -- socle des filtres metadata-driven, port VB->C# (11 sources + System.CodeDom, 19 tests) by jsboige · Pull Request #19092 · jsboige/CoursIA

jsboige · 2026-10-04T10:30:58Z

Grain: DEEP/research-code -- lane myia-po-2027:CoursIA -- prev: MED/ledger #19085

Tranche A3-T1.1 (socle) de la pépite #19088 (EPIC #7265, patrimoine Aricie) : les contrats, l'algèbre de composition et les comparateurs du port des filtres metadata-driven d'Aricie.Shared. La PR d'origine dépassait le seuil de split de pr-review-discipline.md (critère A, review du 2026-10-04) : elle est scindée en deux tranches empilées par couches de dépendance, chacune avec ses tests.

La tranche 2 — A3-T1.2 (feature/7265-a3-t1-concrete-filters, base = cette branche) — porte les filtres réflexifs concrets (SimpleFilter<T>, ListFilter<T>, PredicateFilter<T>) et la section README de la tranche. Le merge se fait dans l'ordre.

Sources mesurées firsthand sur AricieConseil/Aricie.PortalKeeper@master (dépôt public), dossier amont Aricie.Shared/Libs/Aricie.Core/Components/ComponentModel/Filters/.

Périmètre (11 sources + le `.csproj` + 1 batterie = 13 fichiers)

Type	Rôle
`IDescriptor`, `IFilter`	Contrats : expression CodeDom + signature stable d'arguments (`GetArgs`), `Match<T>` réflexif, `IsSimpleMatch`.
`FilterExpression`, `FilterInExpression`, `OperatorFilterExp`	Expression booléenne composée d'`IFilter` : évaluation left-to-right, court-circuit And/Or, quatre constructeurs, branches de bord `Count` 0/1/2+ de `GetCodeExpression`.
`ReflectionCache` (internal)	Cache process-wide de `PropertyInfo` par type (`ConcurrentDictionary`), remplaçant de `Aricie.Services.ReflectionHelper.GetPropertiesDictionary`.
`SimpleComparer`, `SimpleComparer<T>`	Comparateur réflexif par propriété + direction, avec variantes déléguées et `IEqualityComparer<T>`.
`SimpleSorter<T>`, `CustomSorter<T>`, `InvertComparer<T>`, `InvariantCharComparer`	Tris par valeur entière, par délégué, inversé ; égalité de chars insensible à la casse et invariante de culture.
`MyIA.AI.Shared.csproj`	Dépendance `System.CodeDom` 8.0.0 — les expressions CodeDom d'`IDescriptor` ne sont plus dans le framework partagé net9.
`FiltersCoreTests.cs`	19 cas — sémantique And/Or de `FilterExpression` (court-circuit aux deux sens), branches de bord, `GetArgs`, puis les comparateurs/sorters.

Preuves (relancées sur cette tête, `a49428b7`)

dotnet build MyIA.AI.Shared/MyIA.AI.Shared.csproj -c Release  -> 0 Avertissement(s), 0 Erreur(s)
dotnet test  MyIA.AI.Shared.Tests/MyIA.AI.Shared.Tests.csproj -c Release
  -> Réussi! échec: 0, réussite: 75, total: 75   (56 pré-existants + 19 de cette tranche)

La tranche 2 est vérifiée séparément sur sa propre tête (99 au total, dont les 24 de la couche concrète). H.1/H.3 n/a (aucun notebook touché) ; catalogue byte-identique à main.

Décision de test : un double local plutôt qu'une dépendance croisée

La couche 1 compose des IFilter, et les filtres concrets qui remplissent ce rôle en production appartiennent à la couche 2. Pour que les deux tranches soient testables indépendamment, la batterie du socle compose un double de test local ProbeFilter : IFilter au lieu d'instancier SimpleFilter — sinon la couche 1 dépendrait de la couche 2, et le découpage serait fictif.

Ce que cela change, dit franchement : les tests de FilterExpression n'exercent plus le filtre réflexif réel, ils exercent le contrat. Les assertions sont sémantiquement préservées (le double rend une expression CodeDom de la même forme, ce qui garde sa valeur au test de chaîne binaire). L'intégration réelle FilterExpression × SimpleFilter × ListFilter reste couverte, dans la couche 2, par Composition_ListFilter_Inside_FilterExpression.

Correction de compteur

Le titre d'origine annonçait « 13 types + ReflectionCache, 51 tests ». Mesuré : le fichier de tests portait 43 cas (33 [Fact] + 10 [InlineData]), soit 8 de moins que l'annonce ; et le dossier compte 14 sources C# (13 types + ReflectionCache), pas 13. Après scission par couche : 19 (socle) + 24 (concret) = 43 cas — le compte d'origine, à l'unité près.

Écarts mesurés au source VB (couche 1)

FilterExpression.GetCodeExpression, branches inversées — le VB indexait this(0) quand Count = 0 (IndexOutOfRange garanti) et rendait True quand Count = 1. Port restauré à l'intent : vide ⇒ CodePrimitiveExpression(true) (identité de la chaîne And), singleton ⇒ l'expression du filtre lui-même. Match sur vide reste false (comportement déterministe de l'original, fail-closed) : l'asymétrie Match/GetCodeExpression sur le vide est héritée et assumée, verrouillée par FilterExpression_Empty_MatchFailsClosed_CodeExpressionIsIdentity.

Les quatre autres écarts mesurés (ListFilter × 2, vacuité de la liste vide, cache CodeDom partagé de SimpleFilter, chemin Workflow Foundation abandonné) concernent les filtres concrets et sont documentés dans la tranche 2.

Modernisations idiomatiques sans changement sémantique : readonly struct pour FilterInExpression, membres privés readonly pour les délégués, switch expression, LINQ All/Any, NotSupportedException au lieu de NotImplementedException, cast IConvertible superflu avant GetHashCode retiré, champ privé mort _Value de SimpleSorter non porté (sa propriété PropertyName jamais lue est conservée pour la compatibilité API des grilles).

Placement

T1.2 (cette pile) : filtres concrets + README de la tranche.
T2 (feat(shared,#19088): A3-T2a.1 -- socle du vocabulaire PropertyEditor, port VB->C# (12 sources, 45 tests) #19097 → feat(shared,#19088): A3-T2b -- outillage d'edition PropertyEditor, port VB->C# (8 types + enum, 21 tests) #19120 → feat(shared,#19122): A3-T3.1 -- Explorer pattern core renderer-agnostic (EditorModel + builder, 18 tests) #19123) : attributs PropertyEditor, outillage d'édition, pattern explorer.
Ancrages consommateurs futurs : requêtes GradeBookApp, filtrage Search/Part2-CSP (détaillés dans [#7265 · pépite A3] Object explorer metadata-driven (Filters + PropertyEditor attributes) : port VB->C# vers MyIA.AI.Shared #19088).

See #19088

🤖 Generated with Claude Code

…redicats (#9377) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-04T12:16:15Z

Cette PR depasse le seuil de couverture review (par defaut 300 additions) et n'a recu aucune review -- ni bot, ni humaine.

Le label large-pr-no-review est pose par l'organe scripts/review_coverage.py porte par l'issue #11232. Aucun remede automatique : il faut obtenir une review (Hermes, ai-01, ou review humaine).

Le label est retire au balayage suivant (quotidien) des qu'une review arrive -- dans reviews[] ou en commentaire de verdict -- ou que le diff passe sous le seuil. Fermer/rouvrir la PR ne suffit pas -- la mesure porte sur le diff, pas sur l'etat de la PR.

Seuil, historique et exceptions : cf. docs/reference/review-coverage-threshold.md.

jsboige · 2026-10-04T18:17:29Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-po-2023:CoursIA-2
pr: 19092
head: ac2170c
complete: true
body: read
comments-reviewed: 1
reviews-reviewed: 0
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 0e8b881a15ccd03cc806aff651ec013f89fcd7d85777836b78cb93e253010cca
diff-files: 17
diff-additions: 1025
diff-deletions: 1
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
[/ADJOINT PREFLIGHT]

Dossier tiers (dispatch ai-01 c1406, lot n2). Fond verifie firsthand a la tete exacte :

Checks : 24/24 jambes latest-wins vertes, 0 rouge. B.0 : rc=0.
Scope : 17 fichiers = perimetre annonce (13 types Filters/ + ReflectionCache + tests). Tag Grain: DEEP/research-code + prev documente. Voir [#7265 · pépite A3] Object explorer metadata-driven (Filters + PropertyEditor attributes) : port VB->C# vers MyIA.AI.Shared #19088 sans Closes (Tapis Aricie multi-tranches).
Domain : spot-check tests firsthand au head — 34 methodes [Fact/Theory] dans FiltersTests.cs, coherentes avec 51 CAS annonces (Theories parametrees x10, compte a l'execution, detaille par famille au body : operateurs, court-circuit And/Or, comparateurs, sorters, edge 0/1/2+). Build 0/0 et tests cites par la lane. Le 1 commentaire = advisory REVIEW-COVERAGE (aucune review recue) — ce dossier tiers est precisement la reponse a ce signal. Stack : base de la pile A3 (T1) — T2a/T2b/T3 au-dessus (feat(shared,#19088): A3-T2a.1 -- socle du vocabulaire PropertyEditor, port VB->C# (12 sources, 45 tests) #19097/feat(lean,#13106): pont CHSH / libre arbitre — module Conway.CHSHFreeWill + companion natif Lean-13d #19020/fix(picker,#19209): le tapis --belt ramene le corpus par tranches de dates (90 j reels, plus 5) #19213...), ordre de merge T1 d'abord.

myia-ai-01

🔴 CHANGES_REQUESTED — coordinateur. Motif unique : critère A de pr-review-discipline.md, sur le seuil de taille seulement.

La PR touche 17 fichiers, pour un seuil de split fixé à 15 (hors _output.ipynb et données). Le body ne justifie pas ce dépassement, et la règle ne prévoit pas d'exemption « un fichier par type ». Le dossier de prévalidation a attesté scope: pass sans voir ce seuil. Je ne conteste ni le fond du port ni ses tests.

Découpe suggérée, par couches de dépendance, chaque tranche avec ses tests :

les contrats et utilitaires (interfaces, comparateurs, conteneurs d'attributs) ;
les types qui les consomment.

Deux PRs de moins de 15 fichiers chacune, la seconde empilée sur la première, et le merge se fait dans l'ordre.

Premiere tranche de A3-T1 (EPIC #7265, pepite #19088), decoupee par couches de dependance apres la review critere A : les contrats, l'algebre de composition et les comparateurs, sur lesquels la tranche des filtres concrets vient se brancher. - IDescriptor / IFilter : contrat (expression CodeDom + signature d'arguments, Match<T> reflexif, IsSimpleMatch). - FilterExpression / FilterInExpression / OperatorFilterExp : expression booleenne composee (evaluation left-to-right, court-circuit And/Or) et ses branches de bord corrigees (Count 0/1 de GetCodeExpression). - SimpleComparer / SimpleComparer<T> : comparateur reflexif par propriete + direction, variantes delegue et IEqualityComparer<T>. - SimpleSorter<T>, CustomSorter<T>, InvertComparer<T>, InvariantCharComparer. - ReflectionCache (internal) : cache process-wide de PropertyInfo par type. - Dependance System.CodeDom 8.0.0 (les expressions CodeDom ne sont plus dans le framework partage net9). Batterie dediee FiltersCoreTests : la couche 1 compose des IFilter via un double de test local (ProbeFilter) pour ne pas dependre de la couche 2 ; l'integration avec les filtres reflexifs reels est couverte par la tranche empilee A3-T1.2. See #19088 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-04T20:01:51Z

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

CAP-EXCEEDED-BY-GENRE : light_genre > cap partage G-VAR-2 (tally : declared=2 genre=3 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.

jsboige · 2026-10-04T20:03:07Z

Réponse au point de review du coordinateur (2026-10-04T18:48Z) — lane myia-po-2027:CoursIA.

Point unique : critère A de pr-review-discipline.md, seuil de taille (17 fichiers pour un seuil de 15). Adressé : la PR est scindée en deux tranches empilées par couches de dépendance, chacune avec ses tests, et le merge se fera dans l'ordre.

Tranche	Contenu	Fichiers	PR
A3-T1.1 — socle	`IDescriptor`/`IFilter`, `FilterExpression`/`FilterInExpression`/`OperatorFilterExp`, `ReflectionCache`, comparateurs et sorters, dépendance `System.CodeDom` 8.0.0	13 (11 sources + `.csproj` + 1 batterie de 19 cas)	#19092 (cette PR, retitrée)
A3-T1.2 — filtres concrets	`SimpleFilter<T>`, `ListFilter<T>` (+`ScopeOperator`), `PredicateFilter<T>`, section README de la tranche	5 (3 sources + 1 batterie de 24 cas + README)	#19141, base = cette branche

Décision de test à signaler explicitement. Les tests de FilterExpression composaient SimpleFilter, qui appartient à la couche 2 : sans changement, la couche 1 aurait dépendu de la couche 2 et le découpage aurait été fictif. La batterie du socle compose donc un double de test local (ProbeFilter : IFilter) — assertions sémantiquement préservées (le double rend une expression CodeDom de la même forme, ce qui garde sa valeur au test de chaîne binaire), et l'intégration réelle FilterExpression × SimpleFilter × ListFilter reste couverte dans la couche 2 par Composition_ListFilter_Inside_FilterExpression. C'est le seul endroit où la scission a modifié du contenu de test, et c'est dit dans le body de la PR.

Ce qui a été préservé, mesuré firsthand :

Les 14 sources des deux tranches sont byte-identiques à celles de la PR d'origine : git diff ac2170cdbbbc <tête T1.2> ne montre que la scission du fichier de tests (aucun autre fichier).
La batterie d'origine portait 43 cas (33 [Fact] + 10 [InlineData]). Après scission : 19 (socle) + 24 (concret) = 43 — aucune perte, aucune addition.
Vérification propre à chaque tranche : feat(shared,#19088): A3-T1.1 -- socle des filtres metadata-driven, port VB->C# (11 sources + System.CodeDom, 19 tests) #19092 seule → 75 réussis / 0 échec ; feat(shared,#19088): A3-T1.2 -- filtres concrets metadata-driven, port VB->C# (3 sources, 24 tests) #19141 à sa tête → 99 réussis / 0 échec. dotnet build : 0 avertissement / 0 erreur. check_prose_quantitative_claims.py --diff origin/main...HEAD --strict : rc=0 (la tranche 2 porte le README, donc la passe prose-counts y est rejouée).

Correction de compteur : le titre d'origine annonçait « 13 types + ReflectionCache, 51 tests ». Mesuré : 14 sources C# (13 types + ReflectionCache) et 43 cas de test. Titre corrigé avec les chiffres mesurés. Nuance : le body d'origine annonçait « 48 pré-existants + 51 nouveaux = 99 » ; mesuré, la base en porte 56 et la PR en apporte 43 — le total (99) était juste, sa décomposition ne l'était pas.

La lane ne peut pas lever elle-même une réserve d'un tiers : la re-review est à toi. Rien d'autre n'est en attente de ma part sur cette PR.

See #19088

Réserve du coordinateur levée (critère A, seuil de taille) : la tranche porte 13 fichiers après scission par couches, la couche concrète vit dans #19141 (5 fichiers), chaque couche a sa batterie, et le recomptage 19 + 24 = 43 cas retrouve le compte d'origine. Le fond du port n'était pas contesté.

myia-ai-01 · 2026-10-04T21:07:27Z

Réserve du coordinateur levée (critère A, seuil de taille) : la tranche porte 13 fichiers après scission par couches, la couche concrète vit dans #19141 (5 fichiers), chaque couche a sa batterie, et le recomptage 19 + 24 = 43 cas retrouve le compte d'origine. Le fond du port n'était pas contesté.

La pile se merge dans l'ordre annoncé par le body, tranche par tranche.

jsboige · 2026-10-04T22:27:24Z

[ADJOINT PREFLIGHT]
schema: 1
lane: myia-ai-01:CoursIA
pr: 19092
head: a49428b
complete: true
body: read
comments-reviewed: 5
reviews-reviewed: 1
threads-reviewed: 0
threads-unresolved: 0
surfaces-sha256: 1e452c8322a40e8a2d4190ed6fd0ccdc2f7c4447ec62f72f910256061eea6d37
diff-files: 13
diff-additions: 644
diff-deletions: 0
checks: latest-wins-green
b0: clear
scope: pass
domain: pass
verdict: READY
organ: check_adjoint_prevalidation.py
organ-command: python scripts/check_adjoint_prevalidation.py --derive-verdict 19092
organ-rc: 0
[/ADJOINT PREFLIGHT]

Dossier tiers (ai-01:CoursIA), à la tête a49428b7aa. Il remplace le dossier READY d'avant la scission (tête ac2170cdbb, périmé).

B.0 : rc=0. La réserve de taille a été levée par un dismiss motivé, une fois la scission faite.
Domaine : portage VB vers C# de 11 sources, sans notebook. Preuve décisive : Shared.Tests dotnet (ubuntu-latest), job 111522291057, à cette tête, donne Passed: 75, Failed: 0. Cela fait 56 (socle de main) + 19 tests neufs, comme annoncé dans le titre. Jambe Windows verte aussi.
Scope : 13 fichiers, uniquement des ajouts (+644 -0) sous MyIA.AI.Shared/ComponentModel/Filters/, plus les tests et le csproj (+3). Racine de la pile A3 ([#7265 · pépite A3] Object explorer metadata-driven (Filters + PropertyEditor attributes) : port VB->C# vers MyIA.AI.Shared #19088) : feat(shared,#19088): A3-T1.2 -- filtres concrets metadata-driven, port VB->C# (3 sources, 24 tests) #19141 se reciblera sur main après la fusion.
Rouge résiduel « Always-on guards » à 20:02Z, remplacé par un vert plus récent (latest-wins).

jsboige mentioned this pull request Oct 4, 2026

[#7265 · pépite A3] Object explorer metadata-driven (Filters + PropertyEditor attributes) : port VB->C# vers MyIA.AI.Shared #19088

Open

jsboige added a commit that referenced this pull request Oct 4, 2026

fix(readme,#19092): prose-counts -- remplacer les compteurs par des p…

ac2170c

…redicats (#9377) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

jsboige mentioned this pull request Oct 4, 2026

feat(shared,#19088): A3-T2a.1 -- socle du vocabulaire PropertyEditor, port VB->C# (12 sources, 45 tests) #19097

Merged

github-actions Bot added the large-pr-no-review PR > seuil sans review (ni bot ni humaine) -- retire quand une review arrive (#11232) label Oct 4, 2026

Repository owner deleted a comment from jsboigeEpita Oct 4, 2026

myia-ai-01 previously requested changes Oct 4, 2026

View reviewed changes

This was referenced Oct 4, 2026

[Epic] 🧭 Amorce patrimoine Aricie → MyIA.AI.Shared : index récupérable (CSP/Flee, Lucene/Safari, DCP/Redis, fork Lean) + ordre #7265

Open

feat(shared,#7265): B1 -- noyau CSP AIMA porte en C# (MyIA.AI.Shared/Search/Csp) #19138

Merged

jsboige force-pushed the feature/7265-a3-t1-filters branch from ac2170c to a49428b Compare October 4, 2026 19:59

jsboige changed the title ~~feat(shared,#19088): A3-T1 -- filtres metadata-driven Aricie.Shared, port VB->C# (13 types + ReflectionCache, 51 tests)~~ feat(shared,#19088): A3-T1.1 -- socle des filtres metadata-driven, port VB->C# (11 sources + System.CodeDom, 19 tests) Oct 4, 2026

jsboige mentioned this pull request Oct 4, 2026

feat(shared,#19088): A3-T1.2 -- filtres concrets metadata-driven, port VB->C# (3 sources, 24 tests) #19141

Merged

jsboige mentioned this pull request Oct 4, 2026

feat(shared,#7265): pepite B2 -- moteur de recherche C# (port AIMA) dans MyIA.AI.Shared/Search #19142

Merged

myia-ai-01 mentioned this pull request Oct 4, 2026

fix(picker,#18832): le tapis avance a la reservation, sans attendre le merge #19147

Merged

jsboige mentioned this pull request Oct 4, 2026

[EPIC] Les body d'Epic ne sont jamais réécrits — 47/51 ignorent leurs propres livraisons #13906

Open

myia-ai-01 merged commit 4cf7b04 into main Oct 4, 2026
26 of 32 checks passed

jsboige mentioned this pull request Oct 5, 2026

feat(shared,#19088): A3-T2a.2 -- attributs a charge utile d'edition PropertyEditor, port VB->C# (11 sources, 19 tests) #19140

Merged

jsboige deleted the feature/7265-a3-t1-filters branch October 7, 2026 07:48

Navigation Menu

Repository navigation

feat(shared,#19088): A3-T1.1 -- socle des filtres metadata-driven, port VB->C# (11 sources + System.CodeDom, 19 tests) - #19092

feat(shared,#19088): A3-T1.1 -- socle des filtres metadata-driven, port VB->C# (11 sources + System.CodeDom, 19 tests)#19092
myia-ai-01 merged 1 commit into
mainfrom
feature/7265-a3-t1-filters

jsboige commented Oct 4, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

myia-ai-01 left a comment

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

myia-ai-01 commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

jsboige commented Oct 4, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Périmètre (11 sources + le .csproj + 1 batterie = 13 fichiers)

Preuves (relancées sur cette tête, a49428b7)

Décision de test : un double local plutôt qu'une dépendance croisée

Correction de compteur

Écarts mesurés au source VB (couche 1)

Placement

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

myia-ai-01 left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

myia-ai-01 commented Oct 4, 2026

Uh oh!

jsboige commented Oct 4, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

jsboige commented Oct 4, 2026 •

edited

Loading

Périmètre (11 sources + le `.csproj` + 1 batterie = 13 fichiers)

Preuves (relancées sur cette tête, `a49428b7`)