{
  "schema": "FQFT-R26-FINITE-FIBER",
  "theorem": "FQFT-MIC-T04",
  "status": "MATHEMATICAL_PROOF_CLOSED_CONDITIONAL",
  "assumption": "base norm-resolvent/quasi-unitary convergence plus fixed finite self-adjoint fiber",
  "conclusion": "finite-fiber tensor sum converges channel-by-channel",
  "spectrum": "lambda_j,n + mu_F^2 nu_a",
  "heat_semigroup": "exp(-tL_X,n) tensor exp(-t mu_F^2 L_F)",
  "K6": {
    "degree": 5,
    "adjacency_spectrum": {
      "5": 1,
      "-1": 5
    },
    "laplacian_spectrum": {
      "0": 1,
      "6": 5
    },
    "ramanujan_bound": 4
  }
}