supabase / etl / 29562147892

74%

Build Type

push

github

Committed by web-flow

Commit Message

test(etl): Add Postgres value roundtrip property tests (#910)

* fix(etl-postgres): Preserve display scale of zero numerics

Postgres renders a zero numeric with its stored display scale, e.g.
'0e-1'::numeric prints as 0.0, but PgNumeric's Display dropped the
scale and printed a bare 0 even though the parser and the binary wire
format both preserve it. Two values that compared unequal could render
identically, and destinations received a less faithful text form than
Postgres emits. Print the fractional zeros for scaled zero values.

Found by the value roundtrip property test with minimal input 0e-1.

* test(etl): Add proptest value roundtrip properties against Postgres

Add a differential property harness: each property generates typed
values, has a real Postgres render them in the text format that
replication tuples and COPY carry, parses that text with the
production codec, and asserts the parsed cell equals the value
Postgres stores. Postgres is the oracle, so the properties catch
silent value corruption rather than only parser panics.

First properties cover text[] and int8[] literals, numeric text
(including NaN and infinities), date, timestamptz, and full COPY rows
through the copy codec. Every property runs fresh random cases until a
wall-clock budget elapses, controlled by
ROUNDTRIP_PROPERTY_BUDGET_SECS (default 3), so the regular suite pays
seconds while CI or local deep runs can raise it to minutes.

Exposes the text cell parser through test_utils::replication_stream
next to the existing copy row and tuple helpers.

* test(etl): Extend value roundtrip properties to more Postgres types

Cover time, timestamp, and timetz (including offsets with seconds) in
addition to date and timestamptz; enums with generated adversarial
labels parsed through catalog-derived enum and enum-array types;
float4/float8 and float8[] over all bit patterns with NaN-aware
comparison; timestamptz[] and bytea[] to exercise quoted and escaped
array elements; jsonb docum... (continued)

Coverage Stats

50 of 54 new or added lines in 3 files covered. (92.59%)

32 existing lines in 3 files now uncovered.

42799 of 58112 relevant lines covered (73.65%)

5949.09 hits per line