Add hero banner + shields.io badge row#1
Merged
Merged
Conversation
- assets/hero.{svg,png}: 1280x480 README banner matching the
duckdb-from-zero / mysql-from-zero chassis. Three pipeline stops
(psql REPL → Pagila JOIN → sqlx::PgPool) plus a 13-contracts pillar
on the right edge and a single-line contract summary strip at the
bottom. Authored as SVG, rendered to PNG via cairosvg.
- README: prepended hero image and an 8-badge row (License, Rust,
PostgreSQL, Coverage, Tests, Provable contracts, GitHub last-commit,
GitHub repo size) plus inline links to the sibling repos in the
same series.
Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
Adds .github/workflows/ci.yml so the paiml org's "Green Main" ruleset can auto-merge PRs. The ruleset requires a status check named literally `gate`; we provide it as an aggregator over a `gate-matrix` job that runs the same Makefile entrypoints a user runs locally (make up / pagila / verify / test / capstone smoke). This was deferred from the initial commit per spec but is required to make `gh pr merge --auto` actually fire — the org rule blocks otherwise. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
- cargo fmt --all cleanup across lib.rs / main.rs / bin_smoke.rs / benches/contract_assertions.rs (max-line-width drift; CI gate caught it). Tests + clippy + 100% coverage all still hold. - sql/01-fundamentals/01-connect.sql + 02-show-tables.sql: psql backslash meta-commands consume the rest of the line, so trailing `-- comment` text was leaking into args (`\l: extra argument "list" ignored`, `\c: invalid integer value "to" for connection option "port"`). Moved every comment onto its own line above the meta-command. - sql/02-joins/03-explain-analyze.sql: original predicate matched ~99% of rows, so the planner stayed on Seq Scan even after the index was created — the example claimed a plan flip that didn't happen. Strengthened to show wide-vs-narrow predicate side by side: same wide query before/after the index (still Seq Scan, still ~2.4 ms) plus a narrow-day query that flips to Index Scan in 0.019 ms. Now actually teaches the lesson. Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
(psql → Pagila JOIN → sqlx::PgPool, with a 13-contracts pillar)
100% coverage, 45 tests, 13 provable contracts, GitHub last-commit,
GitHub repo size
Test plan
🤖 Generated with Claude Code