feat(interop): java.lang.Character complete — full-Unicode surface (47 methods + 70 fields)

Smell-audited: 1: finished-form over ASCII approximation — classification
flipped to generated UCD 16.0.0 tables (the D-057 explicitly-out residual,
now closed); getName is the one explicit-unsupported member (D-561), not a
silent stub; behavior change corpus-locked (154 golden pairs, 0 DIFF).

- gen_unicode_case.py also emits General_Category (categoryOf binary
  search, JVM getType byte values), Bidi_Class (getDirectionality),
  Bidi_Mirrored, simple-titlecase, contributory properties (PropList:
  Other_Uppercase/Lowercase/Alphabetic/ID_Start/ID_Continue, Ideographic),
  and decimal/numeric value tables into unicode_category.zig /
  unicode_case.zig.
- charset.zig classification = the JVM formulas over those tables
  (isLetter excludes Nl; isUpperCase includes Other_Uppercase; JVM
  isWhitespace incl. 0x1C-0x1F; digit() takes any Nd + fullwidth letters;
  getNumericValue handles Nl/No + -2 fractional sentinel).
- Character.zig: JVM char/int overload pairs (case folds echo the arg
  type; out-of-range int = the JVM unassigned answer, not an error); new
  statics compare/valueOf/isSpace/isSpaceChar/isTitleCase/toTitleCase/
  isDefined/isMirrored/isIdeographic/isJavaIdentifier*/isUnicodeIdentifier*/
  isIdentifierIgnorable/getType/getDirectionality/codePointBefore/
  codePointCount/offsetByCodePoints/reverseBytes; getName raises explicit
  unsupported (D-561).
- Static fields via a new StaticFieldValue .char arm: MIN/MAX_VALUE,
  radix/size/codepoint bounds, surrogate bounds, 31 category + 24
  directionality constants (Character/TYPE skipped: no primitive Class,
  ADR-0059).
- .char instance methods charValue/compareTo on the native descriptor;
  valueHash .char arm makes (hash \a) = (.hashCode \a) =
  (Character/hashCode \a) = 97 (clj parity).
- compat_tiers.yaml entry refreshed; corpus test/diff/clj_corpus/
  character.txt; e2e phase14_character_statics extended (ASCII-era header
  rewritten).

Author: chaploud

.dev/debt.yaml

@@ -24,6 +24,24 @@
 # md-table-align no longer pads it to ~800 KB of whitespace.
 
 active:
