review: Goal 5 names the round trip and drops the minted-ids clause

Goal 5 states that a document's identity survives only the lossless pair
2026-09-30 20:01:29 +02:00 · 2026-09-30 20:00:47 +02:00
1 changed files with 2 additions and 1 deletions
@@ -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
Author	SHA1	Message	Date
lilleman	e17e247351	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	2026-09-30 20:01:29 +02:00
lilleman	5f3705c430	Goal 5 states that a document's identity survives only the lossless pair CI / gate (push) Successful in 47s CI / publish (push) Has been cancelled	2026-09-30 20:00:47 +02:00