@juxtapose/core 0.2.0 → 0.5.0

package/dist/diff/crops.d.ts

@@ -0,0 +1,26 @@
+import type { ChangedRegion } from '../types.js';
+export declare const MAX_CROPS = 8;
+export declare const MAX_CROP_SIDE = 512;
+export interface Crop {
+    /** The changed region this strip shows, page px. */
+    region: ChangedRegion;
+    /** What was cropped: the region doubled about its centre, clamped to both frames. */
+    box: ChangedRegion;
+    /** Output px per page px: an integer above 1 when enlarged, under 1 when reduced. */
+    scale: number;
+    /** The whole strip: left side, gutter, right side. */
+    width: number;
+    height: number;
+    png: Buffer;
+}
+export declare function renderCrops(a: Buffer, b: Buffer, regions: ChangedRegion[]): Promise<Crop[]>;
+/** The region doubled about its centre, at least MIN_BOX a side, clamped to
+ *  the frame, integer px. A zero-size box means the region lies outside the
+ *  frame. */
+export declare function cropBox(r: ChangedRegion, frame: {
+    width: number;
+    height: number;
+}): ChangedRegion;
+/** An integer enlargement that keeps the longer side within MAX_CROP_SIDE,
+ *  or a fractional reduction once the box itself is past it. */
+export declare function scaleFor(box: ChangedRegion): number;

package/dist/diff/crops.js

@@ -0,0 +1,92 @@
+// Tier-3: the pixels, but only where they changed and only as much as an
+// agent needs. One PNG per changed region — baseline | current, side by
+// side — with the region's bounding box doubled about its centre for
+// context and scaled so the longer side is at most 512px. Nearest-neighbour
+// when scaling up, so a 1px border reads as a hard 6px step and not a blur.
+// No browser; sharp only, which `diffImages` already loads.
+import sharp from 'sharp';
+export const MAX_CROPS = 8;
+export const MAX_CROP_SIDE = 512;
+const GUTTER = 4;
+/** A 1×1 region still needs enough around it to recognise. */
+const MIN_BOX = 16;
+/** Pinned so the same input is the same bytes: sharp strips metadata by
+ *  default; the level and filter fix the zlib stream. */
+const PNG = { compressionLevel: 9, adaptiveFiltering: false };
+/** The gutter colour: magenta is in no UI palette, so it never reads as content. */
+const GUTTER_RGBA = { r: 255, g: 0, b: 255, alpha: 1 };
+export async function renderCrops(a, b, regions) {
+    const [ma, mb] = await Promise.all([sharp(a).metadata(), sharp(b).metadata()]);
+    // Only the overlap exists on both sides; after a size change that is the
+    // smaller frame's extent.
+    const frame = {
+        width: Math.min(ma.width ?? 0, mb.width ?? 0),
+        height: Math.min(ma.height ?? 0, mb.height ?? 0),
+    };
+    // Nothing marked (sub-threshold, or a size change): the whole frame is
+    // the one thing worth looking at.
+    const wanted = regions.length > 0 ? regions : [{ x: 0, y: 0, ...frame }];
+    const out = [];
+    for (const region of wanted) {
+        // The cap counts rendered crops, not candidates: off-frame regions at the
+        // front must not starve a valid later one.
+        if (out.length >= MAX_CROPS)
+            break;
+        const box = cropBox(region, frame);
+        if (box.width === 0 || box.height === 0)
+            continue;
+        const scale = scaleFor(box);
+        const sw = Math.max(1, Math.round(box.width * scale));
+        const sh = Math.max(1, Math.round(box.height * scale));
+        const side = (img) => sharp(img)
+            .extract({ left: box.x, top: box.y, width: box.width, height: box.height })
+            .resize(sw, sh, { kernel: scale >= 1 ? 'nearest' : 'lanczos3', fit: 'fill' })
+            .ensureAlpha()
+            .png(PNG)
+            .toBuffer();
+        const [left, right] = await Promise.all([side(a), side(b)]);
+        const width = sw * 2 + GUTTER;
+        const png = await sharp({
+            create: { width, height: sh, channels: 4, background: GUTTER_RGBA },
+        })
+            .composite([
+            { input: left, left: 0, top: 0 },
+            { input: right, left: sw + GUTTER, top: 0 },
+        ])
+            .png(PNG)
+            .toBuffer();
+        out.push({ region, box, scale, width, height: sh, png });
+    }
+    return out;
+}
+/** The region doubled about its centre, at least MIN_BOX a side, clamped to
+ *  the frame, integer px. A zero-size box means the region lies outside the
+ *  frame. */
+export function cropBox(r, frame) {
+    // Clamping alone would drag a region left of / above the frame back to the
+    // origin and crop something unrelated, so outside means no box. The edges
+    // are exclusive: a region starting at x == width covers no pixel. A
+    // zero-area region counts as one px, so (0, 0, 0, 0) is still inside.
+    if (r.x + Math.max(1, r.width) <= 0 ||
+        r.y + Math.max(1, r.height) <= 0 ||
+        r.x >= frame.width ||
+        r.y >= frame.height) {
+        return { x: 0, y: 0, width: 0, height: 0 };
+    }
+    const w = Math.max(MIN_BOX, r.width * 2);
+    const h = Math.max(MIN_BOX, r.height * 2);
+    const x0 = Math.min(frame.width, Math.max(0, Math.floor(r.x + r.width / 2 - w / 2)));
+    const y0 = Math.min(frame.height, Math.max(0, Math.floor(r.y + r.height / 2 - h / 2)));
+    const x1 = Math.min(frame.width, Math.ceil(x0 + w));
+    const y1 = Math.min(frame.height, Math.ceil(y0 + h));
+    return { x: x0, y: y0, width: Math.max(0, x1 - x0), height: Math.max(0, y1 - y0) };
+}
+/** An integer enlargement that keeps the longer side within MAX_CROP_SIDE,
+ *  or a fractional reduction once the box itself is past it. */
+export function scaleFor(box) {
+    const longer = Math.max(box.width, box.height);
+    return longer <= MAX_CROP_SIDE
+        ? Math.max(1, Math.floor(MAX_CROP_SIDE / longer))
+        : MAX_CROP_SIDE / longer;
+}
+//# sourceMappingURL=crops.js.map

