feat(dev): adopt shared platform-tools dev toolbar and one-click dev login

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

config/dev_guard.php

@@ -0,0 +1,19 @@
+<?php
+declare(strict_types=1);
+// DEV ONLY. A definição de «ambiente de desenvolvimento» é a do platform-tools
+// (functions_dev.php). Carregado em todas as páginas (rodapé): se o submódulo
+// ainda não tem o ficheiro (produção segue o main do platform-tools), degrada
+// para «não é dev» em vez de dar fatal.
+$_dev_shared = dirname(__DIR__) . '/shared/platform-tools/functions_dev.php';
+if (is_file($_dev_shared)) require_once $_dev_shared;
+unset($_dev_shared);
+
+if (!function_exists('dev_environment_problem')) {
+    function dev_environment_problem(?array $env = null): ?string {
+        return function_exists('platform_dev_environment_problem')
+            ? platform_dev_environment_problem($env) : 'platform-tools sem functions_dev.php';
+    }
+}
+if (!function_exists('dev_environment_ok')) {
+    function dev_environment_ok(?array $env = null): bool { return dev_environment_problem($env) === null; }
+}