Repository navigation
test: analyze() refuses a named column the table does not have, before writing any statistics; analyze_function seeds the ledger (#1341) - #1373
Conversation
jdatcmd
left a comment
There was a problem hiding this comment.
Approving c61baf4 on content. Reproduced on PG18.
- Green: shell 71/71; pytest 6 passed.
- Red: I replaced the
IF unknown IS NOT NULL THEN RAISE …block (pgcolumnar--1.0-alpha5.sql~1560) withNULL;. The shell twin fails both arms:
FAIL analyze() refuses a named column the table does not have, and names it: … got [] want [P0001 pgcolumnar.analyze(): column "nosuch" does not exist in af_unk]
FAIL and writes no statistics, not even for the real column named beside it: got [1] want [0]
pytest stops at the first:got 'ok' want 'P0001 …'. The control stays green. - Ledger: 72 rows for 71 checks plus the 15–17 SKIP name. No duplicate keys.
Notes, not blocking:
- The shell arm reports
got []on success, where pytest says'ok'. Echoingokwould match it. - A fresh 5000-row table is an autoanalyze candidate. An autoanalyze between the INSERT and the
pg_statscount would redden "writes no statistics". The window is small; settingautovacuum_enabled = offonaf_unkwould close it. Unverified.
Before merge: a rebase. Restate the ceiling to 244 and the census on main's 1821, and settle the cluster_tests collision with #1372.
c61baf4 to
454c14a
Compare
|
Rebased onto 57f6e0e (#1401), on top of #1403. The new head is 454c14a. Only the count files changed, so this needs your re-approval.
🤖 Generated with Claude Code |
|
Re-run finished on the tree after #1403 (758039f or later). Everything is green, so the head above stands:
🤖 Generated with Claude Code |
454c14a to
2db496a
Compare
|
Rebased onto 7da848d (#1432, #1409). The new head is 2db496a; only the count files changed, so please re-approve this head.
🤖 Generated with Claude Code |
2db496a to
9d8861f
Compare
|
Rebased onto 1f7b5da (#1411, #1412, #1417, #1418). The new head is 9d8861f. Only the count files changed, plus TESTS.md section numbers where main took 115, so please re-approve this head.
🤖 Generated with Claude Code |
|
The PG18 re-run on this head (9d8861f, on 1f7b5da with #1412's index-build change) is all green:
🤖 Generated with Claude Code |
|
Rebased onto 37ea557 (#1414, #1425). The new head is 4a2e517. Only the count files changed, so please re-approve this head.
🤖 Generated with Claude Code |
9d8861f to
4a2e517
Compare
|
Rebased onto f2bd5f1 (#1427). The new head is 8e59b7a. Only the count files changed, so please re-approve this head.
🤖 Generated with Claude Code |
4a2e517 to
8e59b7a
Compare
|
Rebased onto d5c0a5e (#1391). The new head is d93ea54, so please re-approve this head.
🤖 Generated with Claude Code |
8e59b7a to
d93ea54
Compare
|
@jdatcmd CI's Fixed in 59b4950: the registry gets the test for 15, 16 and 17. On PG17, 🤖 Generated with Claude Code |
|
Rebased onto 2d1a77f (#1413–#1424). The new head is 257784b, so please re-approve this head.
🤖 Generated with Claude Code |
59b4950 to
257784b
Compare
jdatcmd
left a comment
There was a problem hiding this comment.
Re-approved at 257784b, the rebase onto 2d1a77f. The one addition beyond bookkeeping is three expected_unrunnable.txt lines declaring that test_a_named_column_that_does_not_exist_is_refused declines on PG15, 16 and 17. That's right: pgcolumnar.analyze() needs PostgreSQL 18.
🤖 Generated with Claude Code
…ws are reworded The mutation column is a ';'-separated set, written back sorted. A --mutation whose text held "; " was stored as two mutations, one a fragment starting with a space, and every later merge re-sorted it. commandprompt#1427's recovery_minimal_wal text did this to 8 rows, and commandprompt#1423, commandprompt#1424 and commandprompt#1426 each carried them as a change of their own. Four older harness_selftest rows were split the same way. - merge refuses a --mutation holding ';' (rc 2, ledger untouched). - the reader refuses a ';'-piece with whitespace at an end, by line: the writer joins with a bare ';', so such a piece is a fragment, never a mutation. - the 12 rows are reworded without ';', from their original text in history. Only field 6 changes; the census stays 3007 / 2282 / 725. Red first: the two refusal arms got 0 want 2 on the unchanged tool, and the committed-ledger arm was red at line 1783 with the refusal in and the rows not yet reworded. guard_tests 435 -> 438 by collection. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…rompt#1341 item 75) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…ment-mark mutation (commandprompt#1341 item 75) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…wn privileges, in both twins (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…d the refused tier writes no file, in both twins (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…e mutations of the RLS guard (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
… in both twins (commandprompt#1341, commandprompt#1397 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…uals (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…x, and the twin fails it by name rather than raising (commandprompt#1383 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
commandprompt#1383 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…name (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…rompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… arm runs with the configured list empty, in both twins (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…n comparing two empty strings (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…andprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…d the shell names 'empty' itself (commandprompt#1379 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…dated (commandprompt#1379 review) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VjTxfQJj5pnii9wzmPP9Ho
…l's name (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…0) and leaves nothing declared, in both twins (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ts connections (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…mandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Restated for the chain you asked for. The new head is 5879648, so please re-approve this head.
🤖 Generated with Claude Code |
257784b to
5879648
Compare
jdatcmd
left a comment
There was a problem hiding this comment.
Re-approved at 5879648, its place in the chain on 17420be. This PR's own commits, measured from the link below it, change the same lines as the head I approved before, apart from the count files and the TESTS.md section number.
🤖 Generated with Claude Code
…emise: prefix (commandprompt#1341) Review of commandprompt#1375 by jdatcmd: CI's suites (PG 17) ledger gate found the row seeded as 'premise: the drop really removed the projection' while projections.sh:410 and test_projections.py:795 name the check without the prefix, so the gate saw one check not in the ledger and one orphan row. The row is renamed and keeps its other fields. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…e writing any statistics, in both twins (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…blings do (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
… dated (commandprompt#1341) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ys so (commandprompt#1341) test_a_named_column_that_does_not_exist_is_refused calls pgcolumnar.analyze(), which needs PostgreSQL 18, so it declines on 15, 16 and 17 like the other analyze_function twins. It was missing from expected_unrunnable.txt, so CI's PG17 cluster job collected and passed 578 and still exited 67 on the unexpected decline. Measured on PG17: test_analyze_function.py exits 67 without these rows and 0 with them. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
5879648 to
e56de60
Compare
|
Restacked onto #1375's fix (875429d, its projections row renamed). The new head is e56de60, so please re-approve this head. This PR's own commits are unchanged, and nothing in its diff moved. 🤖 Generated with Claude Code |
jdatcmd
left a comment
There was a problem hiding this comment.
Re-approved at e56de60. This PR's own commits are the same as the head I approved, rebased onto the fixed #1375.
🤖 Generated with Claude Code
Part of #1341: the medium sql-objects item "pgcolumnar.analyze(rel, columns) refuses a named column that does not exist". The function's own comment says silently collecting nothing would be "the failure mode that looks exactly like success". No arm reached the check.
Arms (both twins; a new pytest function,
test_a_named_column_that_does_not_exist_is_refused)On a fresh table:
analyze('af_unk', ARRAY['a','nosuch'])raisespgcolumnar.analyze(): column "nosuch" does not exist in af_unk, checked by SQLSTATE and message.pg_statsholds no row for the table, not even fora, so the refusal came first.awrites its statistics, so "none" isn't a table that never gets any.pgcolumnar.analyze()needs PostgreSQL 18. On 15–17 the shell suite's single named version SKIP covers these too. The pytest function declines unnamed, exactly as its three siblings do, which my first push didn't: it failed on 15–17 before I gated it.Mutation
The unknown-column check removed. PG18, main ff09c2c against this branch:
a("got [1] want [0]")Evidence
analyze_functionhad no rows, so it is seeded with all 72 checks. 2353 → 2425 rows, the census 1798 → 1868, and suites_not_covered 246 → 245. The two arms are dated.cluster_tests533 → 534. Other PRs of mine take 534 too, so whichever lands later restates.🤖 Generated with Claude Code