Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument mechanism / verified-with-binding-errata

Shaft Diameter Sizing (Torsion + Bending) mechanism

The inspectable method record for Shaft Diameter Sizing (Torsion + Bending), kept separate from implementation and qualification.

Status: VERIFIED_WITH_ERRATALifecycle: verified-with-binding-errata

Model scope

NEEDS_REVIEW because the exact input-unit convention is unspecified, the shaft geometry/applicability is unspecified, and the allowable-stress and ASME factor-selection basis is unspecified. The stated honest label appropriately limits the result to preliminary sizing, but the instrument should require or display these assumptions before presenting a final diameter.

  • The formula is the standard ASME equivalent-twisting-moment equation for a solid, round shaft: d = [16/(π·τallow)·√((Kb·Mb)^2 + (Kt·Tt)^2)]^(1/3). Its applicability is not stated for non-solid, non-circular, keyed, grooved, or otherwise stress-concentrated shafts.
  • The required ASME factor-selection method and allowable-stress basis are not defined; Kb, Kt, and τallow cannot be treated as arbitrary independent inputs.

Units and conventions

  • Mb and Tt must use the same torque units, and τallow must use force per area units consistent with those lengths; for example, N·mm with MPa (N/mm²) produces d in mm.
  • Kb and Kt are dimensionless shock/fatigue factors and should normally be nonnegative.
  • The test vectors assume a solid circular shaft and use the supplied allowable shear stress directly.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "Mb": 0,
    "Tt": 100000,
    "tauallow": 50,
    "Kb": 1.5,
    "Kt": 1,
    "units": "Mb,Tt in N·mm; tauallow in MPa"
  },
  "expected_outputs": {
    "d_mm": 46.702
  },
  "working": "d = [16/(π·50)·√((1.5·0)^2 + (1.0·100000)^2)]^(1/3)\n= [16/(50π)·√(0 + 10000000000)]^(1/3)\n= [16/(50π)·100000]^(1/3)\n= [101859.16]^(1/3)\n= 46.702 mm"
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The formula returns an undefined result when tauallow=0 and returns a nonphysical zero diameter when both bending moment and torque are zero. The specified equation has no actual conditional formula branch; sign crossing does not change the result.

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
  • BOUNDARY_HAZARD_CATALOG.json