logos-contract: the FIRM proof account (Term/Literal/Clause/Derivation) + the STABLE-v1 checker SPI (check/Theory/LeafVerifier/RuleAdmissibility) over ontos. The shared artifact a check-only consumer binds and an…
logos-contract: the FIRM proof account (Term/Literal/Clause/Derivation) + the STABLE-v1 checker SPI (check/Theory/LeafVerifier/RuleAdmissibility) over ontos. The shared artifact a check-only consumer binds and an…
Details from crates.io ↗.
logos-contract was first seen on crates.io · New crates on Nov 6, 2026. Since then it has appeared in 1 check on 1 different day. Its best position was #14 of 50, reached on Nov 6, 06:08 UTC. It dropped off the list after Nov 6, 06:08 UTC.
This page has little history so far; it stays out of search results until the item has trended on two days or has more context.
Position on crates.io · New crates at every check (lower is better).
Best rank per day (UTC).
Archived daily, weekly and monthly lists that include this entry.
Not at the moment. It was last on the list on Nov 6, 06:08 UTC, after 1 day of trending.
#14 on crates.io · New crates, on Nov 6, 06:08 UTC. Trendoday checks this list every 120 minutes.
It was first seen on Nov 6, 2026 and has been on the list on 1 day (1 check) since.