01
AUTEUR
Zakaria Gharzouli · Residual Labs, Paris, France
ORCID 0009-0005-7604-4709 · 21 juin 2026 · CC BY 4.0
02
RÉSUMÉ
Ce dépôt présente un opérateur de projection idempotente P sur des arbres étiquetés (structures dict/list imbriquées), tel que P(P(T)) = P(T) pour tout T, où P projette une structure observée sur la conformité de type et de bornes à un schéma de référence T*, tout en préservant toute valeur déjà conforme — même si elle diffère de T*. La preuve est donnée par récurrence structurelle finie (disjonction de cas sur les feuilles), sans recours à une métrique, une suite convergente, ou un argument de point fixe de Banach — voir Section 2.2 du document pour une discussion de cette distinction. Portée explicitement limitée (voir Section 3) : ce résultat garantit la conformité structurelle (types, bornes) à un schéma, PAS la convergence vers les valeurs exactes d'une référence ponctuelle. Une valeur corrompue qui conserve son type d'origine n'est pas corrigée — c'est une limite documentée, pas un défaut caché. Ce travail a fait l'objet d'une vérification adversariale indépendante par un second modèle de langage (Kimi), dont les corrections et observations sont intégrées et documentées dans le présent document (Sections 2.1, 3.3, 4, 5.2). Implémentation de référence en Python fournie, avec suite de tests (>20000 cas couvrant les cas limites identifiés lors de cette vérification).
03
ACCÈS
04
MOTS-CLÉS