/// <reference path="../.astro/types.d.ts" />

import type { SupabaseClient, User } from '@supabase/supabase-js';

export type Profile = {
  id: string;
  email: string;
  nombre: string | null;
  matricula: string | null;
  rol: 'alumno' | 'docente' | 'admin';
  semestre: string | null;
  tutor_id: number | null;
  foto_path: string | null;
};

declare global {
  namespace App {
    interface Locals {
      supabase: SupabaseClient;
      user: User | null;
      profile: Profile | null;
    }
  }
}

interface ImportMetaEnv {
  readonly PUBLIC_SUPABASE_URL: string;
  readonly PUBLIC_SUPABASE_ANON_KEY: string;
  readonly SUPABASE_SERVICE_ROLE_KEY: string;
  readonly PUBLIC_APP_URL: string;
}

interface ImportMeta {
  readonly env: ImportMetaEnv;
}

declare const process: { env: Record<string, string | undefined> };