oh-my-opencode 5.0.0-beta.89 → 5.0.0-beta.90

package/packages/shared-skills/skills/ulw-research/scripts/gates-layout.mjs

@@ -0,0 +1,146 @@
+// gates-layout.mjs - L1-L5 geometric gates over the layout probe output (boxes.json).
+//
+// Pure functions over the object layout-probe.mjs returns: no browser, no DOM, and selectors are
+// taken verbatim from the probe (the probe already built them with the html-lite rule). Severities
+// and hints are read from contracts.DEFECT_CODES, never set here. Measured pixel amounts are
+// rounded to 0.1px (the probe's own precision) before a threshold compare, so float noise such as
+// 2.000000000000001 never crosses a 2px limit.
+
+import { DEFECT_CODES } from "./contracts.mjs"
+import { PROBE_VERSION, ProbeError } from "./layout-probe.mjs"
+
+/** Thresholds (draft D10): rounding tolerances, not taste. */
+export const OVERFLOW_PX = 2
+export const SCROLL_SLACK_PX = 2
+export const ASPECT_DRIFT = 0.03
+export const OVERLAP_PX = 12
+
+const OUT_OF_FLOW = new Set(["absolute", "fixed"])
+const IN_FLOW = new Set(["static", "relative"])
+const CLIPPING = new Set(["hidden", "clip"])
+const SCROLLING = new Set(["auto", "scroll"])
+const ASPECT_SAFE_FITS = new Set(["cover", "contain", "scale-down"])
+
+const r1 = (n) => Math.round(n * 10) / 10
+
+/**
+ * @typedef {{ code: string, severity: string, selector: string, line: null, message: string, hint: string }} Defect
+ */
+function defect(code, selector, message) {
+	const { severity, hint } = DEFECT_CODES[code]
+	return { code, severity, selector, line: null, message, hint }
+}
+
+// L1: the largest spill of the child rect past any side of its parent rect. A parent that scrolls
+// on the spill axis makes it intentional scrolling (the advisory scroll container); a parent that
+// clips on that axis hides the spilled content (text clipped).
+function checkOverflow(box) {
+	if (!box.parentRect || OUT_OF_FLOW.has(box.position)) return null
+	const c = box.rect
+	const p = box.parentRect
+	const sides = [
+		["left", p.x - c.x],
+		["top", p.y - c.y],
+		["right", c.x + c.w - (p.x + p.w)],
+		["bottom", c.y + c.h - (p.y + p.h)],
+	].map(([side, px]) => [side, r1(px)])
+	const [side, px] = sides.reduce((worst, entry) => (entry[1] > worst[1] ? entry : worst))
+	if (px <= OVERFLOW_PX) return null
+	const parentMode = box.parentOverflow?.[side === "left" || side === "right" ? "x" : "y"]
+	if (SCROLLING.has(parentMode)) {
+		return defect("layout_scroll_container", box.selector, `${box.tag} is ${px}px wider than ${box.parentSelector}, which scrolls (overflow: ${parentMode})`)
+	}
+	if (CLIPPING.has(parentMode)) {
+		return defect("layout_text_clipped", box.selector, `${box.tag} spills ${px}px past the ${side} edge of ${box.parentSelector}, which clips it (overflow: ${parentMode})`)
+	}
+	return defect("layout_overflow", box.selector, `${box.tag} spills ${px}px past the ${side} edge of ${box.parentSelector}`)
+}
+
+// L2/L3: content larger than the box on an axis whose computed overflow clips or scrolls.
+function checkScroll(box) {
+	const { sw, cw, sh, ch } = box.scroll
+	const axes = [
+		["x", sw - cw, box.overflow.x],
+		["y", sh - ch, box.overflow.y],
+	].filter(([, excess]) => r1(excess) > SCROLL_SLACK_PX)
+	const clipped = axes.find(([, , mode]) => CLIPPING.has(mode))
+	if (clipped) {
+		const [axis, excess, mode] = clipped
+		return defect("layout_text_clipped", box.selector, `${box.tag} content exceeds its box by ${r1(excess)}px on ${axis} under overflow: ${mode}`)
+	}
+	const scrolled = axes.find(([, , mode]) => SCROLLING.has(mode))
+	if (scrolled) {
+		const [axis, excess, mode] = scrolled
+		return defect("layout_scroll_container", box.selector, `${box.tag} scrolls ${r1(excess)}px on ${axis} under overflow: ${mode}`)
+	}
+	return null
+}
+
+// L4: rendered aspect ratio drifting from the natural one without an aspect-preserving fit.
+function checkAspect(box) {
+	if (box.tag !== "img" || !box.natural) return null
+	const { w, h } = box.rect
+	const { w: nw, h: nh } = box.natural
+	if (!(w > 0 && h > 0 && nw > 0 && nh > 0)) return null
+	const fit = box.objectFit ?? "fill"
+	if (ASPECT_SAFE_FITS.has(fit)) return null
+	const drift = Math.abs(w / h / (nw / nh) - 1)
+	if (drift <= ASPECT_DRIFT) return null
+	const percent = (drift * 100).toFixed(1)
+	return defect("layout_image_distorted", box.selector, `img rendered ${w}x${h} from natural ${nw}x${nh} distorts the aspect ratio by ${percent}% (object-fit: ${fit})`)
+}
+
+function intersection(a, b) {
+	const ix = Math.min(a.x + a.w, b.x + b.w) - Math.max(a.x, b.x)
+	const iy = Math.min(a.y + a.h, b.y + b.h) - Math.max(a.y, b.y)
+	return { ix: r1(ix), iy: r1(iy) }
+}
+
+// L5: in-flow siblings (same parentSelector) whose rects intersect by more than 12px on both axes.
+function checkSiblings(boxes) {
+	const groups = new Map()
+	for (const box of boxes) {
+		if (box.parentSelector === null || box.parentSelector === undefined || !IN_FLOW.has(box.position)) continue
+		const group = groups.get(box.parentSelector) ?? []
+		group.push(box)
+		groups.set(box.parentSelector, group)
+	}
+	const defects = []
+	for (const group of groups.values()) {
+		for (let i = 0; i < group.length; i += 1) {
+			for (let j = i + 1; j < group.length; j += 1) {
+				const { ix, iy } = intersection(group[i].rect, group[j].rect)
+				if (Math.min(ix, iy) <= OVERLAP_PX) continue
+				defects.push(defect("layout_sibling_overlap", group[i].selector, `${group[i].selector} and ${group[j].selector} overlap by ${ix}x${iy}px`))
+			}
+		}
+	}
+	return defects
+}
+
+function validateProbe(probe) {
+	if (probe === null || typeof probe !== "object") throw new ProbeError("invalid_probe", "layout probe must be an object")
+	if (probe.probe_version !== PROBE_VERSION) {
+		throw new ProbeError("unsupported_probe_version", `layout probe_version must be ${PROBE_VERSION}, got ${probe.probe_version}`)
+	}
+	if (!Array.isArray(probe.boxes)) throw new ProbeError("invalid_probe", "layout probe boxes must be an array")
+}
+
+/**
+ * @param {{ probe_version: number, count?: number, truncated?: boolean, boxes: object[] }} probe
+ * @returns {{ defects: Defect[], summary: string }}
+ */
+export function checkLayout(probe) {
+	validateProbe(probe)
+	const defects = []
+	for (const box of probe.boxes) {
+		for (const rule of [checkOverflow, checkScroll, checkAspect]) {
+			const found = rule(box)
+			if (found) defects.push(found)
+		}
+	}
+	defects.push(...checkSiblings(probe.boxes))
+	let summary = `layout: ${probe.boxes.length} boxes checked, ${defects.length} defects`
+	if (probe.truncated) summary += `; layout sample truncated`
+	return { defects, summary }
+}

