Rotational Kinematics & Moment of Inertia (Rigid Bodies) implementation

Binding contract

This record describes what an executable surface must bind and validate. It does not claim that a public calculator, package, or production route is deployed.

Record owner

Guth Instruments

Lifecycle

verified-clean

Evidence ID

t6-093

Effect

Computation or source lookup only

Input and validation requirements

The extreme disk input produces a mathematical moment of inertia of 5e615 kg m^2, which overflows ordinary JavaScript Number arithmetic to Infinity. The instrument should reject or explicitly flag this out-of-range input rather than silently returning a non-finite value.

Required corrections

No binding erratum is attached to this unique-name record. Implementers must still preserve the declared units, domain, and failure behavior.

Inspectable interface fixture

The sample below is evidence for interface and validation tests, not a production implementation.

{
  "inputs": {
    "kinematics": {
      "omega0": 5,
      "alpha": -2,
      "t": 0,
      "units": {
        "omega0": "rad/s",
        "alpha": "rad/s^2",
        "t": "s"
      }
    },
    "inertia": {
      "shape": "thin hoop",
      "mass": 2,
      "radius": 0.3,
      "units": {
        "mass": "kg",
        "radius": "m"
      }
    }
  },
  "expected_outputs": {
    "omega": "5.00000 rad/s",
    "theta": "0 rad",
    "I": "0.180000 kg·m²"
  },
  "working": "Kinematics at the zero-time boundary: ω=ω0+αt=5+(-2)(0)=5 rad/s. θ=ω0t+0.5αt²=(5)(0)+0.5(-2)(0²)=0 rad. Hoop inertia: I=mr²=(2)(0.3²)=(2)(0.09)=0.18 kg·m²."
}

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-tranche6/tranche6-results.json