{
  "source": "OA-FLOW-WCH, WCH14a--c",
  "core_density": "h_n(p)=exp(p)/n",
  "core_trace": "tau(f)=integral exp(-p)*f(p) dp/(2*pi)",
  "limit_density": "0",
  "resolvent": "(1+exp(p)/n)^(-1)",
  "resolvent_convergence": "strong, by dominated convergence on each Hilbert vector; not asserted in norm",
  "test_vector": "xi(p)=1_[0,1](p), unit in L2(R,dp)",
  "vector_spectral_measure": "mu_n(dq)=1_[log(n)-1,log(n)](q)dq",
  "limit_vector_spectral_measure": "mu_0=0",
  "support_projection": {
    "each_n": "1",
    "limit_density": "0"
  },
  "coordinate_unit_difference": "kappa_n(1)-kappa_0(1)=1",
  "rendered_n": [
    {
      "n": 1,
      "interval": [
        -1.0,
        0.0
      ],
      "vector_mass": 1
    },
    {
      "n": 4,
      "interval": [
        0.3862943611198906,
        1.3862943611198906
      ],
      "vector_mass": 1
    },
    {
      "n": 16,
      "interval": [
        1.7725887222397811,
        2.772588722239781
      ],
      "vector_mass": 1
    }
  ],
  "proof_scope": "The finite plots illustrate the exact infinite-sequence formulas; the lesson supplies the convergence and failure proofs.",
  "artifacts": {
    "support-continuity.svg": "e8bc0639a3e05399fed2f2bedbc57fac1105fda6ab0ae3e9eeb688c849cb7f91",
    "support-continuity.png": "551ff914371cb431db8e0a559d940022ac620a5a0ec9bf7512593568d4e39db4"
  }
}