Certify all-subset exposure bounds for 273 fixed BIT planes

research/bit-fixed-plane-exposure/.gitattributes

@@ -0,0 +1,4 @@
+# Full generated partition certificates remain required authenticated replay inputs.
+frozen/changed/bit-native-caller/SELECTIVE-UNION-ROOTS-L8.json linguist-generated=true
+frozen/changed/bit-native-caller/SELECTIVE-UNION-FRAMES-L8.json linguist-generated=true
+frozen/reviews/exposure/INDEPENDENT-RESULT.json linguist-generated=true

research/bit-fixed-plane-exposure/ADAPTATIONS.json

@@ -0,0 +1,118 @@
+{
+  "frozen/changed/bit-native-caller/cold_cosets.py": [
+    {
+      "new": "BASE=PORTABLE.root/'frozen'",
+      "old": "BASE=Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "RAW=BASE/'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "RAW=BASE/'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "new": "FULL=BASE/'upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "FULL=BASE/'integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'"
+    },
+    {
+      "new": "COMP=BASE/'major/bit-endpoint/BIT-FULL-COMPENSATION.json'",
+      "old": "COMP=BASE/'.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/BIT-FULL-COMPENSATION.json'"
+    }
+  ],
+  "frozen/changed/bit-native-caller/helper_tail_retime.py": [
+    {
+      "new": "BASE=PORTABLE.root/'frozen'",
+      "old": "BASE=Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "WORD=BASE/'major/bit-endpoint/BIT-FULL-COMPENSATION-WORD.json.gz'",
+      "old": "WORD=BASE/'.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/BIT-FULL-COMPENSATION-WORD.json.gz'"
+    },
+    {
+      "new": "RAW=BASE/'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "RAW=BASE/'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    }
+  ],
+  "frozen/changed/bit-native-caller/native_seed_binding.py": [
+    {
+      "new": "BASE=PORTABLE.root/'frozen'",
+      "old": "BASE = Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "RAW = BASE / 'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "RAW = BASE / 'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "new": "OLDER = BASE / 'major'",
+      "old": "OLDER = BASE / '.research-automation/runs/kappa-major-20261018T1330Z'"
+    }
+  ],
+  "frozen/changed/bit-native-caller/physical_code.py": [
+    {
+      "new": "BASE=PORTABLE.root/'frozen'",
+      "old": "BASE=Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "RAW=BASE/'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "RAW=BASE/'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "new": "FULL=BASE/'upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "FULL=BASE/'integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'"
+    },
+    {
+      "new": "OLD=BASE/'major'",
+      "old": "OLD=BASE/'.research-automation/runs/kappa-major-20261018T1330Z'"
+    },
+    {
+      "new": "CODE=BASE/'old/root-pruned-code/BIT-PRUNED-WORD.json.gz'",
+      "old": "CODE=BASE/'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/root-pruned-code/BIT-PRUNED-WORD.json.gz'"
+    }
+  ],
+  "frozen/changed/bit-native-caller/selective_union_batch.py": [
+    {
+      "new": "PORTABLE.equal(p,out)",
+      "old": "need(json.loads(p.read_bytes())==out,'saved finite-plane union certificate differs')"
+    }
+  ],
+  "frozen/changed/bit-native-caller/selective_union_partition.py": [
+    {
+      "new": "FULL=PORTABLE.root/'frozen/upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "FULL=Path('/Users/ross/git/math/integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz')"
+    }
+  ],
+  "frozen/changed/bit-native-caller/verify_union_partition.py": [
+    {
+      "new": "FULL=PORTABLE.root/'frozen/upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "FULL=Path('/Users/ross/git/math/integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz')"
+    },
+    {
+      "new": "sha256(Path(PORTABLE.normalize(p)).read_bytes()).hexdigest()==h",
+      "old": "sha256(Path(p).read_bytes()).hexdigest()==h"
+    }
+  ],
+  "frozen/reviews/exposure/independent_check.py": [
+    {
+      "new": "BASE = PORTABLE.root/'frozen'",
+      "old": "BASE = Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "'changed/bit-native-caller'",
+      "old": "'.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller'"
+    },
+    {
+      "new": "'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "new": "'upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "'integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'"
+    },
+    {
+      "new": "data = PORTABLE.normalize(json.loads(path.read_bytes()))",
+      "old": "data = json.loads(path.read_bytes())"
+    },
+    {
+      "new": "PORTABLE.equal(Path(__file__).resolve().parent/'INDEPENDENT-RESULT.json',json.loads(encoded))",
+      "old": "print(encoded, end='')"
+    }
+  ]
+}

research/bit-fixed-plane-exposure/FROZEN-SHA256.json

@@ -0,0 +1,20 @@
+{
+  "frozen/changed/bit-native-caller/SELECTIVE-UNION-FRAMES-L8.json": "bd78a68e1667a8313c019a69cb23a8648e760123b33c2c66ac6da77e733ff6d7",
+  "frozen/changed/bit-native-caller/SELECTIVE-UNION-ROOTS-L8.json": "5c530085e98efef7b3757aec59d31b6b5ac23b4991e658aaf2a9ad68167b6e16",
+  "frozen/changed/bit-native-caller/SELECTIVE-UNIONS.md": "d866bb36b2c885772de813480e6adfdb42c880eccd07e21124f7c13c9f4cfaef",
+  "frozen/changed/bit-native-caller/cold_cosets.py": "b266d71551ea82a767029727bf2ce6b594d0f5b4d49719a146abbe6348a7d050",
+  "frozen/changed/bit-native-caller/global_kernel_boost.py": "22773bd9f955130ca3c1fe2fa2c047ee7d831759df08567e2a6c987349b18272",
+  "frozen/changed/bit-native-caller/helper_tail_retime.py": "815f20725a20ea05064695064f4b34c4e4e6e6feaa7e42dfceb1e7031d4fed1d",
+  "frozen/changed/bit-native-caller/kernel_entrances.py": "921f18dc02df3a799a4fae60aa861b1f7e908957b01b81dd395f5cd8dac222cc",
+  "frozen/changed/bit-native-caller/native_seed_binding.py": "2bbb0b1a1fb449423a92b45e3b3fef2b328e957b6c8d0813efb2473f43fc28a6",
+  "frozen/changed/bit-native-caller/old_kernel_boost.py": "71070cceb72b089d745f080e642dce26c1404508411288265b6bf3f4a004ea20",
+  "frozen/changed/bit-native-caller/physical_code.py": "1188b1884a1d8b6873ea118d39f17f939f9e78ca778fa2a821d8a8fe2fd3d043",
+  "frozen/changed/bit-native-caller/selective_boost_screen.py": "a95fb44bb7937066ae8d2f7a6b76c4a04c6c4370b284e52340a675f83b3dc504",
+  "frozen/changed/bit-native-caller/selective_union_batch.py": "d2374b5dc02cb5e661b64baa0e5055879e1c0d6bc34edfdab7a03ea356780aa3",
+  "frozen/changed/bit-native-caller/selective_union_partition.py": "5715814bcb33703b59ecfc3114af868090961db75a3ea391b335f921c02969e5",
+  "frozen/changed/bit-native-caller/verify_union_partition.py": "70e0d7a0879f5a5be7d83a1f54768f48be9a8b8a0b5ec393f7b2580c9e103768",
+  "frozen/reviews/exposure/INDEPENDENT-RESULT.json": "0add215d041fe51d2c8c316d36525a2dca1f07d51de8da5cf9d7fc67bf77b17f",
+  "frozen/reviews/exposure/independent_check.py": "d63788d7270740e893d3c581e42df33b87153a597848847f75d52d610a0b2e23",
+  "frozen/upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz": "a353999bceac4ac957f540adfd3e5f8768297138b27132eeb83332e2ea4b1022",
+  "frozen/upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz": "1fb726ea3818fe0837cceb0dd22a71a0814f064e5e781628104610d6468e0e55"
+}

research/bit-fixed-plane-exposure/ORIGINS.json

@@ -0,0 +1,110 @@
+[
+  {
+    "bytes": 4486,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/SELECTIVE-UNIONS.md",
+    "retained": "frozen/changed/bit-native-caller/SELECTIVE-UNIONS.md",
+    "sha256": "d866bb36b2c885772de813480e6adfdb42c880eccd07e21124f7c13c9f4cfaef"
+  },
+  {
+    "bytes": 6590,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/selective_boost_screen.py",
+    "retained": "frozen/changed/bit-native-caller/selective_boost_screen.py",
+    "sha256": "a95fb44bb7937066ae8d2f7a6b76c4a04c6c4370b284e52340a675f83b3dc504"
+  },
+  {
+    "bytes": 7771,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/selective_union_partition.py",
+    "retained": "frozen/changed/bit-native-caller/selective_union_partition.py",
+    "sha256": "5715814bcb33703b59ecfc3114af868090961db75a3ea391b335f921c02969e5"
+  },
+  {
+    "bytes": 3804,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/selective_union_batch.py",
+    "retained": "frozen/changed/bit-native-caller/selective_union_batch.py",
+    "sha256": "d2374b5dc02cb5e661b64baa0e5055879e1c0d6bc34edfdab7a03ea356780aa3"
+  },
+  {
+    "bytes": 4767,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/verify_union_partition.py",
+    "retained": "frozen/changed/bit-native-caller/verify_union_partition.py",
+    "sha256": "70e0d7a0879f5a5be7d83a1f54768f48be9a8b8a0b5ec393f7b2580c9e103768"
+  },
+  {
+    "bytes": 3463449,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/SELECTIVE-UNION-ROOTS-L8.json",
+    "retained": "frozen/changed/bit-native-caller/SELECTIVE-UNION-ROOTS-L8.json",
+    "sha256": "5c530085e98efef7b3757aec59d31b6b5ac23b4991e658aaf2a9ad68167b6e16"
+  },
+  {
+    "bytes": 5679430,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/SELECTIVE-UNION-FRAMES-L8.json",
+    "retained": "frozen/changed/bit-native-caller/SELECTIVE-UNION-FRAMES-L8.json",
+    "sha256": "bd78a68e1667a8313c019a69cb23a8648e760123b33c2c66ac6da77e733ff6d7"
+  },
+  {
+    "bytes": 13065,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/old_kernel_boost.py",
+    "retained": "frozen/changed/bit-native-caller/old_kernel_boost.py",
+    "sha256": "71070cceb72b089d745f080e642dce26c1404508411288265b6bf3f4a004ea20"
+  },
+  {
+    "bytes": 15496,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/global_kernel_boost.py",
+    "retained": "frozen/changed/bit-native-caller/global_kernel_boost.py",
+    "sha256": "22773bd9f955130ca3c1fe2fa2c047ee7d831759df08567e2a6c987349b18272"
+  },
+  {
+    "bytes": 12976,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/physical_code.py",
+    "retained": "frozen/changed/bit-native-caller/physical_code.py",
+    "sha256": "1188b1884a1d8b6873ea118d39f17f939f9e78ca778fa2a821d8a8fe2fd3d043"
+  },
+  {
+    "bytes": 7569,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/cold_cosets.py",
+    "retained": "frozen/changed/bit-native-caller/cold_cosets.py",
+    "sha256": "b266d71551ea82a767029727bf2ce6b594d0f5b4d49719a146abbe6348a7d050"
+  },
+  {
+    "bytes": 7405,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/helper_tail_retime.py",
+    "retained": "frozen/changed/bit-native-caller/helper_tail_retime.py",
+    "sha256": "815f20725a20ea05064695064f4b34c4e4e6e6feaa7e42dfceb1e7031d4fed1d"
+  },
+  {
+    "bytes": 10050,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/kernel_entrances.py",
+    "retained": "frozen/changed/bit-native-caller/kernel_entrances.py",
+    "sha256": "921f18dc02df3a799a4fae60aa861b1f7e908957b01b81dd395f5cd8dac222cc"
+  },
+  {
+    "bytes": 12201,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/native_seed_binding.py",
+    "retained": "frozen/changed/bit-native-caller/native_seed_binding.py",
+    "sha256": "2bbb0b1a1fb449423a92b45e3b3fef2b328e957b6c8d0813efb2473f43fc28a6"
+  },
+  {
+    "bytes": 42305,
+    "original": "/Users/ross/git/math/integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz",
+    "retained": "frozen/upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz",
+    "sha256": "a353999bceac4ac957f540adfd3e5f8768297138b27132eeb83332e2ea4b1022"
+  },
+  {
+    "bytes": 33865,
+    "original": "/Users/ross/git/math/integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz",
+    "retained": "frozen/upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz",
+    "sha256": "1fb726ea3818fe0837cceb0dd22a71a0814f064e5e781628104610d6468e0e55"
+  },
+  {
+    "bytes": 20525,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b11-exposure-review/independent_check.py",
+    "retained": "frozen/reviews/exposure/independent_check.py",
+    "sha256": "d63788d7270740e893d3c581e42df33b87153a597848847f75d52d610a0b2e23"
+  },
+  {
+    "bytes": 9122537,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b11-exposure-review/INDEPENDENT-RESULT.json",
+    "retained": "frozen/reviews/exposure/INDEPENDENT-RESULT.json",
+    "sha256": "0add215d041fe51d2c8c316d36525a2dca1f07d51de8da5cf9d7fc67bf77b17f"
+  }
+]