Page actions
instrument mechanism / verified-clean
Kinetic Energy Calculator mechanism
The inspectable method record for Kinetic Energy Calculator, kept separate from implementation and qualification.
Model scope
The formula is valid under classical, nonrelativistic assumptions. The verdict is NEEDS_REVIEW because the speed regime and input units are unspecified. honest_label='n/a' does not disclose the classical approximation or required SI units; an honest label should identify this as a classical/nonrelativistic translational kinetic-energy calculator.
- KE=½mv² is the correct classical formula for translational kinetic energy when mass is constant and speed is nonrelativistic.
- The spec does not state the nonrelativistic applicability limit; at speeds approaching the speed of light, relativistic kinetic energy must be used instead.
- The spec does not constrain mass to nonnegative values or clarify whether velocity may be signed; velocity may be signed because it is squared, but mass must be nonnegative.
Units and conventions
- Mass is in kilograms (kg).
- Velocity is in metres per second (m/s); the output is in joules (J).
- If supplied in other units, mass and velocity must be converted before applying the formula: 1 g=0.001 kg and 1 km/h=5/18 m/s.
Inspectable vector
One of 4 source-bound review vectors:
{
"inputs": {
"mass_kg": 2,
"velocity_m_per_s": 3
},
"expected_outputs": {
"KE_J": 9
},
"working": "KE=½mv²=½×2 kg×(3 m/s)²=1×9 kg·m²/s²=9 J"
}Failure boundary
BREAK_CLAIMED · SELF_FLAGGED
The plain JavaScript arithmetic overflows for mass = 10^308 and velocity = 10^308, producing Infinity instead of a finite representable result. The unspecified velocity unit also permits materially different interpretations.
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