# step: sim_verify.py
# order: 80
# independent: delivery-sim delivery python3 staged-measure-conformance/sim_verify.py staged-measure-conformance
#
# The delivery simulator's second implementation: Appendix B from the text, every case
# of staged-measure-conformance/sim/ reproduced and its claim checked, with a
# counter-case required for each part of the stall bound a schedule can lose.