Friction Force 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-250

Effect

Computation or source lookup only

Input and validation requirements

The extreme-magnitude vector causes μN = 10^616 to overflow to Infinity in ordinary JavaScript arithmetic. The calculator should reject or flag the nonfinite result instead of presenting it as a valid physical friction force.

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": {
    "mu_s": 0.5,
    "mu_k": 0.3,
    "normal_force_N": 100,
    "tangential_force_N": 20
  },
  "expected_outputs": {
    "maximum_static_friction_N": 50,
    "kinetic_friction_if_sliding_N": 30,
    "actual_friction_N": 20,
    "motion": "no"
  },
  "working": "Maximum static friction = μsN = 0.5 × 100 = 50 N. Since |F_t| = 20 N ≤ 50 N, the object remains stationary. Actual static friction = 20 N. If it were sliding, kinetic friction would be μkN = 0.3 × 100 = 30 N."
}

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