Maxwell-Boltzmann Speed Distribution 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

t6-130

Effect

Computation or source lookup only

Input and validation requirements

The specification exposes undefined or nonphysical inputs at T=0, M=0, and T<0, and a factor-of-31.6 unit-convention error is possible if molar-mass units are not enforced. The calculator should reject these cases or clearly label the limiting behavior and units.

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": {
    "M": 0.004,
    "M_unit": "kg/mol",
    "T": 300,
    "R": 8.314462618,
    "sampled_speeds_m_per_s": [
      0,
      1116.767
    ]
  },
  "expected_outputs": {
    "v_p_m_per_s": 1116.767,
    "v_avg_m_per_s": 1260.138,
    "v_rms_m_per_s": 1367.755,
    "plot_samples": {
      "f_0_s_per_m": 0,
      "f_at_v_p_s_per_m": 0.0007433
    },
    "curve_features": {
      "root": "v=0",
      "maximum": "v=v_p=1116.767 m/s",
      "high_speed_asymptote": "f(v)->0 as v->infinity"
    }
  },
  "working": "First compute RT/M=(8.314462618*300)/0.004=623584.69635 m^2/s^2. Then v_p=sqrt(2*623584.69635)=sqrt(1247169.3927)=1116.767 m/s. v_avg=sqrt((8/pi)*623584.69635)=sqrt(158? approximately 1587946.8)=1260.138 m/s. v_rms=sqrt(3*623584.69635)=sqrt(1870754.08905)=1367.755 m/s. For the density, alpha=M/(2RT)=0.004/(2*8.314462618*300)=8.01815e-7 s^2/m^2. At v=0, f=constant*0^2*exp(0)=0. At v=v_p, alpha*v^2=1, so f=(4/sqrt(pi))*sqrt(alpha)*exp(-1)=(2.25675833)*(1/1116.767)*0.367879=0.0007433 s/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