domflax 0.1.0 → 0.1.2

package/dist/{types-BQ7l6dVe.d.ts → resolve-ops-DIwEelH-.d.cts}

@@ -1,13 +1,13 @@
 /**
- * @domflax/core — public type contract (packages/core/src/types.ts)
+ * @domflax/core — type contract, part 1/3: IR + style primitives.
  *
- * SINGLE SOURCE OF TRUTH for the whole monorepo. Pure type/interface declarations
- * only: ZERO runtime. Every downstream package imports these exact names.
+ * Pure type/interface declarations only: ZERO runtime. Covers type utilities, identity
+ * primitives, source spans, the StyleMap model, NodeMeta, author tokens, the IR node union,
+ * the expr registry / document, traversal types, and node specs. This is the bottom layer of
+ * the type contract — it imports nothing from the sibling type modules.
  *
- * Compiles under: strict, verbatimModuleSyntax, isolatedDeclarations, erasableSyntaxOnly,
- * isolatedModules. No `const enum` (TS6 erasableSyntaxOnly): every closed set is a
- * string/number literal UNION here; the matching frozen `as const` runtime objects live in
- * sibling runtime modules (constants.ts), not in this file.
+ * (`PassPhase`/`PassCategory` live here too, in the primitive layer, so the resolver/op modules
+ * can reference them without a cycle through the pass-contract module.)
  */
 type Brand<T, B extends string> = T & {
     readonly __brand: B;
@@ -34,6 +34,8 @@ interface IdAllocator {
 }
 /** SAFETY: 0 lint · 1 safe · 2 default · 3 aggressive. (Runtime `SAFETY` object lives in constants.ts.) */
 type SafetyLevel = 0 | 1 | 2 | 3;
+type PassPhase = 'flatten' | 'compress' | 'extract';
+type PassCategory = `${PassPhase}/${string}`;
 interface Position {
     readonly line: number;
     readonly column: number;
@@ -301,6 +303,15 @@ interface NodeRefSpec {
     readonly ref: IRNodeId;
 }
 type NodeSpec = ElementSpec | TextSpec | ExprSpec | FragmentSpec | CommentSpec | NodeRefSpec;
+
+/**
+ * @domflax/core — type contract, part 2/3: diagnostics, the style-resolver layer, the selector
+ * index, and the RewriteOp union + factory.
+ *
+ * Pure type/interface declarations only: ZERO runtime. Depends only on the IR/style primitives in
+ * `./ir`.
+ */
+
 type Severity = 'error' | 'warn' | 'info' | 'debug';
 type DiagnosticCode = 'DF_PATTERN_THREW' | 'DF_OP_PRECONDITION_FAILED' | 'DF_CROSSED_DYNAMIC_BOUNDARY' | 'DF_SAFETY_CEILING_EXCEEDED' | 'DF_STYLE_CONFLICT_UNRESOLVED' | 'DF_FIXPOINT_BUDGET' | 'DF_FIXPOINT_OSCILLATION' | 'DF_NON_INHERITABLE_FOLD' | 'DF_RELATIVE_UNIT_FOLD' | 'DF_CUSTOM_PROP_COUPLING' | 'DF_STRUCTURAL_PSEUDO_TARGET' | 'DF_SELECTOR_MEMBERSHIP' | 'DF_NODE_REMOVED' | 'DF_PATTERN_APPLIED' | 'DF_VERIFY_REVERTED' | 'DF_VERIFY_INCONCLUSIVE';
 interface Diagnostic {
@@ -393,6 +404,13 @@ interface StyleResolver {
     emit(styles: StyleMap, ctx: EmitContext): EmitResult;
     /** Reports every project selector referencing a class — compress safety (review-1 major). */
     selectorUsage(token: string): SelectorUsage;
+    /**
+     * OPTIONAL: produce a CSS stylesheet that defines the given class tokens, so a verifier can render
+     * a subtree with the provider's real styling applied. Tailwind generates the rules from its engine;
+     * the custom-CSS resolver returns its source stylesheets. Resolvers that cannot (the null/fake test
+     * resolvers) simply omit this — the verifier then falls back to inlining each element's computed style.
+     */
+    cssFor?(classes: readonly string[]): string;
 }
 interface SelectorIndex {
     targetedByCombinator(id: IRNodeId): boolean;
@@ -502,248 +520,5 @@ interface RewriteFactory {
     text(value: string): NodeSpec;
     keep(node: NodeLike): NodeSpec;
 }
-type PassPhase = 'flatten' | 'compress' | 'extract';
-type PassCategory = `${PassPhase}/${string}`;
-type Captures = Record<string, unknown>;
-/** Read-only style predicate over a normalized StyleMap (queries MEANING, not strings). */
-type StylePredicate = (sm: StyleMap) => boolean;
-/**
- * Relational precondition (review-2 blocker): describes ancestor/sibling/child subtree shape AND
- * ancestor LAYOUT context (review-4 blocker) so fuzzProve generates trees that exercise the
- * relational + parent-constraint branches, not just node-local ones.
- */
-interface TreeShapeSketch {
-    readonly tag?: string | readonly string[];
-    readonly requiredComputed?: Readonly<Record<string, string>>;
-    readonly meta?: Partial<Record<keyof NodeMeta, boolean>>;
-    readonly children?: readonly TreeShapeSketch[];
-}
-type ParentLayoutContext = 'block-flow' | 'flex-item' | 'flex-item-stretch' | 'grid-item' | 'fixed-size-ancestor' | 'percentage-sized-child' | 'inline-context';
-interface PreconditionSketch {
-    readonly requiredComputed?: Readonly<Record<string, string>>;
-    readonly childCount?: {
-        readonly min?: number;
-        readonly max?: number;
-    };
-    readonly forbid?: readonly string[];
-    readonly ancestor?: TreeShapeSketch;
-    readonly siblings?: readonly TreeShapeSketch[];
-    readonly childShapes?: readonly TreeShapeSketch[];
-    readonly parentContexts?: readonly ParentLayoutContext[];
-}
-interface PatternDoc {
-    readonly title: string;
-    readonly summary: string;
-    readonly before?: string;
-    readonly after?: string;
-    readonly safetyRationale?: string;
-}
-/** Result of a successful match: op drafts (origin stamped later) + optional captures/diagnostics. */
-interface MatchResult<C extends Captures = Captures> {
-    readonly ops: readonly RewriteOpDraft[];
-    readonly captures?: C;
-    readonly diagnostics?: readonly Diagnostic[];
-}
-interface MatchContext {
-    readonly node: DeepReadonly<IRElement>;
-    readonly doc: DeepReadonly<IRDocument>;
-    readonly resolver: StyleResolver;
-    readonly selectors: SelectorIndex;
-    readonly safety: SafetyLevel;
-    readonly phase: PassPhase;
-    readonly iteration: number;
-    parent(): DeepReadonly<IRElement> | null;
-    elementChildren(): readonly DeepReadonly<IRElement>[];
-    onlyElementChild(): DeepReadonly<IRElement> | null;
-    computed(): StyleMap;
-    computedOf(n: NodeLike): StyleMap;
-    isOpaque(n?: ElementLike): boolean;
-    ancestors(): readonly DeepReadonly<IRElement>[];
-    closest(pred: (el: DeepReadonly<IRElement>) => boolean): DeepReadonly<IRElement> | null;
-    prevSibling(): DeepReadonly<IRNode> | null;
-    nextSibling(): DeepReadonly<IRNode> | null;
-    nthChildIndex(): number;
-}
-/** Context handed to the `rewrite` phase: a MatchContext plus the typed captures. */
-interface RewriteContext<C extends Captures = Captures> extends MatchContext {
-    readonly captures: C;
-}
-interface Pattern {
-    readonly name: PatternName;
-    readonly category: PassCategory;
-    readonly safety: SafetyLevel;
-    readonly priority?: number;
-    readonly precondition?: PreconditionSketch;
-    readonly doc?: PatternDoc;
-    /** Pure. Returns a MatchResult (op drafts) or null on no-match. MUST NOT mutate. */
-    evaluate(ctx: MatchContext, rw: RewriteFactory): MatchResult | null;
-}
-interface Pass {
-    readonly phase: PassPhase;
-    readonly category: PassCategory;
-    readonly patterns: readonly Pattern[];
-}
-interface FixpointConfig {
-    readonly maxIterations: number;
-    readonly phases: Partial<Record<PassPhase, number>>;
-    readonly onBudgetExhausted: 'warn' | 'error';
-    readonly detectOscillation: boolean;
-}
-type HaltReason = 'converged' | 'budget' | 'oscillation' | 'error';
-interface PhaseRunResult {
-    readonly phase: PassPhase;
-    readonly iterations: number;
-    readonly converged: boolean;
-    readonly haltReason: HaltReason;
-    readonly touched: ReadonlySet<IRNodeId>;
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface RewriteGroup {
-    readonly pattern: PatternName;
-    readonly anchor: IRNodeId;
-    readonly ops: readonly RewriteOp[];
-}
-interface ApplyContext {
-    readonly doc: IRDocument;
-    readonly safetyCeiling: SafetyLevel;
-    readonly normalizer: StyleNormalizer;
-    readonly selectors: SelectorIndex;
-    readonly resolver: StyleResolver;
-}
-interface StructuralInverse {
-    readonly kind: 'structural';
-    readonly describe: string;
-    readonly snapshot: unknown;
-}
-interface AppliedOp {
-    readonly op: RewriteOp;
-    readonly inverse: RewriteOp | StructuralInverse;
-}
-interface OpValidationIssue {
-    readonly op: RewriteOp;
-    readonly code: DiagnosticCode;
-    readonly message: string;
-}
-interface SkippedOpGroup {
-    readonly group: RewriteGroup;
-    readonly issues: readonly OpValidationIssue[];
-}
-interface ApplyResult {
-    readonly touched: ReadonlySet<IRNodeId>;
-    readonly removed: ReadonlySet<IRNodeId>;
-    readonly created: ReadonlySet<IRNodeId>;
-    readonly appliedGroups: number;
-    readonly skipped: readonly SkippedOpGroup[];
-    readonly journal: readonly AppliedOp[];
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface PassManager {
-    run(doc: IRDocument, ctx: ApplyContext, config?: FixpointConfig): readonly PhaseRunResult[];
-}
-interface FrontendConfig {
-    readonly jsxImportSource?: string;
-    readonly preserveComments?: boolean;
-    readonly [key: string]: unknown;
-}
-interface FrontendParseContext {
-    readonly id: string;
-    readonly kind: FileKind;
-    readonly resolver: StyleResolver;
-    readonly normalizer: StyleNormalizer;
-    readonly config: FrontendConfig;
-    onDiagnostic(d: Diagnostic): void;
-    babelAst?: unknown;
-}
-interface ParseResult {
-    readonly doc: IRDocument;
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface Frontend {
-    readonly name: string;
-    readonly langs: readonly FileKind[];
-    canParse(id: string, code: string): boolean;
-    parse(code: string, ctx: FrontendParseContext): ParseResult;
-}
-interface ReindentSpec {
-    readonly baseIndent: string;
-    readonly delta: number;
-}
-interface TextEdit {
-    readonly span: SourceSpan;
-    readonly replacement: string;
-    readonly reindent?: ReindentSpec;
-    readonly origin: string;
-}
-interface EditPlan {
-    readonly moduleId: string;
-    readonly ops: readonly RewriteOp[];
-    readonly provenance: ReadonlyMap<number, PatternName>;
-}
-interface EncodedSourceMap {
-    readonly version: 3;
-    readonly sources: readonly string[];
-    readonly sourcesContent?: readonly (string | null)[];
-    readonly names: readonly string[];
-    readonly mappings: string;
-    readonly file?: string;
-}
-interface BackendContext {
-    readonly normalizer: StyleNormalizer;
-    readonly resolver: StyleResolver;
-    readonly sink: SyntheticSink;
-    readonly eol: '\n' | '\r\n';
-    onDiagnostic(d: Diagnostic): void;
-}
-interface CodegenResult {
-    readonly code: string;
-    readonly map: EncodedSourceMap | null;
-    readonly edits: readonly TextEdit[];
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface Backend {
-    readonly name: string;
-    readonly langs: readonly FileKind[];
-    print(doc: IRDocument, plan: EditPlan, ctx: BackendContext): CodegenResult;
-}
-interface PipelineConfig {
-    readonly safety: SafetyLevel;
-    readonly fixpoint?: Partial<FixpointConfig>;
-    readonly preserveComments?: boolean;
-    readonly emitSourceMap?: boolean;
-}
-interface PipelineInput {
-    readonly code: string;
-    readonly id: string;
-    readonly kind: FileKind;
-    readonly frontend: Frontend;
-    readonly backend: Backend;
-    readonly resolver: StyleResolver;
-    readonly normalizer: StyleNormalizer;
-    readonly passes: readonly Pass[];
-    readonly config?: PipelineConfig;
-    readonly reporter?: Reporter;
-    readonly babelAst?: unknown;
-}
-interface PipelineStats {
-    readonly nodesIn: number;
-    readonly nodesOut: number;
-    readonly opsApplied: number;
-    readonly iterations: Readonly<Record<PassPhase, number>>;
-    readonly durationMs: number;
-}
-interface PipelineOutput {
-    readonly code: string;
-    readonly map: EncodedSourceMap | null;
-    readonly changed: boolean;
-    readonly touched: readonly SourceSpan[];
-    readonly diagnostics: readonly Diagnostic[];
-    readonly stats: PipelineStats;
-    readonly doc: IRDocument;
-    readonly editPlan: EditPlan;
-}
-/** The pure single-file pipeline. Adapters/orchestrator call this; the verifier reuses it. */
-interface Pipeline {
-    run(input: PipelineInput): PipelineOutput;
-}
 
-export type { EncodedSourceMap as $, AttrMap as A, BackrefTable as B, CssProperty as C, PreconditionSketch as D, ElementLike as E, FrontendKind as F, PatternDoc as G, Diagnostic as H, IRNodeId as I, ApplyResult as J, RewriteGroup as K, ApplyContext as L, MatchContext as M, NodeLike as N, RewriteOp as O, Pattern as P, FixpointConfig as Q, RewriteOpDraft as R, StyleMap as S, StyleResolver as T, SelectorIndex as U, Visitor as V, Pass as W, PassManager as X, PhaseRunResult as Y, Pipeline as Z, SyntheticSink as _, StyleConflictPolicy as a, TextEdit as a$, AppliedOp as a0, AttrValue as a1, Backend as a2, BackendContext as a3, Brand as a4, ClassListForm as a5, ClassSegment as a6, ClassToken as a7, CodegenResult as a8, CommentSpec as a9, ParentLayoutContext as aA, ParseResult as aB, PassPhase as aC, PassTraceEntry as aD, PatternName as aE, PipelineConfig as aF, PipelineInput as aG, PipelineOutput as aH, PipelineStats as aI, Position as aJ, ReindentSpec as aK, Reporter as aL, ResolveInput as aM, ResolveResult as aN, ResolverDiagnostic as aO, RewriteContext as aP, SelectorUsage as aQ, Severity as aR, SkippedOpGroup as aS, SourceFile as aT, SourceFileId as aU, StructuralInverse as aV, StyleBlock as aW, StyleDecl as aX, StyleOrigin as aY, StylePredicate as aZ, SyntheticClass as a_, CssValue as aa, DeclSignature as ab, DeepReadonly as ac, DiagnosticCode as ad, DistributiveOmit as ae, EditPlan as af, ElementSpec as ag, EmitContext as ah, EmitResult as ai, ExprKind as aj, ExprRecord as ak, ExprSpec as al, FileKind as am, FragmentSpec as an, Frontend as ao, FrontendConfig as ap, FrontendParseContext as aq, HaltReason as ar, IRNodeBase as as, IRNodeKind as at, InheritedPropertyTable as au, NodeRefSpec as av, OpOrigin as aw, OpValidationIssue as ax, OpaqueReason as ay, OpaqueToken as az, NodeSpec as b, TextSpec as b0, TreeShapeSketch as b1, VisitContext as b2, VisitSignal as b3, StyleNormalizer as c, StyleCondition as d, ConditionKey as e, IRNamespace as f, ClassList as g, InlineStyle as h, SourceSpan as i, NodeMeta as j, Backref as k, IRNode as l, IRComment as m, IRDocument as n, IRElement as o, ExprRef as p, IRExpr as q, ExprRegistry as r, IRFragment as s, IdAllocator as t, IRText as u, SafetyLevel as v, Captures as w, RewriteFactory as x, MatchResult as y, PassCategory as z };
+export type { DistributiveOmit as $, AttrMap as A, BackrefTable as B, CssProperty as C, DiagnosticCode as D, ElementLike as E, FileKind as F, FrontendKind as G, ExprRef as H, IRNodeId as I, IRExpr as J, ExprRegistry as K, IRFragment as L, IdAllocator as M, NodeLike as N, IRText as O, PatternName as P, AttrValue as Q, RewriteOpDraft as R, StyleMap as S, Brand as T, ClassListForm as U, Visitor as V, ClassSegment as W, ClassToken as X, CommentSpec as Y, CssValue as Z, DeclSignature as _, StyleConflictPolicy as a, ElementSpec as a0, EmitContext as a1, EmitResult as a2, ExprKind as a3, ExprRecord as a4, ExprSpec as a5, FragmentSpec as a6, IRNodeBase as a7, IRNodeKind as a8, InheritedPropertyTable as a9, NodeRefSpec as aa, OpOrigin as ab, OpaqueReason as ac, OpaqueToken as ad, PassTraceEntry as ae, Position as af, ResolveInput as ag, ResolveResult as ah, ResolverDiagnostic as ai, SelectorUsage as aj, Severity as ak, SourceFile as al, SourceFileId as am, StyleBlock as an, StyleDecl as ao, StyleOrigin as ap, SyntheticClass as aq, TextSpec as ar, VisitContext as as, VisitSignal as at, NodeSpec as b, StyleNormalizer as c, RewriteOp as d, IRDocument as e, SafetyLevel as f, SelectorIndex as g, StyleResolver as h, Diagnostic as i, SyntheticSink as j, SourceSpan as k, PassPhase as l, PassCategory as m, NodeMeta as n, DeepReadonly as o, IRElement as p, IRNode as q, RewriteFactory as r, Reporter as s, StyleCondition as t, ConditionKey as u, IRNamespace as v, ClassList as w, InlineStyle as x, Backref as y, IRComment as z };

package/dist/{types-BQ7l6dVe.d.cts → resolve-ops-DIwEelH-.d.ts}

@@ -1,13 +1,13 @@
 /**
- * @domflax/core — public type contract (packages/core/src/types.ts)
+ * @domflax/core — type contract, part 1/3: IR + style primitives.
  *
- * SINGLE SOURCE OF TRUTH for the whole monorepo. Pure type/interface declarations
- * only: ZERO runtime. Every downstream package imports these exact names.
+ * Pure type/interface declarations only: ZERO runtime. Covers type utilities, identity
+ * primitives, source spans, the StyleMap model, NodeMeta, author tokens, the IR node union,
+ * the expr registry / document, traversal types, and node specs. This is the bottom layer of
+ * the type contract — it imports nothing from the sibling type modules.
  *
- * Compiles under: strict, verbatimModuleSyntax, isolatedDeclarations, erasableSyntaxOnly,
- * isolatedModules. No `const enum` (TS6 erasableSyntaxOnly): every closed set is a
- * string/number literal UNION here; the matching frozen `as const` runtime objects live in
- * sibling runtime modules (constants.ts), not in this file.
+ * (`PassPhase`/`PassCategory` live here too, in the primitive layer, so the resolver/op modules
+ * can reference them without a cycle through the pass-contract module.)
  */
 type Brand<T, B extends string> = T & {
     readonly __brand: B;
@@ -34,6 +34,8 @@ interface IdAllocator {
 }
 /** SAFETY: 0 lint · 1 safe · 2 default · 3 aggressive. (Runtime `SAFETY` object lives in constants.ts.) */
 type SafetyLevel = 0 | 1 | 2 | 3;
+type PassPhase = 'flatten' | 'compress' | 'extract';
+type PassCategory = `${PassPhase}/${string}`;
 interface Position {
     readonly line: number;
     readonly column: number;
@@ -301,6 +303,15 @@ interface NodeRefSpec {
     readonly ref: IRNodeId;
 }
 type NodeSpec = ElementSpec | TextSpec | ExprSpec | FragmentSpec | CommentSpec | NodeRefSpec;
+
+/**
+ * @domflax/core — type contract, part 2/3: diagnostics, the style-resolver layer, the selector
+ * index, and the RewriteOp union + factory.
+ *
+ * Pure type/interface declarations only: ZERO runtime. Depends only on the IR/style primitives in
+ * `./ir`.
+ */
+
 type Severity = 'error' | 'warn' | 'info' | 'debug';
 type DiagnosticCode = 'DF_PATTERN_THREW' | 'DF_OP_PRECONDITION_FAILED' | 'DF_CROSSED_DYNAMIC_BOUNDARY' | 'DF_SAFETY_CEILING_EXCEEDED' | 'DF_STYLE_CONFLICT_UNRESOLVED' | 'DF_FIXPOINT_BUDGET' | 'DF_FIXPOINT_OSCILLATION' | 'DF_NON_INHERITABLE_FOLD' | 'DF_RELATIVE_UNIT_FOLD' | 'DF_CUSTOM_PROP_COUPLING' | 'DF_STRUCTURAL_PSEUDO_TARGET' | 'DF_SELECTOR_MEMBERSHIP' | 'DF_NODE_REMOVED' | 'DF_PATTERN_APPLIED' | 'DF_VERIFY_REVERTED' | 'DF_VERIFY_INCONCLUSIVE';
 interface Diagnostic {
@@ -393,6 +404,13 @@ interface StyleResolver {
     emit(styles: StyleMap, ctx: EmitContext): EmitResult;
     /** Reports every project selector referencing a class — compress safety (review-1 major). */
     selectorUsage(token: string): SelectorUsage;
+    /**
+     * OPTIONAL: produce a CSS stylesheet that defines the given class tokens, so a verifier can render
+     * a subtree with the provider's real styling applied. Tailwind generates the rules from its engine;
+     * the custom-CSS resolver returns its source stylesheets. Resolvers that cannot (the null/fake test
+     * resolvers) simply omit this — the verifier then falls back to inlining each element's computed style.
+     */
+    cssFor?(classes: readonly string[]): string;
 }
 interface SelectorIndex {
     targetedByCombinator(id: IRNodeId): boolean;
@@ -502,248 +520,5 @@ interface RewriteFactory {
     text(value: string): NodeSpec;
     keep(node: NodeLike): NodeSpec;
 }
-type PassPhase = 'flatten' | 'compress' | 'extract';
-type PassCategory = `${PassPhase}/${string}`;
-type Captures = Record<string, unknown>;
-/** Read-only style predicate over a normalized StyleMap (queries MEANING, not strings). */
-type StylePredicate = (sm: StyleMap) => boolean;
-/**
- * Relational precondition (review-2 blocker): describes ancestor/sibling/child subtree shape AND
- * ancestor LAYOUT context (review-4 blocker) so fuzzProve generates trees that exercise the
- * relational + parent-constraint branches, not just node-local ones.
- */
-interface TreeShapeSketch {
-    readonly tag?: string | readonly string[];
-    readonly requiredComputed?: Readonly<Record<string, string>>;
-    readonly meta?: Partial<Record<keyof NodeMeta, boolean>>;
-    readonly children?: readonly TreeShapeSketch[];
-}
-type ParentLayoutContext = 'block-flow' | 'flex-item' | 'flex-item-stretch' | 'grid-item' | 'fixed-size-ancestor' | 'percentage-sized-child' | 'inline-context';
-interface PreconditionSketch {
-    readonly requiredComputed?: Readonly<Record<string, string>>;
-    readonly childCount?: {
-        readonly min?: number;
-        readonly max?: number;
-    };
-    readonly forbid?: readonly string[];
-    readonly ancestor?: TreeShapeSketch;
-    readonly siblings?: readonly TreeShapeSketch[];
-    readonly childShapes?: readonly TreeShapeSketch[];
-    readonly parentContexts?: readonly ParentLayoutContext[];
-}
-interface PatternDoc {
-    readonly title: string;
-    readonly summary: string;
-    readonly before?: string;
-    readonly after?: string;
-    readonly safetyRationale?: string;
-}
-/** Result of a successful match: op drafts (origin stamped later) + optional captures/diagnostics. */
-interface MatchResult<C extends Captures = Captures> {
-    readonly ops: readonly RewriteOpDraft[];
-    readonly captures?: C;
-    readonly diagnostics?: readonly Diagnostic[];
-}
-interface MatchContext {
-    readonly node: DeepReadonly<IRElement>;
-    readonly doc: DeepReadonly<IRDocument>;
-    readonly resolver: StyleResolver;
-    readonly selectors: SelectorIndex;
-    readonly safety: SafetyLevel;
-    readonly phase: PassPhase;
-    readonly iteration: number;
-    parent(): DeepReadonly<IRElement> | null;
-    elementChildren(): readonly DeepReadonly<IRElement>[];
-    onlyElementChild(): DeepReadonly<IRElement> | null;
-    computed(): StyleMap;
-    computedOf(n: NodeLike): StyleMap;
-    isOpaque(n?: ElementLike): boolean;
-    ancestors(): readonly DeepReadonly<IRElement>[];
-    closest(pred: (el: DeepReadonly<IRElement>) => boolean): DeepReadonly<IRElement> | null;
-    prevSibling(): DeepReadonly<IRNode> | null;
-    nextSibling(): DeepReadonly<IRNode> | null;
-    nthChildIndex(): number;
-}
-/** Context handed to the `rewrite` phase: a MatchContext plus the typed captures. */
-interface RewriteContext<C extends Captures = Captures> extends MatchContext {
-    readonly captures: C;
-}
-interface Pattern {
-    readonly name: PatternName;
-    readonly category: PassCategory;
-    readonly safety: SafetyLevel;
-    readonly priority?: number;
-    readonly precondition?: PreconditionSketch;
-    readonly doc?: PatternDoc;
-    /** Pure. Returns a MatchResult (op drafts) or null on no-match. MUST NOT mutate. */
-    evaluate(ctx: MatchContext, rw: RewriteFactory): MatchResult | null;
-}
-interface Pass {
-    readonly phase: PassPhase;
-    readonly category: PassCategory;
-    readonly patterns: readonly Pattern[];
-}
-interface FixpointConfig {
-    readonly maxIterations: number;
-    readonly phases: Partial<Record<PassPhase, number>>;
-    readonly onBudgetExhausted: 'warn' | 'error';
-    readonly detectOscillation: boolean;
-}
-type HaltReason = 'converged' | 'budget' | 'oscillation' | 'error';
-interface PhaseRunResult {
-    readonly phase: PassPhase;
-    readonly iterations: number;
-    readonly converged: boolean;
-    readonly haltReason: HaltReason;
-    readonly touched: ReadonlySet<IRNodeId>;
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface RewriteGroup {
-    readonly pattern: PatternName;
-    readonly anchor: IRNodeId;
-    readonly ops: readonly RewriteOp[];
-}
-interface ApplyContext {
-    readonly doc: IRDocument;
-    readonly safetyCeiling: SafetyLevel;
-    readonly normalizer: StyleNormalizer;
-    readonly selectors: SelectorIndex;
-    readonly resolver: StyleResolver;
-}
-interface StructuralInverse {
-    readonly kind: 'structural';
-    readonly describe: string;
-    readonly snapshot: unknown;
-}
-interface AppliedOp {
-    readonly op: RewriteOp;
-    readonly inverse: RewriteOp | StructuralInverse;
-}
-interface OpValidationIssue {
-    readonly op: RewriteOp;
-    readonly code: DiagnosticCode;
-    readonly message: string;
-}
-interface SkippedOpGroup {
-    readonly group: RewriteGroup;
-    readonly issues: readonly OpValidationIssue[];
-}
-interface ApplyResult {
-    readonly touched: ReadonlySet<IRNodeId>;
-    readonly removed: ReadonlySet<IRNodeId>;
-    readonly created: ReadonlySet<IRNodeId>;
-    readonly appliedGroups: number;
-    readonly skipped: readonly SkippedOpGroup[];
-    readonly journal: readonly AppliedOp[];
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface PassManager {
-    run(doc: IRDocument, ctx: ApplyContext, config?: FixpointConfig): readonly PhaseRunResult[];
-}
-interface FrontendConfig {
-    readonly jsxImportSource?: string;
-    readonly preserveComments?: boolean;
-    readonly [key: string]: unknown;
-}
-interface FrontendParseContext {
-    readonly id: string;
-    readonly kind: FileKind;
-    readonly resolver: StyleResolver;
-    readonly normalizer: StyleNormalizer;
-    readonly config: FrontendConfig;
-    onDiagnostic(d: Diagnostic): void;
-    babelAst?: unknown;
-}
-interface ParseResult {
-    readonly doc: IRDocument;
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface Frontend {
-    readonly name: string;
-    readonly langs: readonly FileKind[];
-    canParse(id: string, code: string): boolean;
-    parse(code: string, ctx: FrontendParseContext): ParseResult;
-}
-interface ReindentSpec {
-    readonly baseIndent: string;
-    readonly delta: number;
-}
-interface TextEdit {
-    readonly span: SourceSpan;
-    readonly replacement: string;
-    readonly reindent?: ReindentSpec;
-    readonly origin: string;
-}
-interface EditPlan {
-    readonly moduleId: string;
-    readonly ops: readonly RewriteOp[];
-    readonly provenance: ReadonlyMap<number, PatternName>;
-}
-interface EncodedSourceMap {
-    readonly version: 3;
-    readonly sources: readonly string[];
-    readonly sourcesContent?: readonly (string | null)[];
-    readonly names: readonly string[];
-    readonly mappings: string;
-    readonly file?: string;
-}
-interface BackendContext {
-    readonly normalizer: StyleNormalizer;
-    readonly resolver: StyleResolver;
-    readonly sink: SyntheticSink;
-    readonly eol: '\n' | '\r\n';
-    onDiagnostic(d: Diagnostic): void;
-}
-interface CodegenResult {
-    readonly code: string;
-    readonly map: EncodedSourceMap | null;
-    readonly edits: readonly TextEdit[];
-    readonly diagnostics: readonly Diagnostic[];
-}
-interface Backend {
-    readonly name: string;
-    readonly langs: readonly FileKind[];
-    print(doc: IRDocument, plan: EditPlan, ctx: BackendContext): CodegenResult;
-}
-interface PipelineConfig {
-    readonly safety: SafetyLevel;
-    readonly fixpoint?: Partial<FixpointConfig>;
-    readonly preserveComments?: boolean;
-    readonly emitSourceMap?: boolean;
-}
-interface PipelineInput {
-    readonly code: string;
-    readonly id: string;
-    readonly kind: FileKind;
-    readonly frontend: Frontend;
-    readonly backend: Backend;
-    readonly resolver: StyleResolver;
-    readonly normalizer: StyleNormalizer;
-    readonly passes: readonly Pass[];
-    readonly config?: PipelineConfig;
-    readonly reporter?: Reporter;
-    readonly babelAst?: unknown;
-}
-interface PipelineStats {
-    readonly nodesIn: number;
-    readonly nodesOut: number;
-    readonly opsApplied: number;
-    readonly iterations: Readonly<Record<PassPhase, number>>;
-    readonly durationMs: number;
-}
-interface PipelineOutput {
-    readonly code: string;
-    readonly map: EncodedSourceMap | null;
-    readonly changed: boolean;
-    readonly touched: readonly SourceSpan[];
-    readonly diagnostics: readonly Diagnostic[];
-    readonly stats: PipelineStats;
-    readonly doc: IRDocument;
-    readonly editPlan: EditPlan;
-}
-/** The pure single-file pipeline. Adapters/orchestrator call this; the verifier reuses it. */
-interface Pipeline {
-    run(input: PipelineInput): PipelineOutput;
-}
 
-export type { EncodedSourceMap as $, AttrMap as A, BackrefTable as B, CssProperty as C, PreconditionSketch as D, ElementLike as E, FrontendKind as F, PatternDoc as G, Diagnostic as H, IRNodeId as I, ApplyResult as J, RewriteGroup as K, ApplyContext as L, MatchContext as M, NodeLike as N, RewriteOp as O, Pattern as P, FixpointConfig as Q, RewriteOpDraft as R, StyleMap as S, StyleResolver as T, SelectorIndex as U, Visitor as V, Pass as W, PassManager as X, PhaseRunResult as Y, Pipeline as Z, SyntheticSink as _, StyleConflictPolicy as a, TextEdit as a$, AppliedOp as a0, AttrValue as a1, Backend as a2, BackendContext as a3, Brand as a4, ClassListForm as a5, ClassSegment as a6, ClassToken as a7, CodegenResult as a8, CommentSpec as a9, ParentLayoutContext as aA, ParseResult as aB, PassPhase as aC, PassTraceEntry as aD, PatternName as aE, PipelineConfig as aF, PipelineInput as aG, PipelineOutput as aH, PipelineStats as aI, Position as aJ, ReindentSpec as aK, Reporter as aL, ResolveInput as aM, ResolveResult as aN, ResolverDiagnostic as aO, RewriteContext as aP, SelectorUsage as aQ, Severity as aR, SkippedOpGroup as aS, SourceFile as aT, SourceFileId as aU, StructuralInverse as aV, StyleBlock as aW, StyleDecl as aX, StyleOrigin as aY, StylePredicate as aZ, SyntheticClass as a_, CssValue as aa, DeclSignature as ab, DeepReadonly as ac, DiagnosticCode as ad, DistributiveOmit as ae, EditPlan as af, ElementSpec as ag, EmitContext as ah, EmitResult as ai, ExprKind as aj, ExprRecord as ak, ExprSpec as al, FileKind as am, FragmentSpec as an, Frontend as ao, FrontendConfig as ap, FrontendParseContext as aq, HaltReason as ar, IRNodeBase as as, IRNodeKind as at, InheritedPropertyTable as au, NodeRefSpec as av, OpOrigin as aw, OpValidationIssue as ax, OpaqueReason as ay, OpaqueToken as az, NodeSpec as b, TextSpec as b0, TreeShapeSketch as b1, VisitContext as b2, VisitSignal as b3, StyleNormalizer as c, StyleCondition as d, ConditionKey as e, IRNamespace as f, ClassList as g, InlineStyle as h, SourceSpan as i, NodeMeta as j, Backref as k, IRNode as l, IRComment as m, IRDocument as n, IRElement as o, ExprRef as p, IRExpr as q, ExprRegistry as r, IRFragment as s, IdAllocator as t, IRText as u, SafetyLevel as v, Captures as w, RewriteFactory as x, MatchResult as y, PassCategory as z };
+export type { DistributiveOmit as $, AttrMap as A, BackrefTable as B, CssProperty as C, DiagnosticCode as D, ElementLike as E, FileKind as F, FrontendKind as G, ExprRef as H, IRNodeId as I, IRExpr as J, ExprRegistry as K, IRFragment as L, IdAllocator as M, NodeLike as N, IRText as O, PatternName as P, AttrValue as Q, RewriteOpDraft as R, StyleMap as S, Brand as T, ClassListForm as U, Visitor as V, ClassSegment as W, ClassToken as X, CommentSpec as Y, CssValue as Z, DeclSignature as _, StyleConflictPolicy as a, ElementSpec as a0, EmitContext as a1, EmitResult as a2, ExprKind as a3, ExprRecord as a4, ExprSpec as a5, FragmentSpec as a6, IRNodeBase as a7, IRNodeKind as a8, InheritedPropertyTable as a9, NodeRefSpec as aa, OpOrigin as ab, OpaqueReason as ac, OpaqueToken as ad, PassTraceEntry as ae, Position as af, ResolveInput as ag, ResolveResult as ah, ResolverDiagnostic as ai, SelectorUsage as aj, Severity as ak, SourceFile as al, SourceFileId as am, StyleBlock as an, StyleDecl as ao, StyleOrigin as ap, SyntheticClass as aq, TextSpec as ar, VisitContext as as, VisitSignal as at, NodeSpec as b, StyleNormalizer as c, RewriteOp as d, IRDocument as e, SafetyLevel as f, SelectorIndex as g, StyleResolver as h, Diagnostic as i, SyntheticSink as j, SourceSpan as k, PassPhase as l, PassCategory as m, NodeMeta as n, DeepReadonly as o, IRElement as p, IRNode as q, RewriteFactory as r, Reporter as s, StyleCondition as t, ConditionKey as u, IRNamespace as v, ClassList as w, InlineStyle as x, Backref as y, IRComment as z };

package/dist/verify.d.cts

@@ -1,4 +1,4 @@
-import { H as Diagnostic } from './types-BQ7l6dVe.cjs';
+import { i as Diagnostic } from './resolve-ops-DIwEelH-.cjs';
 
 /**
  * @domflax/verify — public type contract (TYPED STUB)

package/dist/verify.d.ts

@@ -1,4 +1,4 @@
-import { H as Diagnostic } from './types-BQ7l6dVe.js';
+import { i as Diagnostic } from './resolve-ops-DIwEelH-.js';
 
 /**
  * @domflax/verify — public type contract (TYPED STUB)