v0.4.0

0.4.0 (2026-09-25)

Features

• laws: a header of bare segments joined by dots reads back (288e469)
• laws: a header of one bare segment reads back (d672189)
• laws: a table set by the walk reads back as what it was set to (abbf69b)
• laws: allow blank space in the headers the spelled-segment laws read (4f2b7a1)
• laws: array-of-tables headers read back (5abadbb)
• laws: contracts of the table walk (WP-W) (e2494f4)
• laws: contracts of the walk for a put and a table header (dced53b)
• laws: contracts of the walk for an array-of-tables header and a failed walk (86fc6e3)
• laws: header segments read back under their names, quoted or bare (90a64c5)
• laws: literal keys, dotted keys and spelled header segments read back (WP-K3) (4fb7944)
• laws: numbers, booleans and datetimes read back (WP-N) (ca81791)
• laws: prove TOML-KEY-2, and plan the round-trip proofs (b00055e)
• laws: prove TOML-KEY-2's read-back (5a24d72)
• laws: prove TOML-RT-1 for a document of one string pair (acda4c5)
• laws: put a dotted key's value under its segments' tables and find it with at (a6c136f)
• laws: read a bare value back from any value state, and booleans (e310d11)
• laws: read a document of one pair of any value back as itself (047e874)
• laws: read a dotted key back as its segments' names (6858cb4)
• laws: read a literal key back as its characters (4b9541c)
• laws: read a scalar back up to a comma, a closer or a newline (56e95cf)
• laws: read a string's span back from any value position (3e43886)
• laws: read a well-formed datetime back, and every scalar from any value state (ddf84f8)
• laws: read a well-formed float back as its sign and spelling (318914b)
• laws: read a well-formed integer back as its sign and digits (908a9a6)
• laws: read an array's items back one at a time (7960655)
• laws: read an inline table's pairs back one at a time (b50b9f9)
• laws: read any well-formed value back, nested to any depth (67a5aa5)
• laws: read back a nonempty string with escapes from any value position (9bf9a5b)
• laws: read back every rendered string in each value position (51d4f7e)
• laws: read header segments back however they are spelled (0d01349)
• laws: rendered strings read back in every value position (WP-S) (fd3df38)
• laws: rows.seal puts the newest row last (74589d7)
• laws: table headers read back (WP-H) (f8b1078)
• laws: WP-C, arrays and inline tables read back (56d3967)

Performance Improvements

• proofs: compute each control's escape once (de6c356)
• proofs: compute each control's escape once (2969a39)