# Inspection sample-size screening
# Scope: Binomial probability of seeing at least one defect under random independent sampling.
# Status: illustrative worked example; engineering review pending.
# Inputs are example values. Checks are editable example requirements, not standards.

defectFraction = 0.02
sampleSize = 100

detection := 1-(1-defectFraction)^sampleSize

check detection target: detection >= 0.8

scenario alternative: defectFraction = 0.016