Data Model

interface Aula {
  id: string;              // Unique identifier (e.g., "AU001")
  nombre: string;          // Display name (e.g., "Aula 101")
  estado: string;          // Status: "activo" | "inactivo" | "mantenimiento"
  codigo: string;          // Building code (e.g., "A101")
  descripcion: string;     // Description of the classroom
  tipo: string;            // Type: "teorica" | "laboratorio" | "hibrida"
  capacidad: number;       // Maximum student capacity
  id_sede: string;         // Reference to Sede (campus)
  id_recursos: string[];   // Array of Recurso IDs
}

interface Asignatura {
  id: string;              // Unique identifier (e.g., "A001")
  nombre: string;          // Course name
  estado: string;          // Status: "activo" | "inactivo"
  duracion: string;        // Duration (e.g., "6 meses")
  semestre: number;        // Academic semester (1-10)
  creditos: number;        // Credit hours
  descripcion: string;     // Course description
  requiereRecursos: string[];  // Required Recurso IDs
  tipo: string;            // Type: "teorica" | "laboratorio" | "hibrida" | "bloqueo"
}

interface Docente {
  id: string;                  // Unique identifier (e.g., "D001")
  nombre: string;              // First name
  apellido: string;            // Last name
  email: string;               // Email address
  celular: string;             // Phone number
  cedula_ciudadania: string;   // National ID
  area_especialidad: string;   // Specialization area
  preferencias: string[];      // Scheduling preferences
  estado: string;              // Status: "activo" | "inactivo" | "licencia"
}

// data/docentes.json:1
[
  {
    "id": "D001",
    "nombre": "Laura",
    "apellido": "García",
    "email": "[email protected]",
    "celular": "3201234567",
    "cedula_ciudadania": "1002003001",
    "area_especialidad": "Matemáticas",
    "preferencias": ["mañana", "semestre_1"],
    "estado": "activo"
  },
  {
    "id": "D003",
    "nombre": "Ana",
    "apellido": "Ruiz",
    "email": "[email protected]",
    "celular": "3151112222",
    "cedula_ciudadania": "1002003003",
    "area_especialidad": "Sistemas",
    "preferencias": ["hibrida", "semestre_2"],
    "estado": "activo"
  }
]

interface Programacion {
  id: string;                  // Unique identifier (e.g., "PROG001")
  aula_id: string;             // Reference to Aula
  docente_id: string;          // Reference to Docente
  asignatura_id: string;       // Reference to Asignatura
  fecha: string;               // Date (various formats)
  hora_inicio: string;         // Start time (HH:MM)
  hora_fin: string;            // End time (HH:MM)
  dia: string;                 // Day of week (Lunes, Martes, etc.)
  id_usuario: string;          // User who created the reservation
  fecha_creacion: string;      // Creation date
  hora_creacion: string;       // Creation time
  estado: string;              // Status: "reservado" | "ocupado" | "cancelado"
  semestre: number;            // Academic semester
  horario_id?: string;         // Generated schedule ID (if confirmed)
  fecha_confirmacion?: string; // Confirmation timestamp
  estudiantes?: number;        // Number of students (optional)
}

# src/services/aula_disponible_service.py:66
for prog in programaciones:
    if prog.get('estado') in ('reservado', 'ocupado') and prog.get('dia') == dia:
        if self._horarios_solapan(
                {'start_time': hora_inicio, 'end_time': hora_fin},
                {'start_time': prog.get('hora_inicio'), 'end_time': prog.get('hora_fin')}
        ):
            aulas_ocupadas.add(prog['aula_id'])

interface Recurso {
  id: string;          // Unique identifier (e.g., "R001")
  nombre: string;      // Resource name
  descripcion: string; // Description
  tipo: string;        // Type category
  estado: string;      // Status: "disponible" | "mantenimiento" | "fuera_servicio"
}

[
  {
    "id": "R001",
    "nombre": "Proyector",
    "descripcion": "Proyector multimedia HD",
    "tipo": "audiovisual",
    "estado": "disponible"
  },
  {
    "id": "R002",
    "nombre": "Pizarra",
    "descripcion": "Pizarra acrílica grande",
    "tipo": "escritura",
    "estado": "disponible"
  },
  {
    "id": "R003",
    "nombre": "Computadores",
    "descripcion": "Estaciones de trabajo con software de desarrollo",
    "tipo": "tecnologia",
    "estado": "disponible"
  },
  {
    "id": "R004",
    "nombre": "Sistema de videoconferencia",
    "descripcion": "Cámara y micrófono para clases remotas",
    "tipo": "tecnologia",
    "estado": "disponible"
  }
]

