logos

λόγος

substance

the account of what is

reasoning — works out what follows, as accounts you can re-check

https://github.com/Bitspark/logos ↗

Depends on

ontos build

docs ↗

compiles or links against ontos

the account is an ontos value with holes — Term mirrors ontos's Atom|Tuple, adding only Var

Depended on by

arche build

kernel re-bases onto the logos reasoning engine (RFC 0006); intent-only — the re-base has not landed yet

stele contract

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

stele build

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

thesmos contract

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

horos contract

implements logos's published checker SPI (Theory / LeafVerifier / RuleAdmissibility) and supplies a typing Program logos checks; consumes check(), never searches

logos-bench build

drives logos as a benchmark subject — the CLI/in-process seam plus the vendored substrate BOM snapshot it resolves release ids from; a downstream consumer only, logos never depends on logos-bench

logos-bench contract

the benchmark reads against logos's published CLI surface (ADR 0015) and kernel/contract SPI, not its internals