Engineering / Motor del Código de Trabajo

Motor del Código de Trabajo

El corazón determinista de Axel, un motor puro sin DB que calcula finiquitos y valida contratos con citas legales, y que nunca toca un LLM.

El motor del Código de Trabajo es la feature diferenciadora de Axel: la “verdad” jurídica sobre la que el LLM (la “intención”) se apoya. Entra un DTO de contrato más un corpus de reglas, sale un resultado con montos, citas legales y trazabilidad.

Motor puro, sin DB

El motor vive en app/Domain/Labor/: PHP puro, cero dependencias de Laravel, Eloquent o HTTP. Recibe arrays / DTOs y devuelve arrays / DTOs, como el PoC. Los modelos Eloquent son la capa de persistencia que hidrata y persiste, pero la lógica vive en Domain.

app/Domain/Labor/
  ContractKinds.php      — KINDS, kindOf(), isLaboralHiring()
  ValidationRules.php    — DEFAULT_RULES, rulesFor($type, $overrides)
  Citations.php          — CT_ARTICULOS (data) + corpus curado de sentencias CSJ
  AnalyzeContract.php    — el motor: findings, verdict, citas
  SlaEngine.php          — slaInfo(), pendingSlaEvent()
  TerminationCalc.php    — finiquito (Arts. 58/59/177/187/196-202)
  Employees.php          — deriva empleados desde contratos (sin store aparte)
  Mtps.php               — ventana de 8 días, feriados SV, computus
  Geography.php          — departamentos / municipios

Qué calcula

Parametrizado por jurisdicción

El MVP carga solo el contenido legal de El Salvador, pero el motor nace parametrizado por jurisdicción desde el día 1: las reglas laborales son datos, no constantes fijas en el código.

// ✗ NUNCA — la jurisdicción hardcodeada en el método
$topeIndemnizacion = 4 * $salarioMinimo;

// ✓ SIEMPRE — la regla es dato del corpus, indexado por jurisdicción
$corpus = LaborCorpus::for('sv');
$resultado = TerminationCalc::compute($contractData, $corpus);

CT_ARTICULOS, las ValidationRules, los parámetros de TerminationCalc, los feriados de Mtps y la Geography se cargan indexados por jurisdicción (sv hoy). Agregar Guatemala mañana es cargar un corpus nuevo (gt), no reprogramar el motor. El disparador de graduar app/Domain/Labor/ a un paquete Composer: cuando entre la 2ª jurisdicción y se quiera versionar el motor aparte del deploy.

Contract como aggregate root

Contract es un aggregate root: las mutaciones pasan por métodos que disparan eventos, nunca por un update crudo de status.

// ✗ NUNCA — muta status a mano, sin dejar rastro
$contract->update(['status' => 'firmado']);

// ✓ SIEMPRE — el método de transición persiste status + event
$contract->sendToReview($actor);   // → contract_events (append-only)

Generación del documento: mail-merge legal

El dinamismo vive en la selección de bloques pre-validados, no en la generación de texto libre. El generador combina una plantilla + cláusulas atómicas + datos variables, como un mail-merge legal. Nunca prosa inventada.

El modelo de datos son dos capas con dueños distintos:

Las cláusulas legales son transversales (derecho salvadoreño, igual para todos), así que viven en la tabla global sin tenant_id. Las posiciones/cargos son propias de cada tenant. El pivote position_clause vive en el tenant pero apunta a cláusulas del central: cada empresa combina su cargo con las cláusulas legales que le aplican.

DocumentGenerator toma la plantilla base + las cláusulas del cargo (con sus condiciones evaluadas) + los datos del contrato, e interpola y concatena, sin generación libre de texto.

Tests golden