backref_report.json

{
  "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"
  }
}