Bit c = 0.001733427039589844: two A-section transports on #555's punctured R439 word (+0.0216%, κ unchanged)

.gitattributes

@@ -28,6 +28,7 @@ research/experiment-log/** -whitespace
 
 # Preserve the exact frozen E8 bit supplier source manifest.
 research/e8-bit-carrier-skeleton/** -text -whitespace
+research/e8-bit-p111/** -text -whitespace
 # Preserve the exact reviewed complex supplier packages.
 research/direct-delivery504-global/** -text -whitespace
 research/punctured112-global/** -text -whitespace

.github/workflows/e8-bit-p111.yml

@@ -0,0 +1,44 @@
+name: e8-bit-p111
+
+on:
+  pull_request:
+    paths:
+      - 'research/e8-bit-p111/**'
+      - 'research/e8-bit-carrier-skeleton/**'
+      - 'research/direct-delivery504-global/EXPECTED.json'
+      - '.github/workflows/e8-bit-p111.yml'
+  push:
+    paths:
+      - 'research/e8-bit-p111/**'
+      - 'research/e8-bit-carrier-skeleton/**'
+      - 'research/direct-delivery504-global/EXPECTED.json'
+      - '.github/workflows/e8-bit-p111.yml'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  verify:
+    runs-on: ubuntu-24.04
+    timeout-minutes: 40
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ['3.12', '3.14']
+    steps:
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7
+        with:
+          persist-credentials: false
+      - uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install the Python requirements, a C++17 compiler and the Boost headers
+        run: |
+          python -m pip install --disable-pip-version-check -r research/e8-bit-p111/requirements.txt
+          sudo apt-get update
+          sudo apt-get install -y --no-install-recommends g++ libboost-dev
+      - name: Verify (rebuild, independent replay, interface lemma and totals, official checkers, nine- and eleven-stage prices, controls)
+        run: CXX=g++ bash research/e8-bit-p111/verify.sh "$RUNNER_TEMP/e8-bit-p111"
+      - name: Require committed files to remain unchanged
+        run: git diff --exit-code

research/e8-bit-p111/DEPENDS.json

@@ -0,0 +1,18 @@
+{
+ "schema": "main-pins/1",
+ "repository": "CrocSwap/integer-mult-bounds",
+ "commit": "db0e57bc7f36b5ac0fc844ad7ce1396165ee6647",
+ "note": "Files of the repository's main branch this package runs or cites, pinned by sha256 (and git blob id at the commit above). research/e8-bit-carrier-skeleton (PR #493) is pinned through its own MANIFEST.sha256: verify.sh checks that every file of that directory matches it and that no file is unlisted. research/direct-delivery504-global/EXPECTED.json is PR #531's receipt (its complex b).",
+ "files": {
+  "../e8-bit-carrier-skeleton/MANIFEST.sha256": {
+   "source_path": "research/e8-bit-carrier-skeleton/MANIFEST.sha256",
+   "blob": "1213654fbd423d66e785bf582ba8ee76a41cdd36",
+   "sha256": "7f25c41d0400ef5adf763eae6e166003a9b59e5a655b860c04b052f6731c7297"
+  },
+  "../direct-delivery504-global/EXPECTED.json": {
+   "source_path": "research/direct-delivery504-global/EXPECTED.json",
+   "blob": "c340c32b84d7ea63c5f15eac78e38eace428c599",
+   "sha256": "0c4c7df98633ace6dd3f1604462dd509945f6b2d463a0b045442b785906101f1"
+  }
+ }
+}

research/e8-bit-p111/EXPECTED.json

@@ -0,0 +1,221 @@
+{
+ "word": {
+  "file": "data/bitE8mut-p111.json.gz",
+  "file_sha256": "1bc3c53d4baf4927c6a00c339ea3975516471a48074d4d97c6addaded2a4d858",
+  "content_sha256": "d0df3c89ae84989f4045ba1681a5e2e9fcdfa38ed0301c8abf5185537155cbe3",
+  "plan_sha256": "d5c2494b4baae801143049e172db303b3c8e25a002e9d9715a1d79dcb2d74c58",
+  "params_sha256": "dd371e1d6fe57602f242920b582ec4c133efc8ede4a849fd701ac90b7f6e1853",
+  "v": 111,
+  "R": 439,
+  "punctured": [
+   10,
+   15,
+   51,
+   53,
+   56,
+   66,
+   72,
+   89,
+   111
+  ],
+  "retained_totals": 9,
+  "copy_ranks": [
+   7,
+   7,
+   7,
+   7,
+   7,
+   7,
+   7,
+   7,
+   7
+  ],
+  "decoder_constant": 63,
+  "gates": {
+   "D": 111,
+   "A": 2073,
+   "B": 712,
+   "C": 2572
+  },
+  "stats": {
+   "extra_carriers": 10,
+   "junk_wires": 0,
+   "rcv_flips": 10
+  },
+  "local_histogram": {
+   "1": 1321,
+   "2": 1342,
+   "3": 80,
+   "4": 47,
+   "5": 102,
+   "6": 10,
+   "7": 18
+  },
+  "legality": {
+   "records": 27234,
+   "common_frame_ADDs": 24305,
+   "rank_mass": 5129
+  },
+  "five_stage_columns": 883,
+  "five_stage_payload_bits": 93,
+  "nine_stage_columns": 1327,
+  "nine_stage_payload_bits": 93,
+  "eleven_stage_columns": 1549,
+  "eleven_stage_payload_bits": 93
+ },
+ "interface": {
+  "hypotheses": {
+   "H1_no_target_feeds_z": true,
+   "H2_D_frame0_targets_from_helpers": true,
+   "H3_A_z_only_scatter_targets_B_split": true,
+   "H4_C_literal_reverse_at_full": true,
+   "H5_V_identity": true
+  },
+  "conclusion": {
+   "U_block_form": true,
+   "J_identity": true,
+   "K_equals_D": true,
+   "C_is_U_inverse": true
+  },
+  "interleaving": {
+   "z_gates_A": 2073,
+   "source_writes_A": 0,
+   "z_gates_B": 499,
+   "source_writes_B": 483,
+   "helper_writes_B": 16,
+   "sources_rewritten_B": 108,
+   "B_z_write_frame_dims": {
+    "4": 388,
+    "6": 111
+   },
+   "B_z_operand_kinds": {
+    "helper<-helper": 3,
+    "helper<-source": 13,
+    "source<-helper": 108,
+    "source<-source": 375
+   },
+   "B_z_operand_kinds_by_dim": {
+    "dim4:helper<-source": 13,
+    "dim4:source<-source": 375,
+    "dim6:helper<-helper": 3,
+    "dim6:source<-helper": 108
+   },
+   "B_z_writes_after_a_target_read_of_the_same_register": 454,
+   "B_target_reads_of_registers_rewritten_earlier_in_B": 111,
+   "target_reads_of_targets": 0,
+   "cleanup_gates": 2572
+  }
+ },
+ "nine": {
+  "pipeline": "PR #510 (PR #463 nine-stage template, 32 replicas, PR #442 hosting, PR #493 outer assembly), parameterised for v <= 120 by code/adapt9p.py",
+  "bit_lower": "1733052823330162099157/1000000000000000000000000",
+  "bit_lower_decimal": "0.001733052823330162099157",
+  "profile": {
+   "1": 380448,
+   "2": 400416,
+   "3": 23040,
+   "4": 27744,
+   "5": 29376,
+   "6": 17088,
+   "7": 26496,
+   "42": 288
+  },
+  "bit": {
+   "live": 28416,
+   "physical": 28425,
+   "maxchild": 42,
+   "rank_mass": 1808352,
+   "hosted_residuals": 126432,
+   "bank_assignments": 0,
+   "prefix_bits": 177,
+   "charged_prefix_bits": 192,
+   "coefficient_bits": 177,
+   "two_level_coefficient_bits": 393,
+   "charged_two_level_coefficient_bits": 512,
+   "row_coefficient": 18355,
+   "halving_depth": 2
+  },
+  "kappa": {
+   "pr548": {
+    "kappa": "49718254847979/31250000000000000",
+    "kappa_decimal": "0.001590984155135328",
+    "complex_lower": "796759709641153381751/500000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr544": {
+    "kappa": "397677800014309/250000000000000000",
+    "kappa_decimal": "0.001590711200057236",
+    "complex_lower": "31864911873350496687/20000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr535": {
+    "kappa": "793733736881443/500000000000000000",
+    "kappa_decimal": "0.001587467473762886",
+    "complex_lower": "1589991533606044174031/1000000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr531": {
+    "kappa": "1517760977820331/1000000000000000000",
+    "kappa_decimal": "0.001517760977820331",
+    "complex_lower": "304013615566499291631/200000000000000000000000",
+    "binding_component": "complex"
+   }
+  }
+ },
+ "eleven": {
+  "pipeline": "PR #493 (PR #445 geometry, PR #472 emitter, audit and invoice, PR #442 hosting), parameterised by PR #545's code/adapt.py",
+  "bit_lower": "427652201524503168379/250000000000000000000000",
+  "bit_lower_decimal": "0.001710608806098012673516",
+  "profile": {
+   "1": 116248,
+   "2": 121648,
+   "3": 7040,
+   "4": 7688,
+   "5": 8976,
+   "6": 4432,
+   "7": 8688,
+   "56": 2600
+  },
+  "bit": {
+   "live": 8880,
+   "physical": 8889,
+   "maxchild": 56,
+   "rank_mass": 689304,
+   "hosted_residuals": 38632,
+   "prefix_bits": 4304,
+   "charged_prefix_bits": 4352,
+   "coefficient_bits": 4304,
+   "three_level_coefficient_bits": 12966,
+   "charged_three_level_coefficient_bits": 12992,
+   "row_coefficient": 19431,
+   "halving_depth": 3
+  },
+  "emitted_program_sha256": "790bbd2d8ef4e1169fca344c76b1965ee2fe78e34e74d16d458e4849cc2ba3b6",
+  "kappa": {
+   "pr548": {
+    "kappa": "49718254847979/31250000000000000",
+    "kappa_decimal": "0.001590984155135328",
+    "complex_lower": "796759709641153381751/500000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr544": {
+    "kappa": "397677800014309/250000000000000000",
+    "kappa_decimal": "0.001590711200057236",
+    "complex_lower": "31864911873350496687/20000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr535": {
+    "kappa": "793733736881443/500000000000000000",
+    "kappa_decimal": "0.001587467473762886",
+    "complex_lower": "1589991533606044174031/1000000000000000000000000",
+    "binding_component": "complex"
+   },
+   "pr531": {
+    "kappa": "1517760977820331/1000000000000000000",
+    "kappa_decimal": "0.001517760977820331",
+    "complex_lower": "304013615566499291631/200000000000000000000000",
+    "binding_component": "complex"
+   }
+  }
+ }
+}