Verify C511 mutable-source interfaces and a restricted rolling boundary

research/c511-mutable-source-boundary/ADAPTATIONS.json

@@ -0,0 +1,168 @@
+{
+  "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/mutable_rolling_boundary.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": "CODE=BASE/'old/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz'",
+      "old": "CODE=BASE/'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz'"
+    },
+    {
+      "new": "PORTABLE.equal(p,out)",
+      "old": "need(json.loads(p.read_bytes())==out,'saved rolling-boundary receipt differs')"
+    }
+  ],
+  "frozen/changed/bit-native-caller/mutable_rolling_quotient.py": [
+    {
+      "new": "PORTABLE.equal(p,out)",
+      "old": "need(json.loads(p.read_bytes())==out,'saved scalar-quotient certificate differs')"
+    }
+  ],
+  "frozen/changed/bit-native-caller/mutable_source_caller.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": "CODE=BASE/'old/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz'",
+      "old": "CODE=BASE/'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/BIT-THREE-COPY-INPUT-WORD.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": "PORTABLE.equal(p,out)",
+      "old": "need(json.loads(p.read_bytes())==out,'saved mutable-source certificate differs')"
+    }
+  ],
+  "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/reviews/native/independent_check.py": [
+    {
+      "new": "ROOT=PORTABLE.root/'frozen'",
+      "old": "ROOT=Path('/Users/ross/git/math')"
+    },
+    {
+      "new": "OLD=ROOT/'old/recursive'",
+      "old": "OLD=ROOT/'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive'"
+    },
+    {
+      "new": "RUN=ROOT/'changed/bit-native-caller'",
+      "old": "RUN=ROOT/'.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller'"
+    },
+    {
+      "new": "ROOT/'upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "old": "ROOT/'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "new": "ROOT/'upstream/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'",
+      "old": "ROOT/'integer-mult-bounds/research/e8-bit-carrier-skeleton/data/bit/bitE8-r865.json.gz'"
+    },
+    {
+      "new": "PORTABLE.equal(path,out)",
+      "old": "need(json.loads(path.read_text())==out,'complete independent receipt differs')"
+    }
+  ],
+  "frozen/reviews/observation/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": "'old/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz'",
+      "old": "'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz'"
+    },
+    {
+      "new": "PORTABLE.equal(HERE/'INDEPENDENT-RESULT.json',result)",
+      "old": "(HERE/'INDEPENDENT-RESULT.json').write_text(json.dumps(result, sort_keys=True, indent=2)+'\\n')"
+    }
+  ]
+}

research/c511-mutable-source-boundary/FROZEN-SHA256.json

