Diagnostics

Deterministic checks for gates, isolation, currency, language, accessibility and demo/live labelling. Backend checks create clearly tagged [diagnostic] actions.