Tooling: fuse exact dyadic updates for a 1.45–1.50x faster PR799 audit

research/scalar-fused-dyadic/CLAIM.json

@@ -0,0 +1,93 @@
+{
+  "assignment_seed": 93,
+  "drawn_at_utc": "2026-10-13T07:00:01.830499+00:00",
+  "claimed_at_utc": "2026-10-13T07:05:26.024948+00:00",
+  "track": "verification engineering",
+  "base_commit": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+  "base_tree": "ef55c5f52efe7a935efabb9de4cc00c8032def1c",
+  "candidate_selection": "93 modulo 3 = 0",
+  "candidates": [
+    {
+      "object": "PR799 independent scalar/frame/cone auditor",
+      "method": "Fuse y+q*x in the dyadic sparse-row loop, retaining Fraction values and every original check",
+      "chosen": true
+    },
+    {
+      "object": "Repeated exact transcendental interval arithmetic",
+      "method": "Integer interval and evaluation reuse",
+      "chosen": false,
+      "reason": "PR667/672 already implement these kernels; avoid duplicate work"
+    },
+    {
+      "object": "Large replay archive validation memory",
+      "method": "Streaming source admission",
+      "chosen": false,
+      "reason": "PR721 already integrated a streaming ZIP/source admission approach"
+    }
+  ],
+  "scope": "Source-pinned opt-in scalar apply adapter. Preserve all native geometry, forward/dual columns, compensation, frame, cone and parent-interface checks. Compare complete reports and mutations; benchmark alternating complete processes on the same fixed word.",
+  "hypothesis": "A dyadic fused multiply-add needs one Fraction construction/normalization instead of a multiply and an add plus repeated zero construction.",
+  "expected_deliverable": "Exact kernel, source-bound adapter, full differential checker, arithmetic/adverse controls and raw benchmark samples",
+  "stopping_rule": "One fused-kernel pilot; retain only if complete audit timing improves without changing any proof-relevant receipt or rejection. No search or mathematical parameter change.",
+  "expected_finish": "Approximately 90 minutes from claim, final quarter reserved for validation and handoff",
+  "coordination": "No sprint coordination issue in the previous and current non-PR issue checks; local claim per gist.",
+  "open_pr_count": 636,
+  "related_prs": {
+    "833": {
+      "title": "Tooling: prune signed-sparse coefficient enumeration with exact stream equivalence",
+      "head": "fb82f10732f051541f9a9a734fd6e2b13fe49aa1",
+      "author": "anudeepadi"
+    },
+    "824": {
+      "title": "Tooling: 1.13x faster exact stage-pair audit with identical receipts",
+      "head": "2b342526350a3c36936feb7f3f50669fad2770b1",
+      "author": "navinor"
+    },
+    "778": {
+      "title": "Tooling: 2.09x faster exact single-intersection Gram replay",
+      "head": "f015b04c74801fa330f818d178e809c760fb5469",
+      "author": "merramil"
+    },
+    "752": {
+      "title": "Tooling: accelerate exact quadratic-affine witness replay",
+      "head": "3603d8d9184995ae1cc67c0f5e01f02f3a1d634e",
+      "author": "Curtis-D"
+    },
+    "736": {
+      "title": "Tooling: skip exact zero row updates in cyclic-inverse replay",
+      "head": "eccc3b74767848eb6746f39412d57df6c9544b5d",
+      "author": "thakrarsagar"
+    },
+    "672": {
+      "title": "Tooling: exact integer exponential intervals with pinned replay evidence",
+      "head": "7519539e28eaa59f6cb1ebc7a83413ade5521afa",
+      "author": "steph4n-gh"
+    },
+    "667": {
+      "title": "[Tooling] Exact integer-Horner logarithm intervals with pinned equivalence tests",
+      "head": "8d6ffc19ca56af24d8bd525b6c3133842741b766",
+      "author": "yuj1r0"
+    }
+  },
+  "status": "submitted",
+  "final_overlap_check": {
+    "at_utc": "2026-10-13T07:24:56.554307+00:00",
+    "open_pr_count": 641,
+    "latest_number": 844
+  },
+  "result": {
+    "complete_native_updates_compared": 70765,
+    "native_columns": 728,
+    "negative_word_controls": 15,
+    "arithmetic_cases": 810,
+    "scalar_prefixes": 10240,
+    "tests": 9,
+    "benchmark_rounds_per_interpreter": 5,
+    "wall_speedup_python312": 1.4960781522533049,
+    "wall_speedup_python314": 1.4504239677496398,
+    "kappa": "unchanged",
+    "pr_url": "https://github.com/CrocSwap/integer-mult-bounds/pull/849"
+  },
+  "validated_at_utc": "2026-10-13T07:28:36.440376+00:00",
+  "submitted_at_utc": "2026-10-13T07:32:04.292564+00:00"
+}

research/scalar-fused-dyadic/EXPECTED.json

