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)