Ub Safety Threat Model
6 sections
100%
Section 1 Walking skeleton: disposition taxonomy + coverage-matrix schema + seed checker Section 2 Foreclosed-by-type-system catalogue Section 3 AIMS proof-obligation catalogue Section 4 Concurrency disposition: data-race foreclosure + deadlock/weak-memory gaps Section 5 FFI / unsafe-boundary obligations (priority hardening) Section 6 Coverage checker + completeness gate
Completed
6 sections
Section 1 Complete
Walking skeleton: disposition taxonomy + coverage-matrix schema + seed checker
2/2 tasks
Section 2 Complete
Foreclosed-by-type-system catalogue
3/3 tasks
Section 3 Complete
AIMS proof-obligation catalogue
2/2 tasks
Section 4 Complete
Concurrency disposition: data-race foreclosure + deadlock/weak-memory gaps
2/2 tasks
Section 5 Complete
FFI / unsafe-boundary obligations (priority hardening)
2/2 tasks
Section 6 Complete
Coverage checker + completeness gate
2/2 tasks