[spec] start hypothesis testing

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