The source identity: a digest of the engine definitions that derive belief. A reasoning
image is written with it, and an open installs the image only when its own source identity
is equal. namespace-roots and roots start the walks; comments, docstrings and position
metadata are not hashed. See docs/storage.md, the source identity under the reasoning image.
The **source identity**: a digest of the engine definitions that derive belief. A reasoning image is written with it, and an open installs the image only when its own source identity is equal. `namespace-roots` and `roots` start the walks; comments, docstrings and position metadata are not hashed. See docs/storage.md, the source identity under the reasoning image.
(closure)(closure opts)The sorted set of namespaces whose forms the walk over definitions reads. opts as
source-identity takes.
The sorted set of namespaces whose forms the walk over definitions reads. `opts` as `source-identity` takes.
(definitions)(definitions opts)The sorted set of the names the digest takes each reached form under: ns/var for a
form defining a var, ns/<kind> <target> for one that defines none. opts as
source-identity takes.
The sorted set of the names the digest takes each reached form under: `ns/var` for a form defining a var, `ns/<kind> <target>` for one that defines none. `opts` as `source-identity` takes.
(forms-digest text)The hex digest of the source text with its comments, docstrings and reader positions
removed.
The hex digest of the source `text` with its comments, docstrings and reader positions removed.
The namespaces the namespace walk starts from: recovery, which derives belief on open, and the public API, whose write entry points derive it between opens.
The namespaces the namespace walk starts from: recovery, which derives belief on open, and the public API, whose write entry points derive it between opens.
(read-forms text)The top-level forms of the source text, without (comment …) blocks. Reads with
*read-eval* off and the self-resolving *reader-resolver*.
The top-level forms of the source `text`, without `(comment …)` blocks. Reads with `*read-eval*` off and the self-resolving `*reader-resolver*`.
The definitions the walk over forms starts from: the KB constructor, the two recover
entry points, the prover entry point, and every write entry point that derives belief in
a session — vaelii.core's :replay writes, whose labels an image written at close
carries. A :seal write (import!, clear!, reindex, load-text!) is not a root:
what it leaves is records, which the image's records fingerprint covers, and what it
derives it derives through recover or assert. source_identity_test fails on a
:replay write missing here.
The definitions the walk over forms starts from: the KB constructor, the two recover entry points, the prover entry point, and every write entry point that derives belief in a session — `vaelii.core`'s `:replay` writes, whose labels an image written at close carries. A `:seal` write (`import!`, `clear!`, `reindex`, `load-text!`) is not a root: what it leaves is records, which the image's records fingerprint covers, and what it derives it derives through `recover` or `assert`. `source_identity_test` fails on a `:replay` write missing here.
(source-identity)(source-identity opts){:digest hex :namespaces n :definitions [name …] :libraries [jar …]} for the source on
the classpath now. :digest covers every form the walk reaches from roots, each under
its name, the compiled code of any namespace in closure with no source, and the sorted
library names.
opts, for a test or a replay of another commit's source: :source-dirs, directories
searched for an in-scope namespace's source in place of the classpath; :roots and
:namespace-roots, in place of the two vars of those names.
`{:digest hex :namespaces n :definitions [name …] :libraries [jar …]}` for the source on
the classpath now. `:digest` covers every form the walk reaches from `roots`, each under
its name, the compiled code of any namespace in `closure` with no source, and the sorted
library names.
`opts`, for a test or a replay of another commit's source: `:source-dirs`, directories
searched for an in-scope namespace's source in place of the classpath; `:roots` and
`:namespace-roots`, in place of the two vars of those names.cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |