4.3: the markdown property #80

Merged

lilleman merged 12 commits from markdown-property into main 2026-09-15 22:48:43 +02:00

Conversation 0 Commits 12 Files Changed 20

+937 -181

lilleman commented 2026-09-15 21:08:30 +02:00

Owner

Copy Link

Copy Source

Generated markdown through markdownToAdf never throws, and a spelling it reads back parses and emits to itself byte for byte. Fixes the two round-trip breaks the property found: a backtick escape closing an earlier code span, and a paragraph line reading as a link reference definition.

Generated markdown through markdownToAdf never throws, and a spelling it reads back parses and emits to itself byte for byte. Fixes the two round-trip breaks the property found: a backtick escape closing an earlier code span, and a paragraph line reading as a link reference definition.

lilleman added 3 commits 2026-09-15 21:08:30 +02:00

4.3: the markdown property ec5c92d4fd

4.3: a paragraph line reading as a link reference definition escapes its opening bracket 4735933d61

4.3: an escaped backtick run escapes whole, and a lone backtick before one escapes too aeb54d98d1

lilleman added 5 commits 2026-09-15 21:37:44 +02:00

4.3: a link opening a paragraph that reads as a link reference definition rides the carry fe47e6bc7b

4.3: the markdown generator splits into inline, leaf-block and block builders 755b5cbe01

4.3: the shared property module is property-harness.ts, and the canonical arm filters emit refusals 8e7d429379

4.3: under the gate seed the markdown property asserts floors on fixpoint and directive-shaped runs a3073c69b2

4.3: todo.md records the settled harness, floors and breaks, and 12's and 13b's follow-ups ef71d55c13

lilleman added 1 commit 2026-09-15 21:48:45 +02:00

4.3: the directive floor counts directive-only and carried types in the parsed document, and run parameters name the gate 5fe2e6ec42

lilleman added 3 commits 2026-09-15 22:36:27 +02:00

4.3: the ADF generator draws backtick runs beside code spans, and the directive floor's message names what it counts 7d20f3e895

4.3: a bare backtick run escapes wherever a later string of its length forms around an escape b6ba440410

4.3: todo.md records the joined-run family and the generalized backtick pass ad1f3e996b

lilleman marked the pull request as ready for review 2026-09-15 22:48:42 +02:00

lilleman merged commit ad1f3e996b into main 2026-09-15 22:48:43 +02:00

lilleman deleted branch markdown-property 2026-09-15 22:48:43 +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#80