PtcRunner.Lisp.Java.Oracle.Runner (PtcRunner v0.14.0)

Copy Markdown View Source

Executes bounded Java behavior cases through pinned JVM Clojure, Babashka, or the PTC runtime for explicit compatibility-only operations.

JVM execution resolves the exact manifest descriptor before invoking a member. Babashka is restricted to explicitly marked fast cases and its results never count as authoritative descriptor coverage.

Summary

Types

oracle()

Functions

run(oracle, subset, opts \\ [])

Runs one oracle subset and returns canonical typed outcomes.

Types

oracle()

@type oracle() :: :jvm | :babashka | :ptc

Functions

run(oracle, subset, opts \\ [])

@spec run(oracle(), atom(), keyword()) :: {:ok, map()} | {:error, term()}

Runs one oracle subset and returns canonical typed outcomes.