Validation dossier & Tool Qualification Pack

A live-computed, drift-proof Validation & Methodology dossier documents the math and cross-checks behind the SIL/FTA/ETA engines — including a public cross-method SIL benchmark against the published Brissaud & Oliveira (2015) results — and rolls into a printable, assessor-ready IEC 61508-3 §7.4.4 Tool Qualification Pack, a distinctive functional-safety deliverable few tools in this space produce.

• An assessor or client asks how the SIL math was validated, not just what it outputs.
• Qualifying DekEn itself as a design tool under a functional-safety project's IEC 61508-3 tool-qualification requirement.
• Wanting an independently checkable credibility anchor rather than a self-graded claim.

The dossier is recomputed live from the running engine (not a static document), so it can never silently drift out of sync with a code change; the benchmark independently re-derives the same six architectures' PFDavg and compares it to the peer-reviewed published numbers.