From 68942c9919b3a80929d5ad4f3120fa4d0ee77893 Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Thu, 24 Sep 2026 00:05:08 +0200 Subject: [PATCH] 27 - a placed block carries no headroom, so the list's directive items write none --- src/markdown/emit/adf-to-markdown.ts | 4 ++-- todo-history.md | 6 ++++++ todo.md | 6 +----- 3 files changed, 9 insertions(+), 7 deletions(-) diff --git a/src/markdown/emit/adf-to-markdown.ts b/src/markdown/emit/adf-to-markdown.ts index 89afb50..b74f75b 100644 --- a/src/markdown/emit/adf-to-markdown.ts +++ b/src/markdown/emit/adf-to-markdown.ts @@ -19,7 +19,7 @@ type BlockContainer = 'directive' | 'document' | 'list-item' type BlockSpelling = 'commonmark' | 'directive' | 'list' type EmittedBlock = { headroom: number; spelling: BlockSpelling; text: string } type KeptSpelling = { block: EmittedBlock | undefined; depth: number } -type PlacedBlock = EmittedBlock & { node: AdfNode } +type PlacedBlock = Omit & { node: AdfNode } export type SpellingMemo = Map type Walk = { blocks: readonly PlacedBlock[]; headroom: number } type WalkedItem = { node: AdfNode; walk: Walk } @@ -256,7 +256,7 @@ function tryList(node: AdfNode, path: ConvertErrorPath, depth: number, memo: Spe // The directive form sinks each item's blocks a level below where the walk read them. function directiveItems(items: readonly WalkedItem[]): PlacedBlock[] { - return items.map((item) => ({ ...directivePair(item.node, listItemOpener, joinBlocks(item.walk.blocks, 'directive'), item.walk.headroom - 1), node: item.node })) + return items.map((item) => ({ ...directivePair(item.node, listItemOpener, joinBlocks(item.walk.blocks, 'directive')), node: item.node })) } function listStart(node: AdfNode, items: number): number | undefined { diff --git a/todo-history.md b/todo-history.md index 71a80c4..8293943 100644 --- a/todo-history.md +++ b/todo-history.md @@ -1066,6 +1066,12 @@ The done `todo.md` items in full, as they were written. `todo.md` keeps a one-li pass's set read-only and returns the whole. `containerStack` is the one writer of the stack, `edges` and the open directives' depths by name, all read-only elsewhere; deriving `edges` from the stack instead makes every line walk the open directives, quadratic in their nesting. +- [x] **27 — The dead `headroom` write goes (`0.2.0`).** `directiveItems` + (`emit/adf-to-markdown.ts:258`) writes `item.walk.headroom - 1` onto each `PlacedBlock`, and + nothing on that path reads a block's `headroom`: `joinBlocks` and `separationBetween` read + `text` and `spelling`, and `emitDirectiveBlock` takes the level from the `Walk`. Of the two + subtractions three readers flagged as double-counting, this is the one that is dead. + `PlacedBlock` carries no `headroom`, so a placed block cannot be read for one. ## 5 — Ship `0.1.0` diff --git a/todo.md b/todo.md index 6487747..388410d 100644 --- a/todo.md +++ b/todo.md @@ -59,11 +59,7 @@ chunk clearing a §11 seam. - [x] **24 — The conformance gates have a directory (`0.2.0`).** - [x] **25 — AGENTS.md §8 and §11 are findable (`0.2.0`).** - [x] **26 — The two mutable structures say what they guarantee (`0.2.0`).** -- [ ] **27 — The dead `headroom` write goes (`0.2.0`).** `directiveItems` - (`emit/adf-to-markdown.ts:258`) writes `item.walk.headroom - 1` onto each `PlacedBlock`, and - nothing on that path reads a block's `headroom`: `joinBlocks` and `separationBetween` read - `text` and `spelling`, and `emitDirectiveBlock` takes the level from the `Walk`. Of the two - subtractions three readers flagged as double-counting, this is the one that is dead. +- [x] **27 — The dead `headroom` write goes (`0.2.0`).** - [x] **0 — Scaffold.** - [x] **1a — The directive grammar.** - [x] **1b — Block node syntaxes.**