larvit/adf-codec
3
0
Fork 0
Code Pull Requests Actions Activity

Goal 5 states that a document's identity survives a round trip only through the lossless pair #150

Merged
lilleman merged 2 commits from goal-5-identity into main 2026-09-30 20:25:59 +02:00
Conversation 0 Commits 2 Files Changed 1
+2 -1
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 5f3705c430 - Show all commits
README.md
+2 -1
View File
@@ -43,7 +43,8 @@ In priority order.
rendered document sees or follows, its text, images and link targets. Content the document only rendered document sees or follows, its text, images and link targets. Content the document only
references is marked where it stood, by a note that reads as the converter's and names what was references is marked where it stood, by a note that reads as the converter's and names what was
left out. The lossy pair creates and exports; it never saves back over the document it read — left out. The lossy pair creates and exports; it never saves back over the document it read —
identity (task, mention, media ids) lives only in the lossless pair. a document's identity (task, mention, media ids) survives only the lossless pair, and the task
ids `plainMarkdownToAdf` mints are new ones.
6. **What happens is what the audience expects.** Where the goals leave a choice, a conversion 6. **What happens is what the audience expects.** Where the goals leave a choice, a conversion
takes the one its audience would predict, reading the input as written. takes the one its audience would predict, reading the input as written.
7. **Failures are values.** Nothing throws, and `code` is a closed list — as much a contract as 7. **Failures are values.** Nothing throws, and `code` is a closed list — as much a contract as