Home Developers Evidence units.convert

Public evidence

units.convert

Machine-checked verification for calculation version 0.1.1 · tier candidate

Open calculator API Capability Download JSON CVP Manifest MCP Review policy

CVP status

CVP VERIFIED · CVP protocol 1.0.0-proposed · Engineering assurance · The enumerated reference cases and rejection partitions under the pinned snapshot, including independent definition checks for all 304 units across 68 quantity kinds in the pinned snapshot, with explicit scalar/point/interval semantics and temperature component roles; both directions of all 320 unit-kind-role slots relative to their reference unit; exact rational and symbolic pi results and sampled numeric boundaries.

Fixed snapshot and explicit quantity kind and role.

Declared partition coverage
PASS · 70/70 declared partitions (length, temperature, plane_angle, angular_velocity, mass, duration, frequency, speed, acceleration, area, volume, section_modulus, area_moment, force, pressure, energy, torque, power, electric_current, electric_potential, electric_charge, resistance, capacitance, inductance, magnetic_flux, magnetic_flux_density, electrical_conductance, electrical_resistivity, electrical_conductivity, apparent_power, reactive_power, voltage_temperature_coefficient, transconductance_parameter, resistance_per_length, amount_of_substance, volume_flow_rate, mass_flow_rate, mass_density, mass_concentration, amount_concentration, molar_mass, dynamic_viscosity, kinematic_viscosity, surface_tension, thermal_conductivity, heat_transfer_coefficient, thermal_resistance, specific_heat_capacity, heat_capacity, specific_energy, temperature_coefficient, momentum, areal_mass_density, solid_angle, ratio, luminous_intensity, luminous_flux, illuminance, irradiance, luminance, luminous_efficacy, radioactivity, absorbed_dose, dose_equivalent, catalytic_activity, inverse_time, information, information_rate, numeric-boundary, invalid-domain)
Versions
Calculation 0.1.1 · CVP protocol 1.0.0-proposed · Evidence 2026-11-05.uuce-c6-v1
Verification revision
2026-11-05.uuce-c6-v1 · 1/1 property · digest 151ae7793402

Verification

Legacy regression suite: 15/15 calculation tests · Production surface contract 3/3

Three distinct suites: educational examples on the calculator page, this legacy regression count (15/15 golden + boundary), and the CVP verification suite below. They are not the same number. Property, metamorphic, round-trip, O3, and interface statuses/checks are recorded in the CVP Manifest . SKIP (0/0) means that suite has no published vectors.

    This calculator CURRENT · Public schema 0.1.1 matches · Semantic contract ✓ · Production attested

CVP verification suite

Protocol checks from the Evidence Manifest. Distinct from the legacy regression suite above. Verification revision 2026-11-05.uuce-c6-v1. Calculation version 0.1.1. CVP 1.0.0-proposed. 1259/1259 golden · 2791/2791 CVP boundary · 689/689 invalid · 1/1 property · 1/1 metamorphic · 1/1 round-trip · 4737/4737 cross-interface · 3/3 CVP contract. digest 151ae7793402. Strict identity of the fields independently specified in each case. No ULP measurement for symbolic or unavailable numeric projections.

  • Golden (oracle-backed) 1259 / 1259
  • CVP boundary 2791 / 2791
  • Invalid input 689 / 689
  • Property 1 / 1
  • Metamorphic 1 / 1
  • Round-trip 1 / 1
  • Cross-interface 4737 / 4737
  • CVP contract 3 / 3
  • Interfaces PASS · REST / MCP
  • Interface claim REST and MCP JSON-RPC: 4737/4737; execution is machine-only.
  • Verified scope The enumerated reference cases and rejection partitions under the pinned snapshot, including independent definition checks for all 304 units across 68 quantity kinds in the pinned snapshot, with explicit scalar/point/interval semantics and temperature component roles; both directions of all 320 unit-kind-role slots relative to their reference unit; exact rational and symbolic pi results and sampled numeric boundaries.
  • Assurance Engineering
  • Deferred Unlisted unit pairs, correct rounding against true pi at every boundary, contextual models, measurement uncertainty and calculator-internal integration.
  • rest mcp parity PASS
  • published json schemas PASS
  • snapshot projection PASS

Input schema sha256:d4565764146f47a4a7870766c993e002087bdba19fc11a2db59093a0e2a664ea · Output schema sha256:4cce6b1a9af727cfe76f4a21e61feea0fec441cce937a2211e5d85febff29fb2 · Build-time SHA-256 digests prove published artifacts agree with each other (release_integrity.scope=workspace). Production attestation GETs canonical URLs twice (public/cached view and origin), including Capability HTML, via npm run attest:production --write (published at /.well-known/calculatorx-production-attestation.json) and fails if the public Capability page advertises a different calculation_version. This is artifact consistency, not an independent immutable release log.

Build & scope

Engine identity and declared limitations.

Tool
convert-units
Engine
units.convert
Engine build
—
Evidence core
2026-11-05T01:04:44.129Z
Rendered
2026-11-05T01:04:44.129Z
Last reviewed
—

Assumptions

  • Compose registered scale and offset relative to a common reference unit.
  • Fixed snapshot and explicit quantity kind and role.

Limitations

  • Unlisted unit pairs, correct rounding against true pi at every boundary, contextual models, measurement uncertainty and calculator-internal integration.

Sources

Standards and references supporting this tool specification. Methods are listed separately — they are algorithms, not bibliographic sources.

Verification disclosure

Aggregate outcomes, scope and artifact commitments are public. Complete test inputs, expected values, execution records and oracle infrastructure are retained privately. This summary does not independently reproduce the full verification run.