Skip to content

feat(ict,#18405): Ruzsa distance on factor geometry -- overclaim + witness #19601

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
jsboige wants to merge 16 commits into
base: main
Choose a base branch
from
+989 −166
Open

feat(ict,#18405): Ruzsa distance on factor geometry -- overclaim + witness #19601

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
5c681d8
feat(ict,#18405): Ruzsa distance on factor geometry -- overclaim + wi…
jsboige Oct 6, 2026
972f93c
fix(ict,#19601): 4 navlinks + 1 ARTIFACT_NOUNS prose-counts -- DEEP/C…
jsboige Oct 7, 2026
b29d563
fix(ict,#19601): ARTIFACT_NOUNS prose-counts -- qualifiers not counte…
jsboige Oct 7, 2026
7e1472c
chore(ict,#19601): empty commit pour re-trigger PR gate post c.1124
jsboige Oct 7, 2026
d783a7b
fix(ict,#19601): forward nav-link ICT-36 -> ICT-36b (Ruzsa) — orpheli…
jsboige Oct 7, 2026
862ecbc
fix(ict,#19601): liens du carnet vers le transient reel + en-tete gel…
jsboige Oct 8, 2026
0f1ccc4
fix(ict,#19601): chaine de navigation ICT-Series + desechappement Uni…
jsboige Oct 8, 2026
7cf0a02
fix(ict,#19601): Ruzsa factor geometry -- exemples guides + 3 exercic…
jsboige Oct 9, 2026
ca4655c
Merge branch 'main' into feature/c1114-18405-pfr-greffe
jsboige Oct 9, 2026
68062ce
fix(notebook,#19601): ICT-36b Exercice 2 -- protocole aligne (decale …
jsboige Oct 10, 2026
5dd15f1
fix(notebook,#19601): ICT-36b Exercice 2 -- reference croisee de d1 (…
jsboige Oct 10, 2026
af1ebc7
fix(notebook,#19601): exercice 2 -- l'objectif ne dit plus « vaudrait…
jsboige Oct 10, 2026
104a8d2
fix(notebook,#19601): ICT-36b Exercice 2 -- titre et ETAPE 4 cadres s…
jsboige Oct 10, 2026
16dfa78
fix(notebook,#19601): ICT-36b -- la prose raconte l'etat final, pas l…
jsboige Oct 10, 2026
55ee2d6
Merge branch 'main' into feature/c1114-18405-pfr-greffe
jsboige Oct 11, 2026
6eba9f2
Merge branch 'main' into feature/c1114-18405-pfr-greffe
jsboige Oct 11, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 3 additions & 1 deletion MyIA.AI.Notebooks/IIT/ICT-Series/ICT-35-HumorCausalProbe-Pilot-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,9 @@
"tags": []
},
"source": [
"> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant."
"> **Statut épistémique** — **Sans verdict à ce jour** : aucune ligne de la [matrice de dissociations](../../../docs/ict/dissociations-matrix.md) ne concerne ce notebook ; son statut épistémique sera porté par la matrice le cas échéant.\n",
"\n",
"**Navigation** : [Index ICT-Series](README.md) | [>> ICT-36 (F-Lens, factored-geometry)](ICT-36-FLens-FactoredGeometry-Python.ipynb)\n"
]
},
{
Expand Down
2 changes: 1 addition & 1 deletion MyIA.AI.Notebooks/IIT/ICT-Series/ICT-36-FLens-FactoredGeometry-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
"source": [
"# ICT-36 — F-Lens : mode factored-geometry, sous-espaces et additivite\n",
"\n",
"**Navigation** : [<< ICT-35](ICT-35-HumorCausalProbe-Pilot-Python.ipynb) | [Index](../README.md)\n",
"**Navigation** : [<< ICT-35](ICT-35-HumorCausalProbe-Pilot-Python.ipynb) | [>> ICT-36b (Ruzsa)](ICT-36b-RuzsaOnFactorGeometry-Python.ipynb) | [Index](../README.md)\n",
"\n",
"**Module :** ICT-Series (sous-ensemble F-Lens, Epic #15475)\n",
"**Niveau :** Recherche\n",
Expand Down
Loading
Loading