Realize the coupled-carrier T740 packing cap: κ ≈ 0.001729777494678597

research/coupled-carrier-cap740/.gitattributes

@@ -0,0 +1,2 @@
+# Retain exact source, journal and execution-evidence bytes.
+* -text -whitespace

research/coupled-carrier-cap740/BASELINE-PR3143.json

@@ -0,0 +1,247 @@
+{
+  "admitted_package_manifest_sha256": "bb0c2ac9bd722d1601d7aea85fa1b906a8bc7d51e11602b01e45dbf8539ab44f",
+  "baseline_head": "e2ca469b08385d3d5e29a918d66dbefaf889e9f3",
+  "baseline_kappa": "17240352247481048785499999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "baseline_pr": 2969,
+  "baseline_status": "FINITE_NATIVE_OWNER_AND_MOMENT_CANDIDATE_OUTER_PENDING",
+  "calls": 666,
+  "complex_lower": "17297760894051203342384678198935738683/10000000000000000000000000000000000000000",
+  "complex_upper": "4324440223512800835596169549733934671/2500000000000000000000000000000000000000",
+  "declared_edits": {
+    "count": 4,
+    "edits_sha256": "47831d52490e3a3b8ed0569ff644582ea23f60e2ef900c2301d04c60bd73f5d4",
+    "lowered_helpers": [
+      586,
+      588
+    ],
+    "previous_kappa": "0.0017290339826465135177169999999999999999999998999999999999999999999999",
+    "previous_pr": 2979
+  },
+  "fill_sha256": "68b8bae90144248774b1920cd27f9519caa3dc427704d8a9da6d4c491d912fc4",
+  "fixed_inventory_cap": {
+    "cap_lower": "17297774946785970118869/10000000000000000000000000",
+    "cap_lower_decimal": "0.0017297774946785970118869",
+    "cap_upper": "1729777494678597011887/1000000000000000000000000",
+    "cap_upper_decimal": "0.0017297774946785970118870",
+    "realized": "below the fractional optimum by the recorded gap (check_cap.py); the cap basis is fractional at T74"
+  },
+  "gain": "574086465701545568846781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "helpers": 408,
+  "independent_inputs": 632,
+  "kappa": "172977608940512033423846781989357386829999999999999999999998999999999999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.00172977608940512033423846781989357386829999999999999999999998999999999999999999999999",
+  "kappa_interval": [
+    "0.0017297760894051203342384678198935738683",
+    "0.0017297760894051203342384678198935738684"
+  ],
+  "kappa_lower": "0.0017297760894051203342384678198935738683",
+  "kappa_upper": "0.0017297760894051203342384678198935738684",
+  "live_families": 66304,
+  "local_profile": {
+    "1": 2433,
+    "2": 724,
+    "3": 228,
+    "4": 102,
+    "5": 20,
+    "8": 8
+  },
+  "native_receipt_sha256": "0d2f14777c1186dc15f493069e85fddde9de6aa97000fe73af5e90f5927e6d15",
+  "physical_families": 66813,
+  "precision_endpoint_digits": 40,
+  "precision_parent_gain": "46781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "precision_parent_kappa": "17297760894051203342379999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "precision_parent_pr": 3133,
+  "previous_claims": {
+    "pr2942": {
+      "claim_file": "comparators/PR2942-CLAIM.json",
+      "gain": "695976954190600624246781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "head": "a027b0f6fdb0ab2b42ba10fc31b53960166bf2bf",
+      "kappa": "17228163198632143279959999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+      "pr": 2942
+    },
+    "pr2957": {
+      "claim_file": "comparators/PR2957-CLAIM.json",
+      "gain": "605867433438216326746781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "head": "b74b25f3ccc84c16e1a801d73b2f47e5ea764c78",
+      "kappa": "17237174150707381709709999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+      "pr": 2957
+    },
+    "pr2966": {
+      "claim_file": "comparators/PR2966-CLAIM.json",
+      "gain": "574181688166815682646781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "head": "e62d3eb9005117d82a9babcfa937ecc53237c490",
+      "kappa": "17240342725234521774119999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+      "pr": 2966
+    },
+    "pr2969": {
+      "claim_file": "allocation/baseline/CLAIM.json",
+      "gain": "574086465701545568846781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "head": "e2ca469b08385d3d5e29a918d66dbefaf889e9f3",
+      "kappa": "17240352247481048785499999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+      "pr": 2969
+    },
+    "pr2979": {
+      "claim_file": "comparators/PR2979-CLAIM.json",
+      "gain": "74210675860681652146781989357386830000009999999999999999000000009999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+      "head": "be191346391661f4d35fc0d1508d0a6029572576",
+      "kappa": "17290339826465135177169999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+      "pr": 2979
+    }
+  },
+  "profile": {
+    "1": 1637692,
+    "2": 482184,
+    "3": 156741,
+    "39": 1,
+    "4": 67932,
+    "48": 28256,
+    "5": 14710,
+    "8": 5328
+  },
+  "release_receipt_sha256": "b5dfe3778c9cd0bc4c92ee2098ac36a20b1285beca97c10fe25283ea10b449c5",
+  "replicas": 74,
+  "scope": "Conditional finite supplier/outer certificate for PR2979s words (mdumitrean: joint rank-7 end frames, five further paired extractions, fourteen PR2957 rewrites) with two declared restore edit blocks (R1_E42, R2_E7) and two coupled B+restore carrier-fold rewrites (B_586_438, B_588_440) lowering entering helpers 586 and 588 from width 7 to width 6, paired with the literal T74 allocation FILL.json.gz (T74_optimal_idle39). Inherited all-size/compiler/theorem hypotheses remain. No selected-frontier change or independent-human-review claim.",
+  "source_manifest_sha256": "fa3e2d855ac5298ecc849e596d79dcef7a72668a276b6524585bc0cd616ce474",
+  "stages": {
+    "stage1": {
+      "frame_edits": 139,
+      "groups": {
+        "A": {
+          "W": [
+            256,
+            128,
+            64,
+            38,
+            20,
+            10,
+            1
+          ],
+          "helpers": [
+            331,
+            450,
+            451,
+            508,
+            509
+          ]
+        },
+        "B": {
+          "W": [
+            256,
+            128,
+            64,
+            34,
+            17,
+            11,
+            4
+          ],
+          "helpers": [
+            299,
+            448,
+            449,
+            484,
+            485
+          ]
+        },
+        "C": {
+          "W": [
+            256,
+            128,
+            64,
+            32,
+            19,
+            11,
+            6
+          ],
+          "helpers": [
+            452,
+            453,
+            532,
+            533
+          ]
+        },
+        "D": {
+          "W": [
+            256,
+            128,
+            64,
+            37,
+            21,
+            8,
+            3
+          ],
+          "helpers": [
+            454,
+            455,
+            556,
+            557
+          ]
+        },
+        "V45": {
+          "W": [
+            256,
+            128,
+            64,
+            35,
+            16,
+            11,
+            5
+          ],
+          "helpers": [
+            249,
+            251,
+            265,
+            267
+          ]
+        }
+      },
+      "kind": "joint codimension-2 end-frame lowering (frame-only)",
+      "record_sha256": "5fbfce004330ebc1fbac8de264614fe295f1a074811b478db4892c3bc3852cd3"
+    },
+    "stage2": {
+      "extractions": [
+        {
+          "helper": 226,
+          "normal": 42,
+          "step": 1
+        },
+        {
+          "helper": 228,
+          "normal": 42,
+          "step": 2
+        },
+        {
+          "helper": 230,
+          "normal": 42,
+          "step": 3
+        },
+        {
+          "helper": 363,
+          "normal": 7,
+          "step": 4
+        },
+        {
+          "helper": 395,
+          "normal": 7,
+          "step": 5
+        }
+      ],
+      "kind": "rank-8 paired input/output extractions"
+    },
+    "stage3": {
+      "applier_sha256": "2509f1335e47543f8814b42d6bf83032b30c5899b4f7cc62a6adc03f5138ae13",
+      "count": 14,
+      "kind": "declared exactness-preserving gate rewrites (Jeremy Kothe, PR2957), re-addressed",
+      "rewrites_sha256": "a37ade675876e4f5b00b33066c84f495fccd264863b7eb5d813837b1d01c3e7d"
+    }
+  },
+  "status": "CONDITIONAL_CANDIDATE_COMPLETE_FINITE_RELEASE",
+  "width_inventory": {
+    "4": 26,
+    "5": 2,
+    "6": 18,
+    "7": 50,
+    "8": 99,
+    "9": 213
+  },
+  "zero_buffers": 91
+}

