logos-db

substance draft private

the embeddable, theory-agnostic logic-database engine — an append-only signed-record store + hierarchical projection + a hosted certify/search drive-loop over ontos + logos, exposed as SearchAndCertify; ships the contract-only `logos-db-seam` + the `logos-db` engine (atlas ADR 0034; extracted from stele's engine lanes)

Private repository — not publicly linked.

Depends on

ontos build

compiles or links against ontos

the value model + canonical codec — records and projected facts are ontos values; canonicalization delegates to ontos-codec (depend, never absorb)

logos contract

depends on the published interface of logos

codes to logos's published checker SPI (logos-contract) — the seam reuses logos-contract types verbatim (Symbol/GroundLiteral/Derivation/Evidence/Theory/Clause/ClauseId/Goal + CheckProfile), pinned per-language in seam/{go,rs,ts} (contract/go v0.9.1, logos-contract git tag v0.9.1, @bitspark/logos-contract 0.9.1)

logos build

compiles or links against logos

the certify spine it wraps and hosts — logos check()/solve (contract + kernel); SearchAndCertify = search-for-a-derivation → check(), so every certified answer is a logos derivation. Intent — the engine links logos's check/solve implementation; today only logos-contract is pinned in the seam manifests

Depended on by

stele build

consumes the extracted logos-db engine (v0.1.0) — the store swap sheds the fold/identity/projection to logos-db-store; go/rs pin the store/go + seam/go tags, ts the @bitspark/logos-db-{store,seam} npm packages, per ADR 0005 (the shell keeps persistence/merkle/sign and the wire)

thesmos build

db-binding/go compiles/links the logos-db-seam package (the frozen FactView + CheckProfile injection points, ADR 0017) — requires github.com/Bitspark/logos-db/seam/go, never the engine runtime or the seam's store facet