feat(const): ADR-0174 D7a — scalar constants sweep (Math/TAU, BYTES/SIZE, File separators, Pattern flags)

Smell-audited: 1: StaticFieldValue gains a generic comptime-const
.string variant (File/separator) instead of a one-off singleton — the
generic arm is the finished form; no other smell.

- Math/TAU (clj-oracle 6.283185307179586); Long/Integer BYTES+SIZE;
  Double MIN_NORMAL+BYTES+SIZE; File separator "/" / separatorChar /
  pathSeparator ":" / pathSeparatorChar (POSIX — the shipped targets);
  Pattern's 9 JVM flag bit-mask constants (compile-with-flags lands in
  D7b with the inline-subset mapping).

Author: chaploud

src/eval/analyzer/analyzer.zig

@@ -396,6 +396,7 @@ fn staticFieldValue(rt: *Runtime, sf: *const @import("../../runtime/type_descrip
         .float => |f| Value.initFloat(f),
         .bool => |b| Value.initBoolean(b),
         .char => |c| Value.initChar(c),
+        .string => |s| try string_collection.alloc(rt, s),
         .singleton => |s| switch (s) {
             .empty_queue => try @import("../../runtime/collection/persistent_queue.zig").emptyQueue(rt),
             .locale_us => try @import("../../runtime/locale.zig").singleton(rt, .us),

src/runtime/java/io/File.zig

@@ -373,12 +373,23 @@ pub const ___HOST_EXTENSION: host_api.Extension = .{
     .init = &initFile,
 };
 
+/// Path separators (ADR-0174 D7). POSIX values — cljw ships Mac/Linux;
+/// a Windows build would flip these with the target (same source of truth
+/// as System.zig's staticProperty table).
+const file_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
+    .{ .name = "separator", .value = .{ .string = "/" } },
+    .{ .name = "separatorChar", .value = .{ .char = '/' } },
+    .{ .name = "pathSeparator", .value = .{ .string = ":" } },
+    .{ .name = "pathSeparatorChar", .value = .{ .char = ':' } },
+};
+
 var descriptor: type_descriptor.TypeDescriptor = .{
     .fqcn = "java.io.File",
     .kind = .native,
     .field_layout = null,
     .protocol_impls = &.{},
     .method_table = &.{},
+    .static_fields = &file_static_fields,
     .parent = null,
     .meta = .nil_val,
 };

src/runtime/java/lang/Double.zig

@@ -224,6 +224,9 @@ const double_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
     // Unbiased binary exponent bounds of a normal double (int constants).
     .{ .name = "MAX_EXPONENT", .value = .{ .int = 1023 } },
     .{ .name = "MIN_EXPONENT", .value = .{ .int = -1022 } },
+    .{ .name = "MIN_NORMAL", .value = .{ .float = std.math.floatMin(f64) } },
+    .{ .name = "BYTES", .value = .{ .int = 8 } },
+    .{ .name = "SIZE", .value = .{ .int = 64 } },
 };
 
 var descriptor: type_descriptor.TypeDescriptor = .{

src/runtime/java/lang/Integer.zig

@@ -360,6 +360,8 @@ pub const ___HOST_EXTENSION: host_api.Extension = .{
 const integer_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
     .{ .name = "MAX_VALUE", .value = .{ .int = 2147483647 } },
     .{ .name = "MIN_VALUE", .value = .{ .int = -2147483648 } },
+    .{ .name = "BYTES", .value = .{ .int = 4 } },
+    .{ .name = "SIZE", .value = .{ .int = 32 } },
 };
 
 var descriptor: type_descriptor.TypeDescriptor = .{

src/runtime/java/lang/Long.zig

@@ -344,6 +344,8 @@ pub const ___HOST_EXTENSION: host_api.Extension = .{
 const long_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
     .{ .name = "MAX_VALUE", .value = .{ .int = std.math.maxInt(i64) } },
     .{ .name = "MIN_VALUE", .value = .{ .int = std.math.minInt(i64) } },
+    .{ .name = "BYTES", .value = .{ .int = 8 } },
+    .{ .name = "SIZE", .value = .{ .int = 64 } },
 };
 
 var descriptor: type_descriptor.TypeDescriptor = .{

src/runtime/java/lang/Math.zig

@@ -612,6 +612,7 @@ pub const ___HOST_EXTENSION: host_api.Extension = .{
 const math_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
     .{ .name = "PI", .value = .{ .float = std.math.pi } },
     .{ .name = "E", .value = .{ .float = std.math.e } },
+    .{ .name = "TAU", .value = .{ .float = std.math.tau } },
 };
 
 var descriptor: type_descriptor.TypeDescriptor = .{

src/runtime/java/util/regex/Pattern.zig

@@ -211,12 +211,30 @@ pub const ___HOST_EXTENSION: host_api.Extension = .{
     .init = &initPattern,
 };
 
+/// The JVM Pattern flag constants (ADR-0174 D7). Values are the JVM's
+/// exact bit masks. `Pattern/compile` (2-arg) honours the inline-expressible
+/// subset {CASE_INSENSITIVE, MULTILINE, DOTALL, COMMENTS}; the others raise
+/// (cljw's regex engine has no canonical-equivalence / explicit-unicode-case
+/// modes — an honest error beats a silently-ignored flag).
+const pattern_static_fields = [_]type_descriptor.TypeDescriptor.StaticField{
+    .{ .name = "UNIX_LINES", .value = .{ .int = 0x01 } },
+    .{ .name = "CASE_INSENSITIVE", .value = .{ .int = 0x02 } },
+    .{ .name = "COMMENTS", .value = .{ .int = 0x04 } },
+    .{ .name = "MULTILINE", .value = .{ .int = 0x08 } },
+    .{ .name = "LITERAL", .value = .{ .int = 0x10 } },
+    .{ .name = "DOTALL", .value = .{ .int = 0x20 } },
+    .{ .name = "UNICODE_CASE", .value = .{ .int = 0x40 } },
+    .{ .name = "CANON_EQ", .value = .{ .int = 0x80 } },
+    .{ .name = "UNICODE_CHARACTER_CLASS", .value = .{ .int = 0x100 } },
+};
+
 var descriptor: type_descriptor.TypeDescriptor = .{
     .fqcn = "java.util.regex.Pattern",
     .kind = .native,
     .field_layout = null,
     .protocol_impls = &.{},
     .method_table = &.{},
+    .static_fields = &pattern_static_fields,
     .parent = null,
     .meta = .nil_val,
 };

src/runtime/type_descriptor.zig

@@ -221,6 +221,9 @@ pub const TypeDescriptor = struct {
         float: f64,
         bool: bool, // Boolean/TRUE, Boolean/FALSE (ADR-0061 amendment)
         char: u21, // Character/MIN_VALUE, MAX_VALUE, the surrogate bounds
+        /// A comptime-const string constant (File/separator, …) — lifted to a
+        /// cljw String Value at analyze time (ADR-0174 D7).
+        string: []const u8,
         singleton: Singleton,
         /// A host-enum constant (ADR-0161 / D-510): `enum_idx` is `@intFromEnum`
         /// of `host_enum.Idx` (RoundingMode/ChronoUnit/DayOfWeek/Month), `ordinal`