Formal Proof: LLM Hallucinations Are Structural, Not Statistical (Coq Verified)philpapers.org·2 pts·ICBTheory·3