Typed health classification, uncertainty algebra, and correction auditing for any system that measures things and needs to explain what happened.
