stele

στήλη

substance

the inscribed public record

the public record — signed attestations on a public slab anyone may read and re-check

Depends on

compiles or links against ontos

compiles against the ontos value model — ontos-core/ontos-codec git deps (tag v0.1.2), imports ontos_core::Value, ontos/core/go

logos contract

depends on the published interface of logos

codes to logos's published checker SPI (logos-contract): admit = check, gate = solve + check over thesmos's law

logos build

compiles or links against logos

intent — the tri-core certifying kernel links logos's check/solve implementation; today only logos-contract is pinned in the manifests

compiles or links against thesmos

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

arche runtime

intent — arche's services run on stele, the append-only signed-fact log (stele is arche's substrate floor; arche-facts reborn)