Research construction: shorten historical R480 quad 1 by 12 XORs (no new kappa)

research/r480-quad-seed1/CLAIM.json

@@ -0,0 +1,39 @@
+{
+  "alternatives_considered": [
+    "R489 cleanup synthesis",
+    "R420 block factorization"
+  ],
+  "assignment_seed": 1,
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "coordination": "Open-issue and sprint searches found only issue 650 (discussion request), no pinned sprint coordination issue. Local claim used; no reservation issue created.",
+  "domain": "At most the 60 phase-A quad blocks, cyclic order starting with seed modulo 60; stop at first certified strict improvement or time budget.",
+  "expected_deliverable": "One finite circuit construction or scoped negative search receipt with exact replay, source pins and rejection controls; no kappa claim.",
+  "expected_finish": "2026-10-13T14:42:00+08:00",
+  "method": "Bounded exact positive-integer row-subtraction resynthesis, preserving each full dirty-input transfer matrix and requiring entrywise nonincrease of the reverse nonnegative transfer; same wires and frame, literal reverse cleanup.",
+  "object": "PR503/PR510 historical R480 phase-A quad circuits, starting at quad index 1",
+  "overlap_context": [
+    503,
+    510,
+    691,
+    754,
+    789,
+    790,
+    810
+  ],
+  "result_update": {
+    "compare_url": "https://github.com/CrocSwap/integer-mult-bounds/compare/main...FanPUYen:integer-mult-bounds:research/r480-quad-seed1?expand=1",
+    "finished_utc": "2026-10-13T06:21:58.761574+00:00",
+    "latest_overlap_pr": 816,
+    "published_branch": "https://github.com/FanPUYen/integer-mult-bounds/tree/research/r480-quad-seed1/research/r480-quad-seed1",
+    "pull_request": null,
+    "refreshed_main": "7ee02b7c96d85f22b38d28bd7ed49bb8c1aeb261",
+    "result": "R480 quad1 18->12 XORs; complete word33958->33946; exact720-column and native5/9/11-stage checks pass; paid profile unchanged; no new kappa",
+    "status": "completed finite construction; branch published; PR creation blocked by integration permission",
+    "submission_error": "GitHub create_pull_request returned403 Resource not accessible by integration; no PR created"
+  },
+  "seed_source": "Python secrets.randbelow(100), operating-system randomness",
+  "selection_reason": "R420 is heavily covered by current PRs. Searches for R480 and quad identify historical boundary verification but no R480 quad resynthesis.",
+  "started_utc": "2026-10-13T06:01:47Z",
+  "track": "bit supplier",
+  "verification_reserved_from": "2026-10-13T14:32:00+08:00"
+}

research/r480-quad-seed1/EXPECTED.json

