Skip to content

Fix(gametheory,#18446): reparer les stale-claims NanoClaw de GT-20e -- attributions Hashlife/OTCA/Spartan, taille metapixel, compte de classes #19706

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

Merged
myia-ai-01 merged 1 commit into from
Oct 7, 2026
Merged

Fix(gametheory,#18446): reparer les stale-claims NanoClaw de GT-20e -- attributions Hashlife/OTCA/Spartan, taille metapixel, compte de classes #19706

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
148 changes: 79 additions & 69 deletions MyIA.AI.Notebooks/GameTheory/GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,10 @@
"id": "95970cf5",
"metadata": {
"papermill": {
"duration": 0.00383,
"end_time": "2026-10-03T13:59:22.403212+00:00",
"duration": 0.005453,
"end_time": "2026-10-07T11:43:48.670504",
"exception": false,
"start_time": "2026-10-03T13:59:22.399382+00:00",
"start_time": "2026-10-07T11:43:48.665051",
"status": "completed"
},
"tags": []
Expand All @@ -26,10 +26,10 @@
"id": "4b348831",
"metadata": {
"papermill": {
"duration": 0.001636,
"end_time": "2026-10-03T13:59:22.408710+00:00",
"duration": 0.004475,
"end_time": "2026-10-07T11:43:48.681668",
"exception": false,
"start_time": "2026-10-03T13:59:22.407074+00:00",
"start_time": "2026-10-07T11:43:48.677193",
"status": "completed"
},
"tags": []
Expand All @@ -51,16 +51,16 @@
"id": "87aec159",
"metadata": {
"execution": {
"iopub.execute_input": "2026-10-03T13:59:22.413324Z",
"iopub.status.busy": "2026-10-03T13:59:22.412337Z",
"iopub.status.idle": "2026-10-03T13:59:22.423886Z",
"shell.execute_reply": "2026-10-03T13:59:22.423886Z"
"iopub.execute_input": "2026-10-07T11:43:48.693581Z",
"iopub.status.busy": "2026-10-07T11:43:48.692894Z",
"iopub.status.idle": "2026-10-07T11:43:48.724901Z",
"shell.execute_reply": "2026-10-07T11:43:48.723832Z"
},
"papermill": {
"duration": 0.015188,
"end_time": "2026-10-03T13:59:22.425365+00:00",
"duration": 0.04055,
"end_time": "2026-10-07T11:43:48.726790",
"exception": false,
"start_time": "2026-10-03T13:59:22.410177+00:00",
"start_time": "2026-10-07T11:43:48.686240",
"status": "completed"
},
"tags": []
Expand All @@ -72,7 +72,7 @@
"text": [
"Chargement k_trajectory_results.json (depuis scripts/hashlife/)\n",
"Trajectoires mesurees : 35\n",
"Verdicts tranches : 7 classes distinctes\n",
"Verdicts tranches : 7 trajectoires, 2 classes distinctes\n",
" - glider_T4 -> PROGRAM-PERIODIC-COLLAPSED\n",
" - blinker_T2 -> PROGRAM-PERIODIC-COLLAPSED\n",
" - pulsar_T3 -> PROGRAM-PERIODIC-COLLAPSED\n",
Expand All @@ -92,7 +92,8 @@
"print(f'Chargement {RESULTS.name} (depuis scripts/hashlife/)')\n",
"data = json.loads(RESULTS.read_text(encoding='utf-8'))\n",
"print(f'Trajectoires mesurees : {len(data[\"results\"])}')\n",
"print(f'Verdicts tranches : {len(data[\"verdicts\"])} classes distinctes')\n",
"_classes = sorted({v.split('(')[0].strip() for v in data['verdicts'].values()})\n",
"print(f'Verdicts tranches : {len(data[\"verdicts\"])} trajectoires, {len(_classes)} classes distinctes')\n",
"for name, verdict in data['verdicts'].items():\n",
" print(f' - {name:30s} -> {verdict.split(\"(\")[0].strip()}')\n"
]
Expand All @@ -102,10 +103,10 @@
"id": "3f522f07",
"metadata": {
"papermill": {
"duration": 0.001511,
"end_time": "2026-10-03T13:59:22.428591+00:00",
"duration": 0.004386,
"end_time": "2026-10-07T11:43:48.736066",
"exception": false,
"start_time": "2026-10-03T13:59:22.427080+00:00",
"start_time": "2026-10-07T11:43:48.731680",
"status": "completed"
},
"tags": []
Expand All @@ -122,16 +123,16 @@
"id": "8125058d",
"metadata": {
"execution": {
"iopub.execute_input": "2026-10-03T13:59:22.431949Z",
"iopub.status.busy": "2026-10-03T13:59:22.431949Z",
"iopub.status.idle": "2026-10-03T13:59:24.953151Z",
"shell.execute_reply": "2026-10-03T13:59:24.952561Z"
"iopub.execute_input": "2026-10-07T11:43:48.748039Z",
"iopub.status.busy": "2026-10-07T11:43:48.748039Z",
"iopub.status.idle": "2026-10-07T11:43:50.159677Z",
"shell.execute_reply": "2026-10-07T11:43:50.157486Z"
},
"papermill": {
"duration": 2.524329,
"end_time": "2026-10-03T13:59:24.954522+00:00",
"duration": 1.41937,
"end_time": "2026-10-07T11:43:50.160689",
"exception": false,
"start_time": "2026-10-03T13:59:22.430193+00:00",
"start_time": "2026-10-07T11:43:48.741319",
"status": "completed"
},
"tags": []
Expand Down Expand Up @@ -272,10 +273,10 @@
"id": "e58cbaa4",
"metadata": {
"papermill": {
"duration": 0.001992,
"end_time": "2026-10-03T13:59:24.958914+00:00",
"duration": 0.004697,
"end_time": "2026-10-07T11:43:50.171642",
"exception": false,
"start_time": "2026-10-03T13:59:24.956922+00:00",
"start_time": "2026-10-07T11:43:50.166945",
"status": "completed"
},
"tags": []
Expand All @@ -296,16 +297,16 @@
"id": "215d09bf",
"metadata": {
"execution": {
"iopub.execute_input": "2026-10-03T13:59:24.964160Z",
"iopub.status.busy": "2026-10-03T13:59:24.963164Z",
"iopub.status.idle": "2026-10-03T13:59:24.974666Z",
"shell.execute_reply": "2026-10-03T13:59:24.974666Z"
"iopub.execute_input": "2026-10-07T11:43:50.185566Z",
"iopub.status.busy": "2026-10-07T11:43:50.184565Z",
"iopub.status.idle": "2026-10-07T11:43:50.207559Z",
"shell.execute_reply": "2026-10-07T11:43:50.206004Z"
},
"papermill": {
"duration": 0.015768,
"end_time": "2026-10-03T13:59:24.976583+00:00",
"duration": 0.031776,
"end_time": "2026-10-07T11:43:50.209072",
"exception": false,
"start_time": "2026-10-03T13:59:24.960815+00:00",
"start_time": "2026-10-07T11:43:50.177296",
"status": "completed"
},
"tags": []
Expand Down Expand Up @@ -344,7 +345,16 @@
{
"cell_type": "markdown",
"id": "e58cbaa5",
"metadata": {},
"metadata": {
"papermill": {
"duration": 0.005077,
"end_time": "2026-10-07T11:43:50.220122",
"exception": false,
"start_time": "2026-10-07T11:43:50.215045",
"status": "completed"
},
"tags": []
},
"source": [
"### Lecture du resultat -- ce que les pentes mesurees disent\n",
"\n",
Expand All @@ -356,10 +366,10 @@
"id": "b857071c",
"metadata": {
"papermill": {
"duration": 0.002008,
"end_time": "2026-10-03T13:59:24.980729+00:00",
"duration": 0.005183,
"end_time": "2026-10-07T11:43:50.231169",
"exception": false,
"start_time": "2026-10-03T13:59:24.978721+00:00",
"start_time": "2026-10-07T11:43:50.225986",
"status": "completed"
},
"tags": []
Expand Down Expand Up @@ -388,16 +398,16 @@
"id": "6d25229c",
"metadata": {
"execution": {
"iopub.execute_input": "2026-10-03T13:59:24.985730Z",
"iopub.status.busy": "2026-10-03T13:59:24.984723Z",
"iopub.status.idle": "2026-10-03T13:59:24.995941Z",
"shell.execute_reply": "2026-10-03T13:59:24.995941Z"
"iopub.execute_input": "2026-10-07T11:43:50.243487Z",
"iopub.status.busy": "2026-10-07T11:43:50.243487Z",
"iopub.status.idle": "2026-10-07T11:43:50.267910Z",
"shell.execute_reply": "2026-10-07T11:43:50.266802Z"
},
"papermill": {
"duration": 0.015009,
"end_time": "2026-10-03T13:59:24.997621+00:00",
"duration": 0.033641,
"end_time": "2026-10-07T11:43:50.269968",
"exception": false,
"start_time": "2026-10-03T13:59:24.982612+00:00",
"start_time": "2026-10-07T11:43:50.236327",
"status": "completed"
},
"tags": []
Expand Down Expand Up @@ -541,10 +551,10 @@
"id": "3642bd58",
"metadata": {
"papermill": {
"duration": 0.002059,
"end_time": "2026-10-03T13:59:25.001961+00:00",
"duration": 0.006519,
"end_time": "2026-10-07T11:43:50.282348",
"exception": false,
"start_time": "2026-10-03T13:59:24.999902+00:00",
"start_time": "2026-10-07T11:43:50.275829",
"status": "completed"
},
"tags": []
Expand All @@ -556,11 +566,11 @@
"\n",
"**Trois candidats documentes dans la litterature :**\n",
"\n",
"1. **OTCA metapixel** (Hein, 2009) : un meta-automate 7578 x 7578 qui simule n'importe quel automate cellulaire par inclusion. Sa periode, dans la metapixel, equivaut a celle de l'automate simule. Pour simuler Conway sur 100 generations, la periode OTCA est de l'ordre de 3.5 milliards. Un replicator base sur OTCA produit une periode du meme ordre de grandeur.\n",
"1. **OTCA metapixel** (Brice Due, 2006) : un meta-automate 2048 x 2048 de periode 35328 qui simule n'importe quel automate cellulaire par inclusion. Sa periode, dans la metapixel, equivaut a celle de l'automate simule. Pour simuler Conway sur 100 generations, la periode OTCA est de l'ordre de 3,5 millions (35328 x 100). Un replicator base sur OTCA produit une periode du meme ordre de grandeur.\n",
"\n",
"2. **Spartan universal constructor** (Boyle, 2008) : un macrostructure qui peut etre programmee pour executer n'importe quel algorithme, sans periodicite ferme (la periode depend du programme). Sa trajectoire est non-periodique. L'hypothese qu'une telle trajectoire maximise l'entropie LZ reste **non mesuree** : aucun corpus Spartan n'a ete compresse a ce jour.\n",
"2. **Spartan universal constructor** (Adam P. Goucher, 2009) : un macrostructure qui peut etre programmee pour executer n'importe quel algorithme, sans periodicite ferme (la periode depend du programme). Sa trajectoire est non-periodique. L'hypothese qu'une telle trajectoire maximise l'entropie LZ reste **non mesuree** : aucun corpus Spartan n'a ete compresse a ce jour.\n",
"\n",
"3. **Hashlife macrocellulaire** (Conway, Goucher, 2014) : une construction hierarchique qui evolue par blocs de 2^(2n) cellules avec memoisation memoise. La trajectoire est une megastructure stable.\n",
"3. **Hashlife macrocellulaire** (Bill Gosper, 1984, « Exploiting Regularities in Large Cellular Spaces », Physica D 10:75-80) : une construction hierarchique qui evolue par blocs de 2^(2n) cellules avec memoisation. La trajectoire est une megastructure stable.\n",
"\n",
"Hypothese de travail, **non mesuree** : ces cibles exigeront des corpus volumineux (possiblement plusieurs megaoctets) dont le cout de generation n'a pas encore ete confronte a l'instrument LZ Python local -- la tranche 3 tranchera par la mesure. La tranche 3 (futur) pourrait les servir : OTCA etant le plus accessible (format RLE largement diffuse).\n",
"\n",
Expand All @@ -572,10 +582,10 @@
"id": "70cf9e53",
"metadata": {
"papermill": {
"duration": 0.001949,
"end_time": "2026-10-03T13:59:25.006022+00:00",
"duration": 0.005511,
"end_time": "2026-10-07T11:43:50.294394",
"exception": false,
"start_time": "2026-10-03T13:59:25.004073+00:00",
"start_time": "2026-10-07T11:43:50.288883",
"status": "completed"
},
"tags": []
Expand All @@ -601,10 +611,10 @@
"id": "80deee34",
"metadata": {
"papermill": {
"duration": 0.002014,
"end_time": "2026-10-03T13:59:25.009998+00:00",
"duration": 0.007508,
"end_time": "2026-10-07T11:43:50.307080",
"exception": false,
"start_time": "2026-10-03T13:59:25.007984+00:00",
"start_time": "2026-10-07T11:43:50.299572",
"status": "completed"
},
"tags": []
Expand All @@ -626,10 +636,10 @@
"id": "3301d309",
"metadata": {
"papermill": {
"duration": 0.001954,
"end_time": "2026-10-03T13:59:25.013903+00:00",
"duration": 0.005853,
"end_time": "2026-10-07T11:43:50.318325",
"exception": false,
"start_time": "2026-10-03T13:59:25.011949+00:00",
"start_time": "2026-10-07T11:43:50.312472",
"status": "completed"
},
"tags": []
Expand All @@ -649,10 +659,10 @@
"id": "fb6e1a39",
"metadata": {
"papermill": {
"duration": 0.001925,
"end_time": "2026-10-03T13:59:25.017928+00:00",
"duration": 0.007722,
"end_time": "2026-10-07T11:43:50.331261",
"exception": false,
"start_time": "2026-10-03T13:59:25.016003+00:00",
"start_time": "2026-10-07T11:43:50.323539",
"status": "completed"
},
"tags": []
Expand Down Expand Up @@ -690,21 +700,21 @@
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.11.15"
"version": "3.11.9"
},
"papermill": {
"default_parameters": {},
"duration": 5.382348,
"end_time": "2026-10-03T13:59:25.359771+00:00",
"duration": 5.144774,
"end_time": "2026-10-07T11:43:50.792630",
"environment_variables": {},
"exception": null,
"input_path": "MyIA.AI.Notebooks/GameTheory/GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb",
"output_path": "MyIA.AI.Notebooks/GameTheory/GameTheory-20e-Perplexite-Structurelle-Hashlife-Python.ipynb",
"parameters": {},
"start_time": "2026-10-03T13:59:19.977423+00:00",
"start_time": "2026-10-07T11:43:45.647856",
"version": "2.7.0"
}
},
"nbformat": 4,
"nbformat_minor": 5
}
}
Loading