fix: keep fail-closed per fact but stop zero-verified synthesis from emptying the whole brief

b419b7b

Viney Claude Sonnet 5 commited on 12 days ago