{
  "protocol": "fprd.result-review.2026-09-01.batch-16.v1",
  "relative_degree": {
    "candidate_degree": 1,
    "conclusion": "the B-only safe-row test passes, but c lies outside a Sigma* and has nonzero coefficient",
    "dimension": 2,
    "f_ab": 1,
    "f_c": 1,
    "lambda_B": [
      0,
      0
    ],
    "lambda_gamma": 0
  },
  "result": "pass",
  "reverse_and_add": {
    "decimal_one_step_census": {
      "carry_free": 151250,
      "input_interval": [
        1,
        1000000
      ],
      "palindromic_outputs": 152058,
      "saturated_0_or_11_with_outer_11": 808,
      "uncovered": []
    },
    "folded_carry": {
      "bases": [
        2,
        16
      ],
      "cases": 3000015,
      "inputs_per_base": 200001,
      "mismatches": 0
    },
    "leading_zero_controls": {
      "10": {
        "carry_bits": [
          0,
          0,
          0
        ],
        "column_sums_lsd_first": [
          1,
          1
        ],
        "output": 11,
        "reversed_integer": 1
      },
      "100": {
        "carry_bits": [
          0,
          0,
          0,
          0
        ],
        "column_sums_lsd_first": [
          1,
          0,
          1
        ],
        "output": 101,
        "reversed_integer": 1
      },
      "10010": {
        "carry_bits": [
          0,
          0,
          0,
          0,
          0,
          0
        ],
        "column_sums_lsd_first": [
          1,
          1,
          0,
          1,
          1
        ],
        "output": 11011,
        "reversed_integer": 1001
      },
      "1200": {
        "carry_bits": [
          0,
          0,
          0,
          0,
          0
        ],
        "column_sums_lsd_first": [
          1,
          2,
          2,
          1
        ],
        "output": 1221,
        "reversed_integer": 21
      }
    },
    "non_growth_mirrored_digit_law": {
      "ordered_pairs_checked": 10888899,
      "violations": 0
    }
  },
  "scope_boundary": "finite audit plus one explicit hostile representation; no infinite-orbit assertion"
}