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

lilleman commented 2026-09-30 20:00:49 +02:00

Owner

Copy Link

Copy Source

plainMarkdownToAdf mints task localIds, so identity no longer lives only in the lossless pair; the goal now says a document's own ids survive only that pair and the minted ones are new.

plainMarkdownToAdf mints task localIds, so identity no longer lives only in the lossless pair; the goal now says a document's own ids survive only that pair and the minted ones are new.

lilleman added 1 commit 2026-09-30 20:00:49 +02:00

Goal 5 states that a document's identity survives only the lossless pair 5f3705c430

lilleman added 1 commit 2026-09-30 20:01:32 +02:00

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

lilleman changed title from WIP: Goal 5 states that a document's identity survives only the lossless pair to Goal 5 states that a document's identity survives a round trip only through the lossless pair 2026-09-30 20:25:59 +02:00

lilleman merged commit e17e247351 into main 2026-09-30 20:25:59 +02:00

lilleman deleted branch goal-5-identity 2026-09-30 20:26:00 +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#150