enforcer-fanout
One verifier subagent per harness constraint, skeptic-filtered, synthesised