v142: RETRACTED v130's span census. Its 1033-span pattern required a space after the label, and the space-form is single-line BY CONSTRUCTION - a filter that guaranteed its own answer. All 3381 spans are 53.83% multi-line, mean 1.8953, max 13, with 17 nesting depths. STRUCTURAL EXHAUSTION withdrawn, line-relation family reopens with a 4847-line surface. Backrefs verified 315/315 backward. 1057 tests

backref_direction.json

@@ -0,0 +1,13 @@
+{
+  "total": 315,
+  "missing": 0,
+  "backward": 315,
+  "forward": 0,
+  "dist_min": 58,
+  "dist_median": 961,
+  "dist_p90": 17777,
+  "dist_max": 55501,
+  "lines_median": 48,
+  "lines_p90": 573,
+  "lines_max": 1573
+}

backref_intra.json

@@ -0,0 +1,89 @@
+{
+  "distinct": 3305,
+  "redundant": 1542,
+  "redundant_tokens": 2684,
+  "median_per_ch": 8.0,
+  "max_per_ch": 276,
+  "top": [
+    [
+      "",
+      1327
+    ],
+    [
+      "    \"\"\"",
+      13
+    ],
+    [
+      "(Command exited with code 1)",
+      11
+    ],
+    [
+      "{",
+      8
+    ],
+    [
+      "  \"status\": \"error\",",
+      8
+    ],
+    [
+      "  \"err",
+      8
+    ],
+    [
+      "Traceback (most recent call last):",
+      5
+    ],
+    [
+      "  \"tool\": \"edit\",",
+      4
+    ],
+    [
+      "   ",
+      4
+    ],
+    [
+      "checks.Error(",
+      3
+    ],
+    [
+      "/usr/bin/python3",
+      3
+    ],
+    [
+      "dmp_ext_factor entry, degree_list: (1, 1)",
+      3
+    ],
+    [
+      "  aft",
+      3
+    ],
+    [
+      "raise ValueError(",
+      3
+    ],
+    [
+      "except PolynomialError:",
+      3
+    ],
+    [
+      "invariance: True",
+      3
+    ],
+    [
+      "def _lambdifygenerated():",
+      3
+    ],
+    [
+      "        ",
+      2
+    ],
+    [
+      "/usr/bin/python3: No module named pytest",
+      2
+    ],
+    [
+      "\"\"\"",
+      2
+    ]
+  ]
+}

backref_report.json

