Research construction: R420 target-basis compensation saves 7,879 XORs within the existing 192-bit nine-stage prefix charge (no new κ)

research/r420-target-compensation/CERTIFICATE.json

@@ -0,0 +1,79 @@
+{
+  "status": "PASS_R420_TARGET_COMPENSATION",
+  "original_word_sha256": "e597e3885c0a8daa262afa5985ee2930443329126aece76d33159d81882bdcc2",
+  "word_sha256": "f40efc3d8ac7437324ea23b777c89c82f0d41e3e9009fceb5a495612f148aaf5",
+  "basis_operations": 205,
+  "helper_injections": 11633,
+  "reduced_matrix_sha256": "1b14e9cafe164d20f1d89723ea3b404008b45bdbd32962920c77c6a2c85d191f",
+  "D_boundary_sha256": "4c62fc7593da47d45e906658c9750771146ce624fa3cddc88552027181449c5e",
+  "labels": {
+    "labels": 120,
+    "lattice_rank": 8,
+    "gram_det": 1,
+    "frames": 672
+  },
+  "native_columns": [
+    660,
+    660
+  ],
+  "separate_column_walk_forward_reverse": [
+    660,
+    660
+  ],
+  "original_bill": {
+    "D_adds": 19922,
+    "total_adds": 26916,
+    "forward": 144651,
+    "reverse": 2270064,
+    "five_stage_prefix": "998206739997057013039187410944",
+    "five_stage_bits": 100,
+    "nine_stage_prefix": "440858815560454746902811617646181283465263876766227759104",
+    "nine_stage_bits": 189,
+    "charged_nine_stage_bits": 192
+  },
+  "candidate_bill": {
+    "D_adds": 12043,
+    "total_adds": 19037,
+    "forward": 144651,
+    "reverse": 4409580,
+    "five_stage_prefix": "3766506725834174621276259609600",
+    "five_stage_bits": 102,
+    "nine_stage_prefix": "6276767299280756808558449610647393916158564399044362240000",
+    "nine_stage_bits": 192,
+    "charged_nine_stage_bits": 192
+  },
+  "geometry": {
+    "frame_paths_sha256": "ef52add0118de86406ed3c58d6ff53b06b127c05238895b475181e55b98021ca",
+    "moves": 2940,
+    "copies": 9,
+    "erasures": 9,
+    "helpers": 420,
+    "paid_profile": {
+      "1": 1320,
+      "2": 1440,
+      "4": 60,
+      "5": 120,
+      "8": 9
+    },
+    "rank_mass": 5112
+  },
+  "saved_local_adds": 7879,
+  "saved_9_stage_32_replica_adds": 2269152,
+  "old_gate_local_H2_accepts": false,
+  "replacement_D_boundary_accepts": true,
+  "negative_controls": [
+    "omit one entrance basis gate",
+    "omit one exit basis gate",
+    "apply exit basis in forward order",
+    "omit all entrance basis gates (zero targets would miss this)",
+    "inject K instead of E K",
+    "omit one dirty-helper injection",
+    "basis operation at full frame",
+    "read a source at frame zero",
+    "self XOR",
+    "write a helper",
+    "F2-neutral pair exceeds the prefix allowance",
+    "basis recipe uses an extra register",
+    "incorrect immutable source pin"
+  ]
+}

research/r420-target-compensation/HOSTED-CERTIFICATE.json