research/coupled-carrier-cap740/CLAIM.json

@@ -0,0 +1,49 @@
+{
+  "admission_sha256": "ac9bd230856de7acd09828433163032ea94bccaec446e454576e43f8d1a54b74",
+  "baseline_head": "dcfaf1d1a7cfebaab22b95776a36a543bc684d50",
+  "baseline_kappa": "172977608940512033423846781989357386829999999999999999999998999999999999999999999999/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "baseline_pr": 3143,
+  "calls": 6660,
+  "charged_prefix_bits": 2048,
+  "contribution": "New 145-row exchange attains the changed PR3133 inventory cap using the credited PR3024 lift, with complete finite and full release checks.",
+  "exchange_rows": 145,
+  "fixed_word_cap_attained": true,
+  "gain": "140527347667764753218010642613169999990000000000000000999999990000000000000001/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+  "global_prefix_bits": 1479,
+  "kappa": "17297774946785970118859999999999999999999998999999999999999999999999/10000000000000000000000000000000000000000000000000000000000000000000000",
+  "kappa_decimal": "0.0017297774946785970118859999999999999999999998999999999999999999999999",
+  "local_profile": {
+    "1": 2433,
+    "2": 724,
+    "3": 228,
+    "4": 102,
+    "5": 20,
+    "8": 8
+  },
+  "native_receipt_sha256": "15c975052f81f9a7363669a4ea9d016525063e920f9e596422ce24f66a23b1a2",
+  "packing_method_pr": 3024,
+  "physical": 663549,
+  "private_zero_buffers": 91,
+  "profile": {
+    "1": 16376940,
+    "2": 4821840,
+    "3": 1567431,
+    "4": 679320,
+    "48": 282569,
+    "5": 147075,
+    "8": 53280
+  },
+  "release_receipt_sha256": "d2536cd5945ddafd4dee9f1ba8c7f24f5ac98d52fad22f9163241663b533d399",
+  "replicas": 740,
+  "roles": 2717280,
+  "root": [
+    "17297774946785970118869/10000000000000000000000000",
+    "1729777494678597011887/1000000000000000000000000"
+  ],
+  "scientific_review": "pending; not a selected-frontier update",
+  "scope": "Conditional finite source/native/owner/outer release; inherited all-size, compiler, physical, precision and analytic obligations remain.",
+  "source_manifest_sha256": "fa3e2d855ac5298ecc849e596d79dcef7a72668a276b6524585bc0cd616ce474",
+  "status": "PASS_CONDITIONAL_COUPLED_CARRIER_T740_COMPOSITION",
+  "word_head": "51eb9c4ee9e4722010d308aa3309e039d3940cc2",
+  "word_pr": 3133
+}