Verify a zero-private R429 FULL-target interface and its caller cost

research/r429-full-target-interface/ADAPTATIONS.json

@@ -0,0 +1,86 @@
+{
+  "frozen/major/bit-endpoint/bit_full_targets.py": [
+    {
+      "old": "OLD=Path('/Users/ross/git/math/.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier')",
+      "new": "OLD=PORTABLE.root/'frozen/old'"
+    },
+    {
+      "old": "RAW=Path('/Users/ross/git/math/integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz')",
+      "new": "RAW=PORTABLE.root/'frozen/upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    }
+  ],
+  "frozen/major/bit-endpoint/bit_full_compensation.py": [
+    {
+      "old": "path.write_bytes(gzip.compress(body,mtime=0))",
+      "new": "PORTABLE.word_equal(path,gzip.compress(body,mtime=0))"
+    },
+    {
+      "old": "(HERE/'BIT-FULL-COMPENSATION.json').write_text(json.dumps(out,indent=2,sort_keys=True)+'\\n')",
+      "new": "PORTABLE.equal(PORTABLE.root/'frozen/current/EXPECTED-COMPENSATION.json',out)"
+    },
+    {
+      "old": "'Every scalar ADD is at actual commonZERO or commonFULL; nine pure source-pivot totals are prepared and unprepared atFULL without retained snapshots. Actual native MOVE frames and containment are replayed on651 ordinaryroles. AllSIZE rounded/tape implementation remains a separate obligation.'",
+      "new": "'Every scalar ADD is at its actual common frame. The NEW nine-total compensation ADDs are at FULL, with source-pivot totals prepared and unprepared without retained snapshots. Inherited internal ADD/MOVE realizations remain a separate native compiler contract. Actual frame labels and containment are replayed on651 ordinary roles. All-size rounded/tape implementation remains a separate obligation.'"
+    }
+  ],
+  "frozen/major/shared-helper-algebra/bit_seeded_star.py": [
+    {
+      "old": "need(json.loads(target_path.read_bytes())==out,'stored seeded star differs')",
+      "new": "PORTABLE.equal(target_path,out)"
+    },
+    {
+      "old": "def inverse_event(e):return e # Every declared GF2 primitive here is involutive.",
+      "new": "def inverse_event(e):return e # Unused historical placeholder; new_F needs new_F_inverse as in main."
+    }
+  ],
+  "frozen/changed/budgets/seeded_star_pressure.py": [
+    {
+      "old": "ROOT = Path('/Users/ross/git/math')",
+      "new": "ROOT = PORTABLE.root / 'frozen'"
+    },
+    {
+      "old": "SOURCE = ROOT / 'integer-mult-bounds/research/bit-r438-transport-rehost/verify_rehost.py'",
+      "new": "SOURCE = ROOT / 'upstream/research/bit-r438-transport-rehost/verify_rehost.py'"
+    },
+    {
+      "old": "need(json.loads(target.read_text()) == out, 'stored exact receipt mismatch')",
+      "new": "PORTABLE.equal(target,out)"
+    }
+  ],
+  "frozen/reviews/native/independent_check.py": [
+    {
+      "old": "RUN=ROOT/'.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint'",
+      "new": "RUN=PORTABLE.root/'frozen/major/bit-endpoint'"
+    },
+    {
+      "old": "OLD=ROOT/'.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier'",
+      "new": "OLD=PORTABLE.root/'frozen/old'"
+    },
+    {
+      "old": "ROOT/'integer-mult-bounds/research/bit-r438-transport-rehost/words/r438-t154.json.gz'",
+      "new": "PORTABLE.root/'frozen/upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz'"
+    },
+    {
+      "old": "need(json.loads(path.read_text())==out,'independent complete receipt differs')",
+      "new": "PORTABLE.equal(path,out)"
+    }
+  ],
+  "frozen/reviews/caller/independent_check.py": [
+    {
+      "old": "RUN = BASE / '.research-automation/runs/kappa-major-20261018T1330Z'",
+      "new": "RUN = PORTABLE.root / 'frozen/major'"
+    },
+    {
+      "old": "PRESSURE = BASE / '.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/budgets/SEEDED-STAR-PRESSURE.json'",
+      "new": "PRESSURE = PORTABLE.root / 'frozen/changed/budgets/SEEDED-STAR-PRESSURE.json'"
+    },
+    {
+      "old": "SOURCE = BASE / 'integer-mult-bounds/research/bit-r438-transport-rehost/verify_rehost.py'",
+      "new": "SOURCE = PORTABLE.root / 'frozen/upstream/research/bit-r438-transport-rehost/verify_rehost.py'"
+    },
+    {
+      "old": "(HERE / 'INDEPENDENT-RESULT.json').write_text(json.dumps(result, sort_keys=True, indent=2) + '\\n')",
+      "new": "PORTABLE.equal(HERE / 'INDEPENDENT-RESULT.json',result)"
+    }
+  ]
+}

research/r429-full-target-interface/FROZEN-SHA256.json

@@ -0,0 +1,21 @@
+{
+  "frozen/changed/budgets/SEEDED-STAR-PRESSURE.json": "79c809a3c043695979a3aea75915f4cfd209e44f8b45d003113af0d2711c7595",
+  "frozen/changed/budgets/SEEDED-STAR-PRESSURE.md": "a9e5e3141b42b8b4e5a7280d75eb19a8efb3432628c6a47219430ffbab76b636",
+  "frozen/changed/budgets/seeded_star_pressure.py": "4f30a066aca23f05fe989674474c3f754e45a824c2190638f96dd2a3f4aa021b",
+  "frozen/current/EXPECTED-COMPENSATION.json": "497057b82d14976696f1c48f823fa7e346f44cffec98daace9edfd5ad11cc2db",
+  "frozen/major/bit-endpoint/BIT-FULL-COMPENSATION-WORD.json.gz": "0f461dbc7e82a02faedb4a5129103963507c9f063a0a3679ba5d20ad94df160e",
+  "frozen/major/bit-endpoint/BIT-FULL-COMPENSATION.json": "1ee06005d3b82ff592640d9aa4be2021b6de0a0b27fba5723aa06c36a6adbd20",
+  "frozen/major/bit-endpoint/bit_full_compensation.py": "a7bda83b84ab15a75c418225e3d5c2fda8eded8577a894341225f757e6ea7e20",
+  "frozen/major/bit-endpoint/bit_full_targets.py": "7446290e462752b76b9461696b7676c8295739aba1b79eea0d77925f5f9a3869",
+  "frozen/major/shared-helper-algebra/BIT-SEEDED-STAR.json": "e0fc9ea3dd2e74222b5ec0954a85b02960fac402453d69b9147847452d2ad86b",
+  "frozen/major/shared-helper-algebra/bit_seeded_star.py": "91d3bbebfad36836b48949a2d231afd3eb8dd46f0443d45f7e19ff9779468347",
+  "frozen/old/recursive/bit_cap_copy_local.py": "6e9ca1eb905d769716c009904f45d6849b225e48cd119f18b50c0379f35313cb",
+  "frozen/old/recursive/bit_signed_audit.py": "376356696663021693c0e2c9adf37f371675fe8837fb88232b8767a8b90793e8",
+  "frozen/old/root-pruned-code/BIT-PRUNED-WORD.json.gz": "1a6841fccba51fa922993c77b4b296e659c2c538252e5e06113d0438c5edb870",
+  "frozen/reviews/caller/INDEPENDENT-RESULT.json": "9f3ebb90bd857aa172955e6034c71be683f444f4408824cf3d20cbce4a0ada81",
+  "frozen/reviews/caller/independent_check.py": "29e3b5aaf45abb9a7de56971d91fa7355279abbc6303e4ced2ae1c8f62fb0e31",
+  "frozen/reviews/native/RESULT.json": "82c254f089c5976431b78365c94620076e6aaf60074c7d13b21f45019620bf1b",
+  "frozen/reviews/native/independent_check.py": "ec504374a6b75aa84633d2a20309b48cbcbb36bd5aa00c11d0c1bc837d489ce7",
+  "frozen/upstream/research/bit-r438-transport-rehost/verify_rehost.py": "4774841de10a8386204519174c5e56eb14f5852b20058db38a65a1034eeba275",
+  "frozen/upstream/research/bit-r438-transport-rehost/words/r438-t154.json.gz": "a353999bceac4ac957f540adfd3e5f8768297138b27132eeb83332e2ea4b1022"
+}

research/r429-full-target-interface/ORIGINS.json

@@ -0,0 +1,117 @@
+[
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/root-pruned-code/BIT-PRUNED-WORD.json.gz",
+    "retained": "frozen/old/root-pruned-code/BIT-PRUNED-WORD.json.gz",
+    "sha256": "1a6841fccba51fa922993c77b4b296e659c2c538252e5e06113d0438c5edb870",
+    "bytes": 59514
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/bit_cap_copy_local.py",
+    "retained": "frozen/old/recursive/bit_cap_copy_local.py",
+    "sha256": "6e9ca1eb905d769716c009904f45d6849b225e48cd119f18b50c0379f35313cb",
+    "bytes": 7588
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-3605-successor-20261018T0940Z/major-frontier/recursive/bit_signed_audit.py",
+    "retained": "frozen/old/recursive/bit_signed_audit.py",
+    "sha256": "376356696663021693c0e2c9adf37f371675fe8837fb88232b8767a8b90793e8",
+    "bytes": 11946
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/bit_full_compensation.py",
+    "retained": "frozen/major/bit-endpoint/bit_full_compensation.py",
+    "sha256": "a7bda83b84ab15a75c418225e3d5c2fda8eded8577a894341225f757e6ea7e20",
+    "bytes": 8366
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/bit_full_targets.py",
+    "retained": "frozen/major/bit-endpoint/bit_full_targets.py",
+    "sha256": "7446290e462752b76b9461696b7676c8295739aba1b79eea0d77925f5f9a3869",
+    "bytes": 8762
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/BIT-FULL-COMPENSATION.json",
+    "retained": "frozen/major/bit-endpoint/BIT-FULL-COMPENSATION.json",
+    "sha256": "1ee06005d3b82ff592640d9aa4be2021b6de0a0b27fba5723aa06c36a6adbd20",
+    "bytes": 49165
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/bit-endpoint/BIT-FULL-COMPENSATION-WORD.json.gz",
+    "retained": "frozen/major/bit-endpoint/BIT-FULL-COMPENSATION-WORD.json.gz",
+    "sha256": "0f461dbc7e82a02faedb4a5129103963507c9f063a0a3679ba5d20ad94df160e",
+    "bytes": 57926
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/shared-helper-algebra/bit_seeded_star.py",
+    "retained": "frozen/major/shared-helper-algebra/bit_seeded_star.py",
+    "sha256": "91d3bbebfad36836b48949a2d231afd3eb8dd46f0443d45f7e19ff9779468347",
+    "bytes": 6317
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-major-20261018T1330Z/shared-helper-algebra/BIT-SEEDED-STAR.json",
+    "retained": "frozen/major/shared-helper-algebra/BIT-SEEDED-STAR.json",
+    "sha256": "e0fc9ea3dd2e74222b5ec0954a85b02960fac402453d69b9147847452d2ad86b",
+    "bytes": 20344
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/budgets/seeded_star_pressure.py",
+    "retained": "frozen/changed/budgets/seeded_star_pressure.py",
+    "sha256": "4f30a066aca23f05fe989674474c3f754e45a824c2190638f96dd2a3f4aa021b",
+    "bytes": 4774
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/budgets/SEEDED-STAR-PRESSURE.json",
+    "retained": "frozen/changed/budgets/SEEDED-STAR-PRESSURE.json",
+    "sha256": "79c809a3c043695979a3aea75915f4cfd209e44f8b45d003113af0d2711c7595",
+    "bytes": 2143
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/kappa-changed-endpoints-20261019T0153Z/budgets/SEEDED-STAR-PRESSURE.md",
+    "retained": "frozen/changed/budgets/SEEDED-STAR-PRESSURE.md",
+    "sha256": "a9e5e3141b42b8b4e5a7280d75eb19a8efb3432628c6a47219430ffbab76b636",
+    "bytes": 2272
+  },
+  {
+    "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": 42305
+  },
+  {
+    "original": "/Users/ross/git/math/integer-mult-bounds/research/bit-r438-transport-rehost/verify_rehost.py",
+    "retained": "frozen/upstream/research/bit-r438-transport-rehost/verify_rehost.py",
+    "sha256": "4774841de10a8386204519174c5e56eb14f5852b20058db38a65a1034eeba275",
+    "bytes": 44048
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b05-corrections/EXPECTED-COMPENSATION.json",
+    "retained": "frozen/current/EXPECTED-COMPENSATION.json",
+    "sha256": "497057b82d14976696f1c48f823fa7e346f44cffec98daace9edfd5ad11cc2db",
+    "bytes": 49272,
+    "derivation": "Historical receipt with only allsize_lift prose corrected; verify.py enforces the exact one-field change."
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b05-native-review/independent_check.py",
+    "retained": "frozen/reviews/native/independent_check.py",
+    "sha256": "ec504374a6b75aa84633d2a20309b48cbcbb36bd5aa00c11d0c1bc837d489ce7",
+    "bytes": 17199
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b05-native-review/RESULT.json",
+    "retained": "frozen/reviews/native/RESULT.json",
+    "sha256": "82c254f089c5976431b78365c94620076e6aaf60074c7d13b21f45019620bf1b",
+    "bytes": 21321
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b05-caller-review/independent_check.py",
+    "retained": "frozen/reviews/caller/independent_check.py",
+    "sha256": "29e3b5aaf45abb9a7de56971d91fa7355279abbc6303e4ced2ae1c8f62fb0e31",
+    "bytes": 12286
+  },
+  {
+    "original": "/Users/ross/git/math/.research-automation/runs/unpublished-contributions-20261019T0916Z/b05-caller-review/INDEPENDENT-RESULT.json",
+    "retained": "frozen/reviews/caller/INDEPENDENT-RESULT.json",
+    "sha256": "9f3ebb90bd857aa172955e6034c71be683f444f4408824cf3d20cbce4a0ada81",
+    "bytes": 4025
+  }
+]