ansatz.lean.jvm.compiler.local — org.replikativ/ansatz-lean-jvm 0.2.578

Internal source/compiled-module preparation. No artifact, entry or READY Project is issued here. Uses the fixed compiler's monitored native transport.

*build-start-nanos* clj

compile-modules! clj

(compile-modules! compiler configuration journal)

Compiles exact captured DAG with the reviewed opt-in typed exporter. This is reusable compiler preparation; checked entries/startup/artifact issuing follow separately and no execution readiness is asserted.

dependency-order clj

(dependency-order roots modules)

Bounded typed DFS. Scheduling deduplicates; source import occurrences remain.

module-components clj

(module-components name)

Structural string Name only; a quoted dot remains one filesystem component.

module-relative clj

(module-relative name)

prepare! clj

(prepare! compiler
          {:keys [project source-root roots helper helper-source helper-sha256
                  helper-source-sha256 typed-exporter typed-exporter-source
                  typed-exporter-sha256 typed-exporter-source-sha256 compile?]
           :as configuration}
          journal)

Trusted helper configuration supplies independently reviewed source/binary pins. Captures only reachable modules and plans dependencies first. Returns preparation metadata, never runtime admission. No native reference/main is executed.

profile clj