Reduce complete relative-tariff replay time by 29.42% (no κ)

research/relative-tariff-integer-exp/BENCHMARK.json

@@ -0,0 +1,194 @@
+{
+  "command": "{python} -I -W error -B {package}/replay.py --arm {arm}",
+  "cpu_count": 18,
+  "executable": "/Users/nick/git/integer-mult-bounds/.venv/bin/python3.12",
+  "failures": 0,
+  "inputs": {
+    "ORIGINS.json": "29931ccabb96aa7fe7798baca1baecdaa05665344be10cfa23cf7e2c288ddd25",
+    "benchmark.py": "dd3412bb95b6a8bc904550bd066573b69a4e2ebf3d63fcc4a25cd82ce1858828",
+    "exp_series.py": "91670ca0bcda02228dca95068e3690083a1f71e211a098721a96d0f5519706cc",
+    "replay.py": "cfa65ee8c1d850f6a5295c07b35a27c375c48209b0b2dd6c66f4aef6d68c0d10",
+    "source/ORACLE-PROFILES.json": "dd9abee4eed9bdf52cd731c2fb61d2ec17022ab136ab255e4325181652ba06e4",
+    "source/PROFILE-PROOF.md": "b95cbfc30cfcf85016406801005a8284b0eca61cb8c1cc5661376e242b0a153e",
+    "source/PROFILES.json": "985500c0ebda3ba82570cf844d3acaed78d4aec7923956ea889b575e43c4e6d1",
+    "source/RELATIVE-RESULT.json": "abae56ad096f0361e9b3698ac37b12021bd0432ac52968e60e3b40551aeddb24",
+    "source/SOURCE-PINS.json": "5eb5b9458165046dad7170d5801a12f84f92891ac16ef2fd8bcbacf357046237",
+    "source/oracle_profiles.py": "4840369f3311369c09762fccaadcbc2a9fecffc53bcf3dd925abf2b059014cb0",
+    "source/sources/CONTROLLER.json": "6fd67eaabe659956d6694471d3fd7d2824c0a4a79cf3b8f22922f7189b11b91f",
+    "source/sources/LIFTS.json": "38960b70a074888a2aeaf3b543629a7ae747c0c5d4f5c853371a6e7c483766c5",
+    "source/sources/NEW-WORD.json.gz": "9e31463a785c18a70f6ae6ef3d04a6560dbb965517109390fe820f9fac3371b3",
+    "source/sources/NOTICE": "91f24d68004688bc0a56303a48edcb5ddabd66bfc2326950603bf98dec245bbe",
+    "source/sources/OLD-WORD.json.gz": "e3b6f1c25d672b8c85433be97ebad77ae6a6972352ce2ff63507d30835fcb491",
+    "source/sources/constructor-source.py": "fe7dc1d9aa55da393465388ee90faaa687b1e5be48dfa816a421069fa3d2de08",
+    "source/sources/controller-source.py": "8067ade84815b54d539cbaef9885db9fa4d7a23fdde2e683451d317038a8477c",
+    "source/sources/upstream-PROOF.md": "769e0f87e6b85c557b48135d2d898bb485cf77ce9925540e0a3740e6283f41af",
+    "source/verify_profiles.py": "e7d2bf27b3ce2cca939d3fc8239876aa82dcdfcd816bd78df4c9171f37e09319",
+    "source/verify_tariff.py": "2f3306ed5c52a71bf7f16b5c76e253d49ce20c37a0af3f047e2b2a24809ad478"
+  },
+  "load_average": [
+    5.62890625,
+    2.92431640625,
+    2.32275390625
+  ],
+  "pairs": 9,
+  "platform": "macOS-27.0.1-arm64-arm-64bit",
+  "python": "3.12.15 (main, Oct 14 2026, 00:55:37) [Clang 23.1.3 ]",
+  "reduction_fraction": 0.2941931186957315,
+  "samples": [
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 52462125,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 35457750,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 48862209,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34386625,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 48701375,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34706458,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 49178584,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34265209,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 48438583,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34710583,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 48920834,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34038625,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 50717583,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 35261625,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 49847833,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 36006292,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 49427792,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 34945958,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    }
+  ],
+  "schema_version": 1,
+  "summary": {
+    "integer": {
+      "max_ns": 36006292,
+      "median_ns": 34710583,
+      "min_ns": 34038625
+    },
+    "original": {
+      "max_ns": 52462125,
+      "median_ns": 49178584,
+      "min_ns": 48438583
+    }
+  },
+  "warmups": [
+    {
+      "arm": "original",
+      "exit_code": 0,
+      "nanoseconds": 50551458,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    },
+    {
+      "arm": "integer",
+      "exit_code": 0,
+      "nanoseconds": 35503916,
+      "stderr_bytes": 0,
+      "stdout_sha256": "d2a83fa154e29c300827d8422a07f2466b2937c6a208218b773b50b1d4ede913"
+    }
+  ]
+}

research/relative-tariff-integer-exp/ORIGINS.json

