Page actions
instrument mechanism / verified-clean
Unit & Dimensional Analysis Converter mechanism
The inspectable method record for Unit & Dimensional Analysis Converter, kept separate from implementation and qualification.
Model scope
The core algorithm is standard: multiplicative factors for units sharing a dimension, affine formulas for offset temperature scales, and exponent-vector tracking for dimensions. Verdict is NEEDS_REVIEW because the exact unit inventory, factor-table version/precision, dimensional-expression interface, and temperature-difference behavior are not specified.
- The stated linear/affine conversion method is standard, but the supported-unit lookup table, factor precision, and reference/version are unspecified, so exact reproducibility cannot be verified.
- Dimensional-consistency checking is claimed, but the input schema only defines a scalar value, source unit, and target unit; it does not define an expression grammar, compound-unit syntax, or how dimension exponents are supplied and reported.
- Temperature conversions must distinguish absolute temperatures from temperature differences: Celsius/Fahrenheit/Kelvin require affine offsets, while temperature intervals require multiplicative-only factors.
- The specification does not state whether compound units such as m/s^2, prefixes, reciprocal units, or derived SI units are supported.
Units and conventions
- Length conversion uses the exact SI definition 1 in = 0.0254 m.
- Mass conversion uses 1 kg = 2.20462262184878 lb; the pound is assumed to mean the avoirdupois international pound.
- Time conversion uses 1 h = 60 min.
- Absolute temperature conversion uses K = °C + 273.15; Kelvin and Celsius increments are assumed equal in size.
- Dimension exponents use SI base dimensions, with L for length, M for mass, T for time, and Θ for thermodynamic temperature.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"value": 12,
"source_unit": "in",
"target_unit": "m"
},
"expected_outputs": {
"converted_value": 0.3048,
"dimension_breakdown": {
"L": 1,
"M": 0,
"T": 0,
"Theta": 0
}
},
"working": "1. Use the exact factor: 1 in = 0.0254 m.\n2. Convert: 12 in × 0.0254 m/in = 0.3048 m.\n3. The inch and metre are both length units, so the dimension exponents are L^1 M^0 T^0 Θ^0."
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
An extreme but syntactically valid finite input, 1e308 m, converts to 1e311 mm and overflows JavaScript Number arithmetic to Infinity. The converter should reject or clearly flag the non-finite output. The pound test also exposes a convention-dependent result if lb is not disambiguated.
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-tranche6/tranche6-results.jsonBOUNDARY_HAZARD_CATALOG.json