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
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
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 —
identity (task, mention, media ids) lives only in the lossless pair.
a document's identity (task, mention, media ids) survives a round trip only through the lossless
pair.
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.
7. **Failures are values.** Nothing throws, and `code` is a closed list — as much a contract as