3
0
mirror of https://github.com/larvit/adf-codec.git synced 2026-11-12 11:48:29 +01:00

Answer prose round 1: 0 🔴, 1 🟡; say the refusal costs Goal 4 too

This commit is contained in:
2026-10-17 23:20:21 +02:00
committed by Lillem4n
parent 6ede19861d
commit 2c8ea5c30b
+6 -5
View File
@@ -355,14 +355,15 @@ past `[x]`/`[ ]`, and lifting bare URLs, `@name`, `:shortcode:` or ISO dates int
## The portable reader refuses what GFM's reading would drop
2026-10-14, the maintainer; Goal 7 ruling over Goal 4 here, 2026-10-17, the maintainer. Goals 4 and
7. Valid while a refusal is a result and the caller can fix the markdown it sent.
2026-10-14, the maintainer; the ruling of Goal 7 over Goal 4, 2026-10-17, the maintainer. Goals 4
and 7. Valid while a refusal is a result and the caller can fix the markdown it sent.
Where GFM's reading of a shape drops content, `portableMarkdownToAdf` refuses the shape. A pipe
table row holding more cells than its header is `malformed-pipe-table`, where GFM cuts the extra
cells. Cutting the cells breaks Goal 7, and building any table GFM does not, such as a wider one,
breaks Goal 4; a refusal builds no table. Goal 7 is a Maintain goal, holding whatever it costs, so
it wins over Goal 4, an Achieve goal, even where a bot gets an error for a row GitHub renders.
cells. Cutting the cells breaks Goal 7. Building a table GFM does not, such as a wider one, breaks
Goal 4. A refusal builds no table, but it still breaks Goal 4: a bot gets an error for a row GitHub
renders. Goal 7 is a Maintain goal, holding whatever it costs, so it wins over Goal 4, an Achieve
goal.
## The HTML dialect