def tiene_recursos_requeridos(aula: Dict, asignatura: Dict) -> bool:
    recursos_requeridos = set(asignatura.get('requiereRecursos', []))
    recursos_disponibles = set(aula.get('id_recursos', []))
    return recursos_requeridos.issubset(recursos_disponibles)

interface Sede {
  id: string;          // Unique identifier (e.g., "S001")
  nombre: string;      // Campus name
  direccion: string;   // Physical address
  ciudad: string;      // City
  estado: string;      // Status: "activo" | "inactivo"
}

[
  {
    "id": "S001",
    "nombre": "Campus Principal",
    "direccion": "Calle 10 #20-30",
    "ciudad": "Bogotá",
    "estado": "activo"
  },
  {
    "id": "S002",
    "nombre": "Sede Norte",
    "direccion": "Carrera 15 #80-25",
    "ciudad": "Bogotá",
    "estado": "activo"
  }
]

{
  "id": "PROG001",
  "aula_id": "AU001",        // → Aula "Aula 101"
  "docente_id": "D001",      // → Docente "Laura García"
  "asignatura_id": "A001",   // → Asignatura "Álgebra Lineal"
  "hora_inicio": "07:00",
  "hora_fin": "09:00",
  "dia": "Lunes",
  "estado": "ocupado",
  "semestre": 1
}

# src/api.py:21
def load_json(filename: str) -> List[Dict[str, Any]]:
    """Load JSON data file"""
    base_dir = os.path.dirname(os.path.abspath(__file__))
    data_dir = os.path.abspath(os.path.join(base_dir, '../data'))
    with open(os.path.join(data_dir, filename), encoding="utf-8") as f:
        return json.load(f)

# Usage:
aulas = load_json("aulas.json")
asignaturas = load_json("asignaturas.json")
docentes = load_json("docentes.json")
programaciones = load_json("programaciones.json")

# Resolve references
prog = programaciones[0]
aula = next(a for a in aulas if a['id'] == prog['aula_id'])
asignatura = next(a for a in asignaturas if a['id'] == prog['asignatura_id'])
docente = next(d for d in docentes if d['id'] == prog['docente_id'])

data/
├── aulas.json          # 4 classrooms
├── asignaturas.json    # 5 courses
├── docentes.json       # 3 teachers
├── programaciones.json # 110+ schedule entries
├── recursos.json       # 4+ resource types
└── sedes.json         # 2 campuses

# Example validation function
def validar_programacion(prog: Dict) -> List[str]:
    errors = []
    
    # Required fields
    required = ['id', 'aula_id', 'docente_id', 'asignatura_id', 
                'hora_inicio', 'hora_fin', 'dia', 'estado']
    for field in required:
        if field not in prog or prog[field] is None:
            errors.append(f"Missing required field: {field}")
    
    # Time logic
    if prog.get('hora_inicio') and prog.get('hora_fin'):
        if prog['hora_inicio'] >= prog['hora_fin']:
            errors.append("hora_inicio must be before hora_fin")
    
    # Valid status
    valid_estados = ['reservado', 'ocupado', 'cancelado']
    if prog.get('estado') not in valid_estados:
        errors.append(f"Invalid estado: {prog['estado']}")
    
    return errors

CREATE TABLE aulas (
    id VARCHAR(10) PRIMARY KEY,
    nombre VARCHAR(100) NOT NULL,
    tipo VARCHAR(20) NOT NULL CHECK (tipo IN ('teorica', 'laboratorio', 'hibrida')),
    capacidad INTEGER NOT NULL CHECK (capacidad > 0),
    estado VARCHAR(20) NOT NULL DEFAULT 'activo',
    sede_id VARCHAR(10) REFERENCES sedes(id),
    created_at TIMESTAMP DEFAULT CURRENT_TIMESTAMP
);

CREATE TABLE programaciones (
    id VARCHAR(20) PRIMARY KEY,
    aula_id VARCHAR(10) NOT NULL REFERENCES aulas(id),
    docente_id VARCHAR(10) NOT NULL REFERENCES docentes(id),
    asignatura_id VARCHAR(10) NOT NULL REFERENCES asignaturas(id),
    dia VARCHAR(10) NOT NULL,
    hora_inicio TIME NOT NULL,
    hora_fin TIME NOT NULL,
    estado VARCHAR(20) NOT NULL,
    semestre INTEGER NOT NULL,
    created_at TIMESTAMP DEFAULT CURRENT_TIMESTAMP,
    CHECK (hora_inicio < hora_fin)
);

-- Index for fast conflict detection
CREATE INDEX idx_programaciones_aula_dia 
    ON programaciones(aula_id, dia, hora_inicio, hora_fin)
    WHERE estado IN ('reservado', 'ocupado');