{
  "diagram": "Arbitrary-LCH central-quotient reconstruction",
  "hilbert_map": "Lambda(f tensor xi)(s)=f(s)xi(s)",
  "normal_map": "P -> (B(K) bar-tensor L-infinity(G))^gamma, a -> hat(a)",
  "evaluation_domain": "Only norm-action-continuous elements; not arbitrary measurable fields",
  "proof_locators": [
    "iw-3",
    "iw-4",
    "iw-5"
  ],
  "conclusion": "hat(M)=(N bar-tensor L-infinity(G))^gamma"
}