package/dist/diff/crops.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"crops.js","sourceRoot":"","sources":["../../src/diff/crops.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,wEAAwE;AACxE,qEAAqE;AACrE,4EAA4E;AAC5E,4EAA4E;AAC5E,4DAA4D;AAE5D,OAAO,KAAK,MAAM,OAAO,CAAC;AAG1B,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;AAC3B,MAAM,CAAC,MAAM,aAAa,GAAG,GAAG,CAAC;AACjC,MAAM,MAAM,GAAG,CAAC,CAAC;AACjB,8DAA8D;AAC9D,MAAM,OAAO,GAAG,EAAE,CAAC;AACnB;yDACyD;AACzD,MAAM,GAAG,GAAG,EAAE,gBAAgB,EAAE,CAAC,EAAE,iBAAiB,EAAE,KAAK,EAAW,CAAC;AACvE,oFAAoF;AACpF,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AAevD,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,CAAS,EACT,CAAS,EACT,OAAwB;IAExB,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC/E,yEAAyE;IACzE,0BAA0B;IAC1B,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC;QAC7C,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC;KACjD,CAAC;IACF,uEAAuE;IACvE,kCAAkC;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IACzE,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,0EAA0E;QAC1E,2CAA2C;QAC3C,IAAI,GAAG,CAAC,MAAM,IAAI,SAAS;YAAE,MAAM;QACnC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClD,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;QACtD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,EAAE,CAC3B,KAAK,CAAC,GAAG,CAAC;aACP,OAAO,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC;aAC1E,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;aAC5E,WAAW,EAAE;aACb,GAAG,CAAC,GAAG,CAAC;aACR,QAAQ,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;QAC9B,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC;YACtB,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE;SACpE,CAAC;aACC,SAAS,CAAC;YACT,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE;YAChC,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE;SAC5C,CAAC;aACD,GAAG,CAAC,GAAG,CAAC;aACR,QAAQ,EAAE,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;aAEa;AACb,MAAM,UAAU,OAAO,CACrB,CAAgB,EAChB,KAAwC;IAExC,2EAA2E;IAC3E,0EAA0E;IAC1E,oEAAoE;IACpE,sEAAsE;IACtE,IACE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QAC/B,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QAChC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK;QAClB,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,EACnB,CAAC;QACD,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC7C,CAAC;IACD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACzC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACrF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACrF,CAAC;AAED;gEACgE;AAChE,MAAM,UAAU,QAAQ,CAAC,GAAkB;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,MAAM,IAAI,aAAa;QAC5B,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,MAAM,CAAC,CAAC;QACjD,CAAC,CAAC,aAAa,GAAG,MAAM,CAAC;AAC7B,CAAC"}

package/dist/diff/structural/classify.d.ts

@@ -0,0 +1,29 @@
+import type { ChangedRegion, Classification, Flag, StructureElement, StructureSnapshot, StyleTag } from '../../types.js';
+import type { Fact } from './deltas.js';
+export interface ClassifyContext {
+    baseline?: StructureSnapshot;
+    current?: StructureSnapshot;
+    facts: Fact[];
+    explained: 'full' | 'partial' | 'none';
+    unexplainedRegions: ChangedRegion[];
+    pixels: {
+        /** Byte-identical images: the only pixel evidence of "no change". */
+        imagesIdentical: boolean;
+        dimensionMismatch: boolean;
+        /** The pixel diff marked at least one region with area. */
+        hasRegions: boolean;
+        /** The images differ but the pixel diff marked no region. */
+        subThreshold: boolean;
+    };
+}
+export declare function styleTagOf(prop: string): StyleTag;
+export declare function classify(ctx: ClassifyContext): {
+    classification: Classification;
+    styleTags: StyleTag[];
+};
+/** The first self-painting element (canvas, video, img…) on the current side
+ *  under an unexplained region: its content changes without the DOM or styles
+ *  changing, so the pixels there are content, not drift. */
+export declare function selfPaintingAt(current: StructureSnapshot, unexplained: ChangedRegion[]): StructureElement | undefined;
+/** In a fixed order, so the flag list serializes identically every run. */
+export declare function computeFlags(ctx: ClassifyContext): Flag[];

