ptc_runner

<!-- 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_interop.exs`.
> Manual edits will be overwritten. Edit `priv/java_interop.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 | 0 |
| Not Relevant | 3 |
| Not Classified | 0 |
| Relevant Target | 4 |
| Coverage | 4/4 (100.0%) |
| **Total** | **7** |

## Details

| Var | Status | Description | Notes |
|-----|--------|-------------|-------|
| `.after` | ✅ supported | Date ordering predicate | Class-owned java.util.Date comparison. |
| `.before` | ✅ supported | Date ordering predicate | Class-owned java.util.Date comparison. |
| `.getTime` | ✅ supported | Exact epoch timestamp in milliseconds | Works only on native java.util.Date values. |
| `.isAfter` | ❌ not_relevant | Method belongs to java.time classes, not java.util.Date | Removed from Date when class-aware temporal dispatch landed. |
| `.isBefore` | ❌ not_relevant | Method belongs to java.time classes, not java.util.Date | Removed from Date when class-aware temporal dispatch landed. |
| `.setTime` | ❌ not_relevant | Mutate Date timestamp | Mutable Java object operations are outside the sandbox model. |
| `java.util.Date.` | ✅ supported | Construct a legacy Date value | Numeric input is exact epoch milliseconds. DIV-51: string input uses a deterministic bounded legacy English grammar, admits dates on or after 1582-10-15, and uses UTC when no zone is present. |