+  - id: "D-561"
+    status: |-
+      open (2026-07-15, Character/* completion cycle). `Character/getName` is
+      the ONE java.lang.Character static not carried (explicit
+      feature_not_supported raise; every other static method + field landed
+      full-Unicode via the generated UCD tables — gen_unicode_case.py).
+      getName needs the UnicodeData col-1 NAME table: raw ~1MB for ~40K
+      non-algorithmic names; the JVM ships it word-indexed at ~90KB. DISCHARGE
+      SHAPE: extend gen_unicode_case.py with a word-dictionary encoding
+      (names → word-index sequences + algorithmic CJK/Hangul/Tangut ranges),
+      decode in a new charset helper; JVM parity incl. nil for unassigned.
+      Weigh the ~100-200KB binary cost against gap area II (Wasm/edge binary
+      size) before landing — if the cost is judged not worth it, re-classify
+      as an AD-NNN accepted divergence instead (the raise is explicit, not
+      silent).
+    category: "host-surface"
+    barrier: "none — implementable any time; the open question is the binary-size trade (gap area II), not a technical blocker"
+    last_reviewed: "2026-07-15"
   - id: "D-560"
     status: |-
       open (2026-07-13, ADR-0150 am1 accepted-cost row). The D-559 fix (the
@@ -2026,9 +2044,12 @@ standing:
         FULL mapping + Final_Sigma (ß→SS, ΣΟΦΟΣ→σοφος); Character/* = SIMPLE
         1:1 (ß stays); regex (?u)/(?iu) = simple-map fold orbit as a
         compile-time alternation (σ~Σ~ς, ß≁"ss"). e2e phase14_unicode_case +
-        corpus unicode_case (14 golden). EXPLICITLY OUT (documented, not
-        silent): isUpper/isLower/isLetter stay ASCII (needs General_Category
-        data — a separate UCD file, add when a consumer pulls per ADR-0134);
+        corpus unicode_case (14 golden). The then-EXPLICITLY-OUT residual
+        (isUpper/isLower/isLetter ASCII-only pending a General_Category
+        consumer) CLOSED 2026-07-15: the Character/* completion cycle landed
+        the generated General_Category / contributory-property / bidi /
+        numeric tables and flipped charset.zig classification to the JVM
+        full-Unicode formulas (corpus clj_corpus/character.txt). Still out:
         non-ASCII inside [...] under (?iu) stays a clean not-implemented
         (byte-bitmap CharClass).
       - **D-049** (structure, USER-OWNED) — ADR-0029 layout-lock F-NNN promotion;

.dev/handover.md

@@ -32,6 +32,15 @@
   notarization) stays user-LOCKED.
 - **D-418 + D-559 agent/GC races DISCHARGED (2026-07-13)** — ADR-0150 am1;
   accepted cost = **D-560** (trigger-gated — do NOT self-select).
+- **java.lang.Character COMPLETE (2026-07-15, user-directed)** — full
+  static surface (47 methods + 70 static fields) + char instance methods
+  (charValue/compareTo) + `(hash \a)`=97 clj parity. Classification
+  flipped ASCII→full-Unicode: gen_unicode_case.py now also generates
+  General_Category/bidi/props/numeric/mirrored tables (UCD 16.0.0) into
+  unicode_category.zig; charset.zig evaluates the JVM formulas. The one
+  member out: `getName` (explicit unsupported, **D-561** — size-heavy
+  name table vs gap II). Corpus `clj_corpus/character.txt` (154 golden)
+  locks parity; e2e phase14_character_statics extended.
 - **First task on resume**: self-select from the live `active:` list,
   easiest-first (D-523's architecture/wasm-demo residual + D-522 drain 3
   landed 2026-07-14; D-430 is DISCHARGED — the prior pointer here was

data/compat_tiers.yaml

@@ -174,7 +174,12 @@ tiers:
         phase: 14
         files:
           surface: runtime/java/lang/Character.zig
-        methods: [isDigit, isLetter, isLetterOrDigit, isWhitespace, isUpperCase, isLowerCase, toUpperCase, toLowerCase, digit, getNumericValue, forDigit]
+        # Full static surface (2026-07-15, full-Unicode via generated UCD
+        # 16.0.0 tables; corpus test/diff/clj_corpus/character.txt locks
+        # clj parity). getName is explicit-unsupported (D-561). Instance
+        # methods on .char: charValue / compareTo (+ universal Object).
+        methods: [isDigit, isLetter, isLetterOrDigit, isWhitespace, isUpperCase, isLowerCase, isTitleCase, isSpaceChar, isDefined, isMirrored, isIdeographic, isAlphabetic, isJavaIdentifierStart, isJavaIdentifierPart, isUnicodeIdentifierStart, isUnicodeIdentifierPart, isIdentifierIgnorable, toUpperCase, toLowerCase, toTitleCase, digit, getNumericValue, getType, getDirectionality, forDigit, codePointAt, codePointBefore, codePointCount, offsetByCodePoints, toChars, toString, charCount, isSurrogate, isHighSurrogate, isLowSurrogate, isISOControl, isBmpCodePoint, isValidCodePoint, isSupplementaryCodePoint, highSurrogate, lowSurrogate, toCodePoint, isSurrogatePair, hashCode, compare, valueOf, isSpace, reverseBytes]
+        static_fields: [MIN_VALUE, MAX_VALUE, MIN_RADIX, MAX_RADIX, SIZE, BYTES, MIN_CODE_POINT, MAX_CODE_POINT, MIN_SUPPLEMENTARY_CODE_POINT, MIN_HIGH_SURROGATE, MAX_HIGH_SURROGATE, MIN_LOW_SURROGATE, MAX_LOW_SURROGATE, MIN_SURROGATE, MAX_SURROGATE, UNASSIGNED, UPPERCASE_LETTER, LOWERCASE_LETTER, TITLECASE_LETTER, MODIFIER_LETTER, OTHER_LETTER, NON_SPACING_MARK, ENCLOSING_MARK, COMBINING_SPACING_MARK, DECIMAL_DIGIT_NUMBER, LETTER_NUMBER, OTHER_NUMBER, SPACE_SEPARATOR, LINE_SEPARATOR, PARAGRAPH_SEPARATOR, CONTROL, FORMAT, PRIVATE_USE, SURROGATE, DASH_PUNCTUATION, START_PUNCTUATION, END_PUNCTUATION, CONNECTOR_PUNCTUATION, OTHER_PUNCTUATION, MATH_SYMBOL, CURRENCY_SYMBOL, MODIFIER_SYMBOL, OTHER_SYMBOL, INITIAL_QUOTE_PUNCTUATION, FINAL_QUOTE_PUNCTUATION, DIRECTIONALITY_UNDEFINED, DIRECTIONALITY_LEFT_TO_RIGHT, DIRECTIONALITY_RIGHT_TO_LEFT, DIRECTIONALITY_RIGHT_TO_LEFT_ARABIC, DIRECTIONALITY_EUROPEAN_NUMBER, DIRECTIONALITY_EUROPEAN_NUMBER_SEPARATOR, DIRECTIONALITY_EUROPEAN_NUMBER_TERMINATOR, DIRECTIONALITY_ARABIC_NUMBER, DIRECTIONALITY_COMMON_NUMBER_SEPARATOR, DIRECTIONALITY_NONSPACING_MARK, DIRECTIONALITY_BOUNDARY_NEUTRAL, DIRECTIONALITY_PARAGRAPH_SEPARATOR, DIRECTIONALITY_SEGMENT_SEPARATOR, DIRECTIONALITY_WHITESPACE, DIRECTIONALITY_OTHER_NEUTRALS, DIRECTIONALITY_LEFT_TO_RIGHT_EMBEDDING, DIRECTIONALITY_LEFT_TO_RIGHT_OVERRIDE, DIRECTIONALITY_RIGHT_TO_LEFT_EMBEDDING, DIRECTIONALITY_RIGHT_TO_LEFT_OVERRIDE, DIRECTIONALITY_POP_DIRECTIONAL_FORMAT, DIRECTIONALITY_LEFT_TO_RIGHT_ISOLATE, DIRECTIONALITY_RIGHT_TO_LEFT_ISOLATE, DIRECTIONALITY_FIRST_STRONG_ISOLATE, DIRECTIONALITY_POP_DIRECTIONAL_ISOLATE]
         clojure_peer_vars: []
       - fqn: java.lang.Math
         cljw_ns: cljw.java.lang.Math