package/dist/diff/structural/classify.js

@@ -0,0 +1,113 @@
+// Classification and risk flags. First match wins, in an order that puts
+// causes before consequences: a padding change that reflows the page is a
+// spacing change with a shift in its deltas, not a "reflow" — the spec's own
+// summary example says so.
+import { SELF_PAINTING } from './label.js';
+import { intersects } from './coverage.js';
+const TAG_ORDER = ['color', 'typography', 'spacing', 'border', 'effects'];
+export function styleTagOf(prop) {
+    if (/^(padding|margin)-|^gap$/.test(prop))
+        return 'spacing';
+    if (/^border-.*-(width|radius)$/.test(prop) || /^border-.*-color$/.test(prop))
+        return 'border';
+    if (/^(font-|line-height|letter-spacing|text-|content$)/.test(prop))
+        return 'typography';
+    if (/^(opacity|transform|box-shadow|z-index|stroke-width)$/.test(prop))
+        return 'effects';
+    return 'color'; // color, background-*, fill, stroke
+}
+export function classify(ctx) {
+    const none = [];
+    const { pixels, baseline, current, facts } = ctx;
+    // Never "0 mismatch pixels": pixelmatch's tolerance hides real changes
+    // (the corpus `background` case changes the bytes and marks 0 pixels).
+    if (pixels.imagesIdentical &&
+        !pixels.dimensionMismatch &&
+        !pixels.hasRegions &&
+        facts.length === 0)
+        return { classification: 'identical', styleTags: none };
+    // Before the structure checks: a size change is a size change whether or
+    // not either side captured structure.
+    if (pixels.dimensionMismatch)
+        return { classification: 'dimension-change', styleTags: none };
+    if (!baseline || !current)
+        return { classification: 'unknown', styleTags: none };
+    if (baseline.viewport.width !== current.viewport.width ||
+        baseline.viewport.height !== current.viewport.height) {
+        return { classification: 'dimension-change', styleTags: none };
+    }
+    // Equal hashes and no facts: the DOM and styles did not change, so the
+    // pixels are drift or self-painted content. The facts come from the
+    // elements themselves, so they outrank a hash that disagrees with them.
+    if (facts.length === 0 && baseline.structureHash === current.structureHash) {
+        const selfPainted = selfPaintingAt(current, ctx.unexplainedRegions) !== undefined;
+        return { classification: selfPainted ? 'unknown' : 'render-drift', styleTags: none };
+    }
+    const kinds = new Set(facts.map((f) => f.delta.kind));
+    if (kinds.has('removed'))
+        return { classification: 'element-removed', styleTags: none };
+    if (kinds.has('added'))
+        return { classification: 'element-added', styleTags: none };
+    const primary = ['text', 'style', 'attr'].filter((k) => kinds.has(k));
+    const styleTags = kinds.has('style')
+        ? TAG_ORDER.filter((t) => facts.some((f) => f.delta.kind === 'style' && styleTagOf(f.delta.prop) === t))
+        : none;
+    if (primary.length > 1)
+        return { classification: 'mixed', styleTags };
+    if (primary[0] === 'text')
+        return { classification: 'text-only', styleTags: none };
+    if (primary[0] === 'style')
+        return { classification: 'style-only', styleTags };
+    if (primary[0] === 'attr')
+        return { classification: 'attr-only', styleTags: none };
+    if (kinds.has('shift'))
+        return { classification: 'reflow', styleTags: none };
+    if (kinds.has('moved') || kinds.has('resized'))
+        return { classification: 'geometry', styleTags: none };
+    // Bytes differ, nothing marked, nothing structural: antialiasing-scale drift.
+    if (pixels.subThreshold)
+        return { classification: 'render-drift', styleTags: none };
+    return { classification: 'unknown', styleTags: none };
+}
+/** The first self-painting element (canvas, video, img…) on the current side
+ *  under an unexplained region: its content changes without the DOM or styles
+ *  changing, so the pixels there are content, not drift. */
+export function selfPaintingAt(current, unexplained) {
+    for (const r of unexplained) {
+        const e = current.elements.find((e) => SELF_PAINTING.has(e.tag) && intersects(r, e.rect));
+        if (e)
+            return e;
+    }
+    return undefined;
+}
+const LARGE_SHIFT_COUNT = 10;
+const LARGE_SHIFT_PX = 50;
+/** In a fixed order, so the flag list serializes identically every run. */
+export function computeFlags(ctx) {
+    const flags = [];
+    const { baseline, current, facts } = ctx;
+    const has = (k) => facts.some((f) => f.delta.kind === k);
+    if (has('removed'))
+        flags.push('element-removed');
+    if (has('text'))
+        flags.push('text-changed');
+    if (facts.some((f) => f.delta.kind === 'shift' &&
+        (f.delta.count >= LARGE_SHIFT_COUNT || Math.abs(f.delta.dy) >= LARGE_SHIFT_PX))) {
+        flags.push('large-reflow');
+    }
+    if (ctx.explained !== 'full')
+        flags.push('unexplained-pixels');
+    if (ctx.pixels.subThreshold)
+        flags.push('sub-threshold');
+    if (baseline?.truncated || current?.truncated)
+        flags.push('structure-truncated');
+    if (!baseline)
+        flags.push('no-baseline-structure');
+    if (!current)
+        flags.push('no-current-structure');
+    const belowFold = (s) => s !== undefined && s.contentHeight > s.viewport.height;
+    if (belowFold(baseline) || belowFold(current))
+        flags.push('below-fold');
+    return flags;
+}
+//# sourceMappingURL=classify.js.map

