Source: https://guthlabs.ai/docs/instruments/beam-deflection-fixed-fixed-point-udl/mechanism/

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_ERRATA**Lifecycle: **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

[01**Overview**](<https://guthlabs.ai/docs/instruments/beam-deflection-fixed-fixed-point-udl/>)[03**Implementation**](<https://guthlabs.ai/docs/instruments/beam-deflection-fixed-fixed-point-udl/implementation/>)[04**Qualification**](<https://guthlabs.ai/docs/instruments/beam-deflection-fixed-fixed-point-udl/qualification/>)

## 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`