Shenhai ngabeledug-Buktina
Intrinsically aman ngabeledug-bukti ngagambarkeun kategori husus dina metodologi explosion-bukti, sacara resmi disebut salaku 'Intrinsik Aman,’ sarta dilambangkeun ku lambang “abdi.”
Jenis ieu digolongkeun kana tilu tingkatan anu béda: nya, ib, jeung ic, masing-masing ngagambarkeun tingkat kaamanan intrinsik anu béda.