praxis-kit 4.0.1 → 4.0.3

package/dist/contract/index.d.ts

@@ -1,4 +1,5 @@
-import { Except, RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
+import { Diagnostics as Diagnostics$1, DiagnosticInput } from '../_shared/diagnostics.js';
+import { RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
 
 type StringMap<T = unknown> = Record<string, T>;
 type AnyRecord = StringMap<unknown>;
@@ -22,148 +23,6 @@ type IntrinsicProps = AnyRecord & {
 };
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
-declare enum DiagnosticCategory {
-    Contract = 0,
-    HTML = 1,
-    ARIA = 2,
-    Composition = 3,
-    Rendering = 4,
-    Accessibility = 5,
-    Performance = 6,
-    Internal = 7,
-    Deprecation = 8,
-    Lint = 9
-}
-
-declare enum DiagnosticCode {
-    MissingRequiredChild = "COMP1001",
-    InvalidParent = "COMP1002",
-    InvalidChild = "COMP1003",
-    UnexpectedChild = "COMP1004",
-    AmbiguousChild = "COMP1005",
-    CardinalityMin = "COMP1006",
-    CardinalityMax = "COMP1007",
-    PositionViolation = "COMP1008",
-    AllowedAsViolation = "COMP1009",
-    SlotExclusive = "SLOT1001",
-    SlotSingleChild = "SLOT1002",
-    SlotDiscardedChildren = "SLOT1003",
-    SlotRenderFn = "SLOT1004",
-    MissingAriaRelationship = "ARIA2001",
-    AriaViolation = "ARIA2002",
-    AriaAttributeInvalid = "ARIA2003",
-    AriaMissingLiveRegion = "ARIA2004",
-    AriaMissingAtomic = "ARIA2005",
-    AriaRelevantInvalidToken = "ARIA2006",
-    AriaRelevantSuperseded = "ARIA2007",
-    AriaInvalidRole = "ARIA2008",
-    AriaMissingAccessibleName = "ARIA2009",
-    AriaAttributeOnPresentational = "ARIA2010",
-    AriaHiddenOnFocusable = "ARIA2011",
-    AriaRequiredProperty = "ARIA2012",
-    AriaInvalidAttributeValue = "ARIA2013",
-    AriaRedundantLevelAttribute = "ARIA2014",
-    InvalidHeadingHierarchy = "HTML3001",
-    HtmlEmptyRole = "HTML3002",
-    HtmlImplicitRoleRedundant = "HTML3003",
-    HtmlImplicitRoleOverride = "HTML3004",
-    HtmlStandaloneRegionOverride = "HTML3005",
-    HtmlLandmarkRoleOverride = "HTML3006",
-    HtmlInvalidChild = "HTML3007",
-    InvalidRenderingTarget = "RENDER4001",
-    LintDeadCompoundKey = "LINT5001",
-    LintDeadCompoundValue = "LINT5002",
-    LintDeadCompoundNonLiteral = "LINT5003",
-    LintMissingStrict = "LINT5004",
-    LintInvalidDefaultKey = "LINT5005",
-    LintInvalidDefaultValue = "LINT5006",
-    LintInvalidDefaultNonLiteral = "LINT5007",
-    LintNegativeMin = "LINT5008",
-    LintNegativeMax = "LINT5009",
-    LintMaxLessThanMin = "LINT5010",
-    LintZeroMax = "LINT5011",
-    LintMultipleFirst = "LINT5012",
-    LintMultipleLast = "LINT5013",
-    LintMinSumExceedsCapacity = "LINT5014",
-    LintCardinalityViolation = "LINT5015",
-    LintAriaTagOverride = "LINT5016",
-    ContractUnknownVariantDim = "COMP1010",
-    ContractUnknownVariantValue = "COMP1011",
-    ContractUnknownRecipeKey = "COMP1012",
-    ContractInvalidVariantValue = "COMP1013",
-    TailwindMultipleDisplayProps = "CSS6001",
-    TailwindReservedLayoutLiteral = "CSS6002",
-    TailwindDeadVariantClass = "CSS6003",
-    PluginInvalidShape = "PLUGIN7001",
-    PluginPipelineReturnType = "PLUGIN7002",
-    InternalError = "INTERNAL9000"
-}
-
-interface SourcePosition {
-    line: number;
-    col: number;
-}
-interface SourceLocation {
-    file: string;
-    start: SourcePosition;
-    end?: SourcePosition;
-}
-
-declare enum Severity$1 {
-    Debug = 0,
-    Info = 1,
-    Warning = 2,
-    Error = 3,
-    Fatal = 4
-}
-
-interface DiagnosticSuggestion {
-    title: string;
-    description?: string;
-    fix?: string;
-}
-
-type Context = AnyRecord;
-type Metadata = AnyRecord;
-interface Diagnostic {
-    code: DiagnosticCode;
-    severity: Severity$1;
-    category: DiagnosticCategory;
-    message: string;
-    rationale?: string;
-    component?: string;
-    contract?: string;
-    location?: SourceLocation;
-    suggestions?: DiagnosticSuggestion[];
-    context?: Context;
-    metadata?: Metadata;
-}
-
-declare enum Enforcement {
-    Ignore = 0,
-    Report = 1,
-    Throw = 2
-}
-interface DiagnosticPolicy {
-    resolve(diagnostic: Diagnostic): Enforcement;
-}
-
-interface DiagnosticReporter {
-    report(diagnostic: Diagnostic): void;
-}
-
-type DiagnosticInput = Except<Diagnostic, 'severity'>;
-declare class Diagnostics {
-    private readonly reporter;
-    private readonly policy;
-    readonly active: boolean;
-    constructor(reporter: DiagnosticReporter, policy?: DiagnosticPolicy);
-    report(diagnostic: Diagnostic): Diagnostic;
-    warn(input: DiagnosticInput): Diagnostic;
-    error(input: DiagnosticInput): Diagnostic;
-    info(input: DiagnosticInput): Diagnostic;
-}
-
 type MinMax = {
     min: number;
     max: number;
@@ -271,7 +130,7 @@ type ClassPlugin<TProps extends AnyRecord = EmptyRecord> = Readonly<{
     readonly _pluginProps?: TProps;
 }>;
 
-type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, diagnostics: Diagnostics) => ClassPlugin<TProps>;
+type ClassPluginFactory<TProps extends AnyRecord = EmptyRecord> = <V extends VariantMap>(options: ClassPipelineOptions<V>, diagnostics: Diagnostics$1) => ClassPlugin<TProps>;
 
 type AriaContext = {
     readonly tag: IntrinsicTag;
@@ -323,7 +182,7 @@ type AriaRule<C extends AriaContext = AriaContext> = (context: C) => readonly Ar
 type PropNormalizer = (props: Readonly<AnyRecord & IntrinsicProps>) => Partial<AnyRecord & IntrinsicProps>;
 
 type EnforcementOptions<TAllowed extends ElementType = ElementType> = {
-    readonly diagnostics?: Diagnostics;
+    readonly diagnostics?: Diagnostics$1;
     readonly aria?: readonly AriaRule[];
     readonly children?: readonly ChildRuleInput[];
     readonly props?: readonly PropNormalizer[];
@@ -382,4 +241,6 @@ declare const selectedContract: EnforcementOptions;
 
 declare function mergeContracts(...contracts: readonly EnforcementOptions[]): EnforcementOptions;
 
-export { type AnyFactoryOptions, type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };
+type Diagnostics = Diagnostics$1;
+
+export { type AnyFactoryOptions, type Diagnostics, type PropNormalizer, activeContract, activeProps, disabledContract, disabledProps, expandedContract, expandedProps, invalidContract, invalidProps, loadingContract, loadingProps, mergeContracts, pressedContract, pressedProps, readonlyContract, readonlyProps, selectedContract, selectedProps };

package/dist/eslint/index.js

@@ -5,7 +5,11 @@ var __getOwnPropNames = Object.getOwnPropertyNames;
 var __getProtoOf = Object.getPrototypeOf;
 var __hasOwnProp = Object.prototype.hasOwnProperty;
 var __commonJS = (cb, mod) => function __require() {
-  return mod || (0, cb[__getOwnPropNames(cb)[0]])((mod = { exports: {} }).exports, mod), mod.exports;
+  try {
+    return mod || (0, cb[__getOwnPropNames(cb)[0]])((mod = { exports: {} }).exports, mod), mod.exports;
+  } catch (e) {
+    throw mod = 0, e;
+  }
 };
 var __copyProps = (to, from, except, desc) => {
   if (from && typeof from === "object" || typeof from === "function") {
@@ -24,9 +28,9 @@ var __toESM = (mod, isNodeMode, target) => (target = mod != null ? __create(__ge
   mod
 ));
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/deepMerge.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/deepMerge.js
 var require_deepMerge = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/deepMerge.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/deepMerge.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.isObjectNotArray = isObjectNotArray;
@@ -59,9 +63,9 @@ var require_deepMerge = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/applyDefault.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/applyDefault.js
 var require_applyDefault = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/applyDefault.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/applyDefault.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.applyDefault = applyDefault;
@@ -86,9 +90,9 @@ var require_applyDefault = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/parserSeemsToBeTSESLint.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/parserSeemsToBeTSESLint.js
 var require_parserSeemsToBeTSESLint = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/parserSeemsToBeTSESLint.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/parserSeemsToBeTSESLint.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.parserSeemsToBeTSESLint = parserSeemsToBeTSESLint;
@@ -98,9 +102,9 @@ var require_parserSeemsToBeTSESLint = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/getParserServices.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/getParserServices.js
 var require_getParserServices = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/getParserServices.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/getParserServices.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.getParserServices = getParserServices;
@@ -131,17 +135,17 @@ var require_getParserServices = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/InferTypesFromRule.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/InferTypesFromRule.js
 var require_InferTypesFromRule = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/InferTypesFromRule.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/InferTypesFromRule.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/nullThrows.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/nullThrows.js
 var require_nullThrows = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/nullThrows.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/nullThrows.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.NullThrowsReasons = void 0;
@@ -159,9 +163,9 @@ var require_nullThrows = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/RuleCreator.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/RuleCreator.js
 var require_RuleCreator = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/RuleCreator.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/RuleCreator.js"(exports) {
     "use strict";
     Object.defineProperty(exports, "__esModule", { value: true });
     exports.RuleCreator = RuleCreator8;
@@ -207,9 +211,9 @@ var require_RuleCreator = __commonJS({
   }
 });
 
-// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/index.js
+// ../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/index.js
 var require_eslint_utils = __commonJS({
-  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.5.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/index.js"(exports) {
+  "../../node_modules/.pnpm/@typescript-eslint+utils@8.60.0_eslint@10.6.0_jiti@2.7.0__typescript@6.0.3/node_modules/@typescript-eslint/utils/dist/eslint-utils/index.js"(exports) {
     "use strict";
     var __createBinding = exports && exports.__createBinding || (Object.create ? (function(o, m, k, k2) {
       if (k2 === void 0) k2 = k;

package/dist/lit/index.d.ts

@@ -1,4 +1,5 @@
-import { Except, RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
+import { RequireAtLeastOne, Simplify, ReadonlyDeep } from 'type-fest';
+import { Diagnostics, DiagnosticInput } from '../_shared/diagnostics.js';
 import { LitElement } from 'lit';
 
 type StringMap<T = unknown> = Record<string, T>;
@@ -23,148 +24,6 @@ type IntrinsicProps = AnyRecord & {
 };
 type TagMap = Partial<Record<IntrinsicTag | (string & {}), ClassName>>;
 
-declare enum DiagnosticCategory {
-    Contract = 0,
-    HTML = 1,
-    ARIA = 2,
-    Composition = 3,
-    Rendering = 4,
-    Accessibility = 5,
-    Performance = 6,
-    Internal = 7,
-    Deprecation = 8,
-    Lint = 9
-}
-
-declare enum DiagnosticCode {
-    MissingRequiredChild = "COMP1001",
-    InvalidParent = "COMP1002",
-    InvalidChild = "COMP1003",
-    UnexpectedChild = "COMP1004",
-    AmbiguousChild = "COMP1005",
-    CardinalityMin = "COMP1006",
-    CardinalityMax = "COMP1007",
-    PositionViolation = "COMP1008",
-    AllowedAsViolation = "COMP1009",
-    SlotExclusive = "SLOT1001",
-    SlotSingleChild = "SLOT1002",
-    SlotDiscardedChildren = "SLOT1003",
-    SlotRenderFn = "SLOT1004",
-    MissingAriaRelationship = "ARIA2001",
-    AriaViolation = "ARIA2002",
-    AriaAttributeInvalid = "ARIA2003",
-    AriaMissingLiveRegion = "ARIA2004",
-    AriaMissingAtomic = "ARIA2005",
-    AriaRelevantInvalidToken = "ARIA2006",
-    AriaRelevantSuperseded = "ARIA2007",
-    AriaInvalidRole = "ARIA2008",
-    AriaMissingAccessibleName = "ARIA2009",
-    AriaAttributeOnPresentational = "ARIA2010",
-    AriaHiddenOnFocusable = "ARIA2011",
-    AriaRequiredProperty = "ARIA2012",
-    AriaInvalidAttributeValue = "ARIA2013",
-    AriaRedundantLevelAttribute = "ARIA2014",
-    InvalidHeadingHierarchy = "HTML3001",
-    HtmlEmptyRole = "HTML3002",
-    HtmlImplicitRoleRedundant = "HTML3003",
-    HtmlImplicitRoleOverride = "HTML3004",
-    HtmlStandaloneRegionOverride = "HTML3005",
-    HtmlLandmarkRoleOverride = "HTML3006",
-    HtmlInvalidChild = "HTML3007",
-    InvalidRenderingTarget = "RENDER4001",
-    LintDeadCompoundKey = "LINT5001",
-    LintDeadCompoundValue = "LINT5002",
-    LintDeadCompoundNonLiteral = "LINT5003",
-    LintMissingStrict = "LINT5004",
-    LintInvalidDefaultKey = "LINT5005",
-    LintInvalidDefaultValue = "LINT5006",
-    LintInvalidDefaultNonLiteral = "LINT5007",
-    LintNegativeMin = "LINT5008",
-    LintNegativeMax = "LINT5009",
-    LintMaxLessThanMin = "LINT5010",
-    LintZeroMax = "LINT5011",
-    LintMultipleFirst = "LINT5012",
-    LintMultipleLast = "LINT5013",
-    LintMinSumExceedsCapacity = "LINT5014",
-    LintCardinalityViolation = "LINT5015",
-    LintAriaTagOverride = "LINT5016",
-    ContractUnknownVariantDim = "COMP1010",
-    ContractUnknownVariantValue = "COMP1011",
-    ContractUnknownRecipeKey = "COMP1012",
-    ContractInvalidVariantValue = "COMP1013",
-    TailwindMultipleDisplayProps = "CSS6001",
-    TailwindReservedLayoutLiteral = "CSS6002",
-    TailwindDeadVariantClass = "CSS6003",
-    PluginInvalidShape = "PLUGIN7001",
-    PluginPipelineReturnType = "PLUGIN7002",
-    InternalError = "INTERNAL9000"
-}
-
-interface SourcePosition {
-    line: number;
-    col: number;
-}
-interface SourceLocation {
-    file: string;
-    start: SourcePosition;
-    end?: SourcePosition;
-}
-
-declare enum Severity$1 {
-    Debug = 0,
-    Info = 1,
-    Warning = 2,
-    Error = 3,
-    Fatal = 4
-}
-
-interface DiagnosticSuggestion {
-    title: string;
-    description?: string;
-    fix?: string;
-}
-
-type Context = AnyRecord;
-type Metadata = AnyRecord;
-interface Diagnostic {
-    code: DiagnosticCode;
-    severity: Severity$1;
-    category: DiagnosticCategory;
-    message: string;
-    rationale?: string;
-    component?: string;
-    contract?: string;
-    location?: SourceLocation;
-    suggestions?: DiagnosticSuggestion[];
-    context?: Context;
-    metadata?: Metadata;
-}
-
-declare enum Enforcement {
-    Ignore = 0,
-    Report = 1,
-    Throw = 2
-}
-interface DiagnosticPolicy {
-    resolve(diagnostic: Diagnostic): Enforcement;
-}
-
-interface DiagnosticReporter {
-    report(diagnostic: Diagnostic): void;
-}
-
-type DiagnosticInput = Except<Diagnostic, 'severity'>;
-declare class Diagnostics {
-    private readonly reporter;
-    private readonly policy;
-    readonly active: boolean;
-    constructor(reporter: DiagnosticReporter, policy?: DiagnosticPolicy);
-    report(diagnostic: Diagnostic): Diagnostic;
-    warn(input: DiagnosticInput): Diagnostic;
-    error(input: DiagnosticInput): Diagnostic;
-    info(input: DiagnosticInput): Diagnostic;
-}
-
 type MinMax = {
     min: number;
     max: number;