veridikt_derive 0.2.0

Veridikt derived layer: static extraction of functions, calls, and effects from host source, every edge carrying a confidence.

Documentation

Coverage
41.03%
16 out of 39 items documented0 out of 10 items with examples
Size
Source code size: 104.07 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 956.52 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 13s Average build duration of successful builds.
all releases: 13s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
Veridikt/Veridikt
6 0 0
crates.io
Dependencies
Versions
- 0.2.0 (2026-06-19)
Owners

veridikt_derive

The derived layer of Veridikt (spec §8): static extraction from host source. Given the files in derivation scope plus the declared state symbols, it produces derived nodes and edges (Functions/Types, Calls/Affects/Reads) — every edge carrying an explicit confidence (Exact, Resolved, Heuristic).

Unresolvable calls are dropped and counted, never guessed (G-7): the derived layer is true by construction, so reconciliation can trust it. Extraction facts are cached as JSON (D-064) to keep queries fast on large repos.

Most users want the veridikt CLI, not this crate directly.

License

Licensed under either of MIT or Apache-2.0 at your option.