Conditional κ = 0.001675809683500501757384: finer 1e-24 outer-grid certification of PR1218's global mixed X54 fusion construction (same construction, no new circuit)

.gitattributes

@@ -150,3 +150,4 @@ research/complex-u10-t37/evidence/u10/SEARCH-ROUND1-part*.txt -text -whitespace
 research/p111-minrank-proof-reconciliation/vendor/pr620/geo.py -text -whitespace
 research/community-batch1099-audit/** -text -whitespace
 research/community-frontier1094-audit/** -text -whitespace
+research/global-mixed-x54-grid24/** -text -whitespace

research/global-mixed-x54-grid24/CLAIM.json

@@ -0,0 +1,10 @@
+{
+  "status": "PASS_GLOBAL_MIXED_X54_FUSIONS_NATIVE_AND_STRICT_ADMISSION",
+  "kappa": "209476210437562719673/125000000000000000000000",
+  "kappa_decimal": "0.001675809683500501757384",
+  "baseline_pr": 1218,
+  "baseline_head": "0aa1479",
+  "baseline_kappa": "0.001675809683500501",
+  "gain_percent": "4.51951082188488602624680779993884690384785608484710264183259304000E-14",
+  "scope": "Finer 1e-24 outer-grid certification of the unchanged PR1218 construction. Conditional finite construction only. All-size compiler, common-label/mutable-source realization, whole-call hosting, precision/tape, exact recovery, analytic transfer, PR559 recurrence correction and PR589 bit H1-H5 assumptions remain. No unconditional theorem, full Lean certification, or global packing claim."
+}

research/global-mixed-x54-grid24/COMPOSITION.json

@@ -0,0 +1,38 @@
+{
+  "status": "NOMINATION_ONLY_PENDING_NATIVE_AND_STRICT_ADMISSION",
+  "profile": {
+    "48": 11374,
+    "1": 783552,
+    "2": 169496,
+    "3": 137362,
+    "4": 42458,
+    "5": 27306,
+    "8": 2664
+  },
+  "idle": {
+    "48": 11374,
+    "1": 2
+  },
+  "provider_profiles": {
+    "demote3": {
+      "1": 2358,
+      "2": 504,
+      "3": 410,
+      "4": 130,
+      "5": 82,
+      "8": 8
+    },
+    "demote4": {
+      "1": 2350,
+      "2": 512,
+      "3": 414,
+      "4": 126,
+      "5": 82,
+      "8": 8
+    }
+  },
+  "provider_counts": {
+    "demote4": 208,
+    "demote3": 125
+  }
+}

research/global-mixed-x54-grid24/CONSTRUCTION.json

@@ -0,0 +1,38 @@
+{
+  "status": "NOMINATION_ONLY_PENDING_NATIVE_AND_STRICT_ADMISSION",
+  "profile": {
+    "48": 11374,
+    "1": 783552,
+    "2": 169496,
+    "3": 137362,
+    "4": 42458,
+    "5": 27306,
+    "8": 2664
+  },
+  "idle": {
+    "48": 11374,
+    "1": 2
+  },
+  "provider_profiles": {
+    "demote3": {
+      "1": 2358,
+      "2": 504,
+      "3": 410,
+      "4": 130,
+      "5": 82,
+      "8": 8
+    },
+    "demote4": {
+      "1": 2350,
+      "2": 512,
+      "3": 414,
+      "4": 126,
+      "5": 82,
+      "8": 8
+    }
+  },
+  "provider_counts": {
+    "demote4": 208,
+    "demote3": 125
+  }
+}

research/global-mixed-x54-grid24/CONTROL-SITES-base.json

@@ -0,0 +1,79 @@
+{
+  "word_content_sha256": "2448161e3dae13e05cc37f20f36a745bd7f9e21548a68c8ac2ee7833d5ec5b46",
+  "sites": [
+    {
+      "t": 190,
+      "A": 439,
+      "H": 10,
+      "donation_B_index": 933,
+      "donation": [
+        "add",
+        10,
+        439,
+        -1,
+        2
+      ],
+      "restore_cleanup_index": 6,
+      "restore": [
+        "add",
+        10,
+        439,
+        1,
+        2
+      ],
+      "fused_read": [
+        "add",
+        190,
+        439,
+        -1,
+        2,
+        [
+          261,
+          133,
+          64,
+          33,
+          24,
+          3
+        ]
+      ],
+      "fused_read_B_position": 933
+    },
+    {
+      "t": 214,
+      "A": 444,
+      "H": 34,
+      "donation_B_index": 938,
+      "donation": [
+        "add",
+        34,
+        444,
+        1,
+        1
+      ],
+      "restore_cleanup_index": 7,
+      "restore": [
+        "add",
+        34,
+        444,
+        -1,
+        1
+      ],
+      "fused_read": [
+        "add",
+        214,
+        444,
+        1,
+        1,
+        [
+          256,
+          133,
+          69,
+          33,
+          24,
+          3
+        ]
+      ],
+      "fused_read_B_position": 938
+    }
+  ]
+}

research/global-mixed-x54-grid24/CONTROL-SITES-extra.json

@@ -0,0 +1,79 @@
+{
+  "word_content_sha256": "3416fb266847664036cd90236692c397a32ec03f68f0a02b1c3c779b7bc391c2",
+  "sites": [
+    {
+      "t": 190,
+      "A": 439,
+      "H": 10,
+      "donation_B_index": 933,
+      "donation": [
+        "add",
+        10,
+        439,
+        -1,
+        2
+      ],
+      "restore_cleanup_index": 6,
+      "restore": [
+        "add",
+        10,
+        439,
+        1,
+        2
+      ],
+      "fused_read": [
+        "add",
+        190,
+        439,
+        -1,
+        2,
+        [
+          261,
+          133,
+          64,
+          33,
+          24,
+          3
+        ]
+      ],
+      "fused_read_B_position": 933
+    },
+    {
+      "t": 214,
+      "A": 444,
+      "H": 34,
+      "donation_B_index": 938,
+      "donation": [
+        "add",
+        34,
+        444,
+        1,
+        1
+      ],
+      "restore_cleanup_index": 7,
+      "restore": [
+        "add",
+        34,
+        444,
+        -1,
+        1
+      ],
+      "fused_read": [
+        "add",
+        214,
+        444,
+        1,
+        1,
+        [
+          256,
+          133,
+          69,
+          33,
+          24,
+          3
+        ]
+      ],
+      "fused_read_B_position": 938
+    }
+  ]
+}

research/global-mixed-x54-grid24/DEPENDENCIES.json

@@ -0,0 +1,42 @@
+{
+  "pr1193_head": "d313cce94d7bb4dd8b15265cad0aa5fb77b2ecff",
+  "main_head": "ce7ad1b6ab09452c3478723a2e96ed5ff212dc08",
+  "files": [
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/JOINT-WORD.json.gz",
+      "a0622d86259c4163e58cf0677ce575b6039a8ae4c95aa6d8b82a8163cbd42718"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/NOTICE.md",
+      "afbd38d6c8a232ea566c296424a86420f204e6cfaac565c0a147340bda3d3da6"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/PLAN.json.gz",
+      "e963ed64b9970858902b9388bcf1c5f9cc704859ad021ce8bda465a4dcef8310"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/SPEC.json",
+      "55bdb68d5d126c6be0e0acc419bd62301a978afd514f9834ed1e08b1aa4f563e"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/k8-coordinated-owners-NOTICE.md",
+      "442756fc1c5ecfd7b7b7694b53b1ecc70aa525004cd80f7d748ccd7270555189"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/k8-eight-ends-NOTICE.md",
+      "820fa13161f857c221f2c4099dd2985c7ff72249dc7a0221bc00fd0c1b9760e5"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/k8-eight-ends-t16-NOTICE.md",
+      "a9e85b59dde61fbff0b006923b441cbd1419e24fa9802426785bca667437fdc0"
+    ],
+    [
+      "research/mixed-demotions-t37/vendor/pr1148/k8-three-demotions-NOTICE.md",
+      "a0fe85fb2207f0e6831a96deaeefb65afa379c1377a29f0b586f1db4bb4b2137"
+    ],
+    [
+      "research/complex-t21-owners/vendor/pr870/t16/build_parent.py",
+      "82e274d0c7a94f9bf0468dd37f0505d0c42017559ebb4ba8c079a1f4e403d91e"
+    ]
+  ]
+}