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

instrument mechanism / verified-clean

Angular Momentum Calculator mechanism

The inspectable method record for Angular Momentum Calculator, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The exact ambiguities are: units for I and ω are unspecified; the scalar-versus-vector meaning of angular momentum is unspecified; and the conditions under which angular momentum is conserved, especially zero external torque and a common fixed axis, are not stated. The honest label should not present conservation as unconditional.

  • L=Iω is correct only for rotation about a fixed axis when I is the scalar moment of inertia about that axis; general angular momentum is a vector and may require H=I_tensor·ω.
  • I1ω1=I2ω2 is correct only when the net external torque about the relevant axis is zero and both angular velocities and moments of inertia refer to the same axis.
  • The input specification does not define units for I or ω, so numerical results are ambiguous without an explicit unit convention.

Units and conventions

  • I is expressed in kg·m² unless explicitly converted from another unit.
  • ω is expressed in rad/s; radians are dimensionless for unit analysis.
  • L is expressed in kg·m²/s.
  • Conservation calculations use a common fixed axis and signed angular velocities; opposite directions require signs, not magnitudes alone.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "mode": "angular_momentum",
    "I": 3.2,
    "I_unit": "kg·m²",
    "omega": 2.5,
    "omega_unit": "rad/s"
  },
  "expected_outputs": {
    "L": 8,
    "L_unit": "kg·m²/s"
  },
  "working": "L=Iω=3.2 kg·m² × 2.5 rad/s=8.0 kg·m²/s."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The conservation calculation is undefined when I2 = 0. A plain-arithmetic implementation may return +Infinity instead of rejecting the input, so zero-denominator validation is required.

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