Interactive proof navigator for the Superspace Diffusion Framework. 150 mathematical entities, 333 relations, 8 in-browser experiments. From four axioms (A1–A4) on Wheeler superspace, via the stochastic Takens embedding sufficiency theorem and σ = ℓ_P uniqueness, to diffusional gravity and the sigma-continuum spanning classical mechanics to QED. Dual verification by SymPy and Lean Lite. MCP server at /mcp.