package/packages/shared-skills/skills/ulw-research/scripts/gates-layout.test.ts

@@ -0,0 +1,236 @@
+import { describe, expect, test } from "bun:test"
+import { readFileSync } from "node:fs"
+import path from "node:path"
+import { fileURLToPath } from "node:url"
+
+import { DEFECT_CODES, LAYOUT_CODES } from "./contracts.mjs"
+import { checkLayout } from "./gates-layout.mjs"
+import { ProbeError } from "./layout-probe.mjs"
+
+const FIXTURE_PATH = path.join(path.dirname(fileURLToPath(import.meta.url)), "tests", "fixtures", "boxes.json")
+
+const PARENT = "body > main > section"
+const PARENT_RECT = { x: 0, y: 0, w: 600, h: 400 }
+
+type Size = { w: number; h: number }
+type Box = ReturnType<typeof box>
+
+function box(overrides: Record<string, unknown> = {}) {
+	return {
+		selector: `${PARENT} > p`,
+		tag: "p",
+		rect: { x: 10, y: 10, w: 100, h: 20 },
+		parentSelector: PARENT,
+		parentRect: PARENT_RECT,
+		scroll: { sw: 100, cw: 100, sh: 20, ch: 20 },
+		overflow: { x: "visible", y: "visible" },
+		position: "static",
+		textLen: 10,
+		...overrides,
+	}
+}
+
+function img(rect: Size, natural: Size, overrides: Record<string, unknown> = {}) {
+	return box({ selector: `${PARENT} > figure > img`, tag: "img", rect: { x: 0, y: 0, ...rect }, textLen: 0, objectFit: "fill", natural, ...overrides })
+}
+
+function probe(boxes: Box[], overrides: Record<string, unknown> = {}) {
+	return { probe_version: 1, viewport: { w: 1280, h: 900 }, document: { w: 1280, h: 2000 }, count: boxes.length, truncated: false, boxes, ...overrides }
+}
+
+function codes(result: ReturnType<typeof checkLayout>) {
+	return result.defects.map((defect) => defect.code)
+}
+
+describe("checkLayout L1 overflow", () => {
+	test("#given a child spilling 3px past the right edge of its parent #when checked #then layout_overflow is raised with the contract severity", () => {
+		// given
+		const child = box({ rect: { x: 500, y: 10, w: 103, h: 20 } })
+		// when
+		const result = checkLayout(probe([child]))
+		// then
+		expect(codes(result)).toEqual(["layout_overflow"])
+		expect(result.defects[0].severity).toBe(DEFECT_CODES.layout_overflow.severity)
+		expect(result.defects[0].selector).toBe(child.selector)
+		expect(result.defects[0].hint).toBe(DEFECT_CODES.layout_overflow.hint)
+		expect(result.defects[0].message).toContain("3px")
+	})
+
+	test("#given a child spilling exactly 2px #when checked #then no defect is raised", () => {
+		expect(checkLayout(probe([box({ rect: { x: 500, y: 10, w: 102, h: 20 } })])).defects).toEqual([])
+	})
+
+	test("#given a 2px spill that float arithmetic on 0.1px probe values turns into 2.000000000000001 #when checked #then no defect is raised", () => {
+		// given
+		const child = box({ rect: { x: 0.1, y: 0, w: 9.8, h: 5 }, parentRect: { x: 0.1, y: 0, w: 7.8, h: 20 } })
+		expect(child.rect.x + child.rect.w - (child.parentRect.x + child.parentRect.w)).toBeGreaterThan(2)
+		// when / then
+		expect(checkLayout(probe([child])).defects).toEqual([])
+	})
+
+	test("#given a child spilling 3px past the top edge #when checked #then layout_overflow is raised", () => {
+		expect(codes(checkLayout(probe([box({ rect: { x: 10, y: -3, w: 100, h: 20 } })])))).toEqual(["layout_overflow"])
+	})
+
+	test("#given absolute and fixed children spilling 50px #when checked #then they are exempt", () => {
+		const boxes = ["absolute", "fixed"].map((position, i) => box({ selector: `${PARENT} > div:nth-of-type(${i + 1}) > p`, parentSelector: `${PARENT} > div:nth-of-type(${i + 1})`, rect: { x: 580, y: 10, w: 70, h: 20 }, position }))
+		expect(checkLayout(probe(boxes)).defects).toEqual([])
+	})
+
+	test("#given a box with no parent rect #when checked #then L1 is skipped without throwing", () => {
+		expect(checkLayout(probe([box({ parentSelector: null, parentRect: null })])).defects).toEqual([])
+	})
+})
+
+describe("checkLayout L2 and L3 scroll inequality", () => {
+	test("#given text wider than its box by 3px under overflow hidden #when checked #then layout_text_clipped is raised", () => {
+		const clipped = box({ scroll: { sw: 103, cw: 100, sh: 20, ch: 20 }, overflow: { x: "hidden", y: "visible" } })
+		const result = checkLayout(probe([clipped]))
+		expect(codes(result)).toEqual(["layout_text_clipped"])
+		expect(result.defects[0].severity).toBe(DEFECT_CODES.layout_text_clipped.severity)
+	})
+
+	test("#given text taller than its box by 3px under overflow clip #when checked #then layout_text_clipped is raised", () => {
+		const clipped = box({ scroll: { sw: 100, cw: 100, sh: 23, ch: 20 }, overflow: { x: "visible", y: "clip" } })
+		expect(codes(checkLayout(probe([clipped])))).toEqual(["layout_text_clipped"])
+	})
+
+	test("#given a 2px excess under overflow hidden #when checked #then no defect is raised", () => {
+		const edge = box({ scroll: { sw: 102, cw: 100, sh: 22, ch: 20 }, overflow: { x: "hidden", y: "hidden" } })
+		expect(checkLayout(probe([edge])).defects).toEqual([])
+	})
+
+	test("#given a pre that scrolls horizontally under overflow auto #when checked #then minor layout_scroll_container is raised", () => {
+		const scroller = box({ selector: `${PARENT} > pre`, tag: "pre", scroll: { sw: 812, cw: 550, sh: 156, ch: 156 }, overflow: { x: "auto", y: "auto" } })
+		const result = checkLayout(probe([scroller]))
+		expect(codes(result)).toEqual(["layout_scroll_container"])
+		expect(result.defects[0].severity).toBe(DEFECT_CODES.layout_scroll_container.severity)
+	})
+
+	test("#given content overflowing a visible box #when checked #then neither L2 nor L3 fires", () => {
+		const visible = box({ scroll: { sw: 300, cw: 100, sh: 90, ch: 20 } })
+		expect(checkLayout(probe([visible])).defects).toEqual([])
+	})
+})
+
+describe("checkLayout L4 image distortion", () => {
+	test("#given an img rendered 300x150 with natural 300x160 #when checked #then layout_image_distorted names 6.7%", () => {
+		const result = checkLayout(probe([img({ w: 300, h: 150 }, { w: 300, h: 160 })]))
+		expect(codes(result)).toEqual(["layout_image_distorted"])
+		expect(result.defects[0].severity).toBe(DEFECT_CODES.layout_image_distorted.severity)
+		expect(result.defects[0].message).toContain("6.7%")
+	})
+
+	test("#given an img rendered 300x150 with natural 300x154 (under 3% drift) #when checked #then no defect is raised", () => {
+		expect(checkLayout(probe([img({ w: 300, h: 150 }, { w: 300, h: 154 })])).defects).toEqual([])
+	})
+
+	test("#given a distorted img under object-fit cover, contain, or scale-down #when checked #then it is exempt", () => {
+		const boxes = ["cover", "contain", "scale-down"].map((objectFit, i) => img({ w: 300, h: 150 }, { w: 300, h: 300 }, { objectFit, selector: `${PARENT} > figure:nth-of-type(${i + 1}) > img`, parentSelector: `${PARENT} > figure:nth-of-type(${i + 1})` }))
+		expect(checkLayout(probe(boxes)).defects).toEqual([])
+	})
+
+	test("#given an img whose natural size is 0x0 (not loaded) #when checked #then it is skipped without throwing", () => {
+		expect(() => checkLayout(probe([img({ w: 300, h: 150 }, { w: 0, h: 0 })]))).not.toThrow()
+		expect(checkLayout(probe([img({ w: 300, h: 150 }, { w: 0, h: 0 })])).defects).toEqual([])
+	})
+
+	test("#given an img with a zero rendered height #when checked #then it is skipped", () => {
+		expect(checkLayout(probe([img({ w: 300, h: 0 }, { w: 300, h: 160 })])).defects).toEqual([])
+	})
+})
+
+describe("checkLayout L5 sibling overlap", () => {
+	const first = box({ selector: `${PARENT} > p:nth-of-type(1)`, rect: { x: 0, y: 0, w: 100, h: 100 } })
+
+	test("#given two static siblings intersecting 13x13 #when checked #then layout_sibling_overlap names both selectors", () => {
+		const second = box({ selector: `${PARENT} > p:nth-of-type(2)`, rect: { x: 87, y: 87, w: 100, h: 100 }, position: "relative" })
+		const result = checkLayout(probe([first, second]))
+		expect(codes(result)).toEqual(["layout_sibling_overlap"])
+		expect(result.defects[0].severity).toBe(DEFECT_CODES.layout_sibling_overlap.severity)
+		expect(result.defects[0].message).toContain(first.selector)
+		expect(result.defects[0].message).toContain(second.selector)
+	})
+
+	test("#given two siblings intersecting 12x40 #when checked #then no defect is raised", () => {
+		const second = box({ selector: `${PARENT} > p:nth-of-type(2)`, rect: { x: 88, y: 60, w: 100, h: 100 } })
+		expect(checkLayout(probe([first, second])).defects).toEqual([])
+	})
+
+	test("#given a 13x13 intersection where one box is absolute #when checked #then it is exempt", () => {
+		const badge = box({ selector: `${PARENT} > p:nth-of-type(2)`, rect: { x: 87, y: 87, w: 100, h: 100 }, position: "absolute" })
+		expect(checkLayout(probe([first, badge])).defects).toEqual([])
+	})
+
+	test("#given a 13x13 intersection between boxes of different parents #when checked #then it is not a sibling overlap", () => {
+		const cousin = box({ selector: "body > main > div > p", parentSelector: "body > main > div", rect: { x: 87, y: 87, w: 100, h: 100 }, parentRect: { x: 0, y: 0, w: 600, h: 400 } })
+		expect(checkLayout(probe([first, cousin])).defects).toEqual([])
+	})
+})
+
+describe("checkLayout probe validation and summary", () => {
+	test("#given probe_version 2 #when checked #then a typed ProbeError is thrown", () => {
+		expect(() => checkLayout(probe([], { probe_version: 2 }))).toThrow(ProbeError)
+		try {
+			checkLayout(probe([], { probe_version: 2 }))
+		} catch (error) {
+			expect((error as ProbeError).code).toBe("unsupported_probe_version")
+		}
+	})
+
+	test("#given a probe without a boxes array #when checked #then a typed ProbeError is thrown", () => {
+		const malformed = JSON.parse('{"probe_version": 1}')
+		expect(() => checkLayout(malformed)).toThrow(ProbeError)
+	})
+
+	test("#given a truncated probe #when checked #then the summary ends with the truncation note", () => {
+		const result = checkLayout(probe([box()], { count: 500, truncated: true }))
+		expect(result.summary.endsWith("layout sample truncated")).toBe(true)
+	})
+
+	test("#given a complete probe #when checked #then the summary carries no truncation note", () => {
+		expect(checkLayout(probe([box()])).summary).not.toContain("truncated")
+	})
+
+	test("#given every defect raised across the rules #when inspected #then each code is a LAYOUT_CODES entry", () => {
+		const boxes = [
+			box({ rect: { x: 590, y: 10, w: 20, h: 20 } }),
+			box({ selector: `${PARENT} > h2`, scroll: { sw: 130, cw: 100, sh: 20, ch: 20 }, overflow: { x: "hidden", y: "hidden" } }),
+			img({ w: 300, h: 150 }, { w: 300, h: 300 }),
+		]
+		const raised = codes(checkLayout(probe(boxes)))
+		expect(raised.length).toBeGreaterThan(0)
+		expect(raised.every((code: string) => LAYOUT_CODES.includes(code))).toBe(true)
+	})
+})
+
+describe("checkLayout on the fixture sample", () => {
+	test("#given the boxes.json sample with the two measured real-sample images #when checked #then only the pre scroll container is reported", () => {
+		// given
+		const sample = JSON.parse(readFileSync(FIXTURE_PATH, "utf8"))
+		// when
+		const result = checkLayout(sample)
+		// then
+		expect(result.defects.map((defect) => [defect.code, defect.selector])).toEqual([["layout_scroll_container", "#method > pre"]])
+		expect(result.summary).not.toContain("truncated")
+	})
+})
+
+describe("checkLayout L1 inside a scrolling or clipping parent", () => {
+	const wideTable = (parentOverflow?: { x: string; y: string }) =>
+		box({ selector: `${PARENT} > div > table`, tag: "table", rect: { x: 0, y: 10, w: 816, h: 200 }, parentSelector: `${PARENT} > div`, ...(parentOverflow ? { parentOverflow } : {}) })
+
+	test("#given a table spilling 216px inside a parent with overflow-x auto #when checked #then it is the advisory scroll container, not an overflow", () => {
+		const result = checkLayout(probe([wideTable({ x: "auto", y: "visible" })]))
+		expect(codes(result)).toEqual(["layout_scroll_container"])
+		expect(result.defects[0]?.severity).toBe(DEFECT_CODES.layout_scroll_container.severity)
+	})
+
+	test("#given the same spill inside a parent with overflow-x hidden #when checked #then the content is reported clipped", () => {
+		expect(codes(checkLayout(probe([wideTable({ x: "hidden", y: "visible" })])))).toEqual(["layout_text_clipped"])
+	})
+
+	test("#given the same spill with no parentOverflow recorded #when checked #then it stays a layout_overflow", () => {
+		expect(codes(checkLayout(probe([wideTable()])))).toEqual(["layout_overflow"])
+	})
+})

