Kepler's Third Law 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-with-binding-errata

Evidence ID

t4-035

Effect

Computation or source lookup only

Input and validation requirements

The specification exposes hazardous inputs: a=0 is mathematically defined but physically degenerate, central mass M=0 causes division by zero, and a negative semi-major axis produces convention-dependent behavior or a non-real result. The instrument should validate these cases explicitly.

Required corrections

[
  {
    "vector": 3,
    "field": "period_s",
    "wrong": 3948750,
    "correct": 3944700,
    "cause": "45.65625×86,400 mis-multiplied; contradicts her own v2 year constant/8"
  }
]

Inspectable interface fixture

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

{
  "inputs": {
    "mode": "SI",
    "a_m": 149600000000,
    "central_mass_kg": 1.989e+30,
    "G_m3_kg_s2": 6.6743e-11
  },
  "expected_outputs": {
    "period_s": 31554100
  },
  "working": "GM=(6.6743×10^-11)(1.989×10^30)=1.32751827×10^20 m³/s². a³=(1.496×10^11)³=3.348071936×10^33 m³. T²=4π²a³/(GM)=39.4784176×(3.348071936×10^33)/(1.32751827×10^20)=9.956×10^14 s². T=√(9.956×10^14)=3.1554×10^7 s≈31,554,100 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
• tranche errata record