v0.8.0

0.8.0 (2026-09-30)

Bug Fixes

• a one-line package description on the hub (#75) (933c2d9)

v0.7.0

0.7.0 (2026-09-27)

Performance Improvements

• render: build key text only on the pass that writes it (#71) (885e52b)

v0.6.0

0.6.0 (2026-09-26)

Features

• laws: TOML-KEY-3, keys in any spelling read back from every key position (#52) (630fe66)
• laws: WP-A chunk 1, an error stays, and headers and comments read as replay (#67) (bbd3366)
• laws: WP-A, every short derivation parses to its replay (#68) (65237e0)
• laws: WP-G, toml.abnf transcribed as the grammar relation (#60) (152cb83)
• laws: WP-N1, integer, float and boolean words exact in both directions (#64) (5de5b3c)
• laws: WP-R chunk 1, the refusal direction for every non-string state (#70) (db8dff3)
• laws: WP-S1, strings of every form read as the text they denote; TOML-STR-1 proved (#63) (8e28146)
• laws: WP-T1, datetime words exact in both directions (#61) (f28b8d5)
• laws: WP-V, bare words read over parse; TOML-NUM-1, NUM-2 and TIME-1 proved (#66) (a5cb83e)
• proof: an induction over parse for any invariant of the scanner's state (#55) (d981c82)
• proof: TOML-KEY-3 proved, a key is found where it is put (#56) (65756da)
• proof: WP-R spike, TEXT-1's refusal direction over the header and key states (#62) (b129c22)

Bug Fixes

• a line-ending backslash in a one-line string is refused (#69) (6ebc864)
• a tab between a date and a time no longer reads as a datetime (#65) (d0eda6a)

v0.5.0

0.5.0 (2026-09-25)

Features

• laws: WP-R2, parse then render is stable (TOML-RT-2 proved) (#49) (6e3a716)
• laws: WP-R3 spike, TOML-RT-3's invariant over every scanner state (#42) (af800c1)
• laws: WP-R3, parse gives a well-formed document (TOML-RT-3 proved) (#47) (ba9c31e)

Bug Fixes

• bend 2.0.28, no numeric name segments (#48) (7a0fe8d)

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)

v0.3.1

0.3.1 (2026-09-24)

Bug Fixes

• table, dotted-key and header conformance (I1, R2, V2, R3, I8) (35f8414)

v0.3.0

0.3.0 (2026-09-24)

Features

• add wf, the shapes parse returns (d845ef7)
• land SPEC.md and retire the closed laws (a5c6764)
• laws: define same and own, with sanity laws for same (14f62b3)
• laws: prove the key class, get and the readers, and part of at (644d502)
• laws: prove TOML-GET-2, counting an array-of-tables element as a table (8bb497c)
• laws: prove TOML-STR-2, how render writes a string (befff47)
• move the interface to main.bend at the repository root (234f606)
• spec audit, SPEC.md, root layout, and the first proved rows and fixes (ad78a59)

Bug Fixes

• check a date's day against its month and leap years (48470b1)
• read quotes before a multi-line closing delimiter and an empty string at the end (8b863c5)
• refuse a second sign and an underscore after a leading zero (3ebfb7f)
• refuse controls in comments, a lone carriage return, and a value on the next line (dd654d6)

v0.2.2

0.2.2 (2026-09-22)

Performance Improvements

• quote plain string spans without the escape walk (#22) (0b1bf3e)

v0.2.1

0.2.1 (2026-09-22)

Performance Improvements

• cons table rows instead of appending on each key (#20) (19fc461)

v0.2.0

0.2.0 (2026-09-22)

Features

• add fair Rust toml vs eztoml wave bench (#18) (4ee64d8)