{"initial":{"evidence":{"confidence":0.98},"release":{"status":"draft"}},"counterexample":{"evidence":{"confidence":1.1},"release":{"status":"released"}},"tests":[{"name":"high confidence draft","input":{"evidence":{"confidence":0.98},"release":{"status":"draft"}},"expected":{"pass":true,"summary":"Confidence 0.98 and draft are separate fields; this does not prove independence.","checks":[{"name":"confidence range","pass":true},{"name":"release status","pass":true},{"name":"no declared derivation","pass":true}]}},{"name":"out of range confidence","input":{"evidence":{"confidence":1.1},"release":{"status":"released"}},"expected":{"pass":false,"summary":"Confidence and release status need valid separate fields.","checks":[{"name":"confidence range","pass":false},{"name":"release status","pass":true},{"name":"no declared derivation","pass":true}]}},{"name":"forbidden inference","input":{"evidence":{"confidence":0.5},"release":{"status":"reviewed","derivedFromConfidence":true}},"expected":{"pass":false,"summary":"Confidence and release status need valid separate fields.","checks":[{"name":"confidence range","pass":true},{"name":"release status","pass":true},{"name":"no declared derivation","pass":false}]}}]}