[spec] start hypothesis testing

diff --git a/spec/spec-collated.pdf b/spec/spec-collated.pdf
index 881e8cce35bb330f82ec6766966659220694407e..2af5693473797d195b23dfaba30384137b9a4b4f 100644 (file)
Binary files a/spec/spec-collated.pdf and b/spec/spec-collated.pdf differ