Source: https://guthlabs.ai/docs/instruments/torsional-vibration-natural-frequency/

instrument / verified-clean

# Torsional Vibration Natural Frequency

The current ledger marks this instrument verified clean within the source-bound verification corpus.

Status: **VERIFIED_CLEAN**Lifecycle: **verified-clean**

## Inspectable records

[01**Overview**Purpose and lifecycle](<https://guthlabs.ai/docs/instruments/torsional-vibration-natural-frequency/>)[02**Mechanism**Method and assumptions](<https://guthlabs.ai/docs/instruments/torsional-vibration-natural-frequency/mechanism/>)[03**Implementation**Binding and validation](<https://guthlabs.ai/docs/instruments/torsional-vibration-natural-frequency/implementation/>)[04**Qualification**Evidence and errata](<https://guthlabs.ai/docs/instruments/torsional-vibration-natural-frequency/qualification/>)

## Ledger state

The current ledger marks this instrument verified clean within the source-bound verification corpus.

**Area**: Mechanical, Civil & Structural Engineering — Statics/Dynamics, Strength of Materials, Machine Design, Civil, HVAC, Vibration

**Tranche**: tranche-5

**Evidence ID**: t5-113

**Ledger rows**: 1

No ledger note is attached.

## Review findings

Core shaft-disk formula is standard under the stated idealized assumptions, but the specification needs the explicit fn=ωn/(2π) formula, required unit conventions, and the exact shaft boundary/model assumptions before it can receive PASS. The empty honest_label is inadequate; it should disclose the fixed-end, rigid-disk, massless-shaft, undamped single-degree-of-freedom assumptions.

### Formula and scope findings

- The listed formulas define kt and ωn but omit the formula for the declared output fn; the standard relation must be stated explicitly as fn=ωn/(2π).

- The model scope is not stated: these formulas assume a uniform, massless shaft fixed at one end with a rigid disk inertia J at the other, and negligible damping and shaft distributed inertia.

- Jp must mean the shaft Saint-Venant torsional constant. Calling it a polar second moment is valid directly for circular shafts, but not generally for noncircular sections.

### Unit assumptions

- Use G in Pa (N/m²), Jp in m⁴, and L in m; kt then has units N·m/rad, with radians treated as dimensionless.

- Use J as the disk mass moment of inertia in kg·m²; it must not be confused with the shaft torsional constant Jp.

- ωn is in rad/s and fn is in Hz, using fn=ωn/(2π).

- For noncircular shafts, Jp requires the appropriate Saint-Venant torsional constant rather than the ordinary geometric polar second moment.

## Boundary hardening

**BREAK_CLAIMED** · SELF_FLAGGED

The specification provides no stated domain-validation rules. L = 0 causes division by zero and must be rejected; negative stiffness inputs produce an undefined real square root. The formulas also do not define an actual piecewise branch at the sign switch.

## Errata and corrections

No applied erratum is attached to this unique-name record.

## Inspectable example

4 review vectors are recorded. One source-bound sample is shown below.

````
{
  "inputs": {
    "G_Pa": 80000000000,
    "Jp_m4": 1e-8,
    "L_m": 1,
    "J_disk_kg_m2": 0.02
  },
  "expected_outputs": {
    "kt_Nm_per_rad": 800,
    "omega_n_rad_per_s": 200,
    "fn_Hz": 31.83098862
  },
  "working": "kt=(G·Jp)/L=(80,000,000,000·0.00000001)/1=800 N·m/rad. ωn=√(kt/J)=√(800/0.02)=√40,000=200 rad/s. fn=ωn/(2π)=200/6.283185307=31.83098862 Hz."
}
````

## Related workflows

No source-defined multi-instrument workflow membership is recorded.

## Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

- `VERIFIED_LEDGER.json · VERIFIED_CLEAN`

- `evidence-tranche5/tranche5-results.json`

- `BOUNDARY_HAZARD_CATALOG.json`