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

instrument mechanism / verified-clean

Wind Speed Unit/Force Converter mechanism

The inspectable method record for Wind Speed Unit/Force Converter, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The instrument should publish its exact conversion constants, precision and rounding policy, accepted-unit spelling, negative-input behavior, Beaufort threshold standard, and wind averaging convention before release. The honest label is currently empty; it should state that Beaufort is an approximate wind-force classification dependent on the selected standard and wind-measurement convention.

  • The specification says "standard unit conversion factors" but does not provide the actual factor table or output rounding rules, so the exact formulas cannot be fully verified.
  • Beaufort is a categorical wind-force classification rather than a unit conversion, and the required threshold convention is unspecified. The test vectors assume the common knot-based integer ranges: B0 <1 kt, B1 = 1–3 kt, B2 = 4–6 kt, B3 = 7–10 kt, B4 = 11–16 kt, B5 = 17–21 kt, B6 = 22–27 kt, B7 = 28–33 kt, B8 = 34–40 kt, B9 = 41–47 kt, B10 = 48–55 kt, B11 = 56–63 kt, B12 >=64 kt.
  • The specification does not state whether Beaufort classification uses instantaneous wind, sustained wind, or a time-averaged wind measurement.

Units and conventions

  • Use 1 knot = 1.150779 mph = 1.852 km/h = 0.514444 m/s.
  • Use 1 mph = 1.609344 km/h = 0.44704 m/s.
  • Use 1 km/h = 0.2777777778 m/s.
  • Displayed converted values are rounded to 5 decimal places; calculations use the stated factors before rounding.
  • Beaufort classification is based on the converted speed in knots using the common integer knot ranges listed in formula_issues.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "wind_speed": 0,
    "unit": "m/s"
  },
  "expected_outputs": {
    "knots": 0,
    "mph": 0,
    "km/h": 0,
    "m/s": 0,
    "beaufort": 0
  },
  "working": "Start with 0 m/s. Knots: 0 / 0.514444 = 0 kt. mph: 0 x 2.236936 = 0 mph. km/h: 0 x 3.6 = 0 km/h. The speed is below 1 kt, so Beaufort = 0."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The converter has hazardous behavior at extreme finite inputs because ordinary JavaScript arithmetic overflows converted units to Infinity. Negative signed inputs also expose an unresolved speed-versus-direction convention and produce undefined Beaufort output unless explicitly rejected or converted to an absolute magnitude.

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