Feat/iso temporal values

[jeanpaulduchens]

feat(temporal): valores ISO §20.27 DATE y LOCAL DATETIME como valores de consulta

Rama: feat/iso-temporal-values → main
Alcance: primer avance del subsistema temporal ISO/IEC 39075:2024
(§4.16.6, §20.27), completo y probado dentro de su alcance. Query-time only.

Resumen

Agrega los tipos temporales DATE y LOCAL DATETIME como valores de
consulta, con la misma disciplina por etapas que tuvieron los paths: todo lo
que queda fuera falla con un error explícito en vez de funcionar a medias.
Ninguna consulta devuelve resultados incorrectos por usar temporales; algunas
dicen "esto aún no".

Motivación

Salió de la evaluación de conformidad: LDBC IC10 queda fuera porque su
predicado de cumpleaños necesita extraer el mes y el día de una fecha, y
GQL define constructores de valores temporales pero no extractores. Esta rama
comprueba esa lectura con código: implementa los constructores §20.27, y
confirma que aun con ellos IC10 sigue sin forma ISO-conforme (lo que falta son
los extractores, que el estándar no tiene).

Qué cambia

Modelo de valores (src/model/value.rs)

• Value::Date(i32) = días desde 1970-01-01 (Gregoriano proléptico).
• Value::LocalDatetime(i64) = milisegundos desde esa medianoche, sin zona
  horaria.
• Conversión civil↔días sin dependencias (algoritmos de calendario en la línea
  clásica; el Gregoriano se repite exacto cada 400 años). Parseo ISO-8601
  estricto con validación de calendario (años bisiestos incluidos) y formato
  de vuelta.

Constructores §20.27 (src/parser/grammar.rs), soft keywords (sólo la
forma de llamada es especial; date sigue usable como variable/label):

• DATE('2010-01-05') / LOCAL_DATETIME('2010-01-05T08:30:15') desde string.
• DATE({year:, month:, day:}) desde record de campos (sintaxis del estándar).
• DATE() / LOCAL_DATETIME() sin argumento = los equivalentes de
  CURRENT_DATE / LOCAL_TIMESTAMP (SR 1-3).
• String o record malformado degrada a Null (convención failure-as-null de
  CAST).

Typechecker (src/typing/)

• SimpleType::Date / LocalDatetime como tipos base: meet, refine y
  unión funcionan; ordenables per §22.14 sin requerir GA04, por lo que son
  llaves válidas de ORDER BY, GROUP BY y DISTINCT.
• Constructor tipado por su resultado (DATE(x) : DATE); un argumento
  probadamente incorrecto (DATE(true)) es error duro de compilación.
  Distinción tipo-vs-valor: DATE(true) falla por tipo (rechazo estático),
  DATE('hola') falla por valor (→ Null en runtime, como CAST).

Runtime (src/runtime/)

• Orden total dentro de cada tipo (WHERE, ORDER BY, MIN/MAX); igualdad
  y hashing para GROUP BY y DISTINCT; tipos distintos nunca comparan.
• Aritmética §20.26 MVP: LOCAL_DATETIME(...) ± <enteros de milisegundos>, la
  forma que produce el desazucarado existente de DURATION({...}).
• Fix de despacho: el despacho genérico de operadores binarios coercionaba
  ambos operandos a numérico antes de evaluar, lo que degradaba silenciosamente
  los temporales a Null. Se agrega un camino tipado para pares temporales y
  se deja la coerción intacta para el resto (de paso se elimina una doble
  evaluación de operandos en esa ruta).

Bindings y utilidades

• Python / Node / WASM devuelven strings ISO-8601.
• REPL y dumps imprimen sintaxis de constructor (DATE('...')), round-trippable.

Fuera de alcance (documentado, con error explícito)

• Tipos ZONED_* (zonas horarias reales: IANA + horario de verano).
• DURATION como tipo propio (su álgebra separa año-mes de día-tiempo, que no
  conmutan).
• Aritmética completa de §20.26 / §20.28 (fecha ± duración, resta de datetimes,
  DURATION_BETWEEN).
• Almacenamiento de temporales como propiedad: value_to_prop lo rechaza con
  error explícito, el mismo trato que Path.

Tests

tests/temporal_test.rs (13 casos): las tres formas de construcción, orden
cronológico en ORDER BY, agrupación por fecha, no comparación entre tipos
distintos, validación de calendario (DATE('2023-02-29') → Null; el bisiesto
2024-02-29 sí válido), aritmética con duraciones, y los dos comportamientos
del typechecker (aceptar fechas como llave de orden, rechazar DATE(true)).

Diámetro del cambio

17 archivos, +655 líneas. Rama desde origin/main (v0.2.7); mergea limpio.

Pre-commit

cargo fmt --all · cargo clippy --workspace --all-targets -- -D clippy::all
· sweep completo de tests + suites sensibles a expresiones
(floor/cast, división, records, ic7, aggregates): verde, cero regresiones.

Notas para el revisor

• La representación como enteros (días / millis) es la decisión central: hace
  que comparar, ordenar y agrupar fechas reutilice toda la maquinaria existente
  sin cambios.
• Los tipos temporales son tipos base, así que encajan sin fricción con la
  decisión ★ = base-only del chequeo de ORDER BY.