{
  "protocol": "fprd.reverse-add-196-orbit-audit.v1",
  "raw_complexity": {
    "carry_in_count": 3353069,
    "carry_in_density": 0.499366103113,
    "carry_in_subword_counts_k_1_to_12": [
      2,
      4,
      8,
      16,
      32,
      64,
      128,
      256,
      512,
      1024,
      2048,
      4096
    ],
    "digit_count": 3353069,
    "digit_subword_counts_k_1_to_4": [
      10,
      100,
      1000,
      10000
    ],
    "maximum_digit_frequency_deviation_from_one_tenth": 0.004138626434,
    "mirrored_carry_in_mutual_information_bits": 1.3795714e-05,
    "mirrored_digit_mutual_information_bits": 0.563591475633,
    "subwords": "union of contiguous within-state words; row boundaries excluded",
    "window": "states T^k(196), 0 <= k < 4000"
  },
  "reflection_distance": {
    "definition": "number of ordered positions differing from reflection",
    "mean_ratio_when_length_gt_100": 0.659803985542,
    "minimum": 2,
    "minimum_ratio": {
      "distance": 4,
      "length": 33,
      "step": 68,
      "value": 0.121212121212
    },
    "rows_when_length_gt_100": 3771,
    "window": "outputs T^k(196), 1 <= k <= 4000"
  },
  "scope_boundary": "finite decimal orbit only; no assertion after T^4000(196)",
  "shifted_axis": {
    "estimator": "mean of per-output normalized mismatch fractions over valid index pairs",
    "mean_normalized_distance": {
      "-1": {
        "growth": 0.89611201421,
        "no_growth": 0.884021302418
      },
      "-2": {
        "growth": 0.896522793702,
        "no_growth": 0.894939804463
      },
      "0": {
        "growth": 0.885735802849,
        "no_growth": 0.496558797244
      },
      "1": {
        "growth": 0.497066641824,
        "no_growth": 0.88766534891
      },
      "2": {
        "growth": 0.887677338851,
        "no_growth": 0.894491568634
      }
    },
    "step_counts": {
      "growth": 1265,
      "no_growth": 1735
    },
    "window": "transitions T^(k-1)(196) -> T^k(196), 1 <= k <= 3000"
  },
  "state_sequence": {
    "final_digit_length": 1671,
    "range": "T^k(196), 0 <= k <= 4000",
    "sha256_step_colon_state_newline": "728ea025c210c0fa9fab53046c2fe9521f3e1e04fadd315c62d4c3e5df3693bb"
  }
}