thesmos

θεσμός

substance

the law laid down

the admission law — who may; authority laid down, anchored in a signed root

Depends on

compiles or links against ontos

compiles against the ontos value model — ontos-core/ontos-codec git deps (versions pinned per core; the per-core skew is intentional — see ADR 0010, byte-agreement enforced by vectors/, not version strings), go.mod require github.com/bitspark/ontos, imports ontos_core::Value

logos contract

depends on the published interface of logos

implements logos's published checker SPI — depends on logos-contract (the Derivation/checker types), not logos's engine; the authorization program logos checks

Depended on by

stele build

compiles against thesmos's fact + authorization program — thesmos git dep (tag v0.2.0), imports github.com/Bitspark/thesmos/core/go/fact