Certify PR2339's whole-helper T74 packing cap below 0.0016870

research/t74-low-alias-width-cap/.gitattributes

@@ -0,0 +1,3 @@
+# Preserve immutable predecessor bytes, including their original CRLFs.
+inputs/pr2269-profile.json -text
+vendor/fine_moment.py -text

research/t74-low-alias-width-cap/DUAL.json

@@ -0,0 +1,31 @@
+{
+  "threshold": "1687/1000000",
+  "widths": [
+    4,
+    5,
+    7,
+    8,
+    9
+  ],
+  "bin_ranks": [
+    8,
+    16,
+    32,
+    48
+  ],
+  "width_dual": [
+    "-228236103/25000000",
+    "-1343546827/100000000",
+    "-41110861/2500000",
+    "-92751877/10000000",
+    "-2106031/1000000"
+  ],
+  "bin_dual": [
+    "927517769/100000000",
+    "927518269/50000000",
+    "15802841/800000",
+    "2013151321/100000000"
+  ],
+  "nomination": "SciPy 1.18.1 HiGHS LP; rational values independently checked without an optimizer",
+  "scope": "The nine dual coefficients, not a claimed solver optimum, certify a lower bound for every fractional or integral bin-pattern fill."
+}

research/t74-low-alias-width-cap/EXPECTED.json

@@ -0,0 +1,121 @@
+{
+  "base_local_profile": {
+    "1": 2303,
+    "2": 527,
+    "3": 386,
+    "4": 125,
+    "5": 37,
+    "8": 8
+  },
+  "bin_stock": {
+    "8": 49728,
+    "16": 33152,
+    "32": 33152,
+    "48": 33152
+  },
+  "certificate": {
+    "idle_excess_lower": "13046275623523/12500000",
+    "idle_rank_mass": 1310688,
+    "minimum_dual_slack": "2982005137012993616995276977512984337111102433539022540949786277131937317759423/298067099828113436400702288375330353620096533402916918235114966158064956211200000000",
+    "moment_lower": "361143563212572845663320428160260725376432459922360795930034746234224238825915053571942181/361143540040701756966826009151852544635137708521376515040056307544211482214400000000000000",
+    "moment_margin": "23171871088696494419008408180741294751400984280889978438690012756611515053571942181/361143540040701756966826009151852544635137708521376515040056307544211482214400000000000000",
+    "pattern_count": 1163,
+    "threshold": "1687/1000000",
+    "total_rank_mass": 4816512
+  },
+  "controls": [
+    {
+      "control": "undercharged invoice",
+      "rejection": "reported local profile"
+    },
+    {
+      "control": "missing width-9 helper",
+      "rejection": "reported widths"
+    },
+    {
+      "control": "nonmonotone gate",
+      "rejection": "nonmonotone or absent role"
+    },
+    {
+      "control": "incorrect warp image",
+      "rejection": "warp image"
+    },
+    {
+      "control": "duplicate call",
+      "rejection": "call permutation"
+    },
+    {
+      "control": "altered bin inventory",
+      "rejection": "bin inventory"
+    },
+    {
+      "control": "overstated dual",
+      "rejection": "infeasible dual: capacity 8, counts (0, 0, 0, 1, 0)"
+    },
+    {
+      "control": "unsupported stronger cap",
+      "rejection": "infeasible dual: capacity 16, counts (0, 0, 0, 0, 1)"
+    }
+  ],
+  "dual_sha256": "b7fa099301a15fc063bab2250c6df6fc7d013cfabefabd47d3952544738559b5",
+  "extra_local_profile": {
+    "1": 2287,
+    "2": 535,
+    "3": 386,
+    "4": 125,
+    "5": 37,
+    "8": 8
+  },
+  "helper_widths": {
+    "4": 4,
+    "5": 4,
+    "7": 36,
+    "8": 84,
+    "9": 272
+  },
+  "parent_moment_upper": "115788991414551557320708956685517179801733884676017139230412352184045355420363/115792089237316195423570985008687907853269984665640564039457584007913129639936",
+  "schema": 1,
+  "scope": "Fixed PR2339 words, 666 calls, unsplit helpers, unchanged PR2269 bin stock; arbitrary fractional patterns and free chronology.",
+  "sources": {
+    "repository": "CrocSwap/integer-mult-bounds",
+    "schema": 1,
+    "sources": [
+      {
+        "commit": "bf1742aee4d855efb8bbd44a8419eddb33a679e5",
+        "encoding": "identity",
+        "path": "inputs/word80-base.json.gz",
+        "sha256": "61290abffd8c8225e0abb3958c1506674e256de688fc4cdf358bbe7c981df493",
+        "upstream_path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80base.json.gz"
+      },
+      {
+        "commit": "bf1742aee4d855efb8bbd44a8419eddb33a679e5",
+        "encoding": "identity",
+        "path": "inputs/word80-extra.json.gz",
+        "sha256": "1dd2d6f2ae5b5a27b5f89fb830203f0cca7a78d0323a7845e85e1e80f8f6d1a5",
+        "upstream_path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80extra.json.gz"
+      },
+      {
+        "commit": "b479fc5567bc09ab9185bffe89b62594f36d74e5",
+        "encoding": "gzip",
+        "path": "inputs/pr2269-plan.json.gz",
+        "sha256": "5acf889dcd38741677635372fa32313f3e27ecc03aa480125c3ce70027c6b763",
+        "uncompressed_sha256": "bf1abd33c8ba946371cae37e021747343ef6603a31297bcc962197cc23f535e2",
+        "upstream_path": "research/gmx-t74-borrow43/new/PLAN.json"
+      },
+      {
+        "commit": "b479fc5567bc09ab9185bffe89b62594f36d74e5",
+        "encoding": "identity",
+        "path": "inputs/pr2269-profile.json",
+        "sha256": "50fcc0960a47f6d35064d3b55ea6dcb4cebbd305aec215c8034f626718595538",
+        "upstream_path": "research/gmx-t74-borrow43/new/PROFILE.json"
+      },
+      {
+        "commit": "002304ef01c4416a127916169ae6d94c1bee052b",
+        "encoding": "identity",
+        "path": "vendor/fine_moment.py",
+        "sha256": "bdfc492be6a663b219d76beff444db14bd67bb53c7c8ec4086ab0f56e48323c0",
+        "upstream_path": "research/t74-joint-owner-hillclimb/vendor/fine_moment.py"
+      }
+    ]
+  }
+}