@@ -0,0 +1,89 @@
+{
+  "base_commit": "66849e1475c930fd7732b1a0067ffee7e1e95f60",
+  "baseline": {
+    "cost": {
+      "paid_histogram": {
+        "1": 1200,
+        "2": 1440,
+        "4": 180,
+        "6": 120,
+        "8": 9
+      },
+      "rank_mass": 5592,
+      "total_xors": 33958,
+      "xor_by_phase": {
+        "A": 3246,
+        "B": 600,
+        "C": 3246,
+        "D": 26298,
+        "scatter": 568
+      }
+    },
+    "scalar": {
+      "columns": 720,
+      "raw_norm_sha256": "9e7d4add1470f34ce42df44fc735d08eab1259ab07d52fbb2af42c04905070d1",
+      "unsigned_raw_peak": 176135
+    }
+  },
+  "candidate": {
+    "cost": {
+      "paid_histogram": {
+        "1": 1200,
+        "2": 1440,
+        "4": 180,
+        "6": 120,
+        "8": 9
+      },
+      "rank_mass": 5592,
+      "total_xors": 33946,
+      "xor_by_phase": {
+        "A": 3240,
+        "B": 600,
+        "C": 3240,
+        "D": 26298,
+        "scatter": 568
+      }
+    },
+    "scalar": {
+      "columns": 720,
+      "raw_norm_sha256": "1ffb4b096c8adb690c0cda1d8d331d83cc1ca92a7ff52c6d64802ed32cc7542a",
+      "unsigned_raw_peak": 176135
+    }
+  },
+  "candidate_content_sha256": "16f8f177f622a507b0f817df3e7b1e49212d3a3e0cb92348ef24e790e890712f",
+  "frame_paths_sha256": "2b384919c4b79258e608ceac2f71a9fa44d47d1b9e65c8fb55413de0388fd71a",
+  "negative_controls": [
+    "omit_quad_gate_0",
+    "omit_quad_gate_1",
+    "omit_quad_gate_2",
+    "omit_quad_gate_3",
+    "omit_quad_gate_4",
+    "omit_quad_gate_5",
+    "omit_quad_gate_6",
+    "omit_quad_gate_7",
+    "omit_quad_gate_8",
+    "omit_quad_gate_9",
+    "omit_quad_gate_10",
+    "omit_quad_gate_11",
+    "reverse_gate_order",
+    "boolean_as_integer",
+    "false_reverse_certificate",
+    "missing_cleanup_structure",
+    "missing_cleanup_dirt",
+    "missing_dirty_compensation",
+    "frame_zero_substitution",
+    "missing_scatter_read"
+  ],
+  "quad": {
+    "frame": 303,
+    "index": 1,
+    "new_gates": 12,
+    "old_gates": 18,
+    "rational_rank": 4,
+    "reverse_strict_entries": 13
+  },
+  "recipe_sha256": "76fb68793429a724335cfb8ec99fc6969a804bce5d1313ba2bef6a07cd96ba35",
+  "scope": "Finite circuit construction; unchanged paid profile; no new kappa or all-size proof.",
+  "source_word_sha256": "92e399e9a486b55229b5624632ac54f800dd9e022f2aee97f1e5f264bbc0ef5c",
+  "status": "PASS_R480_QUAD_SEED1"
+}

research/r480-quad-seed1/NATIVE-EXPECTED.json

