What happened, in order.
This log records what has actually happened across the stack and the company. It contains no announcements: an entry is written only once something holds.
6 entries · since 2026
01 Log
Six entries since early 2026.
-
thinkery.ch goes live in this form
The company site presents stack, advisory and working principles in an editorial layout: one grid across all pages, bilingual, WCAG 2.2 AA.
-
Thinkery operates as a GmbH in formation
Engine, standard and registry get a carrier. From Wädenswil, Thinkery runs development, operations and advisory mandates.
-
Registry v1 is live
ctxpkg.com accepts packages: publish, search, install. Every package receives a trust report — produced by the same checks, free or commercial.
-
Second verifier, independently implemented
Alongside the Rust verifier, a standalone TypeScript implementation now checks CTXPKG packages. Two codebases against one specification: that is how a standard proves it is precise enough.
-
CTXPKG specification v2 published
The package format for machine knowledge is public on ctxpkg.org: signed manifests, a provenance chain, changes only through the open RFC process.
-
LeanCTX goes open source
The context engine lands on GitHub: tree-sitter AST for 18 languages, 10 read modes, compression up to 99 percent. Runs locally, no telemetry.
Inspect the stack yourself.
Every entry here can be verified: engine on GitHub, specification on ctxpkg.org, registry on ctxpkg.com.