@@ -0,0 +1,192 @@
+{
+  "question": "can a reader follow a dedup backreference, and is the target the right content",
+  "king_query": {
+    "call": "octave_chain.metagraph(netuid=114)",
+    "block": 8860292,
+    "neurons": 256,
+    "network": "finney"
+  },
+  "instrument_failure_caught_by_contradiction": {
+    "symptom": "my first audit reported 245 of 315 backref targets MISSING, contradicting v135 (315/315 resolving, re-verified in v140)",
+    "cause": "my LABEL regex required a SPACE after the label; 2348 of 3381 labels are followed by a NEWLINE and only 1033 by a space, so I saw 30.6% of labels",
+    "rule_held": "suspect the instrument before the compressor - the compressor has been correct every time"
+  },
+  "direction": {
+    "total": 315,
+    "missing": 0,
+    "backward": 315,
+    "forward": 0,
+    "dist_min": 58,
+    "dist_median": 961,
+    "dist_p90": 17777,
+    "dist_max": 55501,
+    "lines_median": 48,
+    "lines_p90": 573,
+    "lines_max": 1573
+  },
+  "direction_finding": "315 of 315 backrefs point BACKWARD, 0 forward, 0 missing - every pointer resolves on a single forward pass",
+  "distance_cost": "median 961 chars / 48 lines back, p90 17777 chars / 573 lines, max 55501 chars / 1573 lines - resolvable but a real comprehension cost",
+  "RETRACTION_v130_span_census": {
+    "retracted": "output r-spans 1033, 35 multi-line (3.39%), mean 1.0368 lines",
+    "corrected": "ALL r-spans 3381, 1820 multi-line (53.83%), mean 1.8953 lines, max 13",
+    "space_form_subset": {
+      "spans": 1033,
+      "multi": 35,
+      "pct": 3.39,
+      "mean_lines": 1.0368,
+      "max": 4
+    },
+    "newline_form_subset": {
+      "newline_form_spans": 2348,
+      "newline_multiline": 1785,
+      "newline_mean_lines": 2.273,
+      "newline_max_lines": 13
+    },
+    "why_it_was_wrong": "the space-form is single-line BY CONSTRUCTION - a space after the label means the body starts on the label line - so selecting on that delimiter selected for short bodies. The census was not a sample but a filter that guaranteed its own answer, the same defect class as v123 tautological content check and v140 self-consistent report field",
+    "corroboration": "3381 equals the raw payload count from v127/v130, one span per payload; the 1033 figure never matched anything",
+    "consequence": "v130 STRUCTURAL EXHAUSTION is withdrawn as a justification. The line-relation family REOPENS with a measured surface"
+  },
+  "reopened_surface": {
+    "bodies": 3381,
+    "total_span_lines": 6408,
+    "multi_body_lines": 4847,
+    "multi_bodies": 1820,
+    "mean_lines_multi": 2.6632,
+    "pct_span_lines_in_multi": 75.64
+  },
+  "intra_span_line_dedup": {
+    "measured": {
+      "distinct": 3305,
+      "redundant": 1542,
+      "redundant_tokens": 2684,
+      "median_per_ch": 8.0,
+      "max_per_ch": 276,
+      "top": [
+        [
+          "",
+          1327
+        ],
+        [
+          "    \"\"\"",
+          13
+        ],
+        [
+          "(Command exited with code 1)",
+          11
+        ],
+        [
+          "{",
+          8
+        ],
+        [
+          "  \"status\": \"error\",",
+          8
+        ],
+        [
+          "  \"err",
+          8
+        ],
+        [
+          "Traceback (most recent call last):",
+          5
+        ],
+        [
+          "  \"tool\": \"edit\",",
+          4
+        ],
+        [
+          "   ",
+          4
+        ],
+        [
+          "checks.Error(",
+          3
+        ],
+        [
+          "/usr/bin/python3",
+          3
+        ],
+        [
+          "dmp_ext_factor entry, degree_list: (1, 1)",
+          3
+        ],
+        [
+          "  aft",
+          3
+        ],
+        [
+          "raise ValueError(",
+          3
+        ],
+        [
+          "except PolynomialError:",
+          3
+        ],
+        [
+          "invariance: True",
+          3
+        ],
+        [
+          "def _lambdifygenerated():",
+          3
+        ],
+        [
+          "        ",
+          2
+        ],
+        [
+          "/usr/bin/python3: No module named pytest",
+          2
+        ],
+        [
+          "\"\"\"",
+          2
+        ]
+      ]
+    },
+    "preregistered": "expected repetition LOW and replacement to LOSE, with a trap - if repetition were high I must check whether repeated lines are CONTENTFUL or boilerplate",
+    "trap_fired": "1327 of 1542 redundant occurrences (86.1%) are the EMPTY STRING, i.e. the already-closed blank-line family; the rest are boilerplate ('    \"\"\"', '{', '(Command exited with code 1)', 'Traceback (most recent call last):')",
+    "arithmetic": "2684 redundant tokens = 0.96% of the corpus GROSS before addressing cost; mean redundant line under 2 tokens against v126's 14.43 saved per backref, so a ~2-token backref saves nothing",
+    "decision": "CLOSED on arithmetic without running arms; both pre-registered predictions held",
+    "scope_of_this_closure": "narrow - intra-span line dedup only. v130 closed the family on a WRONG census; this closes ONE policy on a correct census. Other line-relation policies on the 4847 lines remain untested with a measured surface"
+  },
+  "structure_inside_bodies": {
+    "lines": 4847,
+    "indented": 750,
+    "python": 351,
+    "depths": {
+      "2": 205,
+      "3": 21,
+      "4": 248,
+      "5": 5,
+      "6": 6,
+      "7": 8,
+      "8": 181,
+      "9": 3,
+      "10": 1,
+      "11": 2,
+      "12": 45,
+      "16": 15,
+      "17": 1,
+      "18": 1,
+      "19": 1,
+      "20": 6,
+      "24": 1
+    },
+    "distinct_depths": 17,
+    "pct_indented": 15.47
+  },
+  "connection_to_v140": "351 python-keyword lines and 750 indented lines with 17 distinct indent depths live INSIDE span bodies, so v140's ws-collapse indentation repair protects concentrated structure, not a diffuse 4.08%",
+  "emitter_mechanism": {
+    "sole_emitter": "line 271 return f'\\n\\u00abr{_id(_attr(tag, \"tool_call_id\"))[1:]} ' accounts for 774 of 774 labels on a 40-challenge sample; line 253 never fires on this corpus",
+    "how_the_two_forms_arise": "the emitter always writes a trailing SPACE; a later trailing-whitespace pass strips it whenever the body begins on the next line. One emitter plus cleanup, not two emitters",
+    "located_by_transforming_not_searching": "my guessed literal matched 0 times; enumerating lines mentioning the opening guillemet found both candidates, and replacing each with a marker identified which one fires",
+    "consequence": "3381 is the single correct span population; the 1033/2348 split is an artefact of cleanup, not a real distinction"
+  },
+  "guard_gap": {
+    "found": "removing the emitter's trailing space makes ALL labels newline-form, yet my live test passed",
+    "cause": "'multi_space / max(n_space, 1)' evaluates to 0/1 = 0 when the space-form population VANISHES - the guard written to avoid a division error also made an empty population pass",
+    "defect_class": "an assertion that cannot fail on the case it most needs to catch, the same shape as the tautology class",
+    "closed": "added a non-vacuity assertion that the population EXISTS before its ratio is read; both live mutations now fire"
+  }
+}

backref_spans.json

@@ -0,0 +1,6 @@
+{
+  "newline_form_spans": 2348,
+  "newline_multiline": 1785,
+  "newline_mean_lines": 2.273,
+  "newline_max_lines": 13
+}

backref_struct.json

@@ -0,0 +1,26 @@
+{
+  "lines": 4847,
+  "indented": 750,
+  "python": 351,
+  "depths": {
+    "2": 205,
+    "3": 21,
+    "4": 248,
+    "5": 5,
+    "6": 6,
+    "7": 8,
+    "8": 181,
+    "9": 3,
+    "10": 1,
+    "11": 2,
+    "12": 45,
+    "16": 15,
+    "17": 1,
+    "18": 1,
+    "19": 1,
+    "20": 6,
+    "24": 1
+  },
+  "distinct_depths": 17,
+  "pct_indented": 15.47
+}

backref_surface.json

@@ -0,0 +1,8 @@
+{
+  "bodies": 3381,
+  "total_span_lines": 6408,
+  "multi_body_lines": 4847,
+  "multi_bodies": 1820,
+  "mean_lines_multi": 2.6632,
+  "pct_span_lines_in_multi": 75.64
+}