Certloom：让数值计算结果可离线独立验证误差界

开发者推出 Certloom，把方程、答案与证明见证打包，让数值结果可被他人独立验证。新稀疏示例基于 NIST FiPy 扩散求解，含 400 个未知数和 1,920 个系数，支持最多 4,096 个未知数和 32,768 个非零系数，可在浏览器用精确算术检查，并下载证明 ZIP 用 Python 标准库验证，无需 FiPy、SciPy 或原求解器。