{
  "status": "complete",
  "dimension": 1,
  "slots": 2,
  "butterfly_coin_bits": 1,
  "independent_palindrome_coin_strings": 4,
  "full_group_size": 2,
  "palindrome_support": 2,
  "law": [
    {
      "permutation": [
        0,
        1
      ],
      "mass": "1/2",
      "coin_strings": 2
    },
    {
      "permutation": [
        1,
        0
      ],
      "mass": "1/2",
      "coin_strings": 2
    }
  ],
  "palindrome_total_variation": "0",
  "explicit_minorant": {
    "exponent": 0,
    "mass": "1",
    "uniform_floor": "1/2",
    "gap_formula": "1 - mass/(2*2^exponent)",
    "off_invariants_bound": "1/2"
  },
  "regular_operator": {
    "convention": "A[r,s] = palindrome_mass(r composed with inverse(s)); B=A-J",
    "group_order": [
      [
        0,
        1
      ],
      [
        1,
        0
      ]
    ],
    "centered_matrix": [
      [
        "0",
        "0"
      ],
      [
        "0",
        "0"
      ]
    ],
    "symmetric": true,
    "scaled_projection_identity_verified": true,
    "identity_coefficient": "0",
    "exact_nonconstant_norm": "0",
    "scaled_projection_rank": "0",
    "nonzero_eigenvector": [
      "0",
      "0"
    ],
    "eigenvector_verified": false,
    "justification": "A symmetric nonzero B with B^2=cB has eigenvalues 0,c, so its norm is c. The displayed nonzero eigenvector attains c. Zero B has norm zero."
  },
  "physical_sweep_nonconstant_norm_squared": "0",
  "finite_source_target_calibration": {
    "exact_operator_bound": {
      "sweeps": 1,
      "total_variation_upper_bound_squared": "0",
      "source_target_squared": "1/4096",
      "previous_bound_squared": null
    },
    "explicit_minorant_bound": {
      "sweeps": 10,
      "total_variation_upper_bound_squared": "1/4096",
      "source_target_squared": "1/4096",
      "previous_bound_squared": "1/2048"
    },
    "squared_TV_bound_formula": "((n! - 1)/4) * (sweep_nonconstant_norm_squared)^v",
    "scope": "Conservative regular L2-to-TV bound at these two/four slots only; not optimal mixing, the source-selected Classical.choose witness or any universal all-size schedule"
  },
  "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
  "source_proof_verification": "not_run",
  "formal_program_verification": "not_run",
  "arithmetic": "exact Python integer/Fraction; no floating eigensolver",
  "interpretation": "Finite independent enumeration and explicit rational witness. Assumes independent fair switches in the mathematical law; certifies no OS or seeded randomness backend. Selected source identities connect physical sweep adjoint to butterfly/palindrome, but their imports/proofs were not executed or independently accepted."
}