Liking cljdoc? Tell your friends :D

ansatz.lean.jvm.entry-v3

Private candidate-v3 correspondence checks only. No producer registration, source custody, runtime admission or public descriptor authority is issued.

Private candidate-v3 correspondence checks only. No producer registration,
source custody, runtime admission or public descriptor authority is issued.
raw docstring

validate-document!clj

(validate-document! context document)

Return bounded checked-description-only data. Native Meta DefEq/safety claims require future authenticated producer+source/IR+product custody; this pure function never proves DefEq, selects a cohort or issues runtime authority.

Return bounded checked-description-only data. Native Meta DefEq/safety claims
require future authenticated producer+source/IR+product custody; this pure
function never proves DefEq, selects a cohort or issues runtime authority.
raw docstring

validate-producer-custody!clj

(validate-producer-custody! custody helper-source helper)

Pure independently pinned source-closure/build-receipt correspondence. Never discovers native files or issues a build/artifact/runtime capability.

Pure independently pinned source-closure/build-receipt correspondence. Never
discovers native files or issues a build/artifact/runtime capability.
raw docstring

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