@@ -0,0 +1,105 @@
+{
+  "commit": "4cfe905d84f3720c23a7f155f615222401953f95",
+  "files": [
+    {
+      "bytes": 10800,
+      "git_blob": "b62e36883e5c9323f215ae6b5282a503bc233296",
+      "path": "ORACLE-PROFILES.json",
+      "sha256": "dd9abee4eed9bdf52cd731c2fb61d2ec17022ab136ab255e4325181652ba06e4"
+    },
+    {
+      "bytes": 12550,
+      "git_blob": "14fb494b3312eb6a41602ba68baeaf6c16f6ba92",
+      "path": "PROFILE-PROOF.md",
+      "sha256": "b95cbfc30cfcf85016406801005a8284b0eca61cb8c1cc5661376e242b0a153e"
+    },
+    {
+      "bytes": 9032,
+      "git_blob": "d6f1eb6afe028d209dc2c9573a8685f75ced961e",
+      "path": "PROFILES.json",
+      "sha256": "985500c0ebda3ba82570cf844d3acaed78d4aec7923956ea889b575e43c4e6d1"
+    },
+    {
+      "bytes": 5805,
+      "git_blob": "35f5f0898a62c167e65913858a1664a4a149b0d0",
+      "path": "RELATIVE-RESULT.json",
+      "sha256": "abae56ad096f0361e9b3698ac37b12021bd0432ac52968e60e3b40551aeddb24"
+    },
+    {
+      "bytes": 2944,
+      "git_blob": "49ddf9c85fb2f07828654a6278e7458b2349cb8e",
+      "path": "SOURCE-PINS.json",
+      "sha256": "5eb5b9458165046dad7170d5801a12f84f92891ac16ef2fd8bcbacf357046237"
+    },
+    {
+      "bytes": 21090,
+      "git_blob": "724e0a79f0d3f9dfe64f77b1e3e25ade6d4f1e8e",
+      "path": "oracle_profiles.py",
+      "sha256": "4840369f3311369c09762fccaadcbc2a9fecffc53bcf3dd925abf2b059014cb0"
+    },
+    {
+      "bytes": 27959,
+      "git_blob": "1f2e375b24aba5fb25580dfea7fab7a2049f3eb8",
+      "path": "sources/CONTROLLER.json",
+      "sha256": "6fd67eaabe659956d6694471d3fd7d2824c0a4a79cf3b8f22922f7189b11b91f"
+    },
+    {
+      "bytes": 1091,
+      "git_blob": "2ee8cb78fd149f9aca8dd953c650b92495a56266",
+      "path": "sources/LIFTS.json",
+      "sha256": "38960b70a074888a2aeaf3b543629a7ae747c0c5d4f5c853371a6e7c483766c5"
+    },
+    {
+      "bytes": 85485,
+      "git_blob": "b1cfd03abe9128cf5a3908fbd82652e5e8a2e292",
+      "path": "sources/NEW-WORD.json.gz",
+      "sha256": "9e31463a785c18a70f6ae6ef3d04a6560dbb965517109390fe820f9fac3371b3"
+    },
+    {
+      "bytes": 17583,
+      "git_blob": "638a187d1417bda8976e945a2aeaed116a090e37",
+      "path": "sources/NOTICE",
+      "sha256": "91f24d68004688bc0a56303a48edcb5ddabd66bfc2326950603bf98dec245bbe"
+    },
+    {
+      "bytes": 85365,
+      "git_blob": "0af79e58172f85c302c35b193205c0b185b09393",
+      "path": "sources/OLD-WORD.json.gz",
+      "sha256": "e3b6f1c25d672b8c85433be97ebad77ae6a6972352ce2ff63507d30835fcb491"
+    },
+    {
+      "bytes": 7874,
+      "git_blob": "c099995bef0e224cbb0ec61c06ed3d0b4d478b33",
+      "path": "sources/constructor-source.py",
+      "sha256": "fe7dc1d9aa55da393465388ee90faaa687b1e5be48dfa816a421069fa3d2de08"
+    },
+    {
+      "bytes": 7474,
+      "git_blob": "3b4bf82eba05d57ef4bb1fd934e8ca65780425c1",
+      "path": "sources/controller-source.py",
+      "sha256": "8067ade84815b54d539cbaef9885db9fa4d7a23fdde2e683451d317038a8477c"
+    },
+    {
+      "bytes": 3940,
+      "git_blob": "bd20fcaf2078691d914d6afbc5cb06a75f47770d",
+      "path": "sources/upstream-PROOF.md",
+      "sha256": "769e0f87e6b85c557b48135d2d898bb485cf77ce9925540e0a3740e6283f41af"
+    },
+    {
+      "bytes": 22209,
+      "git_blob": "b1d52ab008099d8ac8ae8bc16af838f834931367",
+      "path": "verify_profiles.py",
+      "sha256": "e7d2bf27b3ce2cca939d3fc8239876aa82dcdfcd816bd78df4c9171f37e09319"
+    },
+    {
+      "bytes": 17249,
+      "git_blob": "9c3327468fe1256403a7610835791c04c4bc9176",
+      "path": "verify_tariff.py",
+      "sha256": "2f3306ed5c52a71bf7f16b5c76e253d49ce20c37a0af3f047e2b2a24809ad478"
+    }
+  ],
+  "pull_request": 6378,
+  "repository": "CrocSwap/integer-mult-bounds",
+  "upstream_directory": "research/p104-6375-relative-tariff-audit",
+  "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/6378"
+}

research/relative-tariff-integer-exp/PROFILE.json

@@ -0,0 +1,22 @@
+{
+  "benchmark_samples_include_profiling": false,
+  "command": "{python} -I -W error -B -m cProfile -o OUTPUT source/verify_tariff.py",
+  "functions": {
+    "exp_positive": {
+      "calls": 72,
+      "cumulative_seconds": 0.025430217,
+      "primitive_calls": 72,
+      "self_seconds": 0.000529736
+    },
+    "run": {
+      "calls": 1,
+      "cumulative_seconds": 0.033980958000000006,
+      "primitive_calls": 1,
+      "self_seconds": 2.8792e-05
+    }
+  },
+  "profiled_source_sha256": "2f3306ed5c52a71bf7f16b5c76e253d49ce20c37a0af3f047e2b2a24809ad478",
+  "schema_version": 1,
+  "total_calls": 113185,
+  "total_seconds": 0.04363541899999999
+}