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

instrument mechanism / verified-with-binding-errata

Beam Deflection — Fixed-Fixed, Point/UDL mechanism

The inspectable method record for Beam Deflection — Fixed-Fixed, Point/UDL, kept separate from implementation and qualification.

Status: VERIFIED_WITH_ERRATALifecycle: verified-with-binding-errata

Model scope

The instrument cannot pass as specified because its UDL maximum-deflection formula is wrong and its claimed reaction outputs lack formulas. The honest label should identify the model as Euler-Bernoulli, linear-elastic theory for an ideal fixed-fixed prismatic beam, with a full-span UDL or a centered point load.

  • The UDL maximum-deflection formula is incorrect: for a fixed-fixed beam under a full-span uniform load, the standard formula is δmax=5wL⁴/(384EI), not wL⁴/(384EI).
  • The listed formulas do not provide the reactions required by the claimed outputs. For symmetric full-span UDL, each reaction is wL/2; for a centered point load, each reaction is P/2.
  • The point-load formulas are valid only for a point load located at midspan. The point-load position is not represented in the inputs, so the scope must be explicitly restricted to midspan.
  • The stated UDL end and midspan moments are correct for a full-span UDL with ideal fixed ends: Mend=wL²/12 in magnitude and Mmid=wL²/24 in magnitude.

Units and conventions

  • Use a consistent SI system: P in N, w in N/m, L in m, E in Pa (N/m²), and I in m⁴.
  • Moments are returned in N·m; reactions are returned in N; deflection is returned in m.
  • Mend denotes the magnitude of the hogging moment at either fixed support; the signed value depends on the adopted bending-moment convention.
  • The beam is prismatic, Euler-Bernoulli, linear-elastic, and has ideal fixed restraints.
  • The UDL acts uniformly over the full span, and the point load acts exactly at midspan.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "load_type": "UDL",
    "w_N_per_m": 10000,
    "L_m": 6,
    "E_Pa": 200000000000,
    "I_m4": 0.000008
  },
  "expected_outputs": {
    "reaction_left_N": 30000,
    "reaction_right_N": 30000,
    "Mend_Nm": 30000,
    "Mmid_Nm": 15000,
    "delta_max_standard_m": 0.10546875,
    "delta_max_as_written_m": 0.02109375
  },
  "working": "Reactions: wL/2 = 10000×6/2 = 30000 N each. End moment: wL²/12 = 10000×6²/12 = 10000×36/12 = 30000 N·m. Midspan moment: wL²/24 = 10000×36/24 = 15000 N·m. EI = 200000000000×0.000008 = 1600000 N·m². Correct deflection: 5wL⁴/(384EI) = 5×10000×6⁴/(384×1600000) = 5×10000×1296/614400000 = 64800000/614400000 = 0.10546875 m. Specified deflection: wL⁴/(384EI) = 10000×1296/614400000 = 0.02109375 m."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

An input with E = 0 produces a zero denominator in the deflection formula, so the instrument must reject it or report an undefined result. The specification also leaves reaction sign conventions and signed-versus-magnitude reporting ambiguous.

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