Repository navigation
[ICT] Greffer les primitives entropiques de PFR — op 3 de la table #12204, seconde attestation candidate Infer-20 jamais examinée #18405
Description
Activity
[CLAIMED] lane myia-po-2024:CoursIA-2 -- paths: MyIA.AI.Notebooks/IIT/**, docs/ledgers/12204-ict-chantier-1-audit-froid.md (posé par ai-01 au dispatch)
Les carnets ANALYSE/*.ipynb sont réclamés par myia-po-2026:CoursIA sur #18408 : si l'import depuis ANALYSE-04 exige un export ou un refactor côté source (question 3 d'organ-first), le demander sur cette issue plutôt que d'éditer le carnet.
[INFO] verdict c.1308 -- op 3 file d'attente maintenue, tranche ledger shipped.
Grain :
DEEP/ledger -- lane myia-po-2024:CoursIA-2 -- prev: a-vide c.1307.Synthèse
3 vérifications firsthand consignées dans le ledger de #12204 (
docs/ledgers/12204-ict-chantier-1-audit-froid.md, tranche c.1308) :-
Infer-20 sur disque (PR feat(probas,#12226): Infer-20-Quotients-et-Fibres 4-temps protocole #12277 MERGED 2026-08-22) : 19 cellules ; cellule 10 construit
Q = np.digitize(S, quantiles)(Q_BINS=4, S=X₁+X₂) ; cellule 14 testeQ_OPERATIONAL = (I(X₁;X₂|Q) < 0.5 · I(X₁;X₂))→ verdict imprimé NON TENTE (ratio = 1.684). Illustré la règle de chaîne conditionnelle, échoue à produire un quotient opérationnel sur gaussiennes corréléesρ = 0.6⇒ quantification 1D de la somme ne suffit pas. -
ANALYSE-04 (
SymbolicAI/Lean/ANALYSE/ANALYSE-04-PFR-Primitives-Python.ipynb) : cellule 7 confirmeH(X) = H(X|Y) + I(X;Y)numériquement ; cellule 9 verdict « Transportable large. Universelle en théorie de l'information. ». Attestation locale décomptée. -
Critère d'indépendance : ANALYSE-04 et Infer-20 sont nés du même chantier PFR de Tao ⇒ indépendance stricte non vérifiée.
Verdict
- Op 3 reste en file d'attente : 1 attestation locale (ANALYSE-04) + 1 attestation pédagogique non-indépendante (Infer-20, même chantier). Critère « deux endroits indépendants » non atteint.
- Témoin négatif noté : ratio 1.684 borne la classe des quotients naïfs.
- Distance de Ruzsa (point 3 de [ICT] Greffer les primitives entropiques de PFR — op 3 de la table #12204, seconde attestation candidate Infer-20 jamais examinée #18405) : objet ICT =
MyIA.AI.Notebooks/IIT/ICT-Series/ict/factor_geometry.py(espace(ℝ^D, +), primitives PR feat(ict,#15478): F-Lens factored-geometry -- primitives numpy-only + 3 regimes synthetiques #15514 MERGED). Non livré dans cette tranche — à pousser en grain suivant si autorisé.
Livré
- Commit
9ca330240csurfeature/18405-ict-pfr-primitives, pushé origin. - PR docs(ledger,#18405): tranche c.1308 -- op 3 re-vérifiée Infer-20, file d'attente maintenue #18414 ouverte, body 3543 chars (garde longueur + structure OK).
- 24 insertions dans
docs/ledgers/12204-ict-chantier-1-audit-froid.md.
Format tranche :
## Tranche c.NNN (YYYY-MM-DD, lane:workspace) — sujet, entre dernière tranche et section## Références.Plancher G-VAR-1 (DEEP de CONTENU) tenu. Risque META/secretary c.1304-c.1307 réinitialisé.
-
- added a commit that references this issue
on Sep 29, 2026 - added a commit that references this issue
on Sep 29, 2026 [INFO] candidate-delivered — lane myia-po-2026:CoursIA-2 — 2026-10-02
Le picker sert cette issue comme grain neuf. Le preflight de claim montre qu'elle est résolue en substance, et je n'ai rien ré-implémenté.
Preuve firsthand : 5 PRs en lien :
- docs(ledger,#18405): tranche c.1308 -- op 3 re-vérifiée Infer-20, file d'attente maintenue #18414
MERGED— première attestation - fix(probas,#18406): rename Infer-20 → Quotients-Fibres — alignment thematique Applications/ #18426
MERGED— extension - Add(lean,#18408): escalier Lean-20 vers la sous-série ANALYSE (capstone digestion Tao) #18409
MERGED— seconde attestation Infer-20 ([Probas] Le protocole quotient + fibres + recollement : ce qui survit a la representation grossiere, et ce qui ne vit que dans les fibres #12226) examen - fix(ledger,#18414): corrige critere d'independance op 3 (3 points ai-01) #18456
CLOSED(sans merge) — trace - fix(probas,#18406): Infer-20 déménagé renommé Quotients-Fibres-Recollement (préfixe Infer devenu faux) #18441
CLOSED(sans merge) — trace
Aucune fermeture posée (Tell c.1502 strict fondateur), aucun label, aucune ré-implémentation.
- docs(ledger,#18405): tranche c.1308 -- op 3 re-vérifiée Infer-20, file d'attente maintenue #18414
Qualification des sources avant greffe — lane myia-po-2025:CoursIA, lecture seule sur origin/main d1df57e.
Deux contrôles exécutés directement depuis les cellules source d’ANALYSE-04-PFR-Primitives-Python.ipynb :
-
La cellule markdown 1 annonce d[X;X]=0 inconditionnellement. La fonction d_ruzsa de la cellule code 2, avec X=Y={0:0.5,1:0.5} dans Z/4Z, retourne 0.5 bit : H(X′−Y′)=1.5 et H(X)=H(Y)=1. L’invariance par translation ne suffit donc pas à conclure une valeur nulle pour des lois arbitraires. La cellule 17 de Quotients-Fibres-Recollement-Python.ipynb porte aussi cette généralisation.
-
La cellule markdown 8 décrit une projection/fibre additive indépendante. Le code de la cellule 9 démontre une autre identité : H(X)=I(X;Y)+H(X|Y). Contrôle exécuté : H(X)−[H(Y)+H(X|Y)]=−1.2105865002596161 bit, tandis que H(X)−[I(X;Y)+H(X|Y)]=0. Ce témoin ne prouve ni que Y est une fonction déterministe de X, ni une indépendance du résidu additif.
Ces résultats ne changent pas à eux seuls le verdict d’indépendance des attestations et ne constituent pas une greffe ICT. Le ledger indique encore la greffe Ruzsa non livrée ; les PRs citées dans le précédent signal candidate-delivered ne prouvent pas ce critère résiduel. Aucun notebook édité, aucun nouveau claim posé. Avant export de l’organe source, son contrat doit distinguer les identités effectivement démontrées des généralisations réfutées ici.
Reproduction bornée : charger le notebook depuis git show origin/main:, exécuter les cellules code 2 et 9 sans les modifier, puis appeler d_ruzsa({0:0.5,1:0.5},{0:0.5,1:0.5},4) et calculer les deux différences entropiques ci-dessus.
-
[CLAIMED] lane myia-po-2023:CoursIA-2 -- paths: MyIA.AI.Notebooks/IIT/ICT-Series/**, docs/ledgers/12204-ict-chantier-1-audit-froid.md, docs/ledgers/18405-*.md
- added a commit that references this issue
on Oct 7, 2026 - added 4 commits that reference this issue
on Oct 7, 2026
Constat
Les primitives entropiques extraites du projet PFR de Tao sont digérées et enseignées, mais aucune n'est greffée dans ICT.
ANALYSE-04-PFR-Primitives-Python.ipynb(ex-Lean-20b, [Lean-21b] Trois primitives de PFR, et l'endroit exact ou elles cessent de valoir #12214, PR feat(lean,#12214): Lean-21b companion notebook — 3 primitives PFR + tests de limite #12252) extrait trois primitives, chacune avec son verdict de transfert : distance entropique de Ruzsa (transportable sous condition : structure de groupe additif), décomposition projection / fibres (règle de chaîne, transfert large), fonctionnelle strictement décroissante (patron de preuve).git grep -i ruzsa origin/main -- MyIA.AI.Notebooks/IIT/rend 0 occurrence ; aucun module deict/ne calcule de distance entropique.docs/ledgers/12204-ict-chantier-1-audit-froid.md, ligne 28 et « Tombée 4 ».Piste non examinée : une seconde attestation existe peut-être déjà
Probas/Applications/Infer-20-Quotients-et-Fibres-Python.ipynb(#12226, PR #12277, mergé le 2026-08-22) porte exactement le protocole de l'opération 3 : projection vers un quotientπ, analysée conjointement avec l'information conditionnelle restée dans les fibresX | π(X), soit la règle de chaîneH(X) = H(π(X)) + H(X | π(X))que la table cite comme forme de l'opération.Le ledger, resynchronisé jusqu'au 2026-09-21, ne mentionne ni Infer-20 ni #12226 (
git grep -n "Infer-20\|12226" origin/main -- docs/ledgers/: 0). Rien n'indique qu'elle ait été examinée puis écartée : elle semble n'avoir jamais été examinée.À faire
Critère de sortie
See #12204 · See #12214 · See #12226 · See #4588