declare const CoreDiagnostics: {
  EFFX0001: Definition<
    {
      readonly severityPolicy: {
        readonly kind: "named"
        readonly name: "typescript-major-skew"
        readonly allowedSeverities: readonly ["info", "warning"]
        readonly description: "Same-major skew is info; different-major skew is warning."
      }
      readonly code: "EFFX0001"
      readonly owner: string
      readonly title: string
      readonly severity: "error" | "warning" | "info"
      readonly explanation: string
      readonly examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly analysisVersion: Schema.String; readonly projectPin: Schema.String }>
  >
  EFFX0010: Definition<
    {
      code: "EFFX0010"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly InvalidRegistry: Schema.TaggedStruct<
        "InvalidRegistry",
        { readonly owner: Schema.String; readonly registryIssue: Schema.String }
      >
      readonly InvalidEntry: Schema.TaggedStruct<
        "InvalidEntry",
        { readonly owner: Schema.String; readonly schemaIssue: Schema.String }
      >
      readonly DuplicateCode: Schema.TaggedStruct<
        "DuplicateCode",
        { readonly code: Schema.String; readonly firstOwner: Schema.String; readonly secondOwner: Schema.String }
      >
      readonly UndeclaredCode: Schema.TaggedStruct<
        "UndeclaredCode",
        { readonly owner: Schema.String; readonly code: Schema.String }
      >
      readonly SeverityMismatch: Schema.TaggedStruct<
        "SeverityMismatch",
        {
          readonly owner: Schema.String
          readonly code: Schema.String
          readonly actualSeverity: Schema.String
          readonly policy: Schema.String
        }
      >
    }>
  >
  EFFX1001: Definition<
    {
      code: "EFFX1001"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly id: Schema.String }>
  >
  EFFX1002: Definition<
    {
      code: "EFFX1002"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{
      readonly kind: Schema.String
      readonly from: Schema.String
      readonly to: Schema.String
      readonly missing: Schema.$Array<Schema.String>
    }>
  >
  EFFX1003: Definition<
    {
      code: "EFFX1003"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly id: Schema.String }>
  >
  EFFX1101: Definition<
    {
      code: "EFFX1101"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly annotation: Schema.String; readonly subject: Schema.String }>
  >
  EFFX1102: Definition<
    {
      code: "EFFX1102"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Decode: Schema.TaggedStruct<
        "Decode",
        { readonly annotation: Schema.String; readonly subject: Schema.String; readonly schemaIssue: Schema.String }
      >
      readonly Lowering: Schema.TaggedStruct<
        "Lowering",
        {
          readonly subject: Schema.String
          readonly source: Schema.String
          readonly reason: Schema.TaggedUnion<{
            readonly ComputedKey: Schema.TaggedStruct<"ComputedKey", {}>
            readonly FocusSegments: Schema.TaggedStruct<"FocusSegments", {}>
            readonly CapabilityOptions: Schema.TaggedStruct<"CapabilityOptions", {}>
            readonly ResourceModel: Schema.TaggedStruct<"ResourceModel", {}>
            readonly FocusPath: Schema.TaggedStruct<"FocusPath", {}>
            readonly ObjectProperty: Schema.TaggedStruct<"ObjectProperty", {}>
            readonly AnnotateNameMissing: Schema.TaggedStruct<"AnnotateNameMissing", {}>
            readonly AnnotateNameLiteral: Schema.TaggedStruct<"AnnotateNameLiteral", {}>
            readonly SchemaFields: Schema.TaggedStruct<"SchemaFields", {}>
            readonly RuntimeCall: Schema.TaggedStruct<"RuntimeCall", {}>
            readonly UnresolvedSymbol: Schema.TaggedStruct<"UnresolvedSymbol", {}>
            readonly HttpRoot: Schema.TaggedStruct<"HttpRoot", {}>
            readonly HttpRootIdentifier: Schema.TaggedStruct<"HttpRootIdentifier", {}>
            readonly SchemaExport: Schema.TaggedStruct<"SchemaExport", {}>
            readonly ServiceExport: Schema.TaggedStruct<"ServiceExport", {}>
            readonly TupleUnresolved: Schema.TaggedStruct<"TupleUnresolved", {}>
            readonly TupleCycle: Schema.TaggedStruct<"TupleCycle", {}>
            readonly TupleConst: Schema.TaggedStruct<"TupleConst", {}>
            readonly TupleLiteral: Schema.TaggedStruct<"TupleLiteral", {}>
            readonly TupleReadonly: Schema.TaggedStruct<"TupleReadonly", {}>
            readonly TupleMismatch: Schema.TaggedStruct<"TupleMismatch", {}>
            readonly StaticStrings: Schema.TaggedStruct<
              "StaticStrings",
              {
                readonly constructor: Schema.Literals<
                  readonly ["Capability.one", "Capability.any", "Capability.all", "Concealment.notFound"]
                >
              }
            >
            readonly StringArity: Schema.TaggedStruct<
              "StringArity",
              {
                readonly constructor: Schema.Literals<
                  readonly ["Capability.one", "Capability.any", "Capability.all", "Concealment.notFound"]
                >
              }
            >
            readonly DuplicateField: Schema.TaggedStruct<"DuplicateField", { readonly field: Schema.String }>
            readonly DefinitionSymbol: Schema.TaggedStruct<"DefinitionSymbol", { readonly expectation: Schema.String }>
            readonly TupleElement: Schema.TaggedStruct<"TupleElement", { readonly source: Schema.String }>
            readonly UnsupportedType: Schema.TaggedStruct<"UnsupportedType", { readonly display: Schema.String }>
            readonly ExpressionKind: Schema.TaggedStruct<"ExpressionKind", { readonly kind: Schema.String }>
          }>
        }
      >
      readonly EffectArgument: Schema.TaggedStruct<
        "EffectArgument",
        {
          readonly subject: Schema.String
          readonly annotation: Schema.String
          readonly path: Schema.String
          readonly kind: Schema.Literals<readonly ["Lambda", "non-finite number"]>
        }
      >
    }>
  >
  EFFX1103: Definition<
    {
      code: "EFFX1103"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly annotation: Schema.String; readonly subject: Schema.String }>
  >
  EFFX1104: Definition<
    {
      code: "EFFX1104"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly UnknownStep: Schema.TaggedStruct<
        "UnknownStep",
        { readonly step: Schema.String; readonly subject: Schema.String }
      >
      readonly BareDecorator: Schema.TaggedStruct<
        "BareDecorator",
        { readonly annotation: Schema.String; readonly subject: Schema.String }
      >
      readonly ClassDecorator: Schema.TaggedStruct<
        "ClassDecorator",
        { readonly annotation: Schema.String; readonly subject: Schema.String }
      >
      readonly GroupExport: Schema.TaggedStruct<"GroupExport", { subject: Schema.String }>
      readonly ModelExport: Schema.TaggedStruct<"ModelExport", { subject: Schema.String }>
      readonly ModelOptions: Schema.TaggedStruct<"ModelOptions", { subject: Schema.String }>
      readonly GroupMethod: Schema.TaggedStruct<"GroupMethod", { subject: Schema.String }>
      readonly StaticMethod: Schema.TaggedStruct<"StaticMethod", { subject: Schema.String }>
      readonly OperationClassExport: Schema.TaggedStruct<"OperationClassExport", { subject: Schema.String }>
      readonly BuilderExport: Schema.TaggedStruct<"BuilderExport", { subject: Schema.String }>
      readonly ModelBuilder: Schema.TaggedStruct<"ModelBuilder", { subject: Schema.String }>
      readonly GroupBuilder: Schema.TaggedStruct<"GroupBuilder", { subject: Schema.String }>
      readonly ChainEnd: Schema.TaggedStruct<"ChainEnd", { subject: Schema.String }>
      readonly AppliedCall: Schema.TaggedStruct<"AppliedCall", { subject: Schema.String }>
      readonly HandlerFunction: Schema.TaggedStruct<"HandlerFunction", { subject: Schema.String }>
    }>
  >
  EFFX1105: Definition<
    {
      code: "EFFX1105"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly returnType: Schema.String; readonly subject: Schema.String }>
  >
  EFFX1106: Definition<
    {
      readonly severityPolicy: {
        readonly kind: "named"
        readonly name: "frontend-resolution-versus-core-contract"
        readonly allowedSeverities: readonly ["warning", "error"]
        readonly description: "Frontend runtime resolution is warning; source and IR binding contract violations are error."
      }
      readonly code: "EFFX1106"
      readonly owner: string
      readonly title: string
      readonly severity: "error" | "warning" | "info"
      readonly explanation: string
      readonly examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly RuntimeResolution: Schema.TaggedStruct<"RuntimeResolution", { readonly from: Schema.String }>
      readonly ExternalSource: Schema.TaggedStruct<"ExternalSource", { subject: Schema.String }>
      readonly LocalSource: Schema.TaggedStruct<"LocalSource", { subject: Schema.String }>
      readonly IrBinding: Schema.TaggedStruct<"IrBinding", { subject: Schema.String }>
    }>
  >
  EFFX1107: Definition<
    {
      code: "EFFX1107"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Transport: Schema.TaggedStruct<
        "Transport",
        { readonly transport: Schema.Literals<readonly ["rpc", "cli"]>; readonly subject: Schema.String }
      >
      readonly Foldkit: Schema.TaggedStruct<"Foldkit", { subject: Schema.String }>
    }>
  >
  EFFX1302: Definition<
    {
      code: "EFFX1302"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Grammar: Schema.TaggedStruct<
        "Grammar",
        { readonly name: Schema.String; readonly extension: Schema.String }
      >
      readonly Duplicate: Schema.TaggedStruct<
        "Duplicate",
        { readonly name: Schema.String; readonly firstOwner: Schema.String; readonly secondOwner: Schema.String }
      >
    }>
  >
  EFFX1303: Definition<
    {
      code: "EFFX1303"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Class: Schema.TaggedStruct<
        "Class",
        { readonly annotation: Schema.String; readonly subject: Schema.String }
      >
      readonly Builder: Schema.TaggedStruct<
        "Builder",
        { readonly annotation: Schema.String; readonly target: Schema.String; readonly subject: Schema.String }
      >
    }>
  >
  EFFX1304: Definition<
    {
      code: "EFFX1304"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{
      readonly key: Schema.String
      readonly firstAnnotation: Schema.String
      readonly secondAnnotation: Schema.String
      readonly extension: Schema.String
    }>
  >
  EFFX1306: Definition<
    {
      code: "EFFX1306"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{
      readonly definitionModule: Schema.String
      readonly annotation: Schema.String
      readonly applicationModule: Schema.String
    }>
  >
  EFFX2201: Definition<
    {
      code: "EFFX2201"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2202: Definition<
    {
      code: "EFFX2202"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2203: Definition<
    {
      code: "EFFX2203"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2204: Definition<
    {
      code: "EFFX2204"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX2302: Definition<
    {
      code: "EFFX2302"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2303: Definition<
    {
      code: "EFFX2303"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2304: Definition<
    {
      code: "EFFX2304"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String; name: Schema.String }>
  >
  EFFX2205: Definition<
    {
      code: "EFFX2205"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly NotError: Schema.TaggedStruct<
        "NotError",
        { readonly tag: Schema.String; readonly subject: Schema.String }
      >
      readonly MissingMapping: Schema.TaggedStruct<
        "MissingMapping",
        { readonly tag: Schema.String; readonly subject: Schema.String }
      >
    }>
  >
  EFFX2206: Definition<
    {
      code: "EFFX2206"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly tag: Schema.String; readonly code: Schema.String; readonly subject: Schema.String }>
  >
  EFFX2601: Definition<
    {
      code: "EFFX2601"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly InvalidData: Schema.TaggedStruct<
        "InvalidData",
        { readonly schemaIssue: Schema.String; readonly subject: Schema.String }
      >
      readonly DuplicateAnnotation: Schema.TaggedStruct<
        "DuplicateAnnotation",
        { readonly annotation: Schema.String; readonly subject: Schema.String }
      >
      readonly TaggedMessage: Schema.TaggedStruct<
        "TaggedMessage",
        {
          readonly annotation: Schema.optional<Schema.String>
          readonly field: Schema.String
          readonly subject: Schema.String
        }
      >
      readonly OwnerEdge: Schema.TaggedStruct<"OwnerEdge", { subject: Schema.String }>
      readonly OperationOwner: Schema.TaggedStruct<"OperationOwner", { subject: Schema.String }>
      readonly DuplicateDeclarations: Schema.TaggedStruct<"DuplicateDeclarations", { subject: Schema.String }>
      readonly HttpExposure: Schema.TaggedStruct<"HttpExposure", { subject: Schema.String }>
      readonly ExternalRoot: Schema.TaggedStruct<"ExternalRoot", { subject: Schema.String }>
    }>
  >
  EFFX2701: Definition<
    {
      code: "EFFX2701"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Settings: Schema.TaggedStruct<"Settings", {}>
      readonly EffectVersion: Schema.TaggedStruct<
        "EffectVersion",
        { readonly version: Schema.String; readonly packagePath: Schema.String }
      >
      readonly EffectUnresolved: Schema.TaggedStruct<"EffectUnresolved", { readonly directory: Schema.String }>
      readonly EffectPackage: Schema.TaggedStruct<"EffectPackage", { readonly packagePath: Schema.String }>
      readonly SourceModule: Schema.TaggedStruct<
        "SourceModule",
        { readonly target: Schema.String; readonly module: Schema.String }
      >
    }>
  >
  EFFX2801: Definition<
    {
      code: "EFFX2801"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly entry: Schema.String }>
  >
  EFFX2802: Definition<
    {
      code: "EFFX2802"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly name: Schema.String; readonly file: Schema.String; readonly entry: Schema.String }>
  >
  EFFX2803: Definition<
    {
      code: "EFFX2803"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly name: Schema.String; readonly file: Schema.String }>
  >
  EFFX2804: Definition<
    {
      code: "EFFX2804"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly against: Schema.String }>
  >
  EFFX2805: Definition<
    {
      code: "EFFX2805"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly file: Schema.String }>
  >
  EFFX2806: Definition<
    {
      code: "EFFX2806"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly DynamicImport: Schema.TaggedStruct<"DynamicImport", {}>
      readonly NamespaceAccess: Schema.TaggedStruct<"NamespaceAccess", { readonly namespace: Schema.String }>
    }>
  >
  EFFX2807: Definition<
    {
      code: "EFFX2807"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{}>
  >
  EFFX3401: Definition<
    {
      code: "EFFX3401"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX3402: Definition<
    {
      code: "EFFX3402"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX3403: Definition<
    {
      code: "EFFX3403"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly DuplicateAnnotation: Schema.TaggedStruct<
        "DuplicateAnnotation",
        { readonly annotation: Schema.String; readonly subject: Schema.String }
      >
      readonly MethodName: Schema.TaggedStruct<
        "MethodName",
        { readonly port: Schema.String; readonly subject: Schema.String }
      >
      readonly DuplicateMethod: Schema.TaggedStruct<
        "DuplicateMethod",
        { readonly method: Schema.String; readonly port: Schema.String; readonly subject: Schema.String }
      >
      readonly Filename: Schema.TaggedStruct<
        "Filename",
        { readonly port: Schema.String; readonly otherPort: Schema.String }
      >
      readonly Ownership: Schema.TaggedStruct<"Ownership", { subject: Schema.String }>
    }>
  >
  EFFX3404: Definition<
    {
      code: "EFFX3404"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly port: Schema.String }>
  >
  EFFX4101: Definition<
    {
      code: "EFFX4101"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Namespace: Schema.TaggedStruct<"Namespace", { readonly namespace: Schema.String }>
      readonly EntityName: Schema.TaggedStruct<
        "EntityName",
        { readonly name: Schema.String; readonly sources: Schema.$Array<Schema.String> }
      >
      readonly EntityCollision: Schema.TaggedStruct<
        "EntityCollision",
        { readonly name: Schema.String; readonly sources: Schema.$Array<Schema.String> }
      >
      readonly PolicyId: Schema.TaggedStruct<"PolicyId", { readonly id: Schema.String }>
    }>
  >
  EFFX4102: Definition<
    {
      code: "EFFX4102"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly File: Schema.TaggedStruct<
        "File",
        { readonly file: Schema.String; readonly validatorMessage: Schema.String }
      >
      readonly FileHelp: Schema.TaggedStruct<
        "FileHelp",
        { readonly file: Schema.String; readonly validatorMessage: Schema.String; readonly help: Schema.String }
      >
      readonly Policy: Schema.TaggedStruct<
        "Policy",
        { readonly file: Schema.String; readonly policyId: Schema.String; readonly validatorMessage: Schema.String }
      >
      readonly PolicyHelp: Schema.TaggedStruct<
        "PolicyHelp",
        {
          readonly file: Schema.String
          readonly policyId: Schema.String
          readonly validatorMessage: Schema.String
          readonly help: Schema.String
        }
      >
    }>
  >
  EFFX4103: Definition<
    {
      code: "EFFX4103"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly requirement: Schema.String; readonly subject: Schema.String }>
  >
  EFFX4104: Definition<
    {
      code: "EFFX4104"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly LinkedCapabilities: Schema.TaggedStruct<
        "LinkedCapabilities",
        { readonly count: Schema.Int; readonly subject: Schema.String }
      >
      readonly Contract: Schema.TaggedStruct<"Contract", { subject: Schema.String }>
    }>
  >
  EFFX4105: Definition<
    {
      code: "EFFX4105"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX4106: Definition<
    {
      code: "EFFX4106"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly File: Schema.TaggedStruct<
        "File",
        { readonly file: Schema.String; readonly validatorMessage: Schema.String }
      >
      readonly FileHelp: Schema.TaggedStruct<
        "FileHelp",
        { readonly file: Schema.String; readonly validatorMessage: Schema.String; readonly help: Schema.String }
      >
      readonly Policy: Schema.TaggedStruct<
        "Policy",
        { readonly file: Schema.String; readonly policyId: Schema.String; readonly validatorMessage: Schema.String }
      >
      readonly PolicyHelp: Schema.TaggedStruct<
        "PolicyHelp",
        {
          readonly file: Schema.String
          readonly policyId: Schema.String
          readonly validatorMessage: Schema.String
          readonly help: Schema.String
        }
      >
    }>
  >
  EFFX4107: Definition<
    {
      code: "EFFX4107"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{}>
  >
  EFFX2901: Definition<
    {
      code: "EFFX2901"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly operation: Schema.String; readonly reason: Schema.String }>
  >
  EFFX2902: Definition<
    {
      code: "EFFX2902"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.TaggedUnion<{
      readonly Operation: Schema.TaggedStruct<"Operation", { subject: Schema.String }>
      readonly Arguments: Schema.TaggedStruct<"Arguments", { subject: Schema.String }>
    }>
  >
  EFFX9001: Definition<
    {
      code: "EFFX9001"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX9002: Definition<
    {
      code: "EFFX9002"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX9101: Definition<
    {
      code: "EFFX9101"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ subject: Schema.String }>
  >
  EFFX9102: Definition<
    {
      code: "EFFX9102"
      owner: string
      title: string
      severity: "error" | "warning" | "info"
      severityPolicy: { kind: "fixed" }
      explanation: string
      examples: readonly [
        { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
      ]
    },
    Schema.Struct<{ readonly perMinute: Schema.Int; readonly subject: Schema.String }>
  >
  EFFX1301: Definition<
    {
      readonly code: "EFFX1301"
      readonly owner: "annotation"
      readonly title: "Schema argument cannot be lowered from source"
      readonly severity: "error"
      readonly severityPolicy: { readonly kind: "fixed" }
      readonly explanation: "A.fromSchema encountered an unsupported Schema AST node. Each invalid leaf is reported with its path in the annotation argument list, including object fields, arrays, records and union cases. Definition construction remains total; the compiler reports these recorded problems before interpreting uses. Replace the unsupported node with an argument-algebra description or a Schema shape the frontend can lower; a runtime transformation cannot be evaluated during source collection."
      readonly examples: readonly [
        {
          readonly before: "args: { value: A.fromSchema(Schema.DateTimeUtcFromString) }"
          readonly after: "args: { value: A.string }"
          readonly explanation: "Keep the source argument a string and perform the date conversion in the interpreter, rather than asking source lowering to run a Schema transformation."
          readonly language: "ts"
        }
      ]
    },
    Schema.Struct<{
      readonly annotation: Schema.String
      readonly path: Schema.String
      readonly nodeKind: Schema.String
    }>
  >
}

declare const bindingSeverity: (runtimeResolution: boolean) => "warning" | "error"

declare const coreEntries: readonly [
  {
    readonly severityPolicy: {
      readonly kind: "named"
      readonly name: "typescript-major-skew"
      readonly allowedSeverities: readonly ["info", "warning"]
      readonly description: "Same-major skew is info; different-major skew is warning."
    }
    readonly code: "EFFX0001"
    readonly owner: string
    readonly title: string
    readonly severity: "error" | "warning" | "info"
    readonly explanation: string
    readonly examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX0010"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1001"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1002"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1003"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1101"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1102"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1103"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1104"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1105"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    readonly severityPolicy: {
      readonly kind: "named"
      readonly name: "frontend-resolution-versus-core-contract"
      readonly allowedSeverities: readonly ["warning", "error"]
      readonly description: "Frontend runtime resolution is warning; source and IR binding contract violations are error."
    }
    readonly code: "EFFX1106"
    readonly owner: string
    readonly title: string
    readonly severity: "error" | "warning" | "info"
    readonly explanation: string
    readonly examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1107"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1302"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1303"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1304"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX1306"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2201"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2202"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2203"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2204"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2302"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2303"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2304"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2205"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2206"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2601"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2701"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2801"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2802"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2803"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2804"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2805"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2806"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2807"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX3401"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX3402"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX3403"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX3404"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4101"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4102"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4103"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4104"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4105"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4106"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX4107"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2901"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX2902"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX9001"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX9002"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX9101"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    code: "EFFX9102"
    owner: string
    title: string
    severity: "error" | "warning" | "info"
    severityPolicy: { kind: "fixed" }
    explanation: string
    examples: readonly [
      { readonly before: string; readonly after: string; readonly explanation: string; readonly language: "ts" }
    ]
  },
  {
    readonly code: "EFFX1301"
    readonly owner: "annotation"
    readonly title: "Schema argument cannot be lowered from source"
    readonly severity: "error"
    readonly severityPolicy: { readonly kind: "fixed" }
    readonly explanation: "A.fromSchema encountered an unsupported Schema AST node. Each invalid leaf is reported with its path in the annotation argument list, including object fields, arrays, records and union cases. Definition construction remains total; the compiler reports these recorded problems before interpreting uses. Replace the unsupported node with an argument-algebra description or a Schema shape the frontend can lower; a runtime transformation cannot be evaluated during source collection."
    readonly examples: readonly [
      {
        readonly before: "args: { value: A.fromSchema(Schema.DateTimeUtcFromString) }"
        readonly after: "args: { value: A.string }"
        readonly explanation: "Keep the source argument a string and perform the date conversion in the interpreter, rather than asking source lowering to run a Schema transformation."
        readonly language: "ts"
      }
    ]
  }
]