Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.artifact

Bounded portable native-project artifacts. Reading requires an independent expected manifest digest and performs no native/toolchain discovery.

Bounded portable native-project artifacts. Reading requires an independent
expected manifest digest and performs no native/toolchain discovery.
raw docstring

authenticated-artifactclj

(authenticated-artifact receipt)

Internal publisher accessor. Maps or foreign equal/hash implementations cannot manufacture an actual artifact receipt; no raw guest values are exposed.

Internal publisher accessor. Maps or foreign equal/hash implementations cannot
manufacture an actual artifact receipt; no raw guest values are exposed.
raw docstring

export!clj

(export! receipt output)

Write an actual issued native build as a manifest-last ZIP. Return the expected manifest digest for trusted application configuration. Caller owns OUTPUT; no engine/live ledger is serialized and source/main is never executed here.

Write an actual issued native build as a manifest-last ZIP. Return the expected
manifest digest for trusted application configuration. Caller owns OUTPUT;
no engine/live ledger is serialized and source/main is never executed here.
raw docstring

lean-commitclj


load!clj

(load! input expected-manifest-sha256)

Read a bounded artifact using an independently trusted expected MANIFEST hash. No compiler namespace/toolchain/native process is loaded or probed. Caller owns INPUT. A self-reported hash from this archive is not independent trust.

Read a bounded artifact using an independently trusted expected MANIFEST hash.
No compiler namespace/toolchain/native process is loaded or probed. Caller owns
INPUT. A self-reported hash from this archive is not independent trust.
raw docstring

max-bytesclj


schemaclj

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
× close