Page actions
instrument / verified-clean
Thin-Wall Pressure Vessel Stress
The current ledger marks this instrument verified clean within the source-bound verification corpus.
Inspectable records
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-4
- Evidence ID
- t4-094
- Ledger rows
- 1
No ledger note is attached.
Review findings
The stated equations are standard membrane-stress formulas: cylinder hoop stress pr/t, closed-end cylinder longitudinal stress pr/(2t), and spherical-vessel membrane stress pr/(2t). Review is required because pressure convention, radius-versus-diameter handling, and the closed-end assumption are not fully specified.
Formula and scope findings
- The cylinder longitudinal-stress formula is valid for a closed-ended cylinder under internal pressure; the specification does not state the closed-end assumption.
- The inputs allow r or d, but the specification does not define the required conversion d=2r before applying the formulas.
- The pressure convention is unspecified; these membrane-stress formulas normally use internal gauge pressure, not absolute pressure.
Unit assumptions
- p, r, d, and t must use mutually consistent units; stress has the same pressure units as p.
- If diameter d is supplied, use r=d/2 before calculation.
- p is assumed to be internal gauge pressure; signed pressure may represent external pressure if the sign convention is explicitly defined.
- The thin-wall validity condition is t/r<0.1, using the mean radius and uniform wall thickness.
Boundary hardening
BREAK_CLAIMED · SELF_FLAGGED
The instrument should reject t=0 because both formulas divide by zero, and it should flag or reject t/r=0.1 because the thin-wall assumption is valid only for t/r<0.1. Signed-versus-magnitude pressure conventions can also reverse the reported stress signs.
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": {
"p": 200000,
"r": 0.5,
"t": 0.01,
"vessel_type": "cylinder",
"units": "p in Pa; r and t in m"
},
"expected_outputs": {
"sigma_hoop": 10000000,
"sigma_long": 5000000,
"stress_units": "Pa"
},
"working": "t/r = 0.01/0.5 = 0.02, which is less than 0.1. σ_hoop = pr/t = (200000 Pa × 0.5 m)/0.01 m = 100000/0.01 = 10000000 Pa. σ_long = pr/(2t) = (200000 × 0.5)/(2 × 0.01) = 100000/0.02 = 5000000 Pa."
}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_CLEANevidence-tranche4/tranche4-results.jsonBOUNDARY_HAZARD_CATALOG.json