<!-- Auto-generated — do not edit by hand -->
# Java Instant 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.time.Instant`.
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 Duration Audit](java-time-duration-audit.md) | [Java Period Audit](java-time-period-audit.md) | [Java Date Audit](java-util-date-audit.md)
## Summary
Coverage excludes `not_relevant` entries: `supported / (supported + candidate + not_classified)`.
| Status | Count |
|--------|-------|
| Supported | 4 |
| Candidate | 3 |
| Not Relevant | 0 |
| Not Classified | 0 |
| Relevant Target | 7 |
| Coverage | 4/7 (57.1%) |
| **Total** | **7** |
## Details
| Var | Status | Description | Notes |
|-----|--------|-------------|-------|
| `.getTime` | ✅ supported | Unix timestamp in milliseconds | BUG GAP-J04: Java Instant has toEpochMilli, not getTime; current behavior is a PTC convenience. |
| `.isAfter` | ✅ supported | Instant ordering predicate | Works for same-type Date or DateTime values. |
| `.isBefore` | ✅ supported | Instant ordering predicate | Works for same-type Date or DateTime values. |
| `.toEpochMilli` | 🔲 candidate | Return Instant epoch millisecond | BUG GAP-J18: Java Instant.toEpochMilli is unsupported while .getTime is exposed. |
| `Instant/now` | 🔲 candidate | Current instant | System/currentTimeMillis plus java.util.Date. covers many cases. |
| `Instant/ofEpochMilli` | 🔲 candidate | Construct instant from epoch milliseconds | java.util.Date. already accepts seconds or milliseconds. |
| `Instant/parse` | ✅ supported | Parse ISO-8601 instant string | Also available as java.time.Instant/parse and parse. BUG GAP-J06: date-only and no-zone date-time strings are accepted instead of rejected. |