Dalton's Law / Partial Pressure 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-159

Effect

Computation or source lookup only

Input and validation requirements

The zero-total-moles case creates 0/0 and must be rejected. The input-mode and percentage-versus-decimal probes also expose unsafe behavior if the calculator fails to validate mole-fraction ranges, normalization, or units.

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": {
    "component_moles": [
      2,
      3,
      5
    ],
    "total_pressure": {
      "value": 100,
      "unit": "kPa"
    }
  },
  "expected_outputs": {
    "mole_fractions": [
      0.2,
      0.3,
      0.5
    ],
    "partial_pressures": {
      "values": [
        20,
        30,
        50
      ],
      "unit": "kPa"
    },
    "total_pressure": {
      "value": 100,
      "unit": "kPa"
    }
  },
  "working": "Sum of moles = 2 + 3 + 5 = 10 mol. Mole fractions: x1 = 2/10 = 0.2, x2 = 3/10 = 0.3, x3 = 5/10 = 0.5. Partial pressures: P1 = 0.2 x 100 = 20 kPa, P2 = 0.3 x 100 = 30 kPa, P3 = 0.5 x 100 = 50 kPa. Check: 20 + 30 + 50 = 100 kPa."
}

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