domflax 0.1.0 → 0.1.2

package/dist/pattern-CX6iBzTD.d.ts

@@ -1,237 +0,0 @@
-import { d as StyleCondition, e as ConditionKey, f as IRNamespace, g as ClassList, h as InlineStyle, S as StyleMap, A as AttrMap, I as IRNodeId, i as SourceSpan, j as NodeMeta, B as BackrefTable, k as Backref, l as IRNode, m as IRComment, F as FrontendKind, n as IRDocument, o as IRElement, p as ExprRef, q as IRExpr, r as ExprRegistry, s as IRFragment, t as IdAllocator, u as IRText, v as SafetyLevel, V as Visitor, N as NodeLike, M as MatchContext, w as Captures, P as Pattern, x as RewriteFactory, y as MatchResult, a as StyleConflictPolicy, z as PassCategory, D as PreconditionSketch, G as PatternDoc, R as RewriteOpDraft } from './types-BQ7l6dVe.js';
-
-/**
- * @domflax/core — runtime builders + traversal.
- *
- * Pure, dependency-free helpers to construct IR nodes, assemble an {@link IRDocument},
- * and walk the tree honouring {@link VisitSignal}. No heavy third-party deps: only the
- * type contract in `./types`.
- */
-
-/** Monotonic IRNodeId allocator. `peek` reports the id `next()` would return. */
-declare function createIdAllocator(start?: number): IdAllocator;
-/** Minimal in-memory ExprRegistry. */
-declare function createExprRegistry(start?: number): ExprRegistry;
-/** Mutable BackrefTable: frontends register backrefs as they parse. */
-interface MutableBackrefTable extends BackrefTable {
-    set(id: IRNodeId, backref: Backref): void;
-}
-declare function createBackrefTable(): MutableBackrefTable;
-/** A NodeMeta with every barrier/flag cleared. */
-declare function defaultMeta(safetyFloor?: SafetyLevel): NodeMeta;
-/** Canonical base style condition (`media:'' states:[] pseudoElement:''`). */
-declare const BASE_CONDITION: StyleCondition;
-/** Stable serialization of a StyleCondition into a ConditionKey. */
-declare function conditionKey(c: StyleCondition): ConditionKey;
-declare const BASE_CONDITION_KEY: ConditionKey;
-/** An empty StyleMap (no blocks). */
-declare function emptyStyleMap(): StyleMap;
-/** An empty (absent) ClassList. */
-declare function emptyClassList(): ClassList;
-/** An empty AttrMap. */
-declare function emptyAttrMap(): AttrMap;
-/** An empty InlineStyle. */
-declare function emptyInlineStyle(): InlineStyle;
-interface ElementInit {
-    readonly tag: string;
-    readonly namespace?: IRNamespace;
-    readonly isComponent?: boolean;
-    readonly selfClosing?: boolean;
-    readonly classes?: ClassList;
-    readonly inlineStyle?: InlineStyle;
-    readonly computed?: StyleMap;
-    readonly attrs?: AttrMap;
-    readonly children?: IRNodeId[];
-    readonly parent?: IRNodeId | null;
-    readonly span?: SourceSpan | null;
-    readonly meta?: NodeMeta;
-}
-declare function createElement(id: IRNodeId, init: ElementInit): IRElement;
-declare function createText(id: IRNodeId, value: string, opts?: {
-    collapsible?: boolean;
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRText;
-declare function createExpr(id: IRNodeId, expr: ExprRef, opts?: {
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRExpr;
-declare function createFragment(id: IRNodeId, opts?: {
-    children?: IRNodeId[];
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRFragment;
-declare function createComment(id: IRNodeId, value: string, opts?: {
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRComment;
-/** Build an empty document whose root is a fresh fragment. */
-declare function createDocument(frontend: FrontendKind): IRDocument;
-/** Returns the child id list for container nodes, or an empty array. */
-declare function childIds(node: IRNode): readonly IRNodeId[];
-/** Returns the node, or undefined. */
-declare function getNode(doc: IRDocument, id: IRNodeId): IRNode | undefined;
-/** Returns the node iff it is an element. */
-declare function getElement(doc: IRDocument, id: IRNodeId): IRElement | undefined;
-/** Pre-order list of every element id reachable from the root. */
-declare function elementIds(doc: IRDocument): IRNodeId[];
-/**
- * Depth-first pre/post-order walk. `enter` may return `'skip'` (don't descend) or `'stop'`
- * (abort the whole walk); `exit` may return `'stop'`. The visitor receives a live {@link IRNode}
- * plus a {@link VisitContext} exposing depth and the parent node.
- */
-declare function walk(doc: IRDocument, visitor: Visitor): void;
-
-/**
- * @domflax/pattern-kit — composable matcher vocabulary.
- *
- * A {@link Matcher} is a PURE predicate over a node + its {@link MatchContext}. Matchers never
- * mutate; they only read the (DeepReadonly) IR and the precomputed targeting/selector facts the
- * context exposes. Authors compose them with {@link and}/{@link or}/{@link not} and feed the
- * result into a pattern's `evaluate`.
- *
- * Style-aware matchers (`computed`, `hasOwnVisualStyle`) reason over the NORMALIZED StyleMap via
- * the shared normalizer in `./normalize`, so they query meaning, not raw CSS strings.
- */
-
-/** A pure predicate: does `node` satisfy this condition in the given match context? */
-type Matcher = (node: NodeLike, ctx: MatchContext) => boolean;
-/** Logical AND. Empty list ⇒ always matches. Short-circuits on the first failure. */
-declare function and(...matchers: readonly Matcher[]): Matcher;
-/** Logical OR. Empty list ⇒ never matches. Short-circuits on the first success. */
-declare function or(...matchers: readonly Matcher[]): Matcher;
-/** Logical NOT. */
-declare function not(matcher: Matcher): Matcher;
-/** Matches any element; with `tag`, only elements whose (case-insensitive) tag equals it. */
-declare function isElement(tag?: string): Matcher;
-/** Matches an element with exactly one ELEMENT child (text/expr/comment children ignored). */
-declare const hasSingleElementChild: Matcher;
-/**
- * Matches when the node's computed StyleMap is a SUPERSET of `partial` — i.e. every declaration
- * in `partial` is present in `node.computed` with an equal normalized value. Comparison is
- * meaning-based (both sides normalized first). Empty `partial` always matches.
- */
-declare function computed(partial: StyleMap): Matcher;
-/**
- * Matches when the element paints something of its own: a meaningful background, border, shadow,
- * outline, filter, etc. across ANY style condition. Honours the frontend-set `meta.hasOwnVisualStyle`
- * fast-path, then falls back to scanning the normalized computed StyleMap.
- */
-declare const hasOwnVisualStyle: Matcher;
-/** Element carries a `ref` (hard opacity barrier). */
-declare const hasRef: Matcher;
-/** Element has event handlers (onClick, …). */
-declare const hasEventHandlers: Matcher;
-/** Element has dynamic children (mapped/conditional islands). */
-declare const hasDynamicChildren: Matcher;
-/** Element's class list contains a dynamic segment (template/expr) → not freely rewritable. */
-declare const hasDynamicClasses: Matcher;
-/**
- * Element is the subject of a combinator selector (`>`/`+`/`~`). Honours the frontend-set meta
- * flag and the precomputed {@link SelectorIndex} in the context.
- */
-declare const targetedByCombinator: Matcher;
-
-/**
- * @domflax/pattern-kit — `pattern()`: a low-boilerplate, declarative authoring surface.
- *
- * `pattern(config)` is pure authoring SUGAR: it compiles down to the existing
- * {@link definePattern}/{@link Pattern} contract (it never replaces the engine). Authors describe
- * the match as a plain DATA object and the rewrite as a named RECIPE; this module maps each key to
- * the existing matcher combinators and op-draft factories, auto-applies the opacity-barrier and
- * selector-safety guards that every `flatten/*` pattern must carry, and threads `doc`/`examples`
- * through. Two escape hatches — a `match` predicate and a `rewrite` function — keep exotic patterns
- * (e.g. ones anchored on a parent fragment) expressible.
- *
- * `style` blocks in the declarative match (and in `childGains`/`mergeStyle` recipes) are PLAIN
- * objects (camelCase or kebab keys) auto-normalized into a superset StyleMap via the shared
- * normalizer — authors never import the normalizer or hand-build a StyleMap.
- */
-
-/** A plain CSS style object: camelCase or kebab-case keys, string or number values. */
-type PlainStyle = Readonly<Record<string, string | number>>;
-/**
- * Declarative match as DATA. Every key maps to one of the existing matcher combinators; an empty
- * object matches any element. Use the `match` FUNCTION escape hatch for anything not expressible
- * here (relational/ancestor/sibling shapes, parent-anchored patterns, …).
- */
-interface DeclarativeMatch {
-    /** Restrict to a tag (case-insensitive). Omit to match any element. */
-    readonly tag?: string;
-    /** Computed style the node must be a SUPERSET of (plain object, auto-normalized). */
-    readonly style?: PlainStyle;
-    /** Require exactly one ELEMENT child. */
-    readonly onlyChild?: 'element';
-    /** Require the element to paint nothing of its own (no own visual style). */
-    readonly paintsNothing?: boolean;
-    /** Extra, hand-written predicate AND-ed into the declarative match. */
-    readonly where?: Matcher | readonly Matcher[];
-}
-/** Escape hatch: a raw match predicate (no auto-guards are added). */
-type MatchFn = (node: NodeLike, ctx: MatchContext) => boolean;
-/**
- * Flatten recipe: fold inherited styles onto the sole element child (default on), optionally merge
- * `childGains` onto it, then unwrap the node (id-preserving). Mirrors the flatten exemplars.
- */
-interface FlattenIntoRecipe {
-    readonly flattenInto: 'child';
-    /** Plain style merged onto the surviving child (source-wins) before unwrap. */
-    readonly childGains?: PlainStyle;
-    /** Fold inheritable declarations onto the child first. Default `true`. */
-    readonly foldInherited?: boolean;
-}
-/** Compress recipe: rebuild the element's class StyleMap; return `null` to decline. */
-interface RewriteClassesRecipe {
-    readonly rewriteClasses: (computed: StyleMap, ctx: MatchContext) => StyleMap | null;
-    /** Keep opaque/selector-bound tokens verbatim. Default `true`. */
-    readonly preserveOpaque?: boolean;
-}
-/** Compress recipe: drop fully-overridden class tokens (provenance is pruned automatically). */
-interface DropClassesRecipe {
-    readonly dropClasses: (computed: StyleMap, ctx: MatchContext) => Iterable<string>;
-    /** Keep opaque/selector-bound tokens verbatim. Default `true`. */
-    readonly preserveOpaque?: boolean;
-}
-/** Merge a literal plain style onto the matched element. */
-interface MergeStyleRecipe {
-    readonly mergeStyle: PlainStyle;
-    readonly onConflict?: StyleConflictPolicy;
-}
-type RewriteRecipe = FlattenIntoRecipe | RewriteClassesRecipe | DropClassesRecipe | MergeStyleRecipe;
-/** Escape hatch: a raw rewrite that returns op drafts (or `null`/`[]` for no-op). */
-type RewriteFn = (ctx: MatchContext, rw: RewriteFactory) => readonly RewriteOpDraft[] | null;
-/** A before/after positive example, or a no-match (left-unchanged) example. */
-type Example = {
-    readonly before: string;
-    readonly after: string;
-} | {
-    readonly name?: string;
-    readonly noMatch: string;
-};
-interface PatternConfig {
-    readonly name: string;
-    readonly category: PassCategory;
-    readonly safety: SafetyLevel;
-    readonly priority?: number;
-    readonly precondition?: PreconditionSketch;
-    readonly doc?: PatternDoc;
-    /** Optional worked examples consumed by the auto-test harness (`./testing`). */
-    readonly examples?: readonly Example[];
-    /** Declarative match DATA, or a raw predicate escape hatch. Defaults to "any element". */
-    readonly match?: DeclarativeMatch | MatchFn;
-    /** A named rewrite recipe, or a raw op-draft factory escape hatch. */
-    readonly rewrite: RewriteRecipe | RewriteFn;
-}
-/** A {@link Pattern} that also carries its authored {@link Example}s for the test harness. */
-interface AuthoredPattern<C extends Captures = Captures> extends Pattern {
-    readonly examples?: readonly Example[];
-    evaluate(ctx: MatchContext, rw: RewriteFactory): MatchResult<C> | null;
-}
-/**
- * Compile a declarative {@link PatternConfig} into a validated {@link AuthoredPattern}. The result
- * is a normal {@link Pattern} (registerable into any {@link import('@domflax/core').Pass}) that also
- * exposes its `examples` for the auto-test harness.
- */
-declare function pattern(config: PatternConfig): AuthoredPattern;
-
-export { type AuthoredPattern as A, BASE_CONDITION as B, createComment as C, type DeclarativeMatch as D, type Example as E, type FlattenIntoRecipe as F, createDocument as G, createElement as H, createExpr as I, createExprRegistry as J, createFragment as K, createIdAllocator as L, type MatchFn as M, createText as N, defaultMeta as O, type PatternConfig as P, elementIds as Q, type RewriteClassesRecipe as R, emptyAttrMap as S, emptyClassList as T, emptyInlineStyle as U, getElement as V, getNode as W, walk as X, type DropClassesRecipe as a, type Matcher as b, type MergeStyleRecipe as c, type PlainStyle as d, type RewriteFn as e, type RewriteRecipe as f, and as g, computed as h, emptyStyleMap as i, hasDynamicChildren as j, hasDynamicClasses as k, hasEventHandlers as l, hasOwnVisualStyle as m, hasRef as n, hasSingleElementChild as o, isElement as p, not as q, or as r, pattern as s, targetedByCombinator as t, BASE_CONDITION_KEY as u, type ElementInit as v, type MutableBackrefTable as w, childIds as x, conditionKey as y, createBackrefTable as z };

package/dist/pattern-P4FIKAUB.d.cts

@@ -1,237 +0,0 @@
-import { d as StyleCondition, e as ConditionKey, f as IRNamespace, g as ClassList, h as InlineStyle, S as StyleMap, A as AttrMap, I as IRNodeId, i as SourceSpan, j as NodeMeta, B as BackrefTable, k as Backref, l as IRNode, m as IRComment, F as FrontendKind, n as IRDocument, o as IRElement, p as ExprRef, q as IRExpr, r as ExprRegistry, s as IRFragment, t as IdAllocator, u as IRText, v as SafetyLevel, V as Visitor, N as NodeLike, M as MatchContext, w as Captures, P as Pattern, x as RewriteFactory, y as MatchResult, a as StyleConflictPolicy, z as PassCategory, D as PreconditionSketch, G as PatternDoc, R as RewriteOpDraft } from './types-BQ7l6dVe.cjs';
-
-/**
- * @domflax/core — runtime builders + traversal.
- *
- * Pure, dependency-free helpers to construct IR nodes, assemble an {@link IRDocument},
- * and walk the tree honouring {@link VisitSignal}. No heavy third-party deps: only the
- * type contract in `./types`.
- */
-
-/** Monotonic IRNodeId allocator. `peek` reports the id `next()` would return. */
-declare function createIdAllocator(start?: number): IdAllocator;
-/** Minimal in-memory ExprRegistry. */
-declare function createExprRegistry(start?: number): ExprRegistry;
-/** Mutable BackrefTable: frontends register backrefs as they parse. */
-interface MutableBackrefTable extends BackrefTable {
-    set(id: IRNodeId, backref: Backref): void;
-}
-declare function createBackrefTable(): MutableBackrefTable;
-/** A NodeMeta with every barrier/flag cleared. */
-declare function defaultMeta(safetyFloor?: SafetyLevel): NodeMeta;
-/** Canonical base style condition (`media:'' states:[] pseudoElement:''`). */
-declare const BASE_CONDITION: StyleCondition;
-/** Stable serialization of a StyleCondition into a ConditionKey. */
-declare function conditionKey(c: StyleCondition): ConditionKey;
-declare const BASE_CONDITION_KEY: ConditionKey;
-/** An empty StyleMap (no blocks). */
-declare function emptyStyleMap(): StyleMap;
-/** An empty (absent) ClassList. */
-declare function emptyClassList(): ClassList;
-/** An empty AttrMap. */
-declare function emptyAttrMap(): AttrMap;
-/** An empty InlineStyle. */
-declare function emptyInlineStyle(): InlineStyle;
-interface ElementInit {
-    readonly tag: string;
-    readonly namespace?: IRNamespace;
-    readonly isComponent?: boolean;
-    readonly selfClosing?: boolean;
-    readonly classes?: ClassList;
-    readonly inlineStyle?: InlineStyle;
-    readonly computed?: StyleMap;
-    readonly attrs?: AttrMap;
-    readonly children?: IRNodeId[];
-    readonly parent?: IRNodeId | null;
-    readonly span?: SourceSpan | null;
-    readonly meta?: NodeMeta;
-}
-declare function createElement(id: IRNodeId, init: ElementInit): IRElement;
-declare function createText(id: IRNodeId, value: string, opts?: {
-    collapsible?: boolean;
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRText;
-declare function createExpr(id: IRNodeId, expr: ExprRef, opts?: {
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRExpr;
-declare function createFragment(id: IRNodeId, opts?: {
-    children?: IRNodeId[];
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRFragment;
-declare function createComment(id: IRNodeId, value: string, opts?: {
-    parent?: IRNodeId | null;
-    span?: SourceSpan | null;
-}): IRComment;
-/** Build an empty document whose root is a fresh fragment. */
-declare function createDocument(frontend: FrontendKind): IRDocument;
-/** Returns the child id list for container nodes, or an empty array. */
-declare function childIds(node: IRNode): readonly IRNodeId[];
-/** Returns the node, or undefined. */
-declare function getNode(doc: IRDocument, id: IRNodeId): IRNode | undefined;
-/** Returns the node iff it is an element. */
-declare function getElement(doc: IRDocument, id: IRNodeId): IRElement | undefined;
-/** Pre-order list of every element id reachable from the root. */
-declare function elementIds(doc: IRDocument): IRNodeId[];
-/**
- * Depth-first pre/post-order walk. `enter` may return `'skip'` (don't descend) or `'stop'`
- * (abort the whole walk); `exit` may return `'stop'`. The visitor receives a live {@link IRNode}
- * plus a {@link VisitContext} exposing depth and the parent node.
- */
-declare function walk(doc: IRDocument, visitor: Visitor): void;
-
-/**
- * @domflax/pattern-kit — composable matcher vocabulary.
- *
- * A {@link Matcher} is a PURE predicate over a node + its {@link MatchContext}. Matchers never
- * mutate; they only read the (DeepReadonly) IR and the precomputed targeting/selector facts the
- * context exposes. Authors compose them with {@link and}/{@link or}/{@link not} and feed the
- * result into a pattern's `evaluate`.
- *
- * Style-aware matchers (`computed`, `hasOwnVisualStyle`) reason over the NORMALIZED StyleMap via
- * the shared normalizer in `./normalize`, so they query meaning, not raw CSS strings.
- */
-
-/** A pure predicate: does `node` satisfy this condition in the given match context? */
-type Matcher = (node: NodeLike, ctx: MatchContext) => boolean;
-/** Logical AND. Empty list ⇒ always matches. Short-circuits on the first failure. */
-declare function and(...matchers: readonly Matcher[]): Matcher;
-/** Logical OR. Empty list ⇒ never matches. Short-circuits on the first success. */
-declare function or(...matchers: readonly Matcher[]): Matcher;
-/** Logical NOT. */
-declare function not(matcher: Matcher): Matcher;
-/** Matches any element; with `tag`, only elements whose (case-insensitive) tag equals it. */
-declare function isElement(tag?: string): Matcher;
-/** Matches an element with exactly one ELEMENT child (text/expr/comment children ignored). */
-declare const hasSingleElementChild: Matcher;
-/**
- * Matches when the node's computed StyleMap is a SUPERSET of `partial` — i.e. every declaration
- * in `partial` is present in `node.computed` with an equal normalized value. Comparison is
- * meaning-based (both sides normalized first). Empty `partial` always matches.
- */
-declare function computed(partial: StyleMap): Matcher;
-/**
- * Matches when the element paints something of its own: a meaningful background, border, shadow,
- * outline, filter, etc. across ANY style condition. Honours the frontend-set `meta.hasOwnVisualStyle`
- * fast-path, then falls back to scanning the normalized computed StyleMap.
- */
-declare const hasOwnVisualStyle: Matcher;
-/** Element carries a `ref` (hard opacity barrier). */
-declare const hasRef: Matcher;
-/** Element has event handlers (onClick, …). */
-declare const hasEventHandlers: Matcher;
-/** Element has dynamic children (mapped/conditional islands). */
-declare const hasDynamicChildren: Matcher;
-/** Element's class list contains a dynamic segment (template/expr) → not freely rewritable. */
-declare const hasDynamicClasses: Matcher;
-/**
- * Element is the subject of a combinator selector (`>`/`+`/`~`). Honours the frontend-set meta
- * flag and the precomputed {@link SelectorIndex} in the context.
- */
-declare const targetedByCombinator: Matcher;
-
-/**
- * @domflax/pattern-kit — `pattern()`: a low-boilerplate, declarative authoring surface.
- *
- * `pattern(config)` is pure authoring SUGAR: it compiles down to the existing
- * {@link definePattern}/{@link Pattern} contract (it never replaces the engine). Authors describe
- * the match as a plain DATA object and the rewrite as a named RECIPE; this module maps each key to
- * the existing matcher combinators and op-draft factories, auto-applies the opacity-barrier and
- * selector-safety guards that every `flatten/*` pattern must carry, and threads `doc`/`examples`
- * through. Two escape hatches — a `match` predicate and a `rewrite` function — keep exotic patterns
- * (e.g. ones anchored on a parent fragment) expressible.
- *
- * `style` blocks in the declarative match (and in `childGains`/`mergeStyle` recipes) are PLAIN
- * objects (camelCase or kebab keys) auto-normalized into a superset StyleMap via the shared
- * normalizer — authors never import the normalizer or hand-build a StyleMap.
- */
-
-/** A plain CSS style object: camelCase or kebab-case keys, string or number values. */
-type PlainStyle = Readonly<Record<string, string | number>>;
-/**
- * Declarative match as DATA. Every key maps to one of the existing matcher combinators; an empty
- * object matches any element. Use the `match` FUNCTION escape hatch for anything not expressible
- * here (relational/ancestor/sibling shapes, parent-anchored patterns, …).
- */
-interface DeclarativeMatch {
-    /** Restrict to a tag (case-insensitive). Omit to match any element. */
-    readonly tag?: string;
-    /** Computed style the node must be a SUPERSET of (plain object, auto-normalized). */
-    readonly style?: PlainStyle;
-    /** Require exactly one ELEMENT child. */
-    readonly onlyChild?: 'element';
-    /** Require the element to paint nothing of its own (no own visual style). */
-    readonly paintsNothing?: boolean;
-    /** Extra, hand-written predicate AND-ed into the declarative match. */
-    readonly where?: Matcher | readonly Matcher[];
-}
-/** Escape hatch: a raw match predicate (no auto-guards are added). */
-type MatchFn = (node: NodeLike, ctx: MatchContext) => boolean;
-/**
- * Flatten recipe: fold inherited styles onto the sole element child (default on), optionally merge
- * `childGains` onto it, then unwrap the node (id-preserving). Mirrors the flatten exemplars.
- */
-interface FlattenIntoRecipe {
-    readonly flattenInto: 'child';
-    /** Plain style merged onto the surviving child (source-wins) before unwrap. */
-    readonly childGains?: PlainStyle;
-    /** Fold inheritable declarations onto the child first. Default `true`. */
-    readonly foldInherited?: boolean;
-}
-/** Compress recipe: rebuild the element's class StyleMap; return `null` to decline. */
-interface RewriteClassesRecipe {
-    readonly rewriteClasses: (computed: StyleMap, ctx: MatchContext) => StyleMap | null;
-    /** Keep opaque/selector-bound tokens verbatim. Default `true`. */
-    readonly preserveOpaque?: boolean;
-}
-/** Compress recipe: drop fully-overridden class tokens (provenance is pruned automatically). */
-interface DropClassesRecipe {
-    readonly dropClasses: (computed: StyleMap, ctx: MatchContext) => Iterable<string>;
-    /** Keep opaque/selector-bound tokens verbatim. Default `true`. */
-    readonly preserveOpaque?: boolean;
-}
-/** Merge a literal plain style onto the matched element. */
-interface MergeStyleRecipe {
-    readonly mergeStyle: PlainStyle;
-    readonly onConflict?: StyleConflictPolicy;
-}
-type RewriteRecipe = FlattenIntoRecipe | RewriteClassesRecipe | DropClassesRecipe | MergeStyleRecipe;
-/** Escape hatch: a raw rewrite that returns op drafts (or `null`/`[]` for no-op). */
-type RewriteFn = (ctx: MatchContext, rw: RewriteFactory) => readonly RewriteOpDraft[] | null;
-/** A before/after positive example, or a no-match (left-unchanged) example. */
-type Example = {
-    readonly before: string;
-    readonly after: string;
-} | {
-    readonly name?: string;
-    readonly noMatch: string;
-};
-interface PatternConfig {
-    readonly name: string;
-    readonly category: PassCategory;
-    readonly safety: SafetyLevel;
-    readonly priority?: number;
-    readonly precondition?: PreconditionSketch;
-    readonly doc?: PatternDoc;
-    /** Optional worked examples consumed by the auto-test harness (`./testing`). */
-    readonly examples?: readonly Example[];
-    /** Declarative match DATA, or a raw predicate escape hatch. Defaults to "any element". */
-    readonly match?: DeclarativeMatch | MatchFn;
-    /** A named rewrite recipe, or a raw op-draft factory escape hatch. */
-    readonly rewrite: RewriteRecipe | RewriteFn;
-}
-/** A {@link Pattern} that also carries its authored {@link Example}s for the test harness. */
-interface AuthoredPattern<C extends Captures = Captures> extends Pattern {
-    readonly examples?: readonly Example[];
-    evaluate(ctx: MatchContext, rw: RewriteFactory): MatchResult<C> | null;
-}
-/**
- * Compile a declarative {@link PatternConfig} into a validated {@link AuthoredPattern}. The result
- * is a normal {@link Pattern} (registerable into any {@link import('@domflax/core').Pass}) that also
- * exposes its `examples` for the auto-test harness.
- */
-declare function pattern(config: PatternConfig): AuthoredPattern;
-
-export { type AuthoredPattern as A, BASE_CONDITION as B, createComment as C, type DeclarativeMatch as D, type Example as E, type FlattenIntoRecipe as F, createDocument as G, createElement as H, createExpr as I, createExprRegistry as J, createFragment as K, createIdAllocator as L, type MatchFn as M, createText as N, defaultMeta as O, type PatternConfig as P, elementIds as Q, type RewriteClassesRecipe as R, emptyAttrMap as S, emptyClassList as T, emptyInlineStyle as U, getElement as V, getNode as W, walk as X, type DropClassesRecipe as a, type Matcher as b, type MergeStyleRecipe as c, type PlainStyle as d, type RewriteFn as e, type RewriteRecipe as f, and as g, computed as h, emptyStyleMap as i, hasDynamicChildren as j, hasDynamicClasses as k, hasEventHandlers as l, hasOwnVisualStyle as m, hasRef as n, hasSingleElementChild as o, isElement as p, not as q, or as r, pattern as s, targetedByCombinator as t, BASE_CONDITION_KEY as u, type ElementInit as v, type MutableBackrefTable as w, childIds as x, conditionKey as y, createBackrefTable as z };