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

12 Commits

Author	SHA1	Message	Date
lilleman	ad1f3e996b	4.3: todo.md records the joined-run family and the generalized backtick pass	2026-09-15 22:35:48 +02:00
lilleman	b6ba440410	4.3: a bare backtick run escapes wherever a later string of its length forms around an escape	2026-09-15 22:28:51 +02:00
lilleman	7d20f3e895	4.3: the ADF generator draws backtick runs beside code spans, and the directive floor's message names what it counts	2026-09-15 22:22:46 +02:00
lilleman	5fe2e6ec42	4.3: the directive floor counts directive-only and carried types in the parsed document, and run parameters name the gate	2026-09-15 21:48:06 +02:00
lilleman	ef71d55c13	4.3: todo.md records the settled harness, floors and breaks, and 12's and 13b's follow-ups	2026-09-15 21:36:55 +02:00
lilleman	a3073c69b2	4.3: under the gate seed the markdown property asserts floors on fixpoint and directive-shaped runs	2026-09-15 21:36:55 +02:00
lilleman	8e7d429379	4.3: the shared property module is property-harness.ts, and the canonical arm filters emit refusals	2026-09-15 21:31:41 +02:00
lilleman	755b5cbe01	4.3: the markdown generator splits into inline, leaf-block and block builders	2026-09-15 21:28:32 +02:00
lilleman	fe47e6bc7b	4.3: a link opening a paragraph that reads as a link reference definition rides the carry	2026-09-15 21:22:34 +02:00
lilleman	aeb54d98d1	4.3: an escaped backtick run escapes whole, and a lone backtick before one escapes too	2026-09-15 21:05:16 +02:00
lilleman	4735933d61	4.3: a paragraph line reading as a link reference definition escapes its opening bracket	2026-09-15 21:05:16 +02:00
lilleman	ec5c92d4fd	4.3: the markdown property	2026-09-15 21:05:16 +02:00