Combustion Analysis Solver implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-with-binding-errata

Evidence ID

t2-027

Effect

Computation or source lookup only

Input and validation requirements

The solver must handle zero sample mass, zero elemental amounts, negative inferred oxygen, and the near-zero-oxygen validity transition. Without explicit validation, it can produce undefined percentages, chemically impossible formulas, or unstable empirical-formula ratios.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "sample_mass_g": 3.0026,
    "co2_mass_g": 4.401,
    "h2o_mass_g": 1.8016
  },
  "expected_outputs": {
    "empirical_formula": "CH2O",
    "percent_composition": {
      "C": 40,
      "H": 6.714,
      "O": 53.286
    }
  },
  "working": "n(CO2)=4.401/44.01=0.100000 mol, so n(C)=0.100000 mol and m(C)=0.100000×12.01=1.2010 g. n(H2O)=1.8016/18.016=0.100000 mol, so n(H)=2×0.100000=0.200000 mol and m(H)=0.200000×1.008=0.2016 g. m(O)=3.0026−1.2010−0.2016=1.6000 g, so n(O)=1.6000/16.00=0.100000 mol. Mole ratio C:H:O=0.100000:0.200000:0.100000=1:2:1, giving CH2O. Formula mass=12.01+2(1.008)+16.00=30.026 g/mol. %C=12.01/30.026×100=40.000%; %H=2.016/30.026×100=6.714%; %O=16.00/30.026×100=53.286%."
}

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

• VERIFIED_LEDGER.json
• evidence-tranche2/tranche2-results.json