Work-Energy Theorem Calculator 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

t4-131

Effect

Computation or source lookup only

Input and validation requirements

The extreme-magnitude case overflows ordinary JavaScript numeric arithmetic: the mathematically valid work value 1e616 J becomes Infinity. If the calculator does not reject or flag non-finite results, this is a robustness failure.

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": {
    "F": 50,
    "d": 12,
    "theta": 0,
    "theta_unit": "degrees"
  },
  "expected_outputs": {
    "W_J": 600,
    "DeltaKE_J": 600
  },
  "working": "cos(0 degrees)=1. W=F*d*cos(theta)=50 N*12 m*1=600 J. By the work-energy theorem, DeltaKE=W=600 J."
}

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