Private v3 logical graph model. Shape/digest checks confer no native evidence, layout, allocation or public entry admission authority. Existing v2 is unchanged.
Private v3 logical graph model. Shape/digest checks confer no native evidence, layout, allocation or public entry admission authority. Existing v2 is unchanged.
(canonical-graph g)Canonical rooted traversal renumbers local IDs; root/constructor/field order remains significant. Definition table order and original IDs do not.
Canonical rooted traversal renumbers local IDs; root/constructor/field order remains significant. Definition table order and original IDs do not.
(logical-digest g)SHA-256 of canonical UTF-8 JSON. Binds this whole evidence graph, including ordered roots; this is NOT a nominal type's identity digest.
SHA-256 of canonical UTF-8 JSON. Binds this whole evidence graph, including ordered roots; this is NOT a nominal type's identity digest.
(type-digest g t)Digest only one validated closed type's reachable closure. Unrelated selected roots/definitions do not affect it. Accept a graph root or declared nominal.
Digest only one validated closed type's reachable closure. Unrelated selected roots/definitions do not affect it. Accept a graph root or declared nominal.
(validate! g)Strict bounded logical model check; return the input unchanged. This does not prove declaration safety, native DefEq, origin authenticity or actual layout.
Strict bounded logical model check; return the input unchanged. This does not prove declaration safety, native DefEq, origin authenticity or actual layout.
(validate-layout-references! g plan)Check reference paths into a separately authenticated representation document. Does NOT validate that document, its digest, native field correspondence or offsets; callers receive no allocation/read authority from this function.
Check reference paths into a separately authenticated representation document. Does NOT validate that document, its digest, native field correspondence or offsets; callers receive no allocation/read authority from this function.
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 |