Research: bound rounded QQ16 producer errors with bounded dirty helpers

research/qq16-rounded-producer-envelope/RESULT.json

@@ -0,0 +1,201 @@
+{
+  "cases": {
+    "B_1_2": {
+      "P_J_cut_table_sha256": "1cb5a68a78697147e57072d7ca95205cfc906febd39e43a9f4a307781cc8c760",
+      "all_cut": {
+        "J": {
+          "J": "34778728470688788237067911/8",
+          "J_by_category": {
+            "adapter": "573411134169296526275133/32",
+            "add": "528563836636664365942901081/128",
+            "child": "868124559712689196132629/16",
+            "map": "447350418393498392438827/8",
+            "scale": "11499571185681571897002699/128"
+          },
+          "P": "573411134169296526275133/64",
+          "degree": 854,
+          "event": 26777,
+          "wire": 86
+        },
+        "P": {
+          "J": "34778728470688788237067911/8",
+          "J_by_category": {
+            "adapter": "573411134169296526275133/32",
+            "add": "528563836636664365942901081/128",
+            "child": "868124559712689196132629/16",
+            "map": "447350418393498392438827/8",
+            "scale": "11499571185681571897002699/128"
+          },
+          "P": "573411134169296526275133/64",
+          "degree": 854,
+          "event": 26777,
+          "wire": 86
+        }
+      },
+      "changed_cuts": 27009,
+      "clear_sites": 32,
+      "cut_table_sha256": "9a88f4de7e48af700738d2b7151c6826646f0e19cd80138eee889e70fd82954d",
+      "defect_category_counts": {
+        "adapter": 1570,
+        "add": 20654,
+        "child": 3510,
+        "map": 528,
+        "scale": 715
+      },
+      "defect_sites": 26977,
+      "degree_max": 854,
+      "event_counts": {
+        "adapter": 1090,
+        "climb": 3486,
+        "cover_map": 528,
+        "native_line": 24,
+        "phase": 10,
+        "residual_adapter": 480,
+        "scalar": 21401
+      },
+      "event_sha256": "3de03cde4586411cf38af53c4b69a4d5bd58aa774a266c25c2cda943daa75664",
+      "events": 27019,
+      "terminal": {
+        "data": {
+          "J": "34778728470688788237067911/8",
+          "J_by_category": {
+            "adapter": "573411134169296526275133/32",
+            "add": "528563836636664365942901081/128",
+            "child": "868124559712689196132629/16",
+            "map": "447350418393498392438827/8",
+            "scale": "11499571185681571897002699/128"
+          },
+          "P": "573411134169296526275133/64",
+          "degree": 854,
+          "event": 27018,
+          "wire": 86
+        },
+        "helpers": {
+          "J": "1340378160314112760812753/128",
+          "J_by_category": {
+            "adapter": "824409778576412307071/16",
+            "add": "1262719250976545336699813/128",
+            "child": "2447279125924334138203/16",
+            "map": "1285568796554817686775/8",
+            "scale": "7729074339171092390587/32"
+          },
+          "P": "824409778576412307071/32",
+          "degree": 784,
+          "event": 27018,
+          "wire": 426
+        }
+      }
+    },
+    "F_0": {
+      "P_J_cut_table_sha256": "53b63316175717560fae8aa83e664acb8dd72e07927bd4d0ccdbbeae67d5b8be",
+      "all_cut": {
+        "J": {
+          "J": "10632335516156845470267/4096",
+          "J_by_category": {
+            "adapter": "5413950274051752469/128",
+            "add": "4426833844834375166319/2048",
+            "child": "75241476382820606935/512",
+            "map": "0",
+            "scale": "1003489606655874203141/4096"
+          },
+          "P": "5413950274051752469/256",
+          "degree": 184,
+          "event": 26052,
+          "wire": 132
+        },
+        "P": {
+          "J": "10632335516156845470267/4096",
+          "J_by_category": {
+            "adapter": "5413950274051752469/128",
+            "add": "4426833844834375166319/2048",
+            "child": "75241476382820606935/512",
+            "map": "0",
+            "scale": "1003489606655874203141/4096"
+          },
+          "P": "5413950274051752469/256",
+          "degree": 184,
+          "event": 26052,
+          "wire": 132
+        }
+      },
+      "changed_cuts": 26089,
+      "clear_sites": 32,
+      "cut_table_sha256": "c1173022432dcce87a03c7d4a160dd3178906d5a5bef1f50bf6b7be3993eed04",
+      "defect_category_counts": {
+        "adapter": 1570,
+        "add": 20278,
+        "child": 3494,
+        "scale": 715
+      },
+      "defect_sites": 26057,
+      "degree_max": 184,
+      "event_counts": {
+        "adapter": 1090,
+        "climb": 3486,
+        "native_line": 8,
+        "phase": 10,
+        "residual_adapter": 480,
+        "scalar": 21025
+      },
+      "event_sha256": "4c1ee518a6513c115741a3834c49490c6e8e68f5e2357af8dac782c3d40958e7",
+      "events": 26099,
+      "terminal": {
+        "data": {
+          "J": "10632335516156845470267/4096",
+          "J_by_category": {
+            "adapter": "5413950274051752469/128",
+            "add": "4426833844834375166319/2048",
+            "child": "75241476382820606935/512",
+            "map": "0",
+            "scale": "1003489606655874203141/4096"
+          },
+          "P": "5413950274051752469/256",
+          "degree": 184,
+          "event": 26098,
+          "wire": 132
+        },
+        "helpers": {
+          "J": "4031638139577443210809/16384",
+          "J_by_category": {
+            "adapter": "2765345294379392599/512",
+            "add": "1593141449370532149625/8192",
+            "child": "32901256914647896607/2048",
+            "map": "0",
+            "scale": "493654136099055175535/16384"
+          },
+          "P": "2765345294379392599/1024",
+          "degree": 130,
+          "event": 26098,
+          "wire": 349
+        }
+      }
+    }
+  },
+  "composition": {
+    "B_entry_bound": "2^(delta+6) H",
+    "B_persistent_J": "34778728470688788237067911/8",
+    "B_tolerance_offset": 102,
+    "F_entry_bound": "2^delta H",
+    "F_persistent_J": "10632335516156845470267/4096",
+    "F_tolerance_offset": 71,
+    "common_relative_offset": 102,
+    "count_guard": 16,
+    "decoded_error_ratio": "7587/8192"
+  },
+  "ideal_endpoint_calibration": {
+    "F_data_norm_over_H": "58",
+    "K_row_sum": "1",
+    "R_row_sum": "56",
+    "X_A_T_U": [
+      "4",
+      "56",
+      "57"
+    ],
+    "Y_A_T_U": [
+      "6",
+      "58",
+      "58"
+    ]
+  },
+  "schema": "qq16-rounded-producer-envelope-v1"
+}

research/qq16-rounded-producer-envelope/SOURCES.json

@@ -0,0 +1,72 @@
+{
+  "schema_version": 1,
+  "base_commit": "463113d675af7410ac91d53a4fed51ec6494eb9a",
+  "files": [
+    {
+      "path": "certificates/selected-result.json",
+      "usage": "provenance",
+      "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81",
+      "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129"
+    },
+    {
+      "path": "docs/research/agent-task-catalog.json",
+      "usage": "provenance",
+      "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5",
+      "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0"
+    },
+    {
+      "path": "research/joint-query/certificate.json.gz",
+      "usage": "input",
+      "git_blob": "c6e876d8b48d768214deee265ade428f8983b566",
+      "sha256": "a5ed85fac5ebf3c091482a113ab0d351eb5a7892fe2841a35e16017ec1ff49f7"
+    },
+    {
+      "path": "research/joint-query/evidence/BRIDGE-REVIEW.md",
+      "usage": "input",
+      "git_blob": "86139908c418235588045324f0873de6ac9f9707",
+      "sha256": "d01b5f4959f7c91f835496d050dfae3eeab9dee2f581571c316a42571eaa1cd3"
+    },
+    {
+      "path": "research/joint-query/evidence/CONSERVED-QQ16.md",
+      "usage": "input",
+      "git_blob": "4639583c1be02c2fb60ed8a8072c9969ef1569ce",
+      "sha256": "60f0de3a7205ba5046b5ae7ffa8bf2b1ea42ea46b498face0a77966b59e7f3fb"
+    },
+    {
+      "path": "research/qq16-producer-defect-transfer/README.md",
+      "usage": "input",
+      "git_blob": "16903a0090c020d033d24712cce11c633031e688",
+      "sha256": "30cf4389425f7704b1ed45af6cf4b5165e7b5c04af5077640ac96399c61cd703"
+    },
+    {
+      "path": "research/joint-query/evidence/NATIVE-REVIEW.md",
+      "usage": "input",
+      "git_blob": "525b38dbdefed0e8192a9c5165e802136cc05034",
+      "sha256": "2247e3cbe73f3f0da55c647ffae15f98dd9445b2366ba9e255b9bebc9f742b70"
+    },
+    {
+      "path": "research/qq16-zero-retention-defects/PROOF.md",
+      "usage": "input",
+      "git_blob": "449e1a181d177c7f2ee663e5d9d13898d2872834",
+      "sha256": "11edf91802c08c75bbddcea5220e04fa612b46e916ca14c44f63263cdd76fa3c"
+    },
+    {
+      "path": "research/qq16-line-normalized-decoder/README.md",
+      "usage": "input",
+      "git_blob": "e2032842955492d3765d9d8f99c1bead1ba17ae4",
+      "sha256": "017bb0a0ec15a5c5df446f721e9e68d4eeffac8bfe6fab2a4016a6dc0a666f14"
+    }
+  ],
+  "predecessors": {
+    "joint_query": "a6e6ad3936f67b8f63b5b68c5e75d540610a65e7",
+    "2965": "526f2c242202b31b15e09a7502dfb8ff757b2bad",
+    "2736": "eba0d6111a773cd13f5c0afb4354af2c85d04c3a",
+    "2707": "efa51a6c7ffec6edd556a98deedfe9deeba65809"
+  },
+  "comparisons_not_runtime_dependencies": {
+    "3181": "80fc72d14546088e9fce3c06dc12bc67270da0af",
+    "3189": "70537595e46444c8a63455523d9851a5efe55385",
+    "3017": "0f493f4c264fbc70ee14364b68af260d858c143c",
+    "3067": "e1e28b4070ae52efa5a9d0aa826bc588be7206f2"
+  }
+}