Momentum Calculator mechanism

Model scope

The formula is conditionally correct, but the specification needs exact definitions for vector dimensionality, accepted units and conversion behavior, treatment of systems, and the nonrelativistic validity range before it can receive PASS.

• p=mv is the standard classical formula for a single object when m is scalar mass and v is a velocity vector.
• The claim that it computes momentum of an arbitrary system is underspecified: a system generally requires p_total=Σ(m_i v_i), or an explicitly defined total mass and common/center-of-mass velocity.
• The formula is not valid as stated in relativistic regimes; relativistic momentum is p=γmv.
• The spec does not state whether velocity input is a scalar or a three-dimensional vector, despite the output being specified as a vector.

Units and conventions

• Mass must be a nonnegative scalar measured in kilograms.
• Velocity must be a vector measured in meters per second; scalar velocity is acceptable only for one-dimensional motion and should produce a signed scalar or an explicitly defined vector component.
• The output unit is kilogram-meters per second (kg·m/s).
• Unit conversion must occur before applying p=mv; plain arithmetic does not convert grams to kilograms or kilometers per hour to meters per second.
• The classical formula assumes speeds sufficiently below the speed of light.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "mass": 2,
    "mass_unit": "kg",
    "velocity": [
      3,
      -4,
      0
    ],
    "velocity_unit": "m/s"
  },
  "expected_outputs": {
    "p": [
      6,
      -8,
      0
    ],
    "unit": "kg·m/s"
  },
  "working": "p=mv=2 kg×[3,-4,0] m/s=[2×3,2×(-4),2×0]=[6,-8,0] kg·m/s."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The plain-JavaScript arithmetic engine overflows for a valid finite input combination of mass = 10^308 kg and velocity = 10^308 m/s, producing Infinity instead of a finite representable result; the mathematical momentum is 10^616 kg·m/s.

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