Search results

_insert_dataset raises CircularDependencyError on empty datasets

Status: Open.

#22 In alialavia/sqlproof;

· alialavia opened on May 21, 2026

Detect drift between test-helper INSERTs and live schema

Status: Open.

#13 In alialavia/sqlproof;

· alialavia opened on May 7, 2026

First-class "public function surface registry" with drift detection

Status: Open.

#12 In alialavia/sqlproof;

· alialavia opened on May 7, 2026

Mutation testing harness for SQL function bodies

Status: Open.

#11 In alialavia/sqlproof;

· alialavia opened on May 7, 2026

Coverage: cli.py and reporter modules

enhancementNew feature or requestNew feature or request

Status: Open.

#7 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

Establish a deprecation policy for the 0.x series

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#6 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

Pytest plugin: stabilize CLI flags and reporter wiring

enhancementNew feature or requestNew feature or request

Status: Open.

#5 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

Generators: support range types, composite types, and custom domains

enhancementNew feature or requestNew feature or request

Status: Open.

#4 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

Schema: support exclusion constraints, partial unique indexes, generated columns

enhancementNew feature or requestNew feature or request

Status: Open.

#3 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

Coverage: bring core.py, client.py, runners/db.py, schema/introspect.py out of the omit list

enhancementNew feature or requestNew feature or request

Status: Open.

#2 In alialavia/sqlproof;

· alialavia opened on May 5, 2026

CI: run integration tests against a real Postgres service container

enhancementNew feature or requestNew feature or request

Status: Open.

#1 In alialavia/sqlproof;

· alialavia opened on May 5, 2026