review: Goal 5 names the round trip and drops the minted-ids clause
CI / gate (push) Successful in 45s
CI / publish (push) Successful in 6s

This commit was merged in pull request #150.
This commit is contained in:
2026-09-30 20:01:29 +02:00
parent 5f3705c430
commit e17e247351
+2 -2
View File
@@ -43,8 +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 —
a document's identity (task, mention, media ids) survives only the lossless pair, and the task a document's identity (task, mention, media ids) survives a round trip only through the lossless
ids `plainMarkdownToAdf` mints are new ones. pair.
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