@@ -0,0 +1,228 @@
+{
+  "baseline": {
+    "gram_frames": 672,
+    "gram_prime_witnesses": [
+      2
+    ],
+    "interface": {
+      "cleanup_gates": 2708,
+      "cleanup_source_gates": 577,
+      "phase_B_reads_of_sources": 120,
+      "source_destination_gates_A": 577,
+      "source_write_frame_dims": {
+        "4": 577
+      },
+      "sources_rewritten": 117,
+      "status": "PASS_PR425_INTERFACE_HYPOTHESES"
+    },
+    "legality": {
+      "common_frame_ADDs": 33958,
+      "copies": 9,
+      "erasures": 9,
+      "nested_MOVEs": 2940,
+      "paid_histogram": [
+        [
+          1,
+          1200
+        ],
+        [
+          2,
+          1440
+        ],
+        [
+          4,
+          180
+        ],
+        [
+          6,
+          120
+        ],
+        [
+          8,
+          9
+        ]
+      ],
+      "rank_mass": 5592,
+      "records": 36916
+    },
+    "local_columns": 720,
+    "local_invoice": {
+      "local_raw_H": [
+        [
+          1,
+          1200
+        ],
+        [
+          2,
+          1440
+        ],
+        [
+          4,
+          180
+        ],
+        [
+          6,
+          120
+        ],
+        [
+          8,
+          9
+        ]
+      ],
+      "local_scalar_additions": 33958,
+      "payload_prefix_bits": 102,
+      "payload_prefix_upper": "4921056267806722187755121024000",
+      "signed_lift_prefix": [
+        {
+          "bits": 18,
+          "cancellation_free_signed_row_l1_upper": "176135",
+          "reverse": false
+        },
+        {
+          "bits": 22,
+          "cancellation_free_signed_row_l1_upper": "3751204",
+          "reverse": true
+        }
+      ]
+    },
+    "negative_controls": {
+      "interface": 2,
+      "record_generic": 6,
+      "record_mutable_source": 3,
+      "word_generic": 6,
+      "word_mutable_source": 5
+    },
+    "stages": {
+      "eleven": {
+        "bridge_additions": 2880,
+        "formal_columns_checked": 1680,
+        "omitted_bridge_controls_rejected": 24
+      },
+      "five": {
+        "bridge_additions": 720,
+        "formal_columns_checked": 960,
+        "omitted_bridge_controls_rejected": 6
+      },
+      "nine": {
+        "bridge_additions": 2160,
+        "formal_columns_checked": 1440,
+        "omitted_bridge_controls_rejected": 18
+      }
+    },
+    "word_content_sha256": "8639e22008c24a5690dd250eba702fe5fca85ddd036dcbec20baba77b7e213ba"
+  },
+  "candidate": {
+    "gram_frames": 672,
+    "gram_prime_witnesses": [
+      2
+    ],
+    "interface": {
+      "cleanup_gates": 2702,
+      "cleanup_source_gates": 577,
+      "phase_B_reads_of_sources": 120,
+      "source_destination_gates_A": 577,
+      "source_write_frame_dims": {
+        "4": 577
+      },
+      "sources_rewritten": 117,
+      "status": "PASS_PR425_INTERFACE_HYPOTHESES"
+    },
+    "legality": {
+      "common_frame_ADDs": 33946,
+      "copies": 9,
+      "erasures": 9,
+      "nested_MOVEs": 2940,
+      "paid_histogram": [
+        [
+          1,
+          1200
+        ],
+        [
+          2,
+          1440
+        ],
+        [
+          4,
+          180
+        ],
+        [
+          6,
+          120
+        ],
+        [
+          8,
+          9
+        ]
+      ],
+      "rank_mass": 5592,
+      "records": 36904
+    },
+    "local_columns": 720,
+    "local_invoice": {
+      "local_raw_H": [
+        [
+          1,
+          1200
+        ],
+        [
+          2,
+          1440
+        ],
+        [
+          4,
+          180
+        ],
+        [
+          6,
+          120
+        ],
+        [
+          8,
+          9
+        ]
+      ],
+      "local_scalar_additions": 33946,
+      "payload_prefix_bits": 102,
+      "payload_prefix_upper": "4920888351098140423688534400000",
+      "signed_lift_prefix": [
+        {
+          "bits": 18,
+          "cancellation_free_signed_row_l1_upper": "176135",
+          "reverse": false
+        },
+        {
+          "bits": 22,
+          "cancellation_free_signed_row_l1_upper": "3751140",
+          "reverse": true
+        }
+      ]
+    },
+    "negative_controls": {
+      "interface": 2,
+      "record_generic": 6,
+      "record_mutable_source": 3,
+      "word_generic": 6,
+      "word_mutable_source": 5
+    },
+    "stages": {
+      "eleven": {
+        "bridge_additions": 2880,
+        "formal_columns_checked": 1680,
+        "omitted_bridge_controls_rejected": 24
+      },
+      "five": {
+        "bridge_additions": 720,
+        "formal_columns_checked": 960,
+        "omitted_bridge_controls_rejected": 6
+      },
+      "nine": {
+        "bridge_additions": 2160,
+        "formal_columns_checked": 1440,
+        "omitted_bridge_controls_rejected": 18
+      }
+    },
+    "word_content_sha256": "16f8f177f622a507b0f817df3e7b1e49212d3a3e0cb92348ef24e790e890712f"
+  },
+  "inherited_manifest_sha256": "7f25c41d0400ef5adf763eae6e166003a9b59e5a655b860c04b052f6731c7297",
+  "status": "PASS_R480_QUAD_SEED1_NATIVE_LOCAL_REPLAY"
+}