Skip to content

Make query execution statically compilable - #4

Merged
quinnj merged 5 commits into
mainfrom
codex/postgres-trim-runtime
Jul 21, 2026
Merged

Make query execution statically compilable#4
quinnj merged 5 commits into
mainfrom
codex/postgres-trim-runtime

Conversation

@quinnj

@quinnj quinnj commented Jul 20, 2026

Copy link
Copy Markdown
Owner

Summary

  • replace runtime callback fields with a style-dispatched extension interface
  • keep connection, statement, cursor, and row-decoding paths concretely typed
  • make transaction callbacks generic so caller return types survive inference
  • fully drain simple-query responses through ReadyForQuery, including notices and errors
  • add JuliaC trim coverage for typed queries, transactions, and protocol draining

Dependencies

Verification

  • 823/823 Postgres assertions pass against a real Docker PostgreSQL instance with released StructUtils 2.8.2
  • released-dependency trim workload matches its explicit 92-error, zero-warning baseline
  • LeagueEasy typed backend graph compiles and links under --trim=safe with zero verifier errors using this commit and the companion StructUtils pin
  • all 10 GitHub Actions jobs pass across Linux, macOS ARM, Windows, minimum Julia, prerelease Julia, MD5, SCRAM, and docs

Co-authored by Codex

@quinnj
quinnj force-pushed the codex/postgres-trim-runtime branch from 8c72cd5 to fed1baf Compare July 20, 2026 03:59
@quinnj
quinnj marked this pull request as ready for review July 20, 2026 06:06
quinnj added 5 commits July 21, 2026 17:13
Replace runtime callback fields with a style-dispatched interface, preserve concrete connection and statement types through row decoding, and add a JuliaC workload covering typed queries and transactions.\n\nCo-authored-by: Codex <codex@openai.com>
Update the protocol resynchronization integration test for the style-first API and bound Linux CI jobs so a protocol stall yields a diagnosable failure.
@quinnj
quinnj force-pushed the codex/postgres-trim-runtime branch from cb147ec to 95a11c9 Compare July 21, 2026 23:16
@quinnj
quinnj merged commit c90a843 into main Jul 21, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant