Remove two staged544 scalar ADDs with an A2 graph identity

research/staged544-a2-graph-rewrite/.gitattributes

@@ -0,0 +1,2 @@
+inputs/*.gz -text
+vendor/SOURCE-CREDITS.md -text whitespace=cr-at-eol

research/staged544-a2-graph-rewrite/.gitignore

@@ -0,0 +1,2 @@
+__pycache__/
+*.pyc

research/staged544-a2-graph-rewrite/LEDGER.json

@@ -0,0 +1,260 @@
+{
+  "PR3945_base": {
+    "cleanup_ADD_delta": -1,
+    "coefficient_heights": {
+      "maximum_complete_words_denominator_bits": 4,
+      "maximum_complete_words_numerator_bits": 4,
+      "maximum_replacement_gates_denominator_bits": 1,
+      "maximum_replacement_gates_numerator_bits": 1
+    },
+    "fixed_all_other_top_level_fields": true,
+    "forward_ADD_delta": -1,
+    "fresh_native_phase_or_supplier_admission": false,
+    "rank_mass": 5160,
+    "recursive_children": 3549,
+    "source_head": "91f81d131252db704f945891da1ea54e29d46b8b",
+    "source_profile": {
+      "1": 2482,
+      "2": 712,
+      "3": 218,
+      "4": 109,
+      "5": 20,
+      "8": 8
+    }
+  },
+  "PR3945_extra": {
+    "cleanup_ADD_delta": -1,
+    "coefficient_heights": {
+      "maximum_complete_words_denominator_bits": 4,
+      "maximum_complete_words_numerator_bits": 4,
+      "maximum_replacement_gates_denominator_bits": 1,
+      "maximum_replacement_gates_numerator_bits": 1
+    },
+    "fixed_all_other_top_level_fields": true,
+    "forward_ADD_delta": -1,
+    "fresh_native_phase_or_supplier_admission": false,
+    "rank_mass": 5160,
+    "recursive_children": 3549,
+    "source_head": "91f81d131252db704f945891da1ea54e29d46b8b",
+    "source_profile": {
+      "1": 2482,
+      "2": 712,
+      "3": 218,
+      "4": 109,
+      "5": 20,
+      "8": 8
+    }
+  },
+  "base": {
+    "added_forward_ADDs_per_candidate": 1,
+    "additional_helpers_buffers_native_maps": 0,
+    "baseline_primitives": {
+      "A": {
+        "add": 3557,
+        "scale": 498,
+        "warp": 24
+      },
+      "B": {
+        "add": 1796,
+        "scale": 73
+      },
+      "cleanup": {
+        "add": 4633,
+        "scale": 519,
+        "warp": 72
+      },
+      "compensation": {
+        "add": 5736
+      },
+      "cut": {
+        "add": 176
+      },
+      "precondition": {
+        "add": 136,
+        "scale": 56
+      },
+      "restore": {
+        "add": 196,
+        "scale": 16
+      }
+    },
+    "baseline_profile": {
+      "1": 2440,
+      "2": 725,
+      "3": 224,
+      "4": 102,
+      "5": 20,
+      "8": 8
+    },
+    "boundary_end_sha256": "ebd6650741d3b91cd4c0c7f4c5d5aa680094654768f3c0a0342864ab79c4e5dc",
+    "boundary_start_sha256": "e82d4f3c4e35e6aaf384c90fc7cc3ed89ad939a7760ad5f06aff80a519c7353c",
+    "candidate_rank_masses": [
+      5134
+    ],
+    "candidate_recursive_children_range": [
+      3519,
+      3521
+    ],
+    "changed_B_warp_positions": "Only numerical indices shift after insertion; same ordered warp with same neighbouring scalar events.",
+    "cleanup_added_ADDs": [
+      0,
+      1
+    ],
+    "contraction_cleanup_ADD_deltas": [
+      -1
+    ],
+    "contraction_forward_ADD_delta": -1,
+    "contraction_profiles": [
+      {
+        "1": 2440,
+        "2": 725,
+        "3": 224,
+        "4": 102,
+        "5": 20,
+        "8": 8
+      }
+    ],
+    "dirty_buffers": 91,
+    "helper_roles": 408,
+    "helper_widths": {
+      "4": 26,
+      "5": 2,
+      "6": 18,
+      "7": 53,
+      "8": 96,
+      "9": 213
+    },
+    "initial_operator_corrections": 36,
+    "live_inputs": 632,
+    "maximum_complete_words_denominator_bits": 4,
+    "maximum_complete_words_numerator_bits": 4,
+    "maximum_replacement_gates_denominator_bits": 4,
+    "maximum_replacement_gates_numerator_bits": 3,
+    "native_warps": 72,
+    "new_supplier_or_kappa": false,
+    "proved": [
+      "Exact rational arbitrary-dirty three-register matrix equality for every orientation and coefficient motif",
+      "All compatible frame flags and complete chronological recursive invoice for every legal flag",
+      "Projected non-target matrix equality and literal inverse cleanup for every flag",
+      "All source free-operator symbols plus deterministic full-word sample replay",
+      "Finite primitive and scalar coefficient bounds; fixed roles, entrance/exit frames and native maps"
+    ],
+    "rank_mass": 5134,
+    "recursive_children": 3519,
+    "replaced_ADD_count": 2,
+    "replacement_ADD_count": 3,
+    "unknown": [
+      "Physical allocation/hosting and complete owner schedule after extra ADD",
+      "Fresh Gaussian/Clifford realization and phase admission",
+      "Uniform precision/stock/tape tariff and implementation cost of additional scalar primitives",
+      "All-size compiler, outer/supplier admission, analytic transfer and BIT H1-H5"
+    ],
+    "unknown_costs_are_zero": false
+  },
+  "extra": {
+    "added_forward_ADDs_per_candidate": 1,
+    "additional_helpers_buffers_native_maps": 0,
+    "baseline_primitives": {
+      "A": {
+        "add": 3557,
+        "scale": 498,
+        "warp": 24
+      },
+      "B": {
+        "add": 1796,
+        "scale": 73
+      },
+      "cleanup": {
+        "add": 4633,
+        "scale": 519,
+        "warp": 72
+      },
+      "compensation": {
+        "add": 5736
+      },
+      "cut": {
+        "add": 176
+      },
+      "precondition": {
+        "add": 136,
+        "scale": 56
+      },
+      "restore": {
+        "add": 196,
+        "scale": 16
+      }
+    },
+    "baseline_profile": {
+      "1": 2440,
+      "2": 725,
+      "3": 224,
+      "4": 102,
+      "5": 20,
+      "8": 8
+    },
+    "boundary_end_sha256": "ebd6650741d3b91cd4c0c7f4c5d5aa680094654768f3c0a0342864ab79c4e5dc",
+    "boundary_start_sha256": "e82d4f3c4e35e6aaf384c90fc7cc3ed89ad939a7760ad5f06aff80a519c7353c",
+    "candidate_rank_masses": [
+      5134
+    ],
+    "candidate_recursive_children_range": [
+      3519,
+      3521
+    ],
+    "changed_B_warp_positions": "Only numerical indices shift after insertion; same ordered warp with same neighbouring scalar events.",
+    "cleanup_added_ADDs": [
+      0,
+      1
+    ],
+    "contraction_cleanup_ADD_deltas": [
+      -1
+    ],
+    "contraction_forward_ADD_delta": -1,
+    "contraction_profiles": [
+      {
+        "1": 2440,
+        "2": 725,
+        "3": 224,
+        "4": 102,
+        "5": 20,
+        "8": 8
+      }
+    ],
+    "dirty_buffers": 91,
+    "helper_roles": 408,
+    "helper_widths": {
+      "4": 26,
+      "5": 2,
+      "6": 18,
+      "7": 53,
+      "8": 96,
+      "9": 213
+    },
+    "initial_operator_corrections": 36,
+    "live_inputs": 632,
+    "maximum_complete_words_denominator_bits": 4,
+    "maximum_complete_words_numerator_bits": 4,
+    "maximum_replacement_gates_denominator_bits": 4,
+    "maximum_replacement_gates_numerator_bits": 3,
+    "native_warps": 72,
+    "new_supplier_or_kappa": false,
+    "proved": [
+      "Exact rational arbitrary-dirty three-register matrix equality for every orientation and coefficient motif",
+      "All compatible frame flags and complete chronological recursive invoice for every legal flag",
+      "Projected non-target matrix equality and literal inverse cleanup for every flag",
+      "All source free-operator symbols plus deterministic full-word sample replay",
+      "Finite primitive and scalar coefficient bounds; fixed roles, entrance/exit frames and native maps"
+    ],
+    "rank_mass": 5134,
+    "recursive_children": 3519,
+    "replaced_ADD_count": 2,
+    "replacement_ADD_count": 3,
+    "unknown": [
+      "Physical allocation/hosting and complete owner schedule after extra ADD",
+      "Fresh Gaussian/Clifford realization and phase admission",
+      "Uniform precision/stock/tape tariff and implementation cost of additional scalar primitives",
+      "All-size compiler, outer/supplier admission, analytic transfer and BIT H1-H5"
+    ],
+    "unknown_costs_are_zero": false
+  }
+}