package/packages/shared-skills/skills/ulw-research/scripts/gates-static.mjs

@@ -0,0 +1,167 @@
+// gates-static.mjs - deterministic static gates (G1-G15) over a parsed report.
+//
+// Builds one document context (a document-order walk with h2 sections, citation helpers and a
+// defect factory) and hands it to the text, figure and structure gate modules. Every severity
+// comes from contracts.DEFECT_CODES; the single override is unsourced_number under
+// `Lineage: section`, derived from the spec mode passed in, never from a caller-supplied
+// severity. Plain Node ESM, node: builtins and siblings only.
+
+import * as nodeFs from "node:fs"
+
+import { DEFECT_CODES, LINEAGE_MODES } from "./contracts.mjs"
+import { customProperties } from "./css-lite.mjs"
+import { figureGates } from "./gates-figures.mjs"
+import { structureGates } from "./gates-structure.mjs"
+import { textGates } from "./gates-text.mjs"
+import { PROSE_TAGS, proseText, selectorPath } from "./html-lite.mjs"
+
+const CITATION_MARKER = /\[S\d+\]|\[Source\s*\d+\]|\[\uCD9C\uCC98[^\]]*\]|\[\^\d+\]/i
+const ANCHOR_HREF = /^#(?:s|src|source|ref|fn)/i
+const ANCHOR_TEXT = /^\[(?:\uCD9C\uCC98|Source\s*\d+|S\d+)\]$/i
+/** Closing ("how this report was made") heading; Korean alternates cover the same register. */
+export const CLOSING_HEADING = /\b(?:method(?:ology)?|how)\b|\uB4B7\uBA74|\uBC29\uBC95|\uC5B4\uB5BB\uAC8C|\uB9CC\uB4E4\uC5B4/i
+export const SOURCES_HEADING = /references|sources|bibliography|\uCD9C\uCC98|\uCC38\uACE0\s*(?:\uBB38\uD5CC|\uC790\uB8CC)/i
+const OTHER_KINDS = [
+	["toc", /\b(?:contents|toc)\b|\uBAA9\uCC28/i],
+	["appendix", /appendix|\uBD80\uB85D/i],
+	["glossary", /glossary|\uC6A9\uC5B4/i],
+]
+const TEXT_SKIP = new Set(["code", "pre", "kbd", "samp", "script", "style", "svg", "template", "noscript"])
+const HEADING_TAG = /^h[1-6]$/
+/** The one sanctioned severity override: section-level lineage demotes unsourced_number. */
+const SECTION_LINEAGE_SEVERITY = "minor"
+
+const GATES = [...textGates, ...figureGates, ...structureGates]
+
+function classTokens(node) {
+	return String(node.attrs.class ?? "").toLowerCase().split(/\s+/).filter(Boolean)
+}
+
+function closest(node, predicate) {
+	for (let cur = node.parent; cur; cur = cur.parent) if (predicate(cur)) return cur
+	return null
+}
+
+function descendants(node, out = []) {
+	for (const child of node.children) {
+		if (child.tag === "#text") continue
+		out.push(child)
+		descendants(child, out)
+	}
+	return out
+}
+
+function isCitationAnchor(node) {
+	return node.tag === "a" && (ANCHOR_HREF.test(node.attrs.href ?? "") || ANCHOR_TEXT.test(proseText(node)))
+}
+
+/** A citation marker in the element's prose or a citation anchor below it. */
+function hasCitation(node) {
+	return CITATION_MARKER.test(proseText(node)) || descendants(node).some(isCitationAnchor)
+}
+
+function toRegExp(pattern) {
+	const re = pattern instanceof RegExp ? pattern : new RegExp(String(pattern), "i")
+	return new RegExp(re.source, re.flags.replace(/[gy]/g, ""))
+}
+
+function findBody(doc) {
+	const stack = [doc]
+	while (stack.length) {
+		const node = stack.pop()
+		if (node.tag === "body") return node
+		for (const child of node.children) if (child.tag !== "#text") stack.push(child)
+	}
+	return doc
+}
+
+function sectionKind(text, closingTest) {
+	if (SOURCES_HEADING.test(text)) return "sources"
+	if (closingTest(text)) return "closing"
+	return OTHER_KINDS.find(([, re]) => re.test(text))?.[0] ?? null
+}
+
+/** Document-order walk of body: element scopes, prose text entries with owners, h2 sections. */
+function walkBody(ctx, node, state) {
+	for (const child of node.children) {
+		if (child.tag === "#text") {
+			if (state.skip) continue
+			ctx.texts.push({ node: child, owner: state.owner ?? node, cell: state.cell, scope: ctx.scope })
+			if (ctx.scope.section && !state.heading) ctx.scope.section.prose.push(child.text)
+			continue
+		}
+		if (child.tag === "h2") {
+			const section = { heading: child, kind: sectionKind(proseText(child), ctx.isClosing), prose: [], anchors: 0 }
+			ctx.sections.push(section)
+			ctx.scope = { section, closingH3: false }
+		} else if (child.tag === "h3") {
+			ctx.scope = { section: ctx.scope.section, closingH3: ctx.isClosing(proseText(child)) }
+		}
+		ctx.elements.push({ node: child, scope: ctx.scope })
+		if (ctx.scope.section && isCitationAnchor(child)) ctx.scope.section.anchors++
+		walkBody(ctx, child, {
+			skip: state.skip || TEXT_SKIP.has(child.tag),
+			owner: PROSE_TAGS.has(child.tag) ? child : state.owner,
+			cell: state.cell || child.tag === "td" || child.tag === "th",
+			heading: state.heading || HEADING_TAG.test(child.tag),
+		})
+	}
+}
+
+function buildContext(doc, options) {
+	const lineageMode = options.lineageMode ?? "inline"
+	if (!LINEAGE_MODES.includes(lineageMode)) throw new TypeError(`lineageMode must be one of ${LINEAGE_MODES.join(", ")}`)
+	const closingPattern = options.closingPattern ? toRegExp(options.closingPattern) : null
+	const all = descendants(doc)
+	const styleBlocks = all.filter((node) => node.tag === "style").map((node) => ({ node, css: node.raw ?? "" }))
+	const styleAttrs = all.filter((node) => node.attrs.style).map((node) => ({ node, css: node.attrs.style }))
+	const ctx = {
+		doc,
+		body: findBody(doc),
+		all,
+		elements: [],
+		texts: [],
+		sections: [],
+		scope: { section: null, closingH3: false },
+		styleBlocks,
+		styleAttrs,
+		tokens: customProperties(styleBlocks.map((entry) => entry.css).join("\n")).light,
+		palette: new Set(options.palette ?? []),
+		requireSections: (options.requireSections ?? []).map(toRegExp),
+		baseDir: options.baseDir ?? null,
+		fs: options.fs ?? nodeFs,
+		isClosing: (text) => CLOSING_HEADING.test(text) || Boolean(closingPattern?.test(text)),
+		util: { classTokens, closest, descendants, hasCitation, citationMarker: CITATION_MARKER },
+		kindOf: (scope) => (scope.closingH3 ? "closing" : (scope.section?.kind ?? null)),
+		defect(code, node, message) {
+			const entry = DEFECT_CODES[code]
+			const severity = code === "unsourced_number" && lineageMode === "section" ? SECTION_LINEAGE_SEVERITY : entry.severity
+			return { code, severity, selector: selectorPath(node) || node.tag, line: node.line, message, hint: entry.hint }
+		},
+	}
+	walkBody(ctx, ctx.body, { skip: false, owner: null, cell: false, heading: false })
+	return ctx
+}
+
+/**
+ * Run G1-G15 over a parsed report (html-lite root).
+ * @param {object} doc parseHtml(...) result
+ * @param {{ palette?: Set<string>, lineageMode?: "inline"|"section", requireSections?: (RegExp|string)[],
+ *   baseDir?: string, fs?: { statSync(path: string): { size: number } }, closingPattern?: RegExp|string }} options
+ * @returns {{ defects: object[], gatesRun: string[], gatesSkipped: string[] }}
+ */
+export function checkStatic(doc, options = {}) {
+	const ctx = buildContext(doc, options)
+	const defects = []
+	const gatesRun = []
+	const gatesSkipped = []
+	for (const gate of GATES) {
+		if (gate.skip?.(ctx)) {
+			gatesSkipped.push(...gate.codes)
+			continue
+		}
+		gatesRun.push(...gate.codes)
+		defects.push(...gate.run(ctx))
+	}
+	return { defects, gatesRun, gatesSkipped }
+}