{"initial":{"conclusions":[{"text":"ship","position":"majority"},{"text":"wait","position":"minority"}],"synthesis":["ship","wait"]},"counterexample":{"conclusions":[{"text":"ship","position":"majority"},{"text":"wait","position":"minority"}],"synthesis":["ship"]},"tests":[{"name":"minority retained","input":{"conclusions":[{"text":"ship","position":"majority"},{"text":"wait","position":"minority"}],"synthesis":["ship","wait"]},"expected":{"pass":true,"summary":"Synthesis retains every conclusion, including minority conclusions.","checks":[{"name":"all conclusions retained","pass":true},{"name":"minority conclusions retained","pass":true}]}},{"name":"minority omitted","input":{"conclusions":[{"text":"ship","position":"majority"},{"text":"wait","position":"minority"}],"synthesis":["ship"]},"expected":{"pass":false,"summary":"Synthesis omits: wait.","checks":[{"name":"all conclusions retained","pass":false},{"name":"minority conclusions retained","pass":false}]}},{"name":"no minority boundary","input":{"conclusions":[{"text":"ship","position":"majority"}],"synthesis":["ship"]},"expected":{"pass":true,"summary":"Synthesis retains every conclusion, including minority conclusions.","checks":[{"name":"all conclusions retained","pass":true},{"name":"minority conclusions retained","pass":true}]}},{"name":"empty synthesis boundary","input":{"conclusions":[],"synthesis":[]},"expected":{"pass":true,"summary":"Synthesis retains every conclusion, including minority conclusions.","checks":[{"name":"all conclusions retained","pass":true},{"name":"minority conclusions retained","pass":true}]}}]}