{
  "assertions_by_group": {
    "basis": 112,
    "exhaustive": 4375,
    "multiscale": 1525,
    "obstructions": 5,
    "random": 864,
    "reference": 28
  },
  "budget_residual_energies": [
    272,
    144,
    80,
    48,
    16,
    0
  ],
  "case": "Haar averaging / cyclic FIR (1, 2, -1)",
  "coarse": [
    2,
    2,
    2,
    2,
    6,
    6,
    6,
    6,
    -4,
    -4,
    4,
    4,
    4,
    4,
    4,
    4
  ],
  "energies": {
    "coarse": 288,
    "filtered": 2288,
    "missing_transfer_blocks": 624,
    "original": 416,
    "residual": 128
  },
  "filtered": [
    6,
    2,
    4,
    4,
    8,
    16,
    12,
    12,
    2,
    -18,
    8,
    24,
    -16,
    16,
    8,
    8
  ],
  "multiscale": {
    "commutator_energy": 624,
    "error_coarse_filtered": 880,
    "error_filter_coarse": 768,
    "filtered_band_energies": [
      576,
      64,
      128,
      640,
      880
    ],
    "filtered_wavelet_nonzero": 10,
    "input_band_energies": [
      144,
      16,
      64,
      64,
      128
    ],
    "input_wavelet_nonzero": 6,
    "matrix_nonzero": 56,
    "matrix_order": 16
  },
  "scope": "Exact finite models; no infinite-domain or cross-boundary filter claim.",
  "signal": [
    2,
    2,
    2,
    2,
    6,
    6,
    6,
    6,
    -4,
    -4,
    12,
    -4,
    4,
    4,
    4,
    4
  ],
  "stability": {
    "boundary_correction_energy": 32,
    "eightfold_input": 3328,
    "filtered": 2288,
    "fourfold_input": 1664,
    "omitted_transfer_error": 624,
    "skew_shift_energy": 624
  },
  "total_assertions": 6909,
  "weighted_selection_control": {
    "coarse_detail_amplitude": 2,
    "coarse_weighted_energy": 64,
    "fine_detail_amplitude": 3,
    "fine_weighted_energy": 18,
    "raw_magnitude_selection_error": 64,
    "weighted_selection_error": 18
  }
}