Conditional bound: four aliases + 24 entrance raises give κ = 0.001699160892139825

research/complex-structure-seed39/.gitattributes

@@ -0,0 +1,2 @@
+# Preserve exact pinned source, certificate and receipt bytes across platforms.
+** -text

research/complex-structure-seed39/anticipatory-stage-evidence/.gitattributes

@@ -0,0 +1,3 @@
+# Preserve the exact Git-blob/SHA256-pinned predecessor bytes, including CRLF.
+interface/pr2269/** -text
+vendor/pr2339/** -text

research/complex-structure-seed39/anticipatory-stage-evidence/PR2339-SOURCE-RECEIPT.json

@@ -0,0 +1,288 @@
+{
+  "repository": "thakrarsagar/integer-mult-bounds",
+  "head": "bf1742aee4d855efb8bbd44a8419eddb33a679e5",
+  "fetched_at": "2026-10-15T06:10:03.315172+00:00",
+  "files": [
+    {
+      "path": "research/t74-low-alias-borrowing/.gitattributes",
+      "vendor_path": "vendor/pr2339/.gitattributes",
+      "git_blob_sha1": "f82e427c0e6660c955a9cf5ad6277cde13fd3a33",
+      "sha256": "34c6f2d5d5c7fd6fec4f81610f637d380b30db9561d44f76e5bbb5c911635043",
+      "bytes": 117
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/README.md",
+      "vendor_path": "vendor/pr2339/README.md",
+      "git_blob_sha1": "fd19c7a62228c2ec181a7a95e9c233309fd1ed16",
+      "sha256": "bdf68e4d32e69eeef524061de82da4933341e4325db2d3b5bb21200d7d403360",
+      "bytes": 14287
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/SOURCES-PR.json",
+      "vendor_path": "vendor/pr2339/SOURCES-PR.json",
+      "git_blob_sha1": "1251e1ab92abdd5d96193b26b03f5de9c3a8f1ee",
+      "sha256": "b7c578cb56dd101a334f388d95f7f2a9354661149d5e71ab3c16602509898263",
+      "bytes": 4462
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/SOURCES.json",
+      "vendor_path": "vendor/pr2339/SOURCES.json",
+      "git_blob_sha1": "437931a716e0afb0a28765d0cdf2c857c733b350",
+      "sha256": "ab6f13535152f353459196382c1a9f2fbacbba355847ce1e4dec435197954784",
+      "bytes": 830
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/TASK.json",
+      "vendor_path": "vendor/pr2339/TASK.json",
+      "git_blob_sha1": "46515245389dcbe05aae5a964fd22ba19051d748",
+      "sha256": "9b84702f8eb3ca8f9d29431df7d991f5fd4c18c2f445b2b7ae3c24ffe4f20da0",
+      "bytes": 5986
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/VERIFY.json",
+      "vendor_path": "vendor/pr2339/VERIFY.json",
+      "git_blob_sha1": "355797a246567a4998742d4c5b61778e2f39a666",
+      "sha256": "690cb0631dcde5e8ca31bd2e043773005575ecb1fcb022e94403bed899f73f27",
+      "bytes": 809
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/build_ext.py",
+      "vendor_path": "vendor/pr2339/build_ext.py",
+      "git_blob_sha1": "40924f32d016af0e471aca0ac96bc9879dfc3fb9",
+      "sha256": "3f2ee8109d98a2661ba142613a0c8780f01f071c168a37c14a8cf285e93dcade",
+      "bytes": 24196
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/cap_ext.py",
+      "vendor_path": "vendor/pr2339/cap_ext.py",
+      "git_blob_sha1": "04cdbcb9f1530bea2c3cf76bb44adc15e2c200d3",
+      "sha256": "b1ce37db971c0d85ddca6e8d8f1a3ca9445ac69ec0d4d3bbda385a937edb4c89",
+      "bytes": 2645
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/check_ext.py",
+      "vendor_path": "vendor/pr2339/check_ext.py",
+      "git_blob_sha1": "4ba868c75de94dd1ab379832f94874b9386aa0d2",
+      "sha256": "769061ef58133b3c018613cd5d51d4c3331c4456311eda6b8ca1b48914290010",
+      "bytes": 80993
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/check_ext.receipt.json",
+      "vendor_path": "vendor/pr2339/check_ext.receipt.json",
+      "git_blob_sha1": "350d078d66286da1756a343de8af29e2f7dbd98f",
+      "sha256": "b8ef41a2c958e4a81a3c6c5f82d4e85c040f4d5d88e7d3e172be615593f57997",
+      "bytes": 39811
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/demo-t8-delta-proxy.json",
+      "vendor_path": "vendor/pr2339/demo-t8-delta-proxy.json",
+      "git_blob_sha1": "e9bb97b3538b39a29d605b8300dd904f30d764b9",
+      "sha256": "6a177f77ef0041b5a7bacade1b3ac0623c1a86c9e0cef7332dd85e8948d392f5",
+      "bytes": 278
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/PR2226-WITNESS.json",
+      "vendor_path": "vendor/pr2339/inputs/PR2226-WITNESS.json",
+      "git_blob_sha1": "62edbcce166f7cf388231078c2cd7f75939b97e2",
+      "sha256": "86392adde6992a08ae90f7a69c58cace1b52d942f4d2c96e82ca79e5d1e15235",
+      "bytes": 69305
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/blocks.json",
+      "vendor_path": "vendor/pr2339/inputs/blocks.json",
+      "git_blob_sha1": "c683574b3861678081fd5c5944dbd7a47309f6fd",
+      "sha256": "ddfac1dae1fe7cc0a91e7c7205c6d9d0c07c682880aa34eed83bf4ad7384da9f",
+      "bytes": 50270
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/extra.canonical.json.gz",
+      "vendor_path": "vendor/pr2339/inputs/extra.canonical.json.gz",
+      "git_blob_sha1": "e0d670d4351229ce6921ecfbecf180070b17616b",
+      "sha256": "d7e48dcbafa236a2e1e41f7958244211506f7c7630fe6a2d43d2bdf17b7ae015",
+      "bytes": 87680
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/gauge44.canonical.json.gz",
+      "vendor_path": "vendor/pr2339/inputs/gauge44.canonical.json.gz",
+      "git_blob_sha1": "4abb6e28f02c95b41ed345d4e4401d16d58ae791",
+      "sha256": "65c6d17ffee2eacf27bff438f37fc549c9ed0c909cbc7a52976cc75cf2d15b91",
+      "bytes": 87678
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/witness_43_base.json",
+      "vendor_path": "vendor/pr2339/inputs/witness_43_base.json",
+      "git_blob_sha1": "9f4b93f3bc52d4f4ffaa128cfd7ae574fd36c462",
+      "sha256": "67ffb66d94067f6e53aee9118fe90e14a57f497fc8b3f708b6dac3de2e58ff28",
+      "bytes": 45301
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/inputs/witness_43_extra.json",
+      "vendor_path": "vendor/pr2339/inputs/witness_43_extra.json",
+      "git_blob_sha1": "864ba533f50c2f1f639a6a3559b185bd321b923a",
+      "sha256": "d46449c6dbf4477f260cf5baea9bbb570a66ee0b6db81f4a220b9e3086ae9e46",
+      "bytes": 45306
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/price-input-ext80.json",
+      "vendor_path": "vendor/pr2339/price-input-ext80.json",
+      "git_blob_sha1": "c813a37fb7622dc5148aaff83fad667d7e10cd90",
+      "sha256": "7c20c10f22d914e36e5d1b5ddf83b421a074d8624a7fc786dfe0358e230b2be4",
+      "bytes": 546
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/price_ext.all.receipt.json",
+      "vendor_path": "vendor/pr2339/price_ext.all.receipt.json",
+      "git_blob_sha1": "2ce13a97dc590fe46aeb4c84b1295454d7252fc5",
+      "sha256": "614bea52d2362d459d63b7a505b0fec476b41ae25ac9cb039bb6f9f87a52f602",
+      "bytes": 18484
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/price_ext.ext80.receipt.json",
+      "vendor_path": "vendor/pr2339/price_ext.ext80.receipt.json",
+      "git_blob_sha1": "bec19b8e2c67ee85a038df7ec8981459985fd7ec",
+      "sha256": "51225b5815cb1f2a35af194410558fb9ae12cca258977f0dacb4bc365dd2e147",
+      "bytes": 8117
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/price_ext.py",
+      "vendor_path": "vendor/pr2339/price_ext.py",
+      "git_blob_sha1": "59ef458967169b3d0ee159d518560d666295fd60",
+      "sha256": "24ca3cd51e0f91ea5b1656fb8d707410013339f8b4e622a5112013e006c6c718",
+      "bytes": 50096
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/receipts/AUDIT-80base.json",
+      "vendor_path": "vendor/pr2339/receipts/AUDIT-80base.json",
+      "git_blob_sha1": "fc16634cfd3a9c5190e5b97b93cb29ddbd1547ca",
+      "sha256": "d65a79658cba82932a9abd2c9af5dd345527141b098130b98850572420166cdd",
+      "bytes": 1402
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/receipts/AUDIT-80extra.json",
+      "vendor_path": "vendor/pr2339/receipts/AUDIT-80extra.json",
+      "git_blob_sha1": "b1b0c4d69e4c1a5edc3e9dd968f6f58b5eb8aaf0",
+      "sha256": "6d05abbc122d72b1eec05e7654a118dd492e55db34b30b718603521231094099",
+      "bytes": 1403
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/receipts/BUILD.json",
+      "vendor_path": "vendor/pr2339/receipts/BUILD.json",
+      "git_blob_sha1": "795b11a7f5ba58f5c58e0909d7e3aa34aa3d515d",
+      "sha256": "38cdfebb0bbcc587255d7271788124d573e719708871dc6c4db79ebadd5cac02",
+      "bytes": 42846
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/receipts/CONTROLS-80base.json",
+      "vendor_path": "vendor/pr2339/receipts/CONTROLS-80base.json",
+      "git_blob_sha1": "9c6a9e8dc01f8a6969527d89177440e218784e83",
+      "sha256": "92675f74d0755409db5da5a708b5d02d07bb4de0597b2296cdcc628695e74210",
+      "bytes": 4260
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/receipts/CONTROLS-80extra.json",
+      "vendor_path": "vendor/pr2339/receipts/CONTROLS-80extra.json",
+      "git_blob_sha1": "e090679cf9b67df5e56c8010e24493101344c16c",
+      "sha256": "aaed2554631b70a7bb1ed628fe7b0bb0fd71e56b1dd2a1dad6af03bb42e7bd05",
+      "bytes": 4260
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/replay_core.py",
+      "vendor_path": "vendor/pr2339/replay_core.py",
+      "git_blob_sha1": "fc6a894f01d0dc20ecdffcec5ac1ab52f8d2e246",
+      "sha256": "fc23c94d56e9a3c1b98a3999e8f7c72bba5eb7f9447960815936a5e42126b074",
+      "bytes": 15682
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/run_all.py",
+      "vendor_path": "vendor/pr2339/run_all.py",
+      "git_blob_sha1": "6e8cfbe4cc604e647e15c5a52a0e7c8d4a8dd8a4",
+      "sha256": "5c7824b9d37a016e5d8c1507bb8cd7d565046974bc050dd5d1ac2b836e9b4fb0",
+      "bytes": 14178
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/run_all.receipt.json",
+      "vendor_path": "vendor/pr2339/run_all.receipt.json",
+      "git_blob_sha1": "be6a0345bbef68803a0eb8bbe708b7082216a2cf",
+      "sha256": "cd2869c88c7bcd1b9e59ec633713d2a4438aa81336b42a62b9fe8f1d410b5135",
+      "bytes": 3831
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2226/NOTICE.md",
+      "vendor_path": "vendor/pr2339/vendor/pr2226/NOTICE.md",
+      "git_blob_sha1": "5ea70357a04d083dba066fbc5c809a5736d8edd6",
+      "sha256": "f1d45d886926915531e3a59968abf0a4c974d7038f869848e71bd3a21b834422",
+      "bytes": 1279
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2226/operators.py",
+      "vendor_path": "vendor/pr2339/vendor/pr2226/operators.py",
+      "git_blob_sha1": "5c4fbe8cceedd769a1c367a31cd0beeae2175dc1",
+      "sha256": "b37b67a04681c776dafcdc6c9af0e8a2dbfa9893b02e0fa2d77ccc9182a87988",
+      "bytes": 5037
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2269/NOTICE.md",
+      "vendor_path": "vendor/pr2339/vendor/pr2269/NOTICE.md",
+      "git_blob_sha1": "85df87ba4d86954e489a087500c2f10777040f99",
+      "sha256": "2f1285d52316e8648d62a69a434fcc36db226049a2a6a31edb6b3310084635f3",
+      "bytes": 882
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2269/audit_local.py",
+      "vendor_path": "vendor/pr2339/vendor/pr2269/audit_local.py",
+      "git_blob_sha1": "a90b00e0232bc9d7bc85138bad8d95553db673d4",
+      "sha256": "36c82ecbface61a5b824c59ea90d1f31a31ff4b87bfef24e16742f06e18fa3c5",
+      "bytes": 28232
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2269/borrow_controls.py",
+      "vendor_path": "vendor/pr2339/vendor/pr2269/borrow_controls.py",
+      "git_blob_sha1": "99789e011d0d3dd699560e002a1c0b9ef7fbb3ac",
+      "sha256": "07fbbf8e2f06df063dc9d88e5e4f721222a9fcf30b983bf9127cd5aa4b611627",
+      "bytes": 9961
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2269/build_word.py",
+      "vendor_path": "vendor/pr2339/vendor/pr2269/build_word.py",
+      "git_blob_sha1": "8684d54b319c3d3a3cbaeaf1bb3af8d45bde92cd",
+      "sha256": "a174c4ca05ef3c2dda789a042e16b20164fbc7d6ed7781c6b63964d30b498f36",
+      "bytes": 2049
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/vendor/pr2269/emit_word.py",
+      "vendor_path": "vendor/pr2339/vendor/pr2269/emit_word.py",
+      "git_blob_sha1": "a97e3d7506b63aacb8c845a4702be9ecded710b8",
+      "sha256": "c38cd936c5dfc5988c6d50294f94ff003dd1fcd2bab5c4161d7de2cc445ba8ab",
+      "bytes": 11093
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/witness/witness_80_base.json",
+      "vendor_path": "vendor/pr2339/witness/witness_80_base.json",
+      "git_blob_sha1": "cdcd39ff1beb577b975e48633d05ee629caa1362",
+      "sha256": "9380f74c032b0616d5b13e8ef94b6d9f80cac36239e329357e7d5fcab5283ad0",
+      "bytes": 114840
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/witness/witness_80_extra.json",
+      "vendor_path": "vendor/pr2339/witness/witness_80_extra.json",
+      "git_blob_sha1": "6b87d35600c44d053bf5ce03e34fc315d5a2af4a",
+      "sha256": "6737072dcca47c6e6526bd62a41585dd09026549550c9e62eb53e64b265a6709",
+      "bytes": 114837
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80base.json.gz",
+      "vendor_path": "vendor/pr2339/words/BORROW-WORD-80base.json.gz",
+      "git_blob_sha1": "c5953dfdb0ee9ac0c2c73eb29e320582b4569d2b",
+      "sha256": "61290abffd8c8225e0abb3958c1506674e256de688fc4cdf358bbe7c981df493",
+      "bytes": 70131
+    },
+    {
+      "path": "research/t74-low-alias-borrowing/words/BORROW-WORD-80extra.json.gz",
+      "vendor_path": "vendor/pr2339/words/BORROW-WORD-80extra.json.gz",
+      "git_blob_sha1": "852868543ed36efa799b3ed6dd76a0442b0d6ff1",
+      "sha256": "1dd2d6f2ae5b5a27b5f89fb830203f0cca7a78d0323a7845e85e1e80f8f6d1a5",
+      "bytes": 70135
+    }
+  ],
+  "count": 40
+}