package/dist/diff/structural/classify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.js","sourceRoot":"","sources":["../../../src/diff/structural/classify.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,0EAA0E;AAC1E,6EAA6E;AAC7E,2BAA2B;AAY3B,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAmB3C,MAAM,SAAS,GAAe,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;AAEtF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3E,OAAO,QAAQ,CAAC;IAClB,IAAI,oDAAoD,CAAC,IAAI,CAAC,IAAI,CAAC;QACjE,OAAO,YAAY,CAAC;IACtB,IAAI,uDAAuD,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,OAAO,SAAS,CAAC;IACnB,OAAO,OAAO,CAAC,CAAC,oCAAoC;AACtD,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAoB;IAI3C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACjD,uEAAuE;IACvE,uEAAuE;IACvE,IACE,MAAM,CAAC,eAAe;QACtB,CAAC,MAAM,CAAC,iBAAiB;QACzB,CAAC,MAAM,CAAC,UAAU;QAClB,KAAK,CAAC,MAAM,KAAK,CAAC;QAElB,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC1D,yEAAyE;IACzE,sCAAsC;IACtC,IAAI,MAAM,CAAC,iBAAiB;QAC1B,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACjE,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACjF,IACE,QAAQ,CAAC,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,CAAC,KAAK;QAClD,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,MAAM,EACpD,CAAC;QACD,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACjE,CAAC;IACD,uEAAuE;IACvE,oEAAoE;IACpE,wEAAwE;IACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QAC3E,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,kBAAkB,CAAC,KAAK,SAAS,CAAC;QAClF,OAAO,EAAE,cAAc,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACvF,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACxF,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAEpF,MAAM,OAAO,GAAI,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjF,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC9E;QACH,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACtE,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,OAAO;QAAE,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC;IAC/E,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,MAAM;QAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACnF,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC7E,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,OAAO,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACzD,8EAA8E;IAC9E,IAAI,MAAM,CAAC,YAAY;QAAE,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IACpF,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;4DAE4D;AAC5D,MAAM,UAAU,cAAc,CAC5B,OAA0B,EAC1B,WAA4B;IAE5B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CACzD,CAAC;QACF,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,iBAAiB,GAAG,EAAE,CAAC;AAC7B,MAAM,cAAc,GAAG,EAAE,CAAC;AAE1B,2EAA2E;AAC3E,MAAM,UAAU,YAAY,CAAC,GAAoB;IAC/C,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,GAAG,CAAC;IACzC,MAAM,GAAG,GAAG,CAAC,CAAgB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;IACxE,IAAI,GAAG,CAAC,SAAS,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,GAAG,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,IACE,KAAK,CAAC,IAAI,CACR,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,IAAI,iBAAiB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,CACjF,EACD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,GAAG,CAAC,SAAS,KAAK,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/D,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACzD,IAAI,QAAQ,EAAE,SAAS,IAAI,OAAO,EAAE,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjF,IAAI,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IACnD,IAAI,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,CAAC,CAAgC,EAAE,EAAE,CACrD,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IACzD,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,OAAO,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/diff/structural/coverage.d.ts

@@ -0,0 +1,11 @@
+import type { ChangedRegion, StructureRect } from '../../types.js';
+import type { Fact } from './deltas.js';
+export interface Coverage {
+    /** Changed regions with area; zero-area boxes carry no pixels. */
+    regionCount: number;
+    coverage: number;
+    explained: 'full' | 'partial' | 'none';
+    unexplainedRegions: ChangedRegion[];
+}
+export declare function intersects(r: ChangedRegion, rect: StructureRect): boolean;
+export declare function computeCoverage(regions: ChangedRegion[], facts: Fact[]): Coverage;

