Conditional κ = 0.00363233825 (+1.7674e-7 over #7105)

research/p104-rank8-retimed-split/DISCOVERY.json

@@ -0,0 +1,26 @@
+{
+  "initial": {
+    "source_canonical_sha256": "10b24ef20650bce0423c66abf5bd43a837e6d5dbe50c9ac973f17eae295ad62b",
+    "script": "inputs/pr7105.tar:research/p104-causal-retimed-step/discover.py",
+    "boundary_group": [
+      3,
+      127
+    ],
+    "screen_kappa": "0.00363206219",
+    "result": "INITIAL-SCREEN-HITS.json",
+    "log": "INITIAL-SCREEN-LOG.txt",
+    "scope": "Floating filter plus exact basis pairs; finite one-role retiming screen only, not an optimality certificate."
+  },
+  "rank8": {
+    "script": "discover.py",
+    "boundary_group": [
+      3,
+      245
+    ],
+    "screen_kappa": "0.00363216151",
+    "result": "SCREEN-HITS.json",
+    "log": "SCREEN-LOG.txt",
+    "chosen_hit": 0,
+    "pivot_override": 1468
+  }
+}

research/p104-rank8-retimed-split/ENVIRONMENT.json

@@ -0,0 +1,18 @@
+{
+  "python": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
+  "executable": "/opt/homebrew/opt/python@3.14/bin/python3.14",
+  "platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
+  "machine": "arm64",
+  "recorded_at": "2026-11-10T14:15:46.848669+00:00",
+  "command": [
+    "python3",
+    "-I",
+    "-B",
+    "research/p104-rank8-retimed-split/verify.py"
+  ],
+  "stdout_sha256": "a5e2c209121dd66d1732facd3c33a31771069c8c480175872168b391e22f6c62",
+  "status": "PASS_P104_RANK8_RETIMED_SPLIT",
+  "registered_python": "3.12",
+  "registered_python_local": "unavailable",
+  "source_archive_git_members_checked": 24
+}

research/p104-rank8-retimed-split/INITIAL-SCREEN-HITS.json

@@ -0,0 +1 @@
+[]

research/p104-rank8-retimed-split/INITIAL-SCREEN-LOG.txt

@@ -0,0 +1,33 @@
+windows 17980
+forward 0 systems 0 saved 0 sec 0.0
+forward 5000 systems 0 saved 0 sec 0.53
+forward 10000 systems 0 saved 0 sec 1.14
+forward 15000 systems 0 saved 0 sec 1.67
+forward 20000 systems 12 saved 0 sec 1.98
+forward 25000 systems 72 saved 13 sec 2.15
+forward 30000 systems 4109 saved 634 sec 3.22
+forward 35000 systems 13439 saved 3833 sec 11.18
+forward 40000 systems 25855 saved 7065 sec 21.04
+forward 45000 systems 35570 saved 9130 sec 48.11
+forward 50000 systems 37185 saved 9744 sec 50.16
+forward 55000 systems 37342 saved 9830 sec 50.58
+forward 60000 systems 37382 saved 9849 sec 50.95
+forward 65000 systems 37382 saved 9849 sec 51.74
+forward 70000 systems 37382 saved 9849 sec 52.29
+prefix done 37382 saved 9849 sec 52.34245204925537
+reverse 70000 pairs 0 hits 0 sec 52.35
+reverse 65000 pairs 0 hits 0 sec 52.41
+reverse 60000 pairs 0 hits 0 sec 52.57
+reverse 55000 pairs 0 hits 0 sec 52.81
+reverse 50000 pairs 0 hits 0 sec 53.34
+reverse 45000 pairs 160 hits 0 sec 58.29
+reverse 40000 pairs 38947 hits 0 sec 122.78
+reverse 35000 pairs 41156 hits 0 sec 132.97
+reverse 30000 pairs 43314 hits 0 sec 152.14
+reverse 25000 pairs 43344 hits 0 sec 155.43
+reverse 20000 pairs 43344 hits 0 sec 156.57
+reverse 15000 pairs 43344 hits 0 sec 157.41
+reverse 10000 pairs 43344 hits 0 sec 157.92
+reverse 5000 pairs 43344 hits 0 sec 158.06
+reverse 0 pairs 43344 hits 0 sec 158.1
+paired 43344 hits 0 seconds 158.10312795639038

research/p104-rank8-retimed-split/INPUTS.json

@@ -0,0 +1,152 @@
+{
+  "source_pr": 7105,
+  "source_head": "92b09a2bd2a8f6f2e0fb502068c1259350c2a8c8",
+  "source_canonical_sha256": "10b24ef20650bce0423c66abf5bd43a837e6d5dbe50c9ac973f17eae295ad62b",
+  "archive_sha256": "aad77bad6aa1b8a1518ddff44c8bef8ca93ebaaf6d25bed5ac4acf7fa9dec317",
+  "files": [
+    {
+      "path": "research/p104-causal-retimed-step/ENVIRONMENT.json",
+      "size": 753,
+      "sha256": "a5dead5b6e45a5ab2c19c25e7af535ed9dd57df3308b86c11f55e665ffd1f0b2",
+      "git_blob": "13e51eb499ff6eec2fcef8a87154874625c21032"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/INPUTS.json",
+      "size": 17505,
+      "sha256": "a654c5959d01f8c991dfe38e2d1249fa20af919956a0903e8311199c0f86fb4a",
+      "git_blob": "504f4e425b652d8c84e90aa759ee66df69f65ce7"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/LICENSE",
+      "size": 11357,
+      "sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
+      "git_blob": "261eeb9e9f8b2b4b0d119366dda99c6fd7d35c64"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/NOTICE",
+      "size": 692,
+      "sha256": "57ea05bb8a8d5474012e3d9d287a020b1f91366aa943532b4d7033b0a0abef50",
+      "git_blob": "b2fe2f69bed395136add0c5a5cd6c62c664896f7"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/README.md",
+      "size": 9250,
+      "sha256": "243a315262c401913c7e0230b157e612197fe08b1c5f7f1cbd1f2cc1a882c96b",
+      "git_blob": "dcec9468600ac0678af66deed64578c69247f201"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/REPLAY.txt",
+      "size": 1160,
+      "sha256": "5548b85bfc18ea37528cd3fb2688dde3772330d6cf8b9401d893a33c7292f7d7",
+      "git_blob": "07384c7ce5ba31f839b560d30f8261a16bbc72a5"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/RESULT.json",
+      "size": 26675,
+      "sha256": "9c1f15dc5f2ddde9c42233fa22fafd83b2b2ff13ae3ec177ce3c4d8ad6ab139e",
+      "git_blob": "a1ba81ab2d8dfadde904c786721447a29b0c0d08"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/ROUND1-HITS.json",
+      "size": 2025,
+      "sha256": "fe64b549374230ac70c834dc9cd1cdfd9ab30c2d4223fb5f6738d638b8435a33",
+      "git_blob": "f778973dee4debf4d52368e14cfd334f226c3561"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/ROUND1-LOG.txt",
+      "size": 2105,
+      "sha256": "a688476058304d57488084d1b8235bc68841c942852c2175b0278b50efe55031",
+      "git_blob": "c4b68ec1cebcc50c3530fcf57124eb036130568f"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/SCREEN-HITS.json",
+      "size": 2022,
+      "sha256": "2a8982e3034b18d985cc29f8e8a4c607177a71e021ca31792c7c37018d1eac8f",
+      "git_blob": "5f88aaf1128debfb83caf684de4cf57ad03c1a64"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/SCREEN-LOG.txt",
+      "size": 2272,
+      "sha256": "0b4d37dc31454418eb04fd994b47401e3b0825316b6bd324bfddc650771408b0",
+      "git_blob": "c26ca2cade2a58cb9ce51616ecd43715fe9d467a"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/SOURCES.json",
+      "size": 584,
+      "sha256": "007167ec14efa96e51840bb49f75c61e05fbfebb9e8c9a33f68d94e3dc5cacbf",
+      "git_blob": "b06c2f774eb6010ed89a251aa4313c970e87b3a7"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/TASK.json",
+      "size": 9892,
+      "sha256": "2277782105ea1a3c27180b1c3704fe75b105d5d06f86f372e2b590cf68271de3",
+      "git_blob": "e908c586a83b9f3753752f5e60add5bdfba9e42f"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/VALIDATION.md",
+      "size": 1995,
+      "sha256": "343fcafcfdb14afcccad8fc2c5576220cf6d2f3fd6efc8edc8d6dc2c71077d87",
+      "git_blob": "a769924740ddb38e13050029b7aa5d7b7784043f"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/VERIFY.json",
+      "size": 664,
+      "sha256": "5d726a2ab788428741b57356f29c68435b49bf607c271b45b8d6d607efd99c7a",
+      "git_blob": "f1330ca857a907ebbed0ec2bfffa277a07a223d2"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/WITNESS.json",
+      "size": 515,
+      "sha256": "1b7bf9719c2b780322876c0b2d7ab94b864008ce083fd5944f82ff54a24e44c8",
+      "git_blob": "a7359edd589e08a3a8a6b90ebd28cddc3d6259aa"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/WORD.json.gz",
+      "size": 350523,
+      "sha256": "568419d0eca2c5ff7d2f5fde9be66eca9cde109d3d285a6db3c153a530b9f24f",
+      "git_blob": "704a49dbf9d637471fd2ed8eb92a469812716c04"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/construct.py",
+      "size": 1913,
+      "sha256": "efe9b2dd791edc986f1c0e3dc84a5fca68a291cca0607212eb2aa9a267c7678b",
+      "git_blob": "1d816292f3313dfb5c24a3f425f555250c41425a"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/discover.py",
+      "size": 7077,
+      "sha256": "184b46485ea33c1144fae301b2c91ff37a302f74d9fad43b441dcb94b81b47ad",
+      "git_blob": "0bff0e5ae95742286e0f8032c192ab1168ecc512"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/inputs/pr7004.tar",
+      "size": 1976320,
+      "sha256": "25f3952808ade8642cdd66425d6963fe8639adafef1cab33e213f0736fd68287",
+      "git_blob": "ba8815bae15fd77efc628cf445f7064acacda5b0"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/source.py",
+      "size": 3052,
+      "sha256": "e33164d1f445bcd203be1fec16c8bbde6db11a7221feeb96bcc894082b1092a9",
+      "git_blob": "0e405e55702e38fe5c958e954024630fb3d206a0"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/split.py",
+      "size": 6020,
+      "sha256": "809b2fc15db992a93d561220d93684b7f77e766834024e7fe9d6704a4a76e83d",
+      "git_blob": "3260b2a0a38586d5744a818f4c1474819111ce60"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/support.py",
+      "size": 606,
+      "sha256": "f3e6eeb879480715c5c32c1a390a63c57d26ea1c9a9cbdb89b83ca34260e47f6",
+      "git_blob": "192cd38d27e4b732981b98730459a041dcfb52e7"
+    },
+    {
+      "path": "research/p104-causal-retimed-step/verify.py",
+      "size": 9767,
+      "sha256": "cc5be16c79f9e73c04eab880eae644c5de51af1dea46427b4aa3b79388588394",
+      "git_blob": "67c89d2b3abd1bac59c6be6bfd54cd3869e56c68"
+    }
+  ]
+}