@@ -0,0 +1,130 @@
+{
+  "status": "PASS_R420_TARGET_COMPENSATION_HOSTED",
+  "word_sha256": "f40efc3d8ac7437324ea23b777c89c82f0d41e3e9009fceb5a495612f148aaf5",
+  "local_adds": 19037,
+  "local_records": 21995,
+  "local_rank_mass": 5112,
+  "five_stage_columns": 900,
+  "nine_stage_columns": 1380,
+  "nine_stage_bridge_controls": 18,
+  "record_controls": [
+    "omit-basis-add",
+    "omit-helper-add",
+    "omit-copy",
+    "understated-move"
+  ],
+  "parent_mutations_rejected": [
+    "omit an idle child",
+    "omit a bridge",
+    "omit terminal exchange",
+    "remove a local invocation",
+    "understate live stock",
+    "omit a local paid move",
+    "wrong reflected copy charge",
+    "alter residual orthogonal basis",
+    "misstate replication count",
+    "misstate stage count",
+    "alias data across stages",
+    "delay an idle advance past its level",
+    "truncate the last idle advance",
+    "re-use a helper bank slot",
+    "wrong residual frame",
+    "alias data across replica groups",
+    "omit the fourth replica group"
+  ],
+  "hosted_mutations_rejected": [
+    "slot outside window",
+    "copy index outside family",
+    "negative slot offset",
+    "wrong residual width",
+    "duplicate helper",
+    "omitted helper",
+    "hosted owner in another replica or outside the data stock",
+    "hosted owner on a wrong data family",
+    "wrong call orientation",
+    "duplicate call",
+    "changed idle rank",
+    "understated live stock",
+    "missing remainder summary",
+    "stale stage count",
+    "hosted coordinate beyond the pending set",
+    "overlapping hosted coordinates"
+  ],
+  "hosted_events": 6334560,
+  "hosted_profile": {
+    "1": 380160,
+    "2": 426624,
+    "4": 32640,
+    "5": 34560,
+    "6": 15360,
+    "7": 23040,
+    "8": 2592,
+    "42": 3456
+  },
+  "hosted_residuals": 120960,
+  "live": 30720,
+  "physical": 30729,
+  "invoice": {
+    "live": 30720,
+    "physical": 30729,
+    "maxchild": 42,
+    "rank_mass": 1956096,
+    "hosted_residuals": 120960,
+    "bank_assignments": 0,
+    "prefix_bits": 192,
+    "charged_prefix_bits": 192,
+    "coefficient_bits": 192,
+    "two_level_coefficient_bits": 424,
+    "charged_two_level_coefficient_bits": 512,
+    "row_coefficient": 18355,
+    "halving_depth": 2
+  },
+  "unchanged_bit_lower": "413456747036699736067/250000000000000000000000",
+  "cited_complex_lower": "65528268492323474503/40000000000000000000000",
+  "unchanged_kappa": "51110230636731/31250000000000000",
+  "outer_strict_constraints": 47,
+  "outer_controls": [
+    "next_grid",
+    "zero_eta",
+    "zero_beta",
+    "unit_beta"
+  ],
+  "parent_unbanked_columns": 4740,
+  "parent_bridge_controls": 18,
+  "expanded_invoice": {
+    "original": {
+      "terms": {
+        "local_and_bridge_adds": "7820928",
+        "high_level_routing": "540759810610176",
+        "physical_row_routing": "61872964416",
+        "good_calls_and_compiler": "246569815252224",
+        "fixed_setup": "4194304",
+        "copy_erase_episodes": "2592",
+        "selectors": "5436702144",
+        "prefix": "440858815560454746902811617646181283465263876766227759104",
+        "constant": "1"
+      },
+      "coefficient": "440858815560454746902811617646181283465264664163175305889",
+      "coefficient_bits": 189,
+      "two_level_coefficient": "163943430630425998331250076398909206538196936862890235015817458025743362212780131597636668378324437046354474839780809607936900",
+      "two_level_bits": 416
+    },
+    "candidate": {
+      "terms": {
+        "local_and_bridge_adds": "5551776",
+        "high_level_routing": "540759810610176",
+        "physical_row_routing": "61872964416",
+        "good_calls_and_compiler": "246569815252224",
+        "fixed_setup": "4194304",
+        "copy_erase_episodes": "2592",
+        "selectors": "5436702144",
+        "prefix": "6276767299280756808558449610647393916158564399044362240000",
+        "constant": "1"
+      },
+      "coefficient": "6276767299280756808558449610647393916158565186441307517633",
+      "coefficient_bits": 192,
+      "two_level_coefficient": "33232806291910364952528164923528257432272329823214455231380848889502185837217737407915654349022508479867048703838288249854740484",
+      "two_level_bits": 424
+    }
+  }
+}