[OffgridwithJD]

Part of #1339 (#1236), from @jdatcmd's note on #1372: six rollup checks named premise: read the result of a product operation. They lose the prefix in both twins, and their ledger rows are renamed with their history.

check (prefix dropped)	mutation that reddens it (PG17, both twins)
pgcolumnar.vacuum gave the source's row groups new identities	pgcolumnar.vacuum rewrites nothing: got [same: …]
compact_rewrite rewrote a row group	compact_rewrite reports 0 whatever it rewrote: got [0]
expire retired the old row groups	expire reports 0 whatever it retired: got [0]
expire retired the group the delete thinned	the same: got [0]
expire retired the group in bucket D alone and kept the one that shares it	expire retires nothing: `got [500
the rollup holds partials the delete below cannot reach	not dated: only a refresh that writes no partials reddens it, and that reddens most of the suite, including premises about fixtures

The two count mutations are deliberately narrow: they change only the return value, so they redden exactly the checks that read it. "Expire retires nothing" also reddens the expire counts and three refusal arms beside them, which already had dates. No remaining premise: in the suite went red under any of the four.

Evidence

Clean: rollup 82/82 and test_rollup.py passing on each of PG15–19.

Bookkeeping

• Ledger: no new rows. Five dated for the first time: never 1962 → 1957, rows 2549. Ceiling 241. The gate is clean against origin/main.
• No tests added, so cluster_tests and guard_tests don't move. The guard set is 433/433.
• Conflicts: test: a rollup's min and max keep each source column's collation across a refresh, in both twins (#1341) #1372 and test: row_tid refuses a row number below 1, and without the floor row_tid(0) crashes the backend (#1341) #1391 also touch rollup.sh and test_rollup.py, in other places. Whichever lands later restates.

🤖 Generated with Claude Code

[jdatcmd]

Reproduced at f9f43eb on PG18. rollup is 82/82.

• expire reports 0 (PG_RETURN_INT64(retired) → 0): 80 + 2, expire retired the old row groups and expire retired the group the delete thinned, both got [0] want [1].
• compact_rewrite reports 0: 81 + 1, compact_rewrite rewrote a row group: got [0] want [1].

The narrow mutations redden exactly the renamed checks. Leaving the partials check undated, with the reason stated, is honest. Approving. I'll merge once CI is green, after checking the approval is on this head.

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto 57f6e0e (#1401), on top of #1403. The new head is e098c0f. Only the count files changed, so this needs your re-approval.

• Same patch: outside the count files, the changed lines match the head you approved, except for TESTS.md section renumbers where main's new sections took the old numbers.
• The ledger is restated on main's census and agrees with its tsv: 2786 rows, 2090 never, 696 dated, read back from the file. Each changed paragraph's arithmetic starts from main's last numbers.
• cluster_tests 566, by collection over the cluster files on this tree. guard_tests 433 is unchanged.
• Runs on the rebased tree at 217f23b, PG17 and PG18: PG17 harness_selftest: 1245 passed + 0 failed + 0 unrunnable + 0 skipped; PG17 pytest: 3 passed in 25.23s; PG17 rollup: 104 passed + 0 failed + 0 unrunnable + 0 skipped; PG18 harness_selftest: 1245 passed + 0 failed + 0 unrunnable + 0 skipped; PG18 pytest: 3 passed in 23.55s; PG18 rollup: 104 passed + 0 failed + 0 unrunnable + 0 skipped. harness_selftest 1245/1245 and docs_style passed on both. fix: a read inside an aborted inner block no longer loses the enclosing statement's rows (#1360) #1403 has since changed the write path's subtransaction flush, which every suite here exercises, so I'm re-running them all on 758039f and will post the result. CI runs PG17 and PG18 on this head.

🤖 Generated with Claude Code

[OffgridwithJD]

Re-run finished on the tree after #1403 (758039f or later). Everything is green, so the head above stands:

• PG17 docs_style: passed
• PG17 harness_selftest: 1245 passed + 0 failed + 0 unrunnable + 0 skipped
• PG17 pytest: 3 passed in 26.93s
• PG17 rollup: 104 passed + 0 failed + 0 unrunnable + 0 skipped
• PG18 docs_style: passed
• PG18 harness_selftest: 1245 passed + 0 failed + 0 unrunnable + 0 skipped
• PG18 pytest: 3 passed in 25.77s
• PG18 rollup: 104 passed + 0 failed + 0 unrunnable + 0 skipped

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto 7da848d (#1432, #1409). The new head is c2e0e54; only the count files changed, so please re-approve this head.

• Ledger, restated on main's census and read back from the tsv: 2873 rows, 2174 never, 699 dated, suites_not_covered 232. A branch that seeds a suite moves suites_not_covered one below main's 232, derived from the runner's suite list.
• Counts by collection: cluster_tests 567, guard_tests 435.
• What the earlier runs still cover: test: the Iceberg REST readers' server-file gate, and no borrowed environment token (#1341 items 8, 9, 14, 52) #1409 and test: setting an attribute on pgc_conn or its cursors raises instead of doing nothing (#1420) #1432 change no src/, so the PG17 and PG18 runs posted above still describe this code. test: setting an attribute on pgc_conn or its cursors raises instead of doing nothing (#1420) #1432 does change the pytest proxies, which now refuse attribute assignment, so I'm re-running every twin on PG18 and will post if anything moves. A scan of this branch's twins finds no assignment to pgc_conn or a cursor.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at c2e0e54. Compared with f9f43eb, the head I approved, file by file: the changed lines are the same, apart from the count files (check_ledger_budget.txt, expected_tests.txt) and, in #1378/#1379/#1380/#1383, the TESTS.md section number, now 115.

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto 1f7b5da (#1411, #1412, #1417, #1418). The new head is 60e5796. Only the count files changed, plus TESTS.md section numbers where main took 115, so please re-approve this head.

• Ledger: 2984 rows, 2273 never, 711 dated, read back from the tsv, with suites_not_covered 231.
• Collection: cluster_tests 570, guard_tests 435.
• Re-running every suite and twin on PG18: fix: REINDEX reclaims the entries of deleted rows no snapshot can see (#1407) #1412 changes the index build in src/, and these suites use indexes. I'll post the results here; CI runs PG17 and PG18 on this head.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at 60e5796, the rebase onto 1f7b5da. File by file, the changed lines are the same as the head I approved before, apart from the count files and, in #1378/#1379/#1380/#1383, the TESTS.md section number.

🤖 Generated with Claude Code

[OffgridwithJD]

The PG18 re-run on this head (60e5796, on 1f7b5da with #1412's index-build change) is all green:

• docs_style: passed
• harness_selftest: 1245 passed + 0 failed + 0 unrunnable + 0 skipped
• pytest: 3 passed in 14.90s
• rollup: 104 passed + 0 failed + 0 unrunnable + 0 skipped

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto 37ea557 (#1414, #1425). The new head is 0af054b. Only the count files changed, so please re-approve this head.

• Ledger: 2998 rows, 2276 never, 722 dated, read back from the tsv.
• Collection: cluster_tests 575, guard_tests 435.
• Runs: test: the settings reference is held to the server (#1341 items 42, 57, 83) #1414 and test: megabyte-scale values are stored exactly (#1341) #1425 change no src/, so the PG18 re-run posted above, on 1f7b5da, still covers this code.

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto f2bd5f1 (#1427). The new head is e2e7e06. Only the count files changed, so please re-approve this head.

• Ledger: 3007 rows, 2277 never, 730 dated, read back from the tsv.
• Collection: cluster_tests 576, guard_tests 435.
• Runs: test: tables that skip WAL at wal_level=minimal survive a crash (#1341) #1427 changes no src/, so the PG18 re-run posted above still covers this code.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at e2e7e06, the rebase onto f2bd5f1. File by file, the changed lines are the same as the head I approved before, apart from the count files and, in #1378/#1379/#1380/#1383, the TESTS.md section number.

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto d5c0a5e (#1391). The new head is 6909c4c, so please re-approve this head.

• Ledger: 3008 rows, 2277 never, 731 dated, read back from the tsv.
• Collection: cluster_tests 577, guard_tests 435.
• Rollup on the rebased tree: 105/105 on PG18, which now includes test: row_tid refuses a row number below 1, and without the floor row_tid(0) crashes the backend (#1341) #1391's arm.
• Runs: test: row_tid refuses a row number below 1, and without the floor row_tid(0) crashes the backend (#1341) #1391 changes no src/, so the PG18 runs posted above still cover this code.

🤖 Generated with Claude Code

[OffgridwithJD]

Rebased onto 2d1a77f (#1413–#1424). The new head is b37d9bb, so please re-approve this head.

• Ledger: 3111 rows, 2339 never, 772 dated, read back from the tsv.
• Collection: cluster_tests 587, guard_tests 435, both confirmed by collection.
• Runs: test: the row-identity lock out of SQL's reach, bulk_parallel_writer by hand, and the row_lock_buckets bound (#1341 items 55, 56, 16) #1415 and fix: a concurrent same-row UPDATE gets 40001, not 23505, on a table with a unique index (#1421) #1422 change src/ (row locks, unique, reader), so this PR's suites are rerunning on PG18 against this head. I'll post the results here.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at b37d9bb, the rebase onto 2d1a77f. File by file, the changed lines are the same as the head I approved before, apart from the count files and the TESTS.md section number.

🤖 Generated with Claude Code

[OffgridwithJD]

Restated for the chain you asked for. The new head is 32a92ea, so please re-approve this head.

• Place in the chain: This PR is stacked on test: every relation-taking entry point names where its bar is asserted, and four with none get arms (#1386) #1404 and has to merge after it. Until test: every relation-taking entry point names where its bar is asserted, and four with none get arms (#1386) #1404 lands, GitHub's diff here also shows the commits below it. This PR's own are the top 2. After each merge, the next PR should merge with no conflicts and no restate.
• Ledger: 3347 rows, 2527 never, 820 dated, cumulative through this PR, read back from the tsv.
• Collection: cluster_tests 598, guard_tests 438, both confirmed by collection.
• Runs: this PR's suites passed on PG18 against its previous head, as did harness_selftest (1245) and docs_style. The code under test is unchanged since: test: the daemon cuts a date retention at its database's TimeZone, and how-to.md now says so (#1341) #1393 changes no src/.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at 32a92ea, 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

[OffgridwithJD]

Restacked onto #1375's fix (875429d, its projections row renamed). The new head is 1526d8e, so please re-approve this head. This PR's own commits are unchanged, and nothing in its diff moved.

🤖 Generated with Claude Code

[jdatcmd]

Re-approved at 1526d8e. This PR's own commits are the same as the head I approved, rebased onto the fixed #1375.

🤖 Generated with Claude Code