Gas Stoichiometry / Molar Volume Calculator 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-clean

Evidence ID

t4-147

Effect

Computation or source lookup only

Input and validation requirements

A zero-pressure input produces an undefined division in the PV=nRT branch and requires rejection. A negative mass also exposes an unresolved sign convention: signed arithmetic gives -44.828 L, while a physical-amount interpretation gives +44.828 L or should reject the input.

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": {
    "reaction": "N2 + 3 H2 -> 2 NH3",
    "given_species": "H2",
    "given_amount": "3.000 mol",
    "target_species": "NH3",
    "conditions": "STP: 273.15 K, 1 atm"
  },
  "expected_outputs": {
    "target_moles_NH3": 2,
    "target_volume_L_NH3": 44.828,
    "target_mass_g_NH3": 34.062
  },
  "working": "1. Stoichiometric ratio: n(NH3)/n(H2)=2/3. 2. n(NH3)=3.000 mol H2 × (2 mol NH3/3 mol H2)=2.000 mol NH3. 3. V(NH3)=2.000 mol × 22.414 L/mol=44.828 L. 4. M(NH3)=14.007 + 3×1.008=17.031 g/mol. 5. m(NH3)=2.000 mol × 17.031 g/mol=34.062 g."
}

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-tranche4/tranche4-results.json