Sharded FORMAT pfile + .howard catalog emit
Builds on v0.10.0's pfile writer with a sharded write mode and the first .howard catalog emit.
shard_by '<col>'onCOPY … TO (FORMAT pfile): a single ordered pass rolls one hive shard per key transition —out/<col>=<val>/data.{pgen,pvar}— with one shared.psamwritten at the root. Designed to mirrorPARTITION_BYsemantics without native partitioning (which reorders rows and would corrupt.pgenrow order)..howard.jsoncatalog written last, as the completion marker: per-file global half-openpartition {start, stop, source_ordinal}and per-file genomicrange(CHROMlist + true runningPOSmin/max), consumable by howard's.howardloader.- Atomicity: per-shard staging,
.pgenpromoted last on each roll; the catalog-last write means a partial run leaves K durable shards and no catalog (readers treat a missing catalog as incomplete). - Validation: path-unsafe
shard_bykey values are rejected with an actionable error; per-shard monotonicity/POS-extent reset per shard; a reappearing shard key across shards is an error.
Reviewed adversarially (PASS/PASS) and the write→open_howard→compare round-trip verified end-to-end. Sharded test: 48 assertions; full suite 10830 assertions / 178 cases.
🤖 Generated with Claude Code