Research audit: signed prefixes give 18/21-bit local bounds for selected PR1094

research/complex-signed-prefix-audit/CONTROLS.json

@@ -0,0 +1,24 @@
+{
+  "transport": {
+    "frame_choices": 6,
+    "words": 216,
+    "prefix_cuts": 2376,
+    "exact_matrix_entries": 57024,
+    "adverse": [
+      "unitary mismatched labels: shadow peak 1, physical peak 2, restored endpoint",
+      "nonunitary exact labels: shadow peak 1, physical peak 8, identity endpoint",
+      "unitary labels with inexact recipe: shadow zero, physical value 2",
+      "partially stored unit vectors: squared norm 41/25 > 1; factor-two square bound needed"
+    ]
+  },
+  "program_controls": {
+    "wrong_common_frame": "common scalar frame",
+    "omit_climb": "common scalar frame",
+    "wrong_wrapper_terminal_pair": "wrapper terminal pair",
+    "premature_post_wrapper": "post wrapper placement",
+    "coefficient_source_alias": "coefficient source alias",
+    "non_dyadic_scale": "dyadic coefficient",
+    "wrong_power_two_scale_endpoint": "scalar endpoint",
+    "register_only_precision_bound": "131088 > 131072 at coefficient preparation"
+  }
+}