Page actions
instrument mechanism / verified-clean
Dew Point Calculator mechanism
The inspectable method record for Dew Point Calculator, kept separate from implementation and qualification.
Model scope
The dew-point formula itself is acceptable under the stated Celsius and percentage assumptions. Review is required because Fahrenheit handling and the comfort-category computation are unspecified. The honest label should qualify the approximately ±0.4 °C accuracy claim by applicable temperature/humidity range and conditions.
- The Magnus-Tetens formula with a=17.27 and b=237.7 is a standard approximation when temperature T is in °C and RH is a percentage in the range 0<RH<=100.
- The claimed comfort category output has no definition, thresholds, or formula, so it cannot be verified or reproduced from this specification.
- The specification says the dew point is output in °C/°F but does not define whether the input temperature may be °F or how °F output is calculated. The Magnus formula itself requires °C input.
Units and conventions
- T in the Magnus formula is assumed to be degrees Celsius.
- RH is assumed to be relative humidity expressed as a percentage, so RH=50 means 50%, not 0.50.
- If Fahrenheit input or output is supported, conversion is assumed to be °C=(°F-32)*5/9 and °F=°C*9/5+32.
- The constants a=17.27 and b=237.7 are dimensioned for temperature in °C.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"temperature_C": 20,
"relative_humidity_percent": 50
},
"expected_outputs": {
"dew_point_C": 9.254,
"dew_point_F": 48.657
},
"working": "alpha=ln(50/100)+(17.27*20)/(237.7+20)=ln(0.5)+345.4/257.7=-0.693147+1.340318=0.647171. Td=(237.7*0.647171)/(17.27-0.647171)=153.8325/16.622829=9.254 °C. Fahrenheit=9.254*9/5+32=16.657+32=48.657 °F."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
RH=0 produces an undefined logarithm and must be rejected. The specification does not state validation behavior for this input. It also does not define comfort-category thresholds or explicitly state the temperature-unit convention, creating additional implementation hazards.
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