From d56e5b4f57a7cceceba7cd833cf31170c6371b7e Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Sat, 3 Oct 2026 16:21:06 +0200 Subject: [PATCH] Keep near-miss text pairs apart in the property harness: merge only what the reader joins --- src/conformance/property-harness.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/conformance/property-harness.ts b/src/conformance/property-harness.ts index 5f4700e..0f3cc41 100644 --- a/src/conformance/property-harness.ts +++ b/src/conformance/property-harness.ts @@ -11,7 +11,7 @@ import { blockNodes } from '../adf/block-nodes.ts' import { directivePrefix } from '../markdown/directive-syntax.ts' import { emptyKeys, mergeAdjacentText } from '../adf/document.ts' import { inlineNodes } from '../adf/inline-nodes.ts' -import { joinsWhenEditorNormal } from '../markdown/plain/editor-normal.ts' +import { joinsWhenRead } from '../markdown/adjacent-text.ts' import { markAttributes } from '../adf/mark-attributes.ts' type Positions = { block: AdfNode; inline: AdfNode } @@ -91,7 +91,7 @@ function withoutEmptyKeys(held: T): T { } function occasionallyApart(arbitrary: Arbitrary): Arbitrary { - return fc.tuple(arbitrary, fc.nat({ max: 5 })).map(([nodes, roll]) => (roll === 0 ? nodes : mergeAdjacentText(nodes, joinsWhenEditorNormal))) + return fc.tuple(arbitrary, fc.nat({ max: 5 })).map(([nodes, roll]) => (roll === 0 ? nodes : mergeAdjacentText(nodes, joinsWhenRead))) } function pipeTable({ body, header }: { body: AdfNode[][]; header: AdfNode[] }): AdfNode {