VernaStruct Verification Manual

Every design check in VernaStruct is cross-checked here against an independent hand calculation. This is the trust document a conservation engineer needs before relying on the software — and, per the roadmap, the sales asset that gets published on the product website in Phase 2.

Each case: problem statement → hand calculation → side-by-side comparison with the software's output → a pinned automated regression test so no future code change can silently break the result.

Cases

#	Case	Module	Status
VC-01	Round timber joist — bending, shear, deflection	`analysis.timber`	✅
VC-02	Steel I-beam — LRFD bending, shear, deflection	`analysis.steel`	✅
VC-03	Adobe bearing wall — compression, bending, shear (SBC 902 §806)	`modules.walls`	✅ (found + fixed a 1000× units defect)
VC-04	Pad footing — Meyerhof effective width, bearing, settlement	`modules.foundations`	✅ (found + fixed a 1000× units defect)
VC-05	Round timber joist — long-term (creep) deflection, wet service	`analysis.timber`	✅ (found + fixed a governing-utilization reporting defect)
VC-06	Tapered palm-trunk column — CP stability + small-end check (NDS 3.7)	`modules.columns`	✅ (found + fixed an unconservative CP = 1.0 shortcut)
VC-07	Equivalent static wind pressure (ASCE 7-16 / SBC 301)	`analysis.wind`	✅
VC-08	Seismic ELF + adobe wall in-plane shear & overturning	`analysis.seismic` + `modules.walls`	✅
VC-09	Steel beam lateral-torsional buckling (AISC 360-16 F2)	`analysis.steel`	✅
VC-10	Round timber beam per Eurocode 5 (EN 1995-1-1) + KL/CF	`codes.ec5`	✅
VC-11	Masonry wall vertical resistance per Eurocode 6 (Annex G, real-E adobe)	`codes.ec6`	✅
VC-12	Roof joist design through the service, Eurocode profile (EN 338 library data, selection loop, derived-species KL1 forcing)	`modules.roofs` + `codes.ec5`	✅
VC-13	EC5 rectangular beam vs published worked example (shear deformation + ψ₂ creep combination)	`codes.ec5`	✅ cross-checked vs published source
VC-14	EC6 wall vertical resistance vs published worked example (ρ effective height, 0.05t floor, γ_M 3.0, E=1000f_k)	`codes.ec6`	✅ N_Rd match to 4 s.f.
VC-15	EC5 joist vs Swedish Wood Vol. 3 Examples 3.1 + 7.1 (ULS + SLS)	`codes.ec5`	✅ (found + fixed the missing §6.1.7 k_cr crack factor — shear was unconservative by 1/0.67)
VC-16	EN 1998-3 / NTC confidence-factor chain vs published assessment practice (Circolare C8.5.I stone masonry, LC1 convention)	`codes.knowledge` + `modules.walls`	✅ strengths /1.35, mean E adopted — matches published case study

Adding a new case

Pick a check not yet covered (see roadmap Phase 0.5 / 1.6 / 2.2 for the target list).
Write the hand calculation independently — do not derive it by reading the software's source, or the check proves nothing.
Run the same inputs through the software and compare to at least 4 significant figures.
Document as VC-NN_short_name.md following the VC-01 template.
Pin the exact numbers as a test in tests/test_verification_cases.py.
Add a row to the table above.