3j: the carry and the combinations read back #42

Merged

lilleman merged 4 commits from carry-read-back into main 2026-09-03 08:10:21 +02:00

Conversation 0 Commits 4 Files Changed 25

+270 -92

lilleman commented 2026-09-03 07:01:32 +02:00

Owner

Copy Link

Copy Source

The adf fence and :adf{json="…"} restore deep-equal nodes, a carry inside a mark spelling is a named error, the corpus round-trips both ways, and index.ts gains markdownToAdf.

The adf fence and :adf{json="…"} restore deep-equal nodes, a carry inside a mark spelling is a named error, the corpus round-trips both ways, and index.ts gains markdownToAdf.

lilleman added 1 commit 2026-09-03 07:01:32 +02:00

Read the carries and the combinations back, and land markdownToAdf d7850c75f4

lilleman added 1 commit 2026-09-03 07:35:22 +02:00

Record the settled carry decisions: verbatim restore in the spec, the two-code case at the freeze read 32706adfeb

lilleman added 1 commit 2026-09-03 08:01:29 +02:00

Charge a carried node against the levels its position leaves, and part the causes one guard hid 4d0ad3728c

lilleman added 1 commit 2026-09-03 08:09:43 +02:00

Name the budget the carry's depth message applies, and pin the canonical refusal it met 85ec1cd35c

lilleman marked the pull request as ready for review 2026-09-03 08:10:20 +02:00

lilleman merged commit 754fae88a3 into main 2026-09-03 08:10:21 +02:00

Sign in to join this conversation.

Reviewers

No Reviewers

Labels

No items

No Label

Milestone

No items

No Milestone

Assignees

Clear assignees

claes.eismar.se lilleman (Lilleman auf Larv) martin.siden

No Assignees

1 Participants

Notifications

Subscribe

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: larvit/adf-codec#42