Explicit Stop-Condition Design for AI Systems Interacting with Human Decision-Making — Stop Conditions as Pre-Operational Design Prerequisites — | Synapse