Bond Enthalpy Reaction Estimator 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

t6-096

Effect

Computation or source lookup only

Input and validation requirements

The extreme finite-looking count produces Infinity for both bond-energy sums and then Infinity − Infinity = NaN; without finite and physical-input validation, the estimator returns an undefined result. The specification also has no actual formula branch, despite requiring branch-switch testing.

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": "H2(g) + Cl2(g) -> 2 HCl(g)",
    "bonds_broken": [
      {
        "bond": "H-H",
        "count": 1,
        "energy_kJ_per_mol": 436
      },
      {
        "bond": "Cl-Cl",
        "count": 1,
        "energy_kJ_per_mol": 243
      }
    ],
    "bonds_formed": [
      {
        "bond": "H-Cl",
        "count": 2,
        "energy_kJ_per_mol": 431
      }
    ]
  },
  "expected_outputs": {
    "estimated_delta_H_kJ_per_mol_reaction": -183
  },
  "working": "Broken-bond sum = (1 × 436) + (1 × 243) = 436 + 243 = 679 kJ/mol. Formed-bond sum = 2 × 431 = 862 kJ/mol. ΔH ≈ 679 − 862 = −183 kJ/mol reaction."
}

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