aboutsummaryrefslogtreecommitdiff
path: root/lib/kernel/record.ml
Commit message (Collapse)AuthorAgeFilesLines
* fix(record): derive headers and to_row from a single columns listLukasz Kasprzak2026-08-111-4/+17
| | | | | | | | | Make alignment impossible: both headers and to_row are derived from a single list of (name, extractor) pairs, so reordering one without the other is impossible. CSV schema cannot silently mislabel columns. Add a meaningful test that pins the header names in order, not just length. This catches column reordering regressions.
* kernel(record): flat all-string canonical output viewLukasz Kasprzak2026-08-111-0/+40
The boundary where rite-parametric types stop. CSV, JSON and the template engine all render from this one schema, so they never see a type variable. headers/to_row cover the scalar columns; names and citations are variable-arity and wait for the richer encoders in Plan 5.