Page actions
instrument mechanism / verified-with-binding-errata
Arrhenius Equation Calculator mechanism
The inspectable method record for Arrhenius Equation Calculator, kept separate from implementation and qualification.
Model scope
NEEDS_REVIEW because the formulas themselves are standard, but the input-combination rules, inverse-solver behavior, temperature units, and positivity constraints are unspecified. The original two-temperature test construction was corrected in the working so all reported final expected outputs are mathematically consistent.
- The two displayed equations are standard Arrhenius formulas, but the specification does not define the inverse rearrangements needed to calculate Ea or A from the supplied variables.
- The claim that inputs may be 'any combination' is underdetermined: a unique result requires sufficient independent inputs, such as A, Ea, and T for k; k, A, and T for Ea; or k, Ea, and T for A.
- The two-temperature form requires two complete temperature-rate pairs and a declared direction for the ratio; this constraint is not specified.
Units and conventions
- Use absolute temperature in kelvin: T > 0 K. Celsius or Fahrenheit inputs must be converted before calculation.
- Use R = 8.314462618 J mol^-1 K^-1 unless another value is explicitly selected.
- Ea and R must use matching energy units; the test calculations use Ea in J/mol.
- k and A must use compatible units, commonly s^-1 for first-order kinetics; the ratio k2/k1 is dimensionless.
- The exponential argument -Ea/(RT) must be dimensionless.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"A_s^-1": 250000000000,
"Ea_J_per_mol": 0,
"T_K": 298.15
},
"expected_outputs": {
"k_s^-1": 250000000000
},
"working": "k = A·e^(-Ea/(RT))\n= 250000000000·e^(-0/(8.314462618·298.15))\n= 250000000000·e^0\n= 250000000000·1\n= 250000000000 s^-1"
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The specification permits arbitrary combinations without stating validation behavior. Equal temperatures with unequal rate constants produce an undefined activation energy, and an unspecified temperature unit produces materially different results. The calculator should reject singular inputs and require absolute temperature in kelvin.
Other records
Sources and evidence
These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.
VERIFIED_LEDGER.jsonevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json