@@ -0,0 +1,24 @@
+{
+  "frozen/changed/bit-native-caller/MUTABLE-ROLLING-BOUNDARY.json": "52d9be097f9aa84093db8292b25b4a59a329d5fb7776987b597944e7613e5bef",
+  "frozen/changed/bit-native-caller/MUTABLE-ROLLING-QUOTIENT.json": "2bd0d36a8f006ea56b0ead0be7239d474a8729f5eca032da9b4158a5428e3ea6",
+  "frozen/changed/bit-native-caller/MUTABLE-SOURCE-FIVE.json": "ccd6d8386223878c3a34307715ebf7236de25eeabbeaca36f9fd77d0eb1fda95",
+  "frozen/changed/bit-native-caller/MUTABLE-SOURCE.md": "8e5b4b59738df394b115e1d4d3ce38524fd9f6f84222c15b0b2979404d05dfd2",
+  "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/mutable_rolling_boundary.py": "5469c0d50ce2bbafa21e7233e703988c140c2e90f5a1b96f7761e6e477a59e35",
+  "frozen/changed/bit-native-caller/mutable_rolling_quotient.py": "58d6a16c5625fcbbcf11131a6042203f8e00afa96b59cfcfd65b1a4f1a0469aa",
+  "frozen/changed/bit-native-caller/mutable_rolling_search.py": "b35205b2313f85b06066806aac85b8cae5664e168cdb6ba489cf55453839b993",
+  "frozen/changed/bit-native-caller/mutable_source_caller.py": "10e00404944ec6607f80bc698b7bed117c31f0e100ffc3403bc8ff339590959a",
+  "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/old/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz": "ac8a6dcd5957f49eefd6fc945332b1c31afa26c48fc301d37bfb1338beea6847",
+  "frozen/reviews/native/RESULT.json": "ef67ff981f9e1c0ce178b3bc16db1a396c7fb696b6dabcf98cc97fb1014b0138",
+  "frozen/reviews/native/independent_check.py": "6c888137a6de434a748eff253164313b0cec90dd98043e76a1fedba77db26400",
+  "frozen/reviews/observation/INDEPENDENT-RESULT.json": "e1764f6492303f3ba6214a24b68301cb623ff7d2a0420e684b61fb9f2bee8adf",
+  "frozen/reviews/observation/independent_check.py": "fe46c6de63fff8039a91ffe96c3460ad4aab4153d21c499e63d2118c43b78c71",
+  "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/c511-mutable-source-boundary/ORIGINS.json

@@ -0,0 +1,134 @@
+[
+  {
+    "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": 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": 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": 7778,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/mutable_rolling_boundary.py",
+    "retained": "frozen/changed/bit-native-caller/mutable_rolling_boundary.py",
+    "sha256": "5469c0d50ce2bbafa21e7233e703988c140c2e90f5a1b96f7761e6e477a59e35"
+  },
+  {
+    "bytes": 5530,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/mutable_rolling_quotient.py",
+    "retained": "frozen/changed/bit-native-caller/mutable_rolling_quotient.py",
+    "sha256": "58d6a16c5625fcbbcf11131a6042203f8e00afa96b59cfcfd65b1a4f1a0469aa"
+  },
+  {
+    "bytes": 4782,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/mutable_rolling_search.py",
+    "retained": "frozen/changed/bit-native-caller/mutable_rolling_search.py",
+    "sha256": "b35205b2313f85b06066806aac85b8cae5664e168cdb6ba489cf55453839b993"
+  },
+  {
+    "bytes": 14815,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/mutable_source_caller.py",
+    "retained": "frozen/changed/bit-native-caller/mutable_source_caller.py",
+    "sha256": "10e00404944ec6607f80bc698b7bed117c31f0e100ffc3403bc8ff339590959a"
+  },
+  {
+    "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": 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": 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": 129639,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/MUTABLE-SOURCE-FIVE.json",
+    "retained": "frozen/changed/bit-native-caller/MUTABLE-SOURCE-FIVE.json",
+    "sha256": "ccd6d8386223878c3a34307715ebf7236de25eeabbeaca36f9fd77d0eb1fda95"
+  },
+  {
+    "bytes": 5041,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/MUTABLE-ROLLING-BOUNDARY.json",
+    "retained": "frozen/changed/bit-native-caller/MUTABLE-ROLLING-BOUNDARY.json",
+    "sha256": "52d9be097f9aa84093db8292b25b4a59a329d5fb7776987b597944e7613e5bef"
+  },
+  {
+    "bytes": 81015,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/MUTABLE-ROLLING-QUOTIENT.json",
+    "retained": "frozen/changed/bit-native-caller/MUTABLE-ROLLING-QUOTIENT.json",
+    "sha256": "2bd0d36a8f006ea56b0ead0be7239d474a8729f5eca032da9b4158a5428e3ea6"
+  },
+  {
+    "bytes": 8163,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/bit-native-caller/MUTABLE-SOURCE.md",
+    "retained": "frozen/changed/bit-native-caller/MUTABLE-SOURCE.md",
+    "sha256": "8e5b4b59738df394b115e1d4d3ce38524fd9f6f84222c15b0b2979404d05dfd2"
+  },
+  {
+    "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": 59980,
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz",
+    "retained": "frozen/old/recursive/BIT-THREE-COPY-INPUT-WORD.json.gz",
+    "sha256": "ac8a6dcd5957f49eefd6fc945332b1c31afa26c48fc301d37bfb1338beea6847"
+  },
+  {
+    "bytes": 18143,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b09-native-review/independent_check.py",
+    "retained": "frozen/reviews/native/independent_check.py",
+    "sha256": "6c888137a6de434a748eff253164313b0cec90dd98043e76a1fedba77db26400"
+  },
+  {
+    "bytes": 13072,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b09-native-review/RESULT.json",
+    "retained": "frozen/reviews/native/RESULT.json",
+    "sha256": "ef67ff981f9e1c0ce178b3bc16db1a396c7fb696b6dabcf98cc97fb1014b0138"
+  },
+  {
+    "bytes": 15902,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b09-observation-review/independent_check.py",
+    "retained": "frozen/reviews/observation/independent_check.py",
+    "sha256": "fe46c6de63fff8039a91ffe96c3460ad4aab4153d21c499e63d2118c43b78c71"
+  },
+  {
+    "bytes": 13479,
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b09-observation-review/INDEPENDENT-RESULT.json",
+    "retained": "frozen/reviews/observation/INDEPENDENT-RESULT.json",
+    "sha256": "e1764f6492303f3ba6214a24b68301cb623ff7d2a0420e684b61fb9f2bee8adf"
+  }
+]