{
  "arithmetic": "exact Python integers and fractions; no project imports",
  "collatz": {
    "adjacent_swaps_checked": 98305,
    "concatenation_seams_checked": 98304,
    "hostile_examples": {
      "bounded_cycle_scan": "the induced graph on 1..100000 contains only the cycle 1,2",
      "completion_escape": "rho(1^k)=2^k-1 converges 2-adically to -1",
      "integral_vs_2_adic": "w=001 has fixed lift 4/5 and no integral lift"
    },
    "integral_primitive_necklaces": 5,
    "parity_words_checked": 131070,
    "primitive_necklaces_through_16": 8800,
    "selector_counts": {
      "1": {
        "integral": 3,
        "positive": 1,
        "selectors": 4
      },
      "2": {
        "integral": 5,
        "selectors": 16
      },
      "3": {
        "integral": 6,
        "selectors": 256
      },
      "4": {
        "integral": 1,
        "selectors": 65536
      }
    },
    "sharp_response_pairs": 64
  },
  "reverse_add": {
    "bases": {
      "10": {
        "overlap_outputs": 20,
        "profiles_by_length": {
          "1": 9,
          "2": 18,
          "3": 180,
          "4": 342,
          "5": 3420,
          "6": 6498,
          "7": 64980,
          "8": 123462
        },
        "sharp_collision": {
          "output": 121,
          "sources": [
            92,
            110
          ]
        }
      },
      "11": {
        "overlap_outputs": 41,
        "profiles_by_length": {
          "1": 10,
          "2": 20,
          "3": 220,
          "4": 420,
          "5": 4620,
          "6": 8820,
          "7": 97020,
          "8": 185220
        },
        "sharp_collision": {
          "output": 144,
          "sources": [
            112,
            132
          ]
        }
      },
      "12": {
        "overlap_outputs": 20,
        "profiles_by_length": {
          "1": 11,
          "2": 22,
          "3": 264,
          "4": 506,
          "5": 6072,
          "6": 11638,
          "7": 139656,
          "8": 267674
        },
        "sharp_collision": {
          "output": 169,
          "sources": [
            134,
            156
          ]
        }
      },
      "2": {
        "overlap_outputs": 5,
        "profiles_by_length": {
          "1": 1,
          "2": 2,
          "3": 4,
          "4": 6,
          "5": 12,
          "6": 18,
          "7": 36,
          "8": 54
        },
        "sharp_collision": {
          "output": 9,
          "sources": [
            6,
            8
          ]
        }
      },
      "3": {
        "overlap_outputs": 41,
        "profiles_by_length": {
          "1": 2,
          "2": 4,
          "3": 12,
          "4": 20,
          "5": 60,
          "6": 100,
          "7": 300,
          "8": 500
        },
        "sharp_collision": {
          "output": 16,
          "sources": [
            8,
            12
          ]
        }
      },
      "4": {
        "overlap_outputs": 20,
        "profiles_by_length": {
          "1": 3,
          "2": 6,
          "3": 24,
          "4": 42,
          "5": 168,
          "6": 294,
          "7": 1176,
          "8": 2058
        },
        "sharp_collision": {
          "output": 25,
          "sources": [
            14,
            20
          ]
        }
      },
      "5": {
        "overlap_outputs": 41,
        "profiles_by_length": {
          "1": 4,
          "2": 8,
          "3": 40,
          "4": 72,
          "5": 360,
          "6": 648,
          "7": 3240,
          "8": 5832
        },
        "sharp_collision": {
          "output": 36,
          "sources": [
            22,
            30
          ]
        }
      },
      "6": {
        "overlap_outputs": 20,
        "profiles_by_length": {
          "1": 5,
          "2": 10,
          "3": 60,
          "4": 110,
          "5": 660,
          "6": 1210,
          "7": 7260,
          "8": 13310
        },
        "sharp_collision": {
          "output": 49,
          "sources": [
            32,
            42
          ]
        }
      },
      "7": {
        "overlap_outputs": 41,
        "profiles_by_length": {
          "1": 6,
          "2": 12,
          "3": 84,
          "4": 156,
          "5": 1092,
          "6": 2028,
          "7": 14196,
          "8": 26364
        },
        "sharp_collision": {
          "output": 64,
          "sources": [
            44,
            56
          ]
        }
      },
      "8": {
        "overlap_outputs": 20,
        "profiles_by_length": {
          "1": 7,
          "2": 14,
          "3": 112,
          "4": 210,
          "5": 1680,
          "6": 3150,
          "7": 25200,
          "8": 47250
        },
        "sharp_collision": {
          "output": 81,
          "sources": [
            58,
            72
          ]
        }
      },
      "9": {
        "overlap_outputs": 41,
        "profiles_by_length": {
          "1": 8,
          "2": 16,
          "3": 144,
          "4": 272,
          "5": 2448,
          "6": 4624,
          "7": 41616,
          "8": 78608
        },
        "sharp_collision": {
          "output": 100,
          "sources": [
            74,
            90
          ]
        }
      }
    },
    "hostile_boundary": "base 2 uses 110_2 and 1000_2, both mapping to 1001_2",
    "overlap_outputs": 310,
    "profiles_checked": 1208130
  },
  "schema": "fprd.result-review.collatz-reverse-add.v1",
  "status": "pass"
}