[spec] start hypothesis testing

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