research/t74-low-alias-width-cap/INPUTS.json

@@ -0,0 +1,42 @@
+{
+  "schema": 1,
+  "repository": "CrocSwap/integer-mult-bounds",
+  "sources": [
+    {
+      "path": "inputs/word80-base.json.gz",
+      "upstream_path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80base.json.gz",
+      "commit": "bf1742aee4d855efb8bbd44a8419eddb33a679e5",
+      "sha256": "61290abffd8c8225e0abb3958c1506674e256de688fc4cdf358bbe7c981df493",
+      "encoding": "identity"
+    },
+    {
+      "path": "inputs/word80-extra.json.gz",
+      "upstream_path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80extra.json.gz",
+      "commit": "bf1742aee4d855efb8bbd44a8419eddb33a679e5",
+      "sha256": "1dd2d6f2ae5b5a27b5f89fb830203f0cca7a78d0323a7845e85e1e80f8f6d1a5",
+      "encoding": "identity"
+    },
+    {
+      "path": "inputs/pr2269-plan.json.gz",
+      "upstream_path": "research/gmx-t74-borrow43/new/PLAN.json",
+      "commit": "b479fc5567bc09ab9185bffe89b62594f36d74e5",
+      "sha256": "5acf889dcd38741677635372fa32313f3e27ecc03aa480125c3ce70027c6b763",
+      "uncompressed_sha256": "bf1abd33c8ba946371cae37e021747343ef6603a31297bcc962197cc23f535e2",
+      "encoding": "gzip"
+    },
+    {
+      "path": "inputs/pr2269-profile.json",
+      "upstream_path": "research/gmx-t74-borrow43/new/PROFILE.json",
+      "commit": "b479fc5567bc09ab9185bffe89b62594f36d74e5",
+      "sha256": "50fcc0960a47f6d35064d3b55ea6dcb4cebbd305aec215c8034f626718595538",
+      "encoding": "identity"
+    },
+    {
+      "path": "vendor/fine_moment.py",
+      "upstream_path": "research/t74-joint-owner-hillclimb/vendor/fine_moment.py",
+      "commit": "002304ef01c4416a127916169ae6d94c1bee052b",
+      "sha256": "bdfc492be6a663b219d76beff444db14bd67bb53c7c8ec4086ab0f56e48323c0",
+      "encoding": "identity"
+    }
+  ]
+}

research/t74-low-alias-width-cap/NOTICE.md

@@ -0,0 +1,28 @@
+# Source notice
+
+New work: Jeremy Diviney, with substantial OpenAI Codex assistance, Apache-2.0.
+
+All bundled sources come from CrocSwap/integer-mult-bounds under the repository's
+Apache-2.0 contribution terms. Exact commits, upstream paths and byte hashes
+are in INPUTS.json.
+
+- inputs/word80-{base,extra}.json.gz: unchanged PR2339 words by Sagar Thakrar,
+  with Claude Code assistance; borrowing and compensation by Cinna Davis
+  (PR2226), T74 adaptation by Jeremy Kothe (PR2269), and their credited lineage.
+- inputs/pr2269-plan.json.gz: compressed copy of Jeremy Kothe's PR2269 plan;
+  the original uncompressed bytes are preserved exactly.
+- inputs/pr2269-profile.json: unchanged PR2269 attained profile.
+- vendor/fine_moment.py: unchanged PR2322 directed integer moment engine,
+  submitted by Vlado Vojdanovski; base-two directed-enclosure lineage retained
+  in that package and the repository. Runtime precision constants are set by
+  this package's verifier, which retains the same series and tail formulas.
+
+verify.py's cost-invoice traversal follows PR2322 generate_words.py:paid_profile,
+reimplemented with explicit GF(2)^9 subspace sets. The bin-pattern weak-duality
+argument is standard linear programming; no novelty is claimed for that method.
+The contribution is its exact, source-bound application to this fixed interface.
+
+The original repository notice and PR2322 generator lineage notice are retained
+verbatim at vendor/UPSTREAM-NOTICE and vendor/GENERATOR-NOTICE.txt. These are
+source attribution, not claims that all of those packages are replayed here.
+Apache-2.0 is included at vendor/LICENSE for standalone source exports.