元素守恒并非反应预测
区分唯一严格正守恒向量、非唯一解和全物种式无法配平的状态，不推断真实化学反应。
守恒方程只回答一个问题
元素守恒检查已声明左右物种式计数是否相容，不证明反应发生、有利性、机制或条件。输入语法还排除电荷，离子/氧化还原守恒不在此任务范围。
- 按预期顺序列出中性物种式，不输入起始系数；准确保留大小写及水合物分隔符。
- 使用系数向量前先检查秩、零空间维数和报告状态。H2 + O2 -> H2O 的最简系数比是 2:1:2。
- 下载完整矩阵与证明，逐元素核对两侧总数。underdetermined 状态仍需另行有依据地选择，工具不会选定反应。
不要把基当成选定反应
唯一严格正基方向给出明确最简整数比，多个基方向仍有未决选择，即使可能存在某个正组合。工具报告underdetermined与全部精确基，不把“非唯一确定”混为“不存在正配平”。
| 状态 | 已证明 | 未证明 |
|---|---|---|
| balanced | 精确的严格正元素计数守恒 | 实际反应是否发生或是否安全 |
| underdetermined | 存在多个独立的精确配平方向 | 首选系数集；是否不存在任何正组合 |
| no-strictly-positive-balance | 唯一方向含零值或混合符号，无法让所有已声明物种系数严格为正 | 删除物种或改换两侧后会得到什么结果 |
| no-nonzero-balance | 只有全零向量满足当前元素计数矩阵 | 改变物种式后的结论 |
原书写是证据
括号、方括号与水合物分隔符决定元素计数。H2O.2H2O含顶层水合因子；式内空白和起始2H2O系数超出声明语法。大小写重要，不支持名称被拒绝，不猜测纠正为某元素。
原字节、物种式字节跨度、精确计数与全部基向量使接收者可重建守恒问题。复制显示配平文本或状态，完整证明/矩阵下载保留面板无法呈现的内容。
把守卫视为明确停止
16KiB声明仍可能产生巨大精确系数，整数、运算与2MiB完整输出守卫会原子停止任务，不替换为浮点算法。应在支持语法内简化实际问题，不能把超限拒绝解读为化学结论。
独立精确矩阵与化学式读取器验证守恒表示，其成功与本地Worker取消是实现证据；生产浏览器交互和最终验收由中央审查裁决。
参考资料
本分类工具使用说明
展开工具，查看操作步骤、可调选项和支持范围，再直接进入工作区。
中性化学方程精确配平以精确有理数计算配平明确声明的中性化学式，保留完整元素矩阵、零空间基与守恒证明，不猜测非唯一解。
输入无初始系数的左右化学式；仅唯一且严格正的零空间向量生成最简整数系数，其余状态明确报告。
操作步骤
- 输入左右中性化学式，不带初始系数。
- 检查守恒状态、秩与零空间维数，仅balanced状态接受系数。
- 复制配平文本，或下载完整精确证明、矩阵与原式。
能力与限制
- UTF-8方程最多16KiB、50个有序物种式、109个H–Mt元素、嵌套深度16、每计数100位。精确中间整数≤4,096位、工作≤1,000,000次，完整原式/证明/矩阵/配平/总量≤2MiB。各维度与系数增长相互约束。
- ASCII大小写敏感元素符号、无前导零的正整数计数、嵌套()/[]，及顶层水合物点号.或·，点号后可有正整数因子。空白仅允许在物种式外围；恰好一个->、→或=，物种式由+分隔，重复项保持有序。
- Ds–Og、初始系数、电荷/电子、同位素、状态标记、宏、分数和脚本为Unsupported。水合物点号不是十进制计量；运算上限是工作守卫，不承诺可达的成功“恰好100万次”用例。
- 零空间维数0：no-nonzero-balance；维数1且系数全严格正：balanced；维数1但含零/异号：no-strictly-positive-balance；维数>1：underdetermined并保留完整精确基，不猜正系数组合，也不声称不存在正解。
- proof.json保留全部物种式计数、UTF-8来源跨度、有符号矩阵、RREF、有理数基和最简整数基。配平成功另交完整左右元素总量。CSV精确十进制/有理数token可能被表格软件重新解释；不判断反应发生、机制、能量或安全。
- 表格在50物种式上限内显示全部物种式，长单元格预览2,000个UTF-16单位。复制为配平文本或明确机器状态code；完整证明与CSV下载保留全部内容，失败或取消不发布部分文件。