 lilleman
|
2ae9dcfb24
|
AGENTS.md §11: a sort keys on the name a line introduces, so an import sorts on its first binding
|
2026-09-18 23:03:13 +02:00 |
|
|
lilleman
|
afc0a42369
|
14 - the CommonMark subset moves under src/markdown/commonmark/
|
2026-09-18 20:27:22 +02:00 |
|
|
lilleman
|
ab5127f821
|
12c: one block opener speller beside its reader, the line readers split along the union, and AGENTS.md records the leaf body
|
2026-09-16 19:21:06 +02:00 |
|
|
lilleman
|
0eb2665ffe
|
12c: the block directive forms read and spell !adf: openers and closers
|
2026-09-16 15:46:52 +02:00 |
|
|
lilleman
|
d2b252ae07
|
12b: the inline opener speller takes its reader's name, and todo.md records 12c's collapses
|
2026-09-16 10:03:49 +02:00 |
|
|
lilleman
|
e7d3697dc4
|
12b: the inline directive forms read and spell the !adf: prefix
|
2026-09-16 09:52:52 +02:00 |
|
|
lilleman
|
9c6d29c33b
|
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
|
f63be57c31
|
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
|
765820f8f7
|
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
|
2f251b84ed
|
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
|
3da3160c9f
|
4.3: the markdown generator splits into inline, leaf-block and block builders
|
2026-09-15 21:28:32 +02:00 |
|
|
lilleman
|
c8ce81adf4
|
4.3: the markdown property
|
2026-09-15 21:05:16 +02:00 |
|