Merge commit '8d3230e68535c78b4e1b56a96255f0cc4a94fae2' into feat/8jk6.3-date-hierarchy
# Conflicts: # context/test-evidence/formula-and-io.md
This commit is contained in:
@@ -1686,3 +1686,14 @@ not counted; this test fails.
|
||||
argument. Rival: the flag parsed and ignored; this test fails, and
|
||||
`a_headless_date_import_is_one_hierarchical_category` does not, which is the
|
||||
point of having both.
|
||||
|
||||
### every_fold_the_api_can_build_reads_back_from_the_file_it_writes
|
||||
|
||||
ChatGPT Codex, P2 on #317 at `e09ec752`: `GroupFold::Expanded(usize)` and
|
||||
`View::set_group_fold` are public, so `Expanded(0)` could be built, written as
|
||||
`expanded(0): …` and then refused by the grammar that wrote it. Confirmed by
|
||||
reading: the writer formatted any `usize`, and `depth_number` starts at `1`.
|
||||
The fix makes the state unrepresentable (`Expanded(NonZeroUsize)`), so the
|
||||
regression guard is the type, and the old failing input no longer compiles.
|
||||
This test covers every fold the API CAN build (`Collapsed` and depths 1 to 3,
|
||||
beside a category depth), each saved and read back.
|
||||
|
||||
Reference in New Issue
Block a user