@@ -0,0 +1,228 @@
+{
+  "arithmetic": {
+    "complete_state_prefixes": 10240,
+    "fused_cases": 810,
+    "invalid_gate_controls": 3,
+    "seed": 93
+  },
+  "base_commit": "f567884aeb8851b6e794af1184119a3bfbe1e631",
+  "complete_report": {
+    "R": 504,
+    "checked_columns": 728,
+    "coldends": 72,
+    "compensation_gates": 6320,
+    "compressed_sha256": "0841ef246eea89d612342d80ae503eda573626d99b92ce0c3f94225b6e00d3d9",
+    "content_sha256": "1e1d99ba7aab877d6b573c41f7030ee73de9a52fee51d0a822ddaae71251999f",
+    "entering": 216,
+    "h": 9,
+    "input_file": "FULL-WORD.json.gz",
+    "local_profile": {
+      "1": 2548,
+      "2": 338,
+      "3": 430,
+      "4": 194,
+      "5": 56,
+      "8": 8
+    },
+    "lowends": 126,
+    "parent_center_interface": {
+      "all_ports_match": true,
+      "ordered_frame_bases": [
+        [
+          256,
+          128,
+          64,
+          34,
+          16,
+          10,
+          4,
+          1
+        ],
+        [
+          256,
+          128,
+          64,
+          32,
+          16,
+          8,
+          5,
+          3
+        ],
+        [
+          256,
+          128,
+          64,
+          32,
+          17,
+          9,
+          4,
+          2
+        ],
+        [
+          256,
+          128,
+          64,
+          36,
+          20,
+          8,
+          2,
+          1
+        ],
+        [
+          256,
+          128,
+          66,
+          32,
+          18,
+          8,
+          4,
+          1
+        ],
+        [
+          256,
+          128,
+          65,
+          33,
+          17,
+          9,
+          5,
+          3
+        ],
+        [
+          256,
+          128,
+          65,
+          33,
+          16,
+          8,
+          4,
+          2
+        ],
+        [
+          256,
+          128,
+          68,
+          32,
+          16,
+          12,
+          2,
+          1
+        ]
+      ],
+      "ordered_frame_bases_match": true,
+      "parent_file_sha256": "66d3c3c70983224650643a0a05a21ac6c6959f84d0f4528650601016f5a76844",
+      "parent_path": "research/community-k492-audit/pr622/replay/baseline558/complex-global/base/split-centres/CANONICAL-WORD.json.gz",
+      "source_centers": [
+        92,
+        57,
+        81,
+        11,
+        9
+      ],
+      "transport_tau": 43,
+      "transported_centers": [
+        92,
+        57,
+        81,
+        224,
+        11,
+        240,
+        9,
+        256
+      ]
+    },
+    "scope": "Exact rational full scalar map in both orientations; all literal native frame chains, center levels, dyadic units, entrance-zero response, wrapper exclusion and final helper row/column cones. No global owner admission or exponent repricing.",
+    "status": "PASS_INDEPENDENT_EXACT_FORWARD_AND_DUAL_ENDPOINT_FRAMES_ENTRANCES_CONES",
+    "v": 112,
+    "width_inventory": {
+      "4": 80,
+      "5": 32,
+      "7": 54,
+      "8": 122,
+      "9": 216
+    }
+  },
+  "gzip_positive_control": true,
+  "native_trace": {
+    "all_actual_updates": 70765,
+    "all_sources_unchanged": true,
+    "exact_updated_row_stream_sha256": "f15681c6fe13d5a0d44e2f0a677fa1659c8e37dde1db591be1ea78e82781bf5c"
+  },
+  "negative_controls": {
+    "bad_center_frame": {
+      "accepted": false,
+      "error": "ordered centre frame interface",
+      "error_type": "RuntimeError"
+    },
+    "duplicate_early_cleanup": {
+      "accepted": false,
+      "error": "duplicate early cleanup gate",
+      "error_type": "RuntimeError"
+    },
+    "foreign_register": {
+      "accepted": false,
+      "error": "register out of range",
+      "error_type": "RuntimeError"
+    },
+    "invalid_parent_ports": {
+      "accepted": false,
+      "error": "transported source/target ports",
+      "error_type": "RuntimeError"
+    },
+    "missing_cleanup": {
+      "accepted": false,
+      "error": "all-column endpoint failure (False, [684])",
+      "error_type": "RuntimeError"
+    },
+    "missing_precondition": {
+      "accepted": false,
+      "error": "all-column endpoint failure (False, [161, 162])",
+      "error_type": "RuntimeError"
+    },
+    "non_dyadic": {
+      "accepted": false,
+      "error": "non-dyadic scalar",
+      "error_type": "RuntimeError"
+    },
+    "non_unit_scale": {
+      "accepted": false,
+      "error": "non-unit scale",
+      "error_type": "RuntimeError"
+    },
+    "self_add": {
+      "accepted": false,
+      "error": "self add",
+      "error_type": "RuntimeError"
+    },
+    "wrong_coefficient": {
+      "accepted": false,
+      "error": "pre-wrapper touch of residual helper",
+      "error_type": "RuntimeError"
+    },
+    "wrong_geometry": {
+      "accepted": false,
+      "error": "wrong source geometry",
+      "error_type": "RuntimeError"
+    },
+    "wrong_paid_profile": {
+      "accepted": false,
+      "error": "paid profile mismatch",
+      "error_type": "RuntimeError"
+    },
+    "wrong_width_inventory": {
+      "accepted": false,
+      "error": "width inventory mismatch",
+      "error_type": "RuntimeError"
+    },
+    "zero_gate_frame": {
+      "accepted": false,
+      "error": "frame not monotone (256, (256, 128, 65, 33, 16, 8, 5, 3), ())",
+      "error_type": "RuntimeError"
+    },
+    "zero_scale": {
+      "accepted": false,
+      "error": "zero scale",
+      "error_type": "RuntimeError"
+    }
+  }
+}