<!-- Auto-generated — do not edit by hand -->
# Java Date Audit for PTC-Lisp

> **Warning:** This file is auto-generated by `mix ptc.gen_docs` from `priv/java_compat_audit.exs`.
> Manual edits will be overwritten. Edit `priv/java_compat_audit.exs` instead.

Curated LLM-compatibility target for `java.util.Date`.

See also: [Function Reference](../function-reference.md) | [Namespace Coverage](index.md) | [Clojure Core Audit](clojure-core-audit.md) | [Clojure String Audit](clojure-string-audit.md) | [Clojure Set Audit](clojure-set-audit.md) | [Clojure Walk Audit](clojure-walk-audit.md) | [Java Math Audit](java-math-audit.md) | [Java Boolean Audit](java-lang-boolean-audit.md) | [Java Double Audit](java-lang-double-audit.md) | [Java Float Audit](java-lang-float-audit.md) | [Java Integer Audit](java-lang-integer-audit.md) | [Java Long Audit](java-lang-long-audit.md) | [Java String Audit](java-lang-string-audit.md) | [Java System Audit](java-lang-system-audit.md) | [Java LocalDate Audit](java-time-local-date-audit.md) | [Java Instant Audit](java-time-instant-audit.md) | [Java Duration Audit](java-time-duration-audit.md) | [Java Period Audit](java-time-period-audit.md)

## Summary

Coverage excludes `not_relevant` entries: `supported / (supported + candidate + not_classified)`.

| Status | Count |
|--------|-------|
| Supported | 4 |
| Candidate | 2 |
| Not Relevant | 1 |
| Not Classified | 0 |
| Relevant Target | 6 |
| Coverage | 4/6 (66.7%) |
| **Total** | **7** |

## Details

| Var | Status | Description | Notes |
|-----|--------|-------------|-------|
| `.after` | 🔲 candidate | Date ordering predicate | .isAfter covers the current PTC-Lisp spelling. |
| `.before` | 🔲 candidate | Date ordering predicate | .isBefore covers the current PTC-Lisp spelling. |
| `.getTime` | ✅ supported | Unix timestamp in milliseconds | Works on DateTime values. |
| `.isAfter` | ✅ supported | Date ordering predicate | BUG GAP-J20: java.util.Date uses .after, not .isAfter; current behavior exposes a non-Java alias. |
| `.isBefore` | ✅ supported | Date ordering predicate | BUG GAP-J20: java.util.Date uses .before, not .isBefore; current behavior exposes a non-Java alias. |
| `.setTime` | ❌ not_relevant | Mutate Date timestamp | Mutable Java object operations are outside the sandbox model. |
| `java.util.Date.` | ✅ supported | Construct DateTime value | BUG GAP-J03: numeric constructor currently treats milliseconds as seconds. BUG GAP-J06: ISO date strings are accepted by PTC-Lisp but rejected by the Java oracle. BUG GAP-J11: Java-accepted legacy date strings are rejected. |