tatara-platform-checks 0.2.1

Platform-wide invariant checks over the registered tatara catalog. Each invariant walks the capability registries, asserting properties no single domain can verify alone (no duplicate keywords, every dep ref resolves, every schema parses, every compliance framework is known). New domains are validated automatically; new invariants are one function each.

Documentation

Coverage
56.25%
9 out of 16 items documented0 out of 8 items with examples
Size
Source code size: 26.31 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 477.14 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: 10s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
pleme-io/tatara-lisp
0 0 0
crates.io
Dependencies
Versions
Owners

tatara-platform-checks — platform-wide invariant runner.

Each Invariant is a typed check function over the registered catalog. The runner walks them all, collecting pass/fail for every keyword. No invariant assumes any specific domain — they all read from the global registries directly, so adding a new catalog domain inherits the full suite for free.

Adding a new invariant is a single function + an entry in default_invariants(). The compounding curve flattens once more: new layers describe themselves; new invariants describe the platform-wide properties those layers must satisfy.