{"initial":{"concepts":[{"id":"a","tags":["quiet","grid"]},{"id":"b","tags":["bright","organic"]},{"id":"c","tags":["modular"]}],"requiredTags":["quiet","modular"],"minimumDistinctTags":3,"pick":3},"counterexample":{"concepts":[{"id":"a","tags":["quiet"]},{"id":"b","tags":["quiet"]},{"id":"c","tags":["quiet"]}],"requiredTags":["quiet","modular"],"minimumDistinctTags":2,"pick":3},"tests":[{"name":"coverage-and-diversity","input":{"concepts":[{"id":"a","tags":["quiet","grid"]},{"id":"b","tags":["bright","organic"]},{"id":"c","tags":["modular"]}],"requiredTags":["quiet","modular"],"minimumDistinctTags":3,"pick":3},"expected":{"pass":true,"summary":"The selected set covers the declared tags and diversity floor.","checks":[{"name":"requested-count","pass":true},{"name":"unique-concepts","pass":true},{"name":"declared-tags","pass":true},{"name":"required-coverage","pass":true},{"name":"minimum-diversity","pass":true}]}},{"name":"missing-required-tag","input":{"concepts":[{"id":"a","tags":["quiet"]},{"id":"b","tags":["quiet"]},{"id":"c","tags":["quiet"]}],"requiredTags":["quiet","modular"],"minimumDistinctTags":2,"pick":3},"expected":{"pass":false,"summary":"The selected set misses a declared tag, count, identity, or diversity floor.","checks":[{"name":"requested-count","pass":true},{"name":"unique-concepts","pass":true},{"name":"declared-tags","pass":true},{"name":"required-coverage","pass":false},{"name":"minimum-diversity","pass":false}]}},{"name":"exact-diversity-boundary","input":{"concepts":[{"id":"a","tags":["quiet"]},{"id":"b","tags":["modular"]}],"requiredTags":["quiet","modular"],"minimumDistinctTags":2,"pick":2},"expected":{"pass":true,"summary":"The selected set covers the declared tags and diversity floor.","checks":[{"name":"requested-count","pass":true},{"name":"unique-concepts","pass":true},{"name":"declared-tags","pass":true},{"name":"required-coverage","pass":true},{"name":"minimum-diversity","pass":true}]}}]}