Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument mechanism / verified-clean

Dew Point Calculator mechanism

The inspectable method record for Dew Point Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

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.json
  • evidence-tranche4/tranche4-results.json
  • BOUNDARY_HAZARD_CATALOG.json