Page actions
instrument mechanism / verified-clean
Ideal Gas Law Calculator mechanism
The inspectable method record for Ideal Gas Law Calculator, kept separate from implementation and qualification.
Model scope
PV=nRT is the correct ideal-gas equation, and its rearrangements correctly solve for any one missing variable when the other three values, units, and R are valid. Verdict is NEEDS_REVIEW because the spec does not define input units, absolute-temperature requirements, absolute-pressure requirements, or physical-domain constraints.
No additional formula finding is recorded.
Units and conventions
- P, V, n, and T must use mutually consistent units with R.
- Using R=0.08206 requires P in atm, V in L, n in mol, and T in K.
- Using R=8.314 requires P in Pa, V in m^3, n in mol, and T in K.
- Temperature must be absolute Kelvin, not Celsius.
- Pressure must be absolute pressure, not gauge pressure.
- The supplied R values are rounded approximations; labeling both simply as CODATA is imprecise, especially for 8.314 J/(mol·K).
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"n": 2,
"n_unit": "mol",
"T": 300,
"T_unit": "K",
"V": 10,
"V_unit": "L",
"R": 0.08206,
"R_unit": "L·atm/(mol·K)"
},
"expected_outputs": {
"P": 4.9236,
"P_unit": "atm"
},
"working": "P = nRT/V = (2 mol × 0.08206 L·atm/(mol·K) × 300 K) / 10 L = 49.236 L·atm / 10 L = 4.9236 atm."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The specification does not state validation for absolute-zero inputs, zero-mole division traps, unit-system branch selection, or Celsius-versus-Kelvin temperature interpretation. A plain-arithmetic implementation can return undefined/NaN or materially wrong results instead of rejecting or disambiguating these cases.
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