v1.0.0

Changelog

• bc8d22e feat(proof): Qed forall lemmas via clickhouse_semantics_auto
• fddbe12 ci: build full Perennial proof deps and reject Admitted lemmas
• 536b09f feat(proof): Qed forall lemmas via clickhouse_semantics_auto
• de200e6 refactor(proof): simplify semantics tests for Goose automation
• 88a0fe5 refactor: merge stmts into stmt and extract firsterror package
• 51b0700 docs: update correctness and development guides for Goose proofs
• 56f1279 fix(test): enable CREATE USER in ClickHouse testcontainers
• 0ca1e61 chore: add opam-based proof setup in devenv and CI
• f2850fe feat(proof): add Goose gold and Perennial forall lemmas
• 276bdfa chore: remove Rapid property tests and hand-written Coq proofs
• 3b542ed refactor: extract goose-exportable packages and cluster choose split
• e2b76ad chore: add gh to devenv and Apache-2.0 LICENSE
• 6aa0f96 fix(test): use testcontainers ConnectionString for ClickHouse DSN
• 0c8acce docs: rewrite README with Terraform example and upstream thanks
• c824ae8 doc(readme): small changes
• af17721 chore: track stmt golden vectors and ignore generated artifacts
• f0713ac fix(ci): install devenv via nix profile in Actions
• 785660c fix(docs): move mkdocs config to repo root
• bbbac1a docs: rewrite README for install-first layout
• 82091fc docs: add MkDocs guides and site config
• 3772eca ci: add GoReleaser release on v* tags
• 86f16ca ci: run proof and tests on push
• 7db7b25 build: add devenv shell and Makefile targets
• 8d6b7e4 test: add integration tests against real ClickHouse
• 052b9a8 test: add ClickHouse testcontainers harness
• e6393c1 feat(plugin): rewrite dbplugin with internal packages
• 9ec88b8 feat(user): check user existence before delete
• 1ed3c73 feat(txexec): execute normalized DDL statements
• be8471a feat(vars): build template variable maps
• 89fdc9a feat(txexec): stop at first DDL error
• f61d0cf feat(cluster): resolve ON CLUSTER names
• 71bf699 feat(stmt): normalize vault role statements
• d844031 Merge pull request #2 from bun4uk/main
• 649807a Update README.md
• b9a8e8b Update README.md
• 02e2f16 SQL typo fix
• 07ea6ea Create REDME.md; Update go and dependencies; Small code refactoring
• 1d81017 Remove idea
• 7b6b954 .Gitignore
• 72640f4 first commit