[spec] start hypothesis testing

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