package/dist/diff/structural/coverage.js

@@ -0,0 +1,37 @@
+// Does the structure explain the pixels? A changed region is explained when
+// it intersects the old or new rect of some delta's element. Coverage is by
+// region area: the diff carries bounding boxes, not per-pixel membership, and
+// boxes are what an agent reads back.
+export function intersects(r, rect) {
+    return (r.x < rect.x + rect.w &&
+        r.x + r.width > rect.x &&
+        r.y < rect.y + rect.h &&
+        r.y + r.height > rect.y);
+}
+export function computeCoverage(regions, facts) {
+    // No marked regions: nothing is left unexplained. That includes a change
+    // below the pixel diff's tolerance, where the deltas are the whole story.
+    const real = regions.filter((r) => r.width > 0 && r.height > 0);
+    if (real.length === 0)
+        return { regionCount: 0, coverage: 1, explained: 'full', unexplainedRegions: [] };
+    const rects = facts.flatMap((f) => f.rects);
+    let total = 0;
+    let explained = 0;
+    const unexplainedRegions = [];
+    for (const r of real) {
+        const area = r.width * r.height;
+        total += area;
+        if (rects.some((rect) => intersects(r, rect)))
+            explained += area;
+        else
+            unexplainedRegions.push(r);
+    }
+    const coverage = total === 0 ? 1 : Math.round((explained / total) * 1000) / 1000;
+    return {
+        regionCount: real.length,
+        coverage,
+        explained: coverage >= 0.98 ? 'full' : coverage >= 0.5 ? 'partial' : 'none',
+        unexplainedRegions,
+    };
+}
+//# sourceMappingURL=coverage.js.map

package/dist/diff/structural/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../../../src/diff/structural/coverage.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,4EAA4E;AAC5E,8EAA8E;AAC9E,sCAAsC;AAatC,MAAM,UAAU,UAAU,CAAC,CAAgB,EAAE,IAAmB;IAC9D,OAAO,CACL,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC;QACtB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACrB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC,CACxB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,OAAwB,EAAE,KAAa;IACrE,yEAAyE;IACzE,0EAA0E;IAC1E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAChE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC;IACpF,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,MAAM,kBAAkB,GAAoB,EAAE,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;QAChC,KAAK,IAAI,IAAI,CAAC;QACd,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAAE,SAAS,IAAI,IAAI,CAAC;;YAC5D,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACjF,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,MAAM;QACxB,QAAQ;QACR,SAAS,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;QAC3E,kBAAkB;KACnB,CAAC;AACJ,CAAC"}

package/dist/diff/structural/deltas.d.ts

@@ -0,0 +1,29 @@
+import type { Delta, StructureRect, StructureSnapshot } from '../../types.js';
+import type { ElementMatch } from './match.js';
+export interface Fact {
+    delta: Delta;
+    /** Old and new rects of the element(s) this fact is about, for coverage. */
+    rects: StructureRect[];
+    /** `role|tag` of the element, for the signature. */
+    abstract: string;
+    /** Position in the current document; for `removed`, that of the preceding
+     *  matched element. Keeps output order stable across runs. */
+    order: number;
+    /** The element this fact is about, as an index into one side's snapshot:
+     *  the baseline for matched and removed elements (their label comes from
+     *  it), the current side for added ones; a shift carries its anchor's.
+     *  Labels are not identities — two `div.card`s are two elements — so
+     *  anything that groups facts by element keys on this. */
+    source: Source;
+}
+export interface Source {
+    side: 'baseline' | 'current';
+    index: number;
+}
+/** Within one position, which fact reads first. */
+export declare const KIND_RANK: Record<Delta['kind'], number>;
+export declare function computeFacts(a: StructureSnapshot, b: StructureSnapshot, match: ElementMatch): Fact[];
+export declare function sortFacts(facts: Fact[]): Fact[];
+/** Byte-identical output across machines needs a locale-free order;
+ *  `localeCompare` is not one. */
+export declare const compareCodeUnits: (a: string, b: string) => number;

package/dist/diff/structural/deltas.js

@@ -0,0 +1,218 @@
+// One typed fact per changed thing between two matched snapshots.
+//
+// Style deltas are reported where they originate. Compact storage (see
+// capture/structure.ts) stores an inherited property only where it differs
+// from the parent, but a change on `main` still changes every descendant's
+// effective colour — reporting it 40 times would bury the one fact that
+// matters. So an inherited delta is emitted only where the element's own
+// stored value changed, or where the parents' effective values already agree.
+import { INHERITED_PROPS, STRUCTURE_PROPS, effectiveStyle, round, } from '../../capture/structure.js';
+import { abstractLabel, clip, label } from './label.js';
+/** Within one position, which fact reads first. */
+export const KIND_RANK = {
+    removed: 0,
+    added: 1,
+    text: 2,
+    attr: 3,
+    style: 4,
+    resized: 5,
+    moved: 6,
+    shift: 7,
+};
+const ATTRS = ['src', 'role', 'name'];
+/** Longest `from`/`to` in a delta. A paragraph of copy or a data-URI src
+ *  would otherwise make one delta larger than the whole tier-0 budget; 200
+ *  keeps any realistic value (a font stack, a shadow, a URL) whole. With
+ *  labels capped at MAX_LABEL, every delta has a fixed worst-case size. */
+const MAX_VALUE = 200;
+const BORDER_COLOR = /^border-(top|right|bottom|left)-color$/;
+export function computeFacts(a, b, match) {
+    const facts = [];
+    const aToB = new Map(match.pairs);
+    /** Baseline index → its facts; and children whose only change was
+     *  following, so their rects can ride on an ancestor's fact. */
+    const byElement = new Map();
+    const followers = [];
+    for (const [i, j] of match.pairs) {
+        const ea = a.elements[i];
+        const eb = b.elements[j];
+        const fact = (delta) => {
+            const f = {
+                delta,
+                rects: [ea.rect, eb.rect],
+                abstract: abstractLabel(eb),
+                order: j,
+                source: { side: 'baseline', index: i },
+            };
+            byElement.set(i, [...(byElement.get(i) ?? []), f]);
+            return f;
+        };
+        // Every fact about a matched element carries ONE label, the baseline
+        // side's. A button's label is its name, and its name is usually its text,
+        // so the current side would read `button[name="Save changes"] text
+        // "Save"→"Save changes"`, and a text delta labelled from one side beside
+        // a resize labelled from the other reads as two buttons.
+        const el = label(ea);
+        // Masked stand-ins carry no content by construction; anything that leaks
+        // onto one must not surface as a delta either.
+        if (ea.tag !== 'masked' && eb.tag !== 'masked') {
+            const ta = ea.text ?? '';
+            const tb = eb.text ?? '';
+            if (ta !== tb)
+                facts.push(fact({ kind: 'text', el, from: clip(ta, MAX_VALUE), to: clip(tb, MAX_VALUE) }));
+            for (const attr of ATTRS) {
+                const from = ea[attr] ?? '';
+                const to = eb[attr] ?? '';
+                if (from === to)
+                    continue;
+                // A name that is just the text restates the text delta.
+                if (attr === 'name' && from === ta && to === tb)
+                    continue;
+                facts.push(fact({
+                    kind: 'attr',
+                    el,
+                    attr,
+                    from: clip(from, MAX_VALUE),
+                    to: clip(to, MAX_VALUE),
+                }));
+            }
+            for (const prop of STRUCTURE_PROPS) {
+                // An unstored border colour resolves to currentColor, so a plain
+                // `color` change would also report four phantom border-colour deltas
+                // on every borderless element. No border, no border-colour fact.
+                if (BORDER_COLOR.test(prop) && borderless(a, i, prop) && borderless(b, j, prop))
+                    continue;
+                const from = effectiveStyle(a, i, prop);
+                const to = effectiveStyle(b, j, prop);
+                if (from === to)
+                    continue;
+                if (INHERITED_PROPS.has(prop) && !originatesHere(a, b, i, j, aToB, prop))
+                    continue;
+                facts.push(fact({
+                    kind: 'style',
+                    el,
+                    prop,
+                    from: clip(from, MAX_VALUE),
+                    to: clip(to, MAX_VALUE),
+                }));
+            }
+        }
+        const dw = round(eb.rect.w - ea.rect.w);
+        const dh = round(eb.rect.h - ea.rect.h);
+        const dx = round(eb.rect.x - ea.rect.x);
+        const dy = round(eb.rect.y - ea.rect.y);
+        // A child whose box changed exactly as its parent's did only followed it.
+        // On the 12-item reorder probe the item's `span.meta moved down 222px`
+        // read as a second change beside the item's own move, and in the corpus
+        // `nested-reorder` case the five spans doubled the shift count (6 for 3).
+        // The ancestor that actually moved keeps its fact. Its rect usually
+        // contains the child's, but an overflowing child's does not, so the
+        // child's rects are handed to that fact below and coverage loses nothing.
+        const p = parentChange(a, b, i, j, aToB);
+        const resized = dw !== 0 || dh !== 0;
+        const moved = dx !== 0 || dy !== 0;
+        const followedSize = resized && p !== undefined && p.dw === dw && p.dh === dh;
+        const followedPos = moved && p !== undefined && p.dx === dx && p.dy === dy;
+        if (resized && !followedSize)
+            facts.push(fact({ kind: 'resized', el, dw, dh }));
+        if (moved && !followedPos)
+            facts.push(fact({ kind: 'moved', el, dx, dy }));
+        if ((followedSize || followedPos) && !byElement.has(i))
+            followers.push({ i, rects: [ea.rect, eb.rect] });
+    }
+    // Nearest baseline ancestor with a geometry fact: the move or resize the
+    // child followed. Walked on the baseline tree, the side `source` indexes.
+    for (const { i, rects } of followers) {
+        for (let k = a.elements[i].parent; k !== null; k = a.elements[k].parent) {
+            const own = byElement
+                .get(k)
+                ?.find((f) => f.delta.kind === 'moved' || f.delta.kind === 'resized');
+            if (own) {
+                own.rects.push(...rects);
+                break;
+            }
+        }
+    }
+    for (const j of match.added) {
+        const e = b.elements[j];
+        facts.push({
+            delta: { kind: 'added', el: label(e), rect: e.rect },
+            rects: [e.rect],
+            abstract: abstractLabel(e),
+            order: j,
+            source: { side: 'current', index: j },
+        });
+    }
+    // A removed element has no current position; order it after the last
+    // matched element that precedes it on the baseline side.
+    const lastMatchedBefore = (i) => {
+        for (let k = i - 1; k >= 0; k--) {
+            const j = aToB.get(k);
+            if (j !== undefined)
+                return j + 0.5;
+        }
+        return -0.5;
+    };
+    for (const i of match.removed) {
+        const e = a.elements[i];
+        facts.push({
+            delta: { kind: 'removed', el: label(e), rect: e.rect },
+            rects: [e.rect],
+            abstract: abstractLabel(e),
+            order: lastMatchedBefore(i),
+            source: { side: 'baseline', index: i },
+        });
+    }
+    return sortFacts(facts);
+}
+/** That side of `border-<side>-color` has zero width on this element. */
+function borderless(s, i, colorProp) {
+    return effectiveStyle(s, i, colorProp.replace(/-color$/, '-width')) === '0px';
+}
+/** An inherited property changed on this element, not merely on an ancestor:
+ *  either it stores its own value on a side, or its parents' effective values
+ *  agree (so the difference starts here). */
+function originatesHere(a, b, i, j, aToB, prop) {
+    const ea = a.elements[i];
+    const eb = b.elements[j];
+    if (ea.styles[prop] !== undefined || eb.styles[prop] !== undefined)
+        return true;
+    const pa = ea.parent;
+    const pb = eb.parent;
+    if (pa === null || pb === null)
+        return true;
+    // Parents unmatched: nothing above to blame, so report here.
+    if (aToB.get(pa) !== pb)
+        return true;
+    return effectiveStyle(a, pa, prop) === effectiveStyle(b, pb, prop);
+}
+/** How the matched parent's box changed; undefined when the parent is the
+ *  root or unmatched. Read off the rects, not off the facts, so a grandchild
+ *  still reads as following when its parent's own move was itself
+ *  suppressed. */
+function parentChange(a, b, i, j, aToB) {
+    const pa = a.elements[i].parent;
+    const pb = b.elements[j].parent;
+    if (pa === null || pb === null || aToB.get(pa) !== pb)
+        return undefined;
+    const ra = a.elements[pa].rect;
+    const rb = b.elements[pb].rect;
+    return {
+        dx: round(rb.x - ra.x),
+        dy: round(rb.y - ra.y),
+        dw: round(rb.w - ra.w),
+        dh: round(rb.h - ra.h),
+    };
+}
+export function sortFacts(facts) {
+    return facts.sort((x, y) => x.order - y.order ||
+        KIND_RANK[x.delta.kind] - KIND_RANK[y.delta.kind] ||
+        compareCodeUnits(factKey(x.delta), factKey(y.delta)));
+}
+function factKey(d) {
+    return d.kind === 'style' ? d.prop : d.kind === 'attr' ? d.attr : '';
+}
+/** Byte-identical output across machines needs a locale-free order;
+ *  `localeCompare` is not one. */
+export const compareCodeUnits = (a, b) => a < b ? -1 : a > b ? 1 : 0;
+//# sourceMappingURL=deltas.js.map

package/dist/diff/structural/deltas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deltas.js","sourceRoot":"","sources":["../../../src/diff/structural/deltas.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,2EAA2E;AAC3E,wEAAwE;AACxE,yEAAyE;AACzE,8EAA8E;AAE9E,OAAO,EACL,eAAe,EACf,eAAe,EACf,cAAc,EACd,KAAK,GACN,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAyBxD,mDAAmD;AACnD,MAAM,CAAC,MAAM,SAAS,GAAkC;IACtD,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,CAAC;IACV,KAAK,EAAE,CAAC;IACR,KAAK,EAAE,CAAC;CACT,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAU,CAAC;AAE/C;;;2EAG2E;AAC3E,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,YAAY,GAAG,wCAAwC,CAAC;AAE9D,MAAM,UAAU,YAAY,CAC1B,CAAoB,EACpB,CAAoB,EACpB,KAAmB;IAEnB,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClC;oEACgE;IAChE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,SAAS,GAAiD,EAAE,CAAC;IAEnE,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,CAAC,KAAY,EAAQ,EAAE;YAClC,MAAM,CAAC,GAAS;gBACd,KAAK;gBACL,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;gBACzB,QAAQ,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC3B,KAAK,EAAE,CAAC;gBACR,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE;aACvC,CAAC;YACF,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACnD,OAAO,CAAC,CAAC;QACX,CAAC,CAAC;QACF,qEAAqE;QACrE,0EAA0E;QAC1E,mEAAmE;QACnE,yEAAyE;QACzE,yDAAyD;QACzD,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC;QAErB,yEAAyE;QACzE,+CAA+C;QAC/C,IAAI,EAAE,CAAC,GAAG,KAAK,QAAQ,IAAI,EAAE,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC/C,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;YACzB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC;YACzB,IAAI,EAAE,KAAK,EAAE;gBACX,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC,CAC/E,CAAC;YAEJ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC1B,IAAI,IAAI,KAAK,EAAE;oBAAE,SAAS;gBAC1B,wDAAwD;gBACxD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE;oBAAE,SAAS;gBAC1D,KAAK,CAAC,IAAI,CACR,IAAI,CAAC;oBACH,IAAI,EAAE,MAAM;oBACZ,EAAE;oBACF,IAAI;oBACJ,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;oBAC3B,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;iBACxB,CAAC,CACH,CAAC;YACJ,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;gBACnC,iEAAiE;gBACjE,qEAAqE;gBACrE,iEAAiE;gBACjE,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;oBAC7E,SAAS;gBACX,MAAM,IAAI,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBACxC,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;gBACtC,IAAI,IAAI,KAAK,EAAE;oBAAE,SAAS;gBAC1B,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;oBACtE,SAAS;gBACX,KAAK,CAAC,IAAI,CACR,IAAI,CAAC;oBACH,IAAI,EAAE,OAAO;oBACb,EAAE;oBACF,IAAI;oBACJ,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC;oBAC3B,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC;iBACxB,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;QAED,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,0EAA0E;QAC1E,uEAAuE;QACvE,wEAAwE;QACxE,0EAA0E;QAC1E,oEAAoE;QACpE,oEAAoE;QACpE,0EAA0E;QAC1E,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,MAAM,YAAY,GAAG,OAAO,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QAC9E,MAAM,WAAW,GAAG,KAAK,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QAC3E,IAAI,OAAO,IAAI,CAAC,YAAY;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAChF,IAAI,KAAK,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3E,IAAI,CAAC,YAAY,IAAI,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;IAED,yEAAyE;IACzE,0EAA0E;IAC1E,KAAK,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,SAAS,EAAE,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YACxE,MAAM,GAAG,GAAG,SAAS;iBAClB,GAAG,CAAC,CAAC,CAAC;gBACP,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACxE,IAAI,GAAG,EAAE,CAAC;gBACR,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;YAC1B,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;SACtC,CAAC,CAAC;IACL,CAAC;IAED,qEAAqE;IACrE,yDAAyD;IACzD,MAAM,iBAAiB,GAAG,CAAC,CAAS,EAAU,EAAE;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,GAAG,CAAC;QACtC,CAAC;QACD,OAAO,CAAC,GAAG,CAAC;IACd,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;YACtD,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACf,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC;YAC1B,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE;SACvC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,yEAAyE;AACzE,SAAS,UAAU,CAAC,CAAoB,EAAE,CAAS,EAAE,SAAiB;IACpE,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,KAAK,KAAK,CAAC;AAChF,CAAC;AAED;;6CAE6C;AAC7C,SAAS,cAAc,CACrB,CAAoB,EACpB,CAAoB,EACpB,CAAS,EACT,CAAS,EACT,IAAyB,EACzB,IAAY;IAEZ,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACrB,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC;IACrB,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC5C,6DAA6D;IAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,KAAK,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;AACrE,CAAC;AAED;;;kBAGkB;AAClB,SAAS,YAAY,CACnB,CAAoB,EACpB,CAAoB,EACpB,CAAS,EACT,CAAS,EACT,IAAyB;IAEzB,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAChC,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IACxE,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;IAC/B,MAAM,EAAE,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;IAC/B,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtB,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtB,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACtB,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;KACvB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK;QACjB,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACjD,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACvD,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,CAAQ;IACvB,OAAO,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AACvE,CAAC;AAED;kCACkC;AAClC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAC/D,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/diff/structural/disambiguate.d.ts

@@ -0,0 +1,3 @@
+import type { StructureSnapshot } from '../../types.js';
+import type { Fact } from './deltas.js';
+export declare function disambiguate(facts: Fact[], baseline: StructureSnapshot, current: StructureSnapshot): Fact[];