Cyclotron Motion 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

t5-205

Effect

Computation or source lookup only

Input and validation requirements

A zero-charge input creates an undefined radius and period and should be rejected. The non-relativistic-only formulas also produce materially inaccurate results at 0.6c unless the calculator flags or handles the relativistic regime. Signed charge and field conventions can additionally yield negative radius/frequency values that require explicit interpretation.

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": {
    "mass_kg": 1.673e-27,
    "charge_C": 1.602e-19,
    "velocity_perpendicular_m_per_s": 1000000,
    "B_T": 1
  },
  "expected_outputs": {
    "radius_m": 0.0104432,
    "cyclotron_frequency_Hz": 15239800,
    "period_s": 6.56165e-8
  },
  "working": "r=m v/(|q|B)=(1.673e-27×1.000e6)/(1.602e-19×1.00)=1.673e-21/1.602e-19=1.04432e-2 m. f=|q|B/(2πm)=1.602e-19/(2×3.1415926536×1.673e-27)=1.602e-19/1.0511769e-26=1.52398e7 Hz. T=1/f=1/(1.52398e7)=6.56165e-8 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-tranche5/tranche5-results.json