ansatz.lean.jvm.ir — org.replikativ/ansatz-lean-jvm 0.2.578

Internal adapter for the packaged canonical Java interpreter. These wrappers prepare trusted original rows and drive its existing ownership protocol; they do not authenticate source bytes, infer Lean types or establish Init startup. No research interpreter, benchmark, runtime javac or source checkout is used.

active clj

(active basis engine)

advance! clj

(advance! basis engine budget)

basis-for-class clj

(basis-for-class cls)

Internal adapter/test seam for one already-linked engine Class. Creates no classloader and compiles no code. Production normally uses linked-basis.

call clj

(call basis engine label args)

close! clj

(close! basis engine)

complete-initializer! clj

(complete-initializer! basis engine)

declaration-header clj

(declaration-header binding original-header-row original-sha256)

depth clj

(depth basis engine)

extend-program clj

(extend-program basis rows)

(extend-program basis rows additional-host-specifications)

Prepare an immutable executable descendant. No engine, code or owner executes.

fail-host! clj

(fail-host! basis engine request cause)

finish-initialization! clj

(finish-initialization! basis engine)

function-id clj

(function-id basis label)

host-basis clj

(host-basis basis)

Attach the opt-in host-boundary API from this exact already-linked engine.

host-request clj

(host-request basis engine)

initializing? clj

(initializing? basis engine)

install-program! clj

(install-program! basis engine)

Install BASIS's descendant on an idle, host-paused or code-paused engine.

instructions clj

(instructions basis engine)

invoke-static clj

(invoke-static method args)

linked-basis clj

(linked-basis)

Resolve the already-compiled engine on the application classpath. The caller never supplies a class directory, compiler, jar path or research source root.

machine clj

(machine basis)

Create a task-free engine, optionally with the engine-issued BuildIdentity. TaskRuntime and profiling policies remain outside this admitted adapter.

materialize-body clj

(materialize-body basis target original-row direct-headers)

Prepare one authenticated original body; its dependencies remain headers.

phase clj

(phase basis engine)

prepare-host-program clj

(prepare-host-program basis rows specifications)

Prepare in-memory original IR rows with exact opt-in host ABI descriptors. This registers no callback or effect; only explicit execution can request one.

register-headers clj

(register-headers basis headers)

(register-headers basis headers specifications)

Append authentic headers without forcing executable bodies.

release! clj

(release! basis engine value)

request-value clj

(request-value request accessor)

Borrow a request accessor; arguments acquire no new guest ownership.

resume-host! clj

(resume-host! basis engine request value)

retain! clj

(retain! basis engine value)

source-binding clj

(source-binding basis accepted-source-token)

Create a binding for the trusted adapter's accepted lightweight source token. This is an authority boundary, not verification of supplied bytes or hashes.

start! clj

(start! basis engine label args)

start-initializer! clj

(start-initializer! basis engine global action)

start-release! clj

(start-release! basis engine value count)

supported-build-identity clj

(supported-build-identity basis)

The engine's admitted pinned Lean identity; no native process or caller label.

take-result! clj

(take-result! basis engine)