Function date_to_iso_string_repr 

fn date_to_iso_string_repr(ms: f64) -> String

Date の文字列表現（ISO 8601、UTC）。builtins.rs の format_iso/decompose_ms と 同じ Howard Hinnant 方式の変換ロジックだが、value.rs は builtins.rs に依存できない （下位レイヤのため）ので、ごく小さい純粋関数として独立に複製する （kernel::timer にもある3つ目の複製。詳細は spec/walkthrough.md 2026-07-07 参照）。