Repository navigation

invariants: the ClickHouse page's claims, each with a test, and a check that holds the page to them - #454

Merged

turbolytics merged 12 commits into

mainfrom

feat/clickhouse-invariants

Oct 11, 2026

Merged

invariants: the ClickHouse page's claims, each with a test, and a check that holds the page to them#454
turbolytics merged 12 commits into
mainfrom
feat/clickhouse-invariants

Commits on Oct 10, 2026
- spec: ClickHouse invariants, and the published page they back
  turbolytics
  committed
  2d63b3e
- plan: ClickHouse invariants, in ten tasks
  turbolytics
  committed
  b05014e
- coverage: an invariant may apply to one integration
  turbolytics
  committed
  4ca2391
- coverage: a published page is held to the claims it cites
  turbolytics
  committed
  9ca4b61
Commits on Oct 11, 2026