[SQL] 提供明确的 date_diff 和日期格式化能力

此需求在 SqlSugar 的 SonnetDB Provider 兼容性验证中发现。它仅请求 SonnetDB 的通用 SQL 能力，不要求采用 SqlSugar 的实现。

问题

SonnetDB 已支持 date_part、date_add、Unix 时间转换，但没有已确认的 date_diff 和日期格式化函数。用秒数相减或多个 date_part 相减不能保真 DateDiff 的跨月、跨年、时区和边界计数语义。

最小复现

SELECT date_diff('day', started_at, finished_at) AS day_diff,
       date_diff('month', started_at, finished_at) AS month_diff,
       format_datetime(started_at, 'yyyy-MM-dd') AS started_date
FROM jobs;

期望

新增 date_diff(part, start, end) 和可控的日期格式化函数，或明确拒绝格式化而仅提供标准化 ISO 输出。part 的支持范围应与 date_part/date_add 对齐并文档化。

验收标准

• 规定 day/month/year 差是历法边界数、完整间隔数还是持续时间截断值。
• 覆盖 UTC、local、DateTimeOffset、Unix 毫秒、DST 边界、NULL 和负差值。
• 格式化必须使用固定可审计格式令牌，不受服务器区域设置隐式影响。

对 SqlSugar 的影响

可评估支持 DateDiff、DateIsSameDay、DateIsSameByType、WeekOfYear 和日期 .ToString(format)；在语义未落定前 provider 应继续拒绝。

Start by tracing SonnetDB's existing date_part, date_add, and Unix time conversion SQL functions and their compatibility checks. Resolve the semantics and supported parts for date_diff and formatting before implementation; done means the documented UTC, local, offset, Unix-millisecond, DST, NULL, negative-difference, and locale-independent formatting cases are covered.