@descryy/adapter-csharp 0.1.0

package/dist/efcore.js

@@ -0,0 +1,611 @@
+/**
+ * The ORM framework extractor for C# — Entity Framework Core.
+ *
+ * **A `MODEL` is a framework claim, and this file is where it is earned.**
+ * DEC-128 fixed the rules before extraction and **DEC-180 amended them after
+ * counting the corpus**, which is the part worth reading first: four of
+ * DEC-128's ORM rules were wrong, and every one of them was wrong in the same
+ * way — written from how EF Core is documented rather than from how the corpus
+ * is spelled. That is how a rule acquires zero witnesses.
+ *
+ * ## Admission — what the corpus actually contains
+ *
+ * | evidence | jellyfin | Ocelot | eShopOnWeb | CleanArchitecture |
+ * | --- | --- | --- | --- | --- |
+ * | `DbSet<` | 71 | 0 | 7 | 4 |
+ * | `IEntityTypeConfiguration<` | 26 | 0 | 7 | 2 |
+ * | `modelBuilder.Entity<` | **0** | **0** | **0** | **0** |
+ * | `[Table(` | **0** | **0** | **0** | **0** |
+ *
+ * So the admission grounds are:
+ *
+ * 1. **`DbSet<T>` on a `DbContext`.** Primary, and the only rule with witnesses
+ *    in three of four corpora.
+ * 2. **`IEntityTypeConfiguration<T>`.** This *replaces* DEC-128's
+ *    `modelBuilder.Entity<T>()` rule, which is the same fact written in a form
+ *    the corpus does not contain.
+ * 3. `[Table]` and `modelBuilder.Entity<T>()` are still **read** where they
+ *    appear, and are reported as **unwitnessed** — `0 of 0`, undefined, never as
+ *    passing. A rule with zero witnesses cannot be shown to work or to fail, and
+ *    its green is the green of a branch never taken.
+ *
+ * **Refused:** a type in a `Models` or `Entities` namespace with no mapping
+ * evidence — the `IFoo` guess this project forbids — and an owned type reached
+ * through `OwnsOne`, which shares its owner's table and has none of its own.
+ *
+ * ## Generated migrations are excluded, and the exclusion is counted
+ *
+ * DEC-128 read the table name from `ToTable(…)`. Measured: **1,338 of
+ * `jellyfin`'s 1,339 `ToTable` calls are inside `Migrations/`**, under a
+ * `// <auto-generated />` header, and 50 of `eShopOnWeb`'s 51. Those files are
+ * EF Core's serialised model from whenever someone last scaffolded a migration —
+ * an artefact of an operation, read as evidence about the world.
+ *
+ * An extractor reading them without excluding them is, to three significant
+ * figures, reading **only** generated code. So they are excluded — and the count
+ * is **reported**, because a silent exclusion of 1,338 of 1,339 is a correct
+ * decision that looks identical to a reader that never found them.
+ *
+ * ## No corpus can exercise the provenance rule
+ *
+ * `Dapper`, `NHibernate` and `linq2db` occur **zero** times across all four
+ * corpora. There is no C# repository here in which a rival ORM's types are
+ * present for these rules to correctly refuse — the identical hole the Java
+ * control set has. Stated before extraction rather than discovered after a green
+ * run, and every report carries the EF negative control as `0 of 0 — undefined`.
+ */
+import { referenceTypeNullable } from "./nullability.js";
+const EF_NAMESPACES = ["Microsoft.EntityFrameworkCore"];
+/**
+ * The built-in value types, which can never be null without a `?`.
+ *
+ * **Counted from the corpora, not copied from the language reference** — that is
+ * countermeasure 0, and the ORM half of DEC-128 is what happens without it. The
+ * declared property types across `jellyfin`, `eShopOnWeb` and `CleanArchitecture`
+ * are dominated by exactly this set: `string` 786, `bool` 539, `string?` 508,
+ * `int?` 332, `int` 218, `bool?` 156, `Guid` 111, `DateTime?` 69, `DateTime` 68,
+ * `long` 59, `Guid?` 51, `decimal`, `DateTimeOffset`.
+ *
+ * A user-declared `struct` or `enum` is also a value type — `CleanArchitecture`'s
+ * `PriorityLevel` is the witnessed case — and is resolved from the repository's
+ * own declarations rather than guessed from its name.
+ */
+const VALUE_TYPES = new Set([
+    "int", "uint", "long", "ulong", "short", "ushort", "byte", "sbyte",
+    "float", "double", "decimal", "bool", "char", "nint", "nuint",
+    "Int32", "Int64", "Boolean", "Decimal", "Double", "Single",
+    "Guid", "DateTime", "DateTimeOffset", "TimeSpan", "DateOnly", "TimeOnly",
+]);
+const importsIn = (file, namespaces, onlyGlobal = false) => file.usings.some((using) => (!onlyGlobal || using.isGlobal) &&
+    namespaces.some((ns) => using.target === ns || using.target.startsWith(`${ns}.`)));
+/**
+ * Does this file import EF Core at all? Provenance, not spelling.
+ *
+ * **A `global using` counts, and it is in force across the whole assembly.**
+ * That is not an edge case: `eShop`'s `OrderingContext` declares nine
+ * `DbSet<T>` and its only file-local `using` is `eShop.IntegrationEventLogEF` —
+ * `Microsoft.EntityFrameworkCore` arrives from `GlobalUsings.cs` three files
+ * away. Checking file-local usings alone read **zero** models from a corpus with
+ * nine, silently.
+ *
+ * `parse.ts` already says a `global using` is *"in force for every file in the
+ * project, not just this one"* and models the flag. This is the first consumer
+ * to act on it. Modern C# leans on it heavily — .NET 6 onward emits an implicit
+ * global-usings file per project — so a reader that ignores it fails on new
+ * codebases specifically.
+ *
+ * Scoped by **assembly**, because that is what a project is. A global using in
+ * one project does not reach another.
+ */
+export function importsEfCore(file, globalsByAssembly) {
+    if (importsIn(file, EF_NAMESPACES))
+        return true;
+    return globalsByAssembly?.get(file.assembly) === true;
+}
+/**
+ * Is this file generated?
+ *
+ * Two signals, and both are needed. The `// <auto-generated />` header is the
+ * language's own convention and is what EF Core's scaffolder emits. The
+ * `Migrations/` path catches the migration classes beside the snapshot, which
+ * carry no header of their own in every version.
+ */
+export function isGenerated(path, source) {
+    if (/(^|\/)Migrations\//.test(path))
+        return true;
+    // Only the opening of the file: the marker is a header, and a mention of it
+    // deeper in a file is a comment about generated code, not a claim to be one.
+    return /<auto-generated/i.test(source.slice(0, 400));
+}
+/** `Foo<Bar>` -> `Bar`, for the single-argument generic forms read here. */
+function typeArgument(written, generic) {
+    const match = new RegExp(`\\b${generic}\\s*<\\s*([A-Za-z_][A-Za-z0-9_.]*)`).exec(written);
+    return match?.[1]?.split(".").pop();
+}
+/**
+ * Every type named inside a written type, the outer one and its arguments.
+ *
+ * `IReadOnlyCollection<OrderItem>` names both `IReadOnlyCollection` and
+ * `OrderItem`, and only the second decides whether the property is a navigation.
+ * Reading the outer name alone published `OrderItems` and `Items` as columns —
+ * a column per collection navigation, on a table that has no such column.
+ */
+function namesIn(written) {
+    return (written.match(/[A-Za-z_][A-Za-z0-9_.]*/g) ?? []).map((each) => each.split(".").pop());
+}
+/** The base name of a written type, `?` and generics removed. */
+function baseOf(written) {
+    return written.replace(/\?+\s*$/, "").replace(/<.*$/, "").replace(/\[\]\s*$/, "").split(".").pop() ?? "";
+}
+/**
+ * Is a written type a value type, a reference type, or not decidable here?
+ *
+ * `undefined` is the third answer and is the one that matters: an unknown type
+ * may be a `struct` this run did not analyse, and guessing "reference" would
+ * hand the question to the NRT context, which answers confidently. The lane's
+ * standing rule — a stated answer read as its opposite is worse than an unread
+ * one — applies to the type just as it does to the annotation.
+ */
+function isValueType(written, declaredForms) {
+    const base = baseOf(written);
+    if (written.trimEnd().endsWith("[]"))
+        return false; // An array is a reference type.
+    if (VALUE_TYPES.has(base))
+        return true;
+    if (base === "string" || base === "String" || base === "object")
+        return false;
+    const form = declaredForms.get(base);
+    if (form === "struct" || form === "enum")
+        return true;
+    if (form === "class" || form === "interface" || form === "record")
+        return false;
+    return undefined;
+}
+const EMPTY_FACTS = {
+    table: null,
+    required: new Set(),
+    optional: new Set(),
+    ignored: new Set(),
+    keys: new Set(),
+};
+/**
+ * Read `builder.Property(x => x.Name).IsRequired()` and friends from source text.
+ *
+ * Deliberately textual and deliberately narrow. The Fluent API is a chained
+ * builder whose shape a syntax walk would have to model in full to read
+ * faithfully, and a partial walk that silently drops a link in the chain is the
+ * recall hole this lane has already paid for once. A regex over the configuring
+ * method's text answers the four questions DEC-128 §3 asks and **refuses
+ * everything else**, which is a smaller claim honestly made.
+ *
+ * `.IsRequired(false)` is read as *optional*, not skipped — it is the one form
+ * where the same call means the opposite thing, and dropping it would let the
+ * `[Required]` rule below answer for a member the Fluent API has explicitly made
+ * optional.
+ */
+function fluentFacts(source) {
+    const required = new Set();
+    const optional = new Set();
+    const ignored = new Set();
+    const keys = new Set();
+    const member = /Property\s*\(\s*[A-Za-z_][A-Za-z0-9_]*\s*=>\s*[A-Za-z_][A-Za-z0-9_]*\.([A-Za-z_][A-Za-z0-9_]*)\s*\)([^;]*)/g;
+    for (let match = member.exec(source); match !== null; match = member.exec(source)) {
+        const name = match[1];
+        const chain = match[2] ?? "";
+        if (/\.IsRequired\s*\(\s*false\s*\)/.test(chain))
+            optional.add(name);
+        else if (/\.IsRequired\s*\(/.test(chain))
+            required.add(name);
+    }
+    const ignore = /Ignore\s*\(\s*[A-Za-z_][A-Za-z0-9_]*\s*=>\s*[A-Za-z_][A-Za-z0-9_]*\.([A-Za-z_][A-Za-z0-9_]*)\s*\)/g;
+    for (let match = ignore.exec(source); match !== null; match = ignore.exec(source))
+        ignored.add(match[1]);
+    const key = /HasKey\s*\(\s*[A-Za-z_][A-Za-z0-9_]*\s*=>\s*[A-Za-z_][A-Za-z0-9_]*\.([A-Za-z_][A-Za-z0-9_]*)\s*\)/g;
+    for (let match = key.exec(source); match !== null; match = key.exec(source))
+        keys.add(match[1]);
+    const table = /\.ToTable\s*\(\s*"([^"]+)"/.exec(source);
+    return { table: table?.[1] ?? null, required, optional, ignored, keys };
+}
+/**
+ * The properties an entity inherits from non-entity ancestors.
+ *
+ * **The fourth instance of one construct class: the evidence is on an ancestor
+ * and the subject is the descendant.** JPA's `@MappedSuperclass` cost a third of
+ * an entity population; ASP.NET's base controller cost 98% of a corpus; this is
+ * the same shape in the C# ORM half, and it was checked for by name rather than
+ * met by surprise.
+ *
+ * `eShopOnWeb` declares every entity as `class BasketItem : BaseEntity` with
+ *
+ *     public abstract class BaseEntity { public virtual int Id { get; protected set; } }
+ *
+ * so **every one of its models was missing its primary key column**.
+ *
+ * ## An entity ancestor stops the walk
+ *
+ * A base that is itself an admitted entity is an EF inheritance strategy —
+ * table-per-hierarchy, table-per-type, table-per-concrete — and which one applies
+ * decides whether the parent's properties are columns on this table, on a joined
+ * table, or on neither. That is a `HasDiscriminator`/`UseTptMappingStrategy` fact
+ * this does not read, so the walk stops rather than guessing. The identical rule
+ * `jpa.ts` applies to an `@Entity` parent, for the identical reason.
+ */
+function inheritedProperties(type, file, byName, isEntity) {
+    const chain = [];
+    const seen = new Set([`${file.file}::${type.path.join(".")}`]);
+    let current = { type, file };
+    // C# has single class inheritance, so this is a chain and not a search. The
+    // base class is the FIRST entry by DEC-084 — position is the evidence, and the
+    // `IFoo` convention is never read.
+    for (;;) {
+        const base = current.type.baseList[0];
+        if (base === undefined)
+            break;
+        // An interface first means there is no base class at all.
+        const candidates = byName.get(base);
+        if (candidates === undefined || candidates.length !== 1)
+            break;
+        const parent = candidates[0];
+        if (parent.type.form === "interface")
+            break;
+        const key = `${parent.file.file}::${parent.type.path.join(".")}`;
+        if (seen.has(key))
+            break;
+        seen.add(key);
+        if (isEntity(parent.type.name))
+            break;
+        // Nearest ancestor last, so the deepest base's `Id` sits at the far end and
+        // the entity's own properties still come first overall. Deterministic, which
+        // is what a node's `attrs` has to be across runs.
+        chain.unshift(...parent.type.properties);
+        current = parent;
+    }
+    return chain;
+}
+/**
+ * Is a property a persistent member? DEC-128 §3: public, with a getter, not
+ * `[NotMapped]` and not `.Ignore()`d.
+ */
+function isPersistent(property, facts) {
+    if (!property.isPublic || !property.hasGetter)
+        return false;
+    if (property.attributes.includes("NotMapped"))
+        return false;
+    return !facts.ignored.has(property.name);
+}
+/**
+ * Nullability, in DEC-128 §3's precedence order.
+ *
+ * Rule 5 is the one DEC-180 rewrote and the one that decides most of a real
+ * corpus. A bare reference type answers **only** under an enabled NRT context;
+ * under `off`, `absent` or `unreadable` it is `unresolved` and counted, because
+ * unknown is not false and publishing `false` there is a definite claim against
+ * a source that has said the compiler is not tracking.
+ */
+function nullabilityOf(property, facts, context, declaredForms) {
+    if (facts.required.has(property.name))
+        return { nullable: false, from: "fluent" };
+    if (facts.optional.has(property.name))
+        return { nullable: true, from: "fluent" };
+    if (property.attributes.includes("Required"))
+        return { nullable: false, from: "annotation" };
+    if (property.attributes.includes("Key") || facts.keys.has(property.name)) {
+        return { nullable: false, from: "annotation" };
+    }
+    const written = property.written.trimEnd();
+    const value = isValueType(written, declaredForms);
+    const optionalMark = written.endsWith("?");
+    if (value === true) {
+        // `int?` is `Nullable<int>` and is nullable **regardless of the NRT context**
+        // — it is a type, not an annotation. This is the case a reader that routes
+        // every `?` through the NRT context gets wrong in a file with NRT disabled.
+        return optionalMark
+            ? { nullable: true, from: "nullable-value-type" }
+            : { nullable: false, from: "value-type" };
+    }
+    if (value === false) {
+        const answer = referenceTypeNullable(context, written);
+        return answer === undefined
+            ? { nullable: undefined, from: "unresolved" }
+            : { nullable: answer, from: "reference-type" };
+    }
+    // A type this run did not analyse. It may be a struct, so neither the value
+    // rule nor the reference rule may claim it.
+    return { nullable: undefined, from: "unresolved" };
+}
+/**
+ * Every EF Core model the batch declares, with the exclusions counted.
+ *
+ * Cross-file by necessity: a `DbSet<Order>` names `Order`, and `Order` is
+ * declared somewhere else. Same shape as JPA's mapped-superclass walk.
+ */
+/**
+ * Which of several same-named declarations a bare name can mean, from one file.
+ *
+ * C# does not resolve on the simple name. `parse.ts`'s own header states the
+ * rule — *"a bare name is resolved by searching the enclosing namespaces
+ * outward and then each import, which means a name may be found in two places,
+ * and that is an ambiguity to disclose rather than a tie to break"* — and this
+ * file did not implement it. It refused whenever a simple name was declared
+ * twice **anywhere in the repository**, which is strictly more conservative
+ * than the documented rule and is not the same rule.
+ *
+ * That cost eight entities across two corpora, every one of them resolvable:
+ * `eShopOnWeb`'s four are an entity beside a Blazor DTO in `BlazorShared.Models`,
+ * which the `DbContext` does not import; `jellyfin`'s four are an entity beside a
+ * transfer object in a namespace the context does not import either.
+ *
+ * **A rule stated in a comment and not implemented in code** — found by Lane E
+ * in a review of my classification, having just found three of the same in their
+ * own instrument. The countermeasure I wrote for theirs did not catch mine,
+ * which is the argument for a second reader rather than a better checklist.
+ *
+ * Visible namespaces are the file's own and each ancestor of it, plus every
+ * plain `using`, plus the assembly's `global using`s. A nested namespace is
+ * **not** visible from its parent by a bare name, which is why the enclosing
+ * walk alone does not admit `…Entities.Chapter` from `…Implementations`.
+ *
+ * Returns every reachable candidate. One is resolved; zero or several is an
+ * ambiguity, and the caller refuses exactly as before.
+ */
+function reachableFrom(candidates, from, globalUsings) {
+    if (from === undefined)
+        return candidates;
+    const visible = new Set([""]);
+    const segments = from.namespace === "" ? [] : from.namespace.split(".");
+    for (let depth = segments.length; depth > 0; depth -= 1)
+        visible.add(segments.slice(0, depth).join("."));
+    for (const using of from.usings) {
+        if (!using.isStatic && using.alias === undefined)
+            visible.add(using.target);
+    }
+    for (const target of globalUsings.get(from.assembly) ?? [])
+        visible.add(target);
+    return candidates.filter((each) => visible.has(each.file.namespace));
+}
+export function efModels(input) {
+    const declaredForms = new Map();
+    /** Simple name -> **every** analysed declaration of it. A list, never one. */
+    const typesByName = new Map();
+    let generatedFilesSkipped = 0;
+    let generatedToTableSkipped = 0;
+    const live = [];
+    for (const each of input.files) {
+        if (isGenerated(each.parsed.file, each.source)) {
+            generatedFilesSkipped += 1;
+            generatedToTableSkipped += (each.source.match(/\.ToTable\s*\(/g) ?? []).length;
+            continue;
+        }
+        live.push(each);
+        for (const type of each.parsed.types) {
+            declaredForms.set(type.name, type.form);
+            const bucket = typesByName.get(type.name);
+            if (bucket === undefined)
+                typesByName.set(type.name, [{ type, file: each.parsed }]);
+            else
+                bucket.push({ type, file: each.parsed });
+        }
+    }
+    /** entity simple name -> how it was admitted, first rule wins by precedence. */
+    const admitted = new Map();
+    /** entity simple name -> the Fluent facts configuring it. */
+    const factsFor = new Map();
+    /** entity simple name -> a table named by `[Table]` or hand-written `ToTable`. */
+    const tableFor = new Map();
+    /** Types reached through `OwnsOne`, which have no table of their own. */
+    const owned = new Set();
+    /** Every rule that saw an entity, whether or not it won precedence. */
+    const sawByRule = new Map([
+        ["dbset", new Set()],
+        ["configuration", new Set()],
+        ["table-attribute", new Set()],
+        ["model-builder", new Set()],
+    ]);
+    /**
+     * Where each name was admitted from — the file whose `using` block decides
+     * which declaration a bare name means. Recorded because a simple name is not
+     * the unit C# resolves in, and refusing on simple-name collision alone is
+     * strictly more conservative than the rule `parse.ts` documents.
+     */
+    const admittedIn = new Map();
+    let admittingFile;
+    const admit = (name, by) => {
+        if (name === undefined || name === "")
+            return;
+        sawByRule.get(by).add(name);
+        admitted.set(name, by);
+        if (admittingFile !== undefined)
+            admittedIn.set(name, admittingFile);
+    };
+    // Global usings, gathered once per assembly. See `importsEfCore`.
+    const efGlobals = new Map();
+    for (const { parsed } of live) {
+        if (importsIn(parsed, EF_NAMESPACES, true))
+            efGlobals.set(parsed.assembly, true);
+    }
+    // Namespaces every file in an assembly can see without saying so.
+    const globalUsingsByAssembly = new Map();
+    for (const { parsed } of live) {
+        let set = globalUsingsByAssembly.get(parsed.assembly);
+        if (set === undefined) {
+            set = new Set();
+            globalUsingsByAssembly.set(parsed.assembly, set);
+        }
+        for (const using of parsed.usings) {
+            if (using.isGlobal && !using.isStatic && using.alias === undefined)
+                set.add(using.target);
+        }
+    }
+    for (const { parsed, source } of live) {
+        if (!importsEfCore(parsed, efGlobals))
+            continue;
+        admittingFile = parsed;
+        for (const type of parsed.types) {
+            // 1. `DbSet<T>` on a context. The property's own type carries the entity.
+            const isContext = type.baseList.some((base) => baseOf(base).endsWith("DbContext"));
+            if (isContext) {
+                for (const property of type.properties) {
+                    const entity = typeArgument(property.written, "DbSet");
+                    admit(entity, "dbset");
+                    // EF Core's real convention: an unconfigured entity's table is the
+                    // DbSet property's name. A framework fact, not an inference.
+                    if (entity !== undefined && !tableFor.has(entity))
+                        tableFor.set(entity, property.name);
+                }
+            }
+            // 2. `IEntityTypeConfiguration<T>` — DEC-180's replacement for
+            //    `modelBuilder.Entity<T>()`, which has zero witnesses anywhere.
+            for (const base of type.baseListWritten) {
+                const entity = typeArgument(base, "IEntityTypeConfiguration");
+                if (entity === undefined)
+                    continue;
+                admit(entity, "configuration");
+                const facts = fluentFacts(source);
+                factsFor.set(entity, facts);
+                if (facts.table !== null)
+                    tableFor.set(entity, facts.table);
+            }
+            // 3. `[Table]`. Retained, unwitnessed, reported as 0 of 0.
+            if (type.attributes.includes("Table"))
+                admit(type.name, "table-attribute");
+        }
+        // 4. `modelBuilder.Entity<T>()`. Also unwitnessed; read where it appears.
+        const builder = /\b(?:modelBuilder|builder)\s*\.\s*Entity\s*<\s*([A-Za-z_][A-Za-z0-9_.]*)/g;
+        for (let match = builder.exec(source); match !== null; match = builder.exec(source)) {
+            admit(match[1].split(".").pop(), "model-builder");
+        }
+        // An owned type shares its owner's table — EF Core's `@Embeddable`.
+        const owns = /\.\s*OwnsOne\s*<?\s*(?:[A-Za-z_][A-Za-z0-9_.]*\s*,\s*)?([A-Za-z_][A-Za-z0-9_.]*)/g;
+        for (let match = owns.exec(source); match !== null; match = owns.exec(source)) {
+            owned.add(match[1].split(".").pop());
+        }
+    }
+    // Precedence is settled HERE, after all evidence is in, and not by whichever
+    // file happened to be read first. `admit` records every rule that saw an
+    // entity; this picks the winner by DEC-180's order. The first version let file
+    // order decide, which made `eShopOnWeb` report its models as admitted by
+    // configuration and `jellyfin` by DbSet for no reason in the source — a
+    // difference between two corpora produced entirely by the reader.
+    const PRECEDENCE = ["dbset", "configuration", "table-attribute", "model-builder"];
+    for (const name of admitted.keys()) {
+        for (const rule of PRECEDENCE) {
+            if (sawByRule.get(rule).has(name)) {
+                admitted.set(name, rule);
+                break;
+            }
+        }
+    }
+    const models = [];
+    const admittedBy = { dbset: 0, configuration: 0, "table-attribute": 0, "model-builder": 0 };
+    const ambiguousEntityNames = [];
+    /** Simple-name collisions, split by whether the namespace rule settled them. */
+    const resolvedByNamespace = { resolved: 0, unresolved: 0 };
+    let navigationsRefused = 0;
+    for (const [name, by] of admitted) {
+        if (owned.has(name))
+            continue;
+        const all = typesByName.get(name);
+        if (all === undefined || all.length === 0)
+            continue; // Named, not analysed.
+        const candidates = all.length === 1 ? all : reachableFrom(all, admittedIn.get(name), globalUsingsByAssembly);
+        if (candidates.length !== 1) {
+            // Ambiguous *after* resolution, or reachable from nowhere. Either way this
+            // reader cannot say which declaration was meant, and picking one publishes
+            // another type's columns under this entity's name.
+            ambiguousEntityNames.push(name);
+            if (all.length > 1)
+                resolvedByNamespace.unresolved += 1;
+            continue;
+        }
+        if (all.length > 1)
+            resolvedByNamespace.resolved += 1;
+        const found = candidates[0];
+        const facts = factsFor.get(name) ?? EMPTY_FACTS;
+        const context = input.contextOf(found.file.file);
+        const own = new Set(found.type.properties.map((each) => each.name));
+        const inherited = inheritedProperties(found.type, found.file, typesByName, (n) => admitted.has(n)).filter(
+        // A subclass redeclaring an inherited property keeps its own declaration.
+        (each) => !own.has(each.name));
+        const columns = [];
+        for (const property of [...found.type.properties, ...inherited]) {
+            if (!isPersistent(property, facts))
+                continue;
+            // A navigation is a relationship, not a scalar column, and refusing it is
+            // precision rather than caution: `IReadOnlyCollection<OrderItem> Items`
+            // published a column named `Items` on a table that has no such column.
+            //
+            // Both shapes count — a reference to an entity, and a collection OF one —
+            // so every name inside the written type is checked, not just the outer.
+            // An owned type is refused for the same reason by a different mechanism:
+            // EF spreads it across several columns of the owner's table, so it is not
+            // one column and this reader cannot say what the several are.
+            // See `navigationsRefused`. A scalar column's type is a primitive, a
+            // string, an enum, a struct or a byte array. Anything whose declared type
+            // resolves to a class, record or interface DECLARED IN THIS REPOSITORY is
+            // a navigation or an owned type, and is not one column.
+            const referenced = namesIn(property.written);
+            const isNavigation = referenced.some((each) => {
+                // A type referring to itself is still a navigation. `BaseItemEntity`
+                // declares `ICollection<BaseItemEntity>? Extras`, a self-referencing
+                // collection, and this guard published it as a column named `Extras` on
+                // a table that has no such column — the exact failure the rule above
+                // describes, exempted by the one case the rule did not think of.
+                //
+                // The guard was there so a property whose type is the entity itself did
+                // not refuse the entity; but that is the navigation case, not an
+                // exception to it. Kept only for the *name* the model is keyed by when
+                // the property type is not a reference at all.
+                if (each === name)
+                    return property.written.includes("<") || property.written.replace(/[?\s]/g, "") === name;
+                if (admitted.has(each) || owned.has(each))
+                    return true;
+                const form = declaredForms.get(each);
+                return form === "class" || form === "record" || form === "interface";
+            });
+            if (isNavigation) {
+                navigationsRefused += 1;
+                continue;
+            }
+            const { nullable, from } = nullabilityOf(property, facts, context, declaredForms);
+            columns.push({ name: property.name, nullable, nullableFrom: from });
+        }
+        if (columns.length === 0)
+            continue;
+        admittedBy[by] += 1;
+        models.push({
+            typeName: name,
+            fqn: found.file.namespace === ""
+                ? found.type.path.join(".")
+                : `${found.file.namespace}.${found.type.path.join(".")}`,
+            path: found.type.path,
+            table: tableFor.get(name) ?? null,
+            admittedBy: by,
+            columns,
+            line: found.type.startLine,
+            file: found.file.file,
+        });
+    }
+    const emitted = new Set(models.map((model) => model.typeName));
+    const evidenceFor = {
+        dbset: 0,
+        configuration: 0,
+        "table-attribute": 0,
+        "model-builder": 0,
+    };
+    for (const [rule, names] of sawByRule) {
+        for (const name of names)
+            if (emitted.has(name))
+                evidenceFor[rule] += 1;
+    }
+    return {
+        models,
+        generatedFilesSkipped,
+        generatedToTableSkipped,
+        ambiguousEntityNames: ambiguousEntityNames.sort(),
+        namespaceResolved: { ...resolvedByNamespace },
+        navigationsRefused,
+        admittedBy,
+        evidenceFor,
+    };
+}
+//# sourceMappingURL=efcore.js.map

package/dist/efcore.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"efcore.js","sourceRoot":"","sources":["../src/efcore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuDG;AAGH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,kBAAkB,CAAC;AA6G/E,MAAM,aAAa,GAAG,CAAC,+BAA+B,CAAC,CAAC;AAExD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC;IAC1B,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO;IAClE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO;IAC7D,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ;IAC1D,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU;CACzE,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,UAA6B,EAAE,UAAU,GAAG,KAAK,EAAW,EAAE,CAC7F,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC;IAC/B,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CACpF,CAAC;AAEJ;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,iBAAgD;IAC1F,IAAI,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC;AACxD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAc;IACtD,IAAI,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,4EAA4E;IAC5E,6EAA6E;IAC7E,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,4EAA4E;AAC5E,SAAS,YAAY,CAAC,OAAe,EAAE,OAAe;IACpD,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,MAAM,OAAO,oCAAoC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1F,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;AACtC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,OAAO,CAAC,OAAe;IAC9B,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC;AACjG,CAAC;AAED,iEAAiE;AACjE,SAAS,MAAM,CAAC,OAAe;IAC7B,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC;AAC3G,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,OAAe,EAAE,aAAkD;IACtF,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,gCAAgC;IACpF,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9E,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACtD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAChF,OAAO,SAAS,CAAC;AACnB,CAAC;AAWD,MAAM,WAAW,GAAgB;IAC/B,KAAK,EAAE,IAAI;IACX,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,IAAI,EAAE,IAAI,GAAG,EAAE;CAChB,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,SAAS,WAAW,CAAC,MAAc;IACjC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,MAAM,GAAG,6GAA6G,CAAC;IAC7H,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,gCAAgC,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aAChE,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,MAAM,GAAG,oGAAoG,CAAC;IACpH,KAAK,IAAI,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAC1G,MAAM,GAAG,GAAG,oGAAoG,CAAC;IACjH,KAAK,IAAI,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;IAEjG,MAAM,KAAK,GAAG,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC1E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAS,mBAAmB,CAC1B,IAAY,EACZ,IAAY,EACZ,MAA6D,EAC7D,QAAmC;IAEnC,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,GAAmC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAE7D,4EAA4E;IAC5E,+EAA+E;IAC/E,mCAAmC;IACnC,SAAS,CAAC;QACR,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtC,IAAI,IAAI,KAAK,SAAS;YAAE,MAAM;QAC9B,0DAA0D;QAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM;QAC/D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW;YAAE,MAAM;QAC5C,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACjE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM;QACzB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QACtC,4EAA4E;QAC5E,6EAA6E;QAC7E,kDAAkD;QAClD,KAAK,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,QAAoB,EAAE,KAAkB;IAC5D,IAAI,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5D,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa,CACpB,QAAoB,EACpB,KAAkB,EAClB,OAAwB,EACxB,aAAkD;IAElD,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAClF,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjF,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC7F,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAClD,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAE3C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,8EAA8E;QAC9E,2EAA2E;QAC3E,4EAA4E;QAC5E,OAAO,YAAY;YACjB,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,qBAAqB,EAAE;YACjD,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACvD,OAAO,MAAM,KAAK,SAAS;YACzB,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE;YAC7C,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC;IACnD,CAAC;IACD,4EAA4E;IAC5E,4CAA4C;IAC5C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;AACrD,CAAC;AAQD;;;;;GAKG;AACH;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,SAAS,aAAa,CACpB,UAAqD,EACrD,IAAwB,EACxB,YAAsD;IAEtD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC;IAE1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxE,KAAK,IAAI,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACzG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAEhF,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,MAAM,aAAa,GAAG,IAAI,GAAG,EAA0B,CAAC;IACxD,8EAA8E;IAC9E,MAAM,WAAW,GAAG,IAAI,GAAG,EAA4C,CAAC;IACxE,IAAI,qBAAqB,GAAG,CAAC,CAAC;IAC9B,IAAI,uBAAuB,GAAG,CAAC,CAAC;IAEhC,MAAM,IAAI,GAAyC,EAAE,CAAC;IACtD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,qBAAqB,IAAI,CAAC,CAAC;YAC3B,uBAAuB,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACrC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,MAAM,KAAK,SAAS;gBAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;;gBAC/E,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC1D,6DAA6D;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,kFAAkF;IAClF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,yEAAyE;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,uEAAuE;IACvE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAqC;QAC5D,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;QACpB,CAAC,eAAe,EAAE,IAAI,GAAG,EAAE,CAAC;QAC5B,CAAC,iBAAiB,EAAE,IAAI,GAAG,EAAE,CAAC;QAC9B,CAAC,eAAe,EAAE,IAAI,GAAG,EAAE,CAAC;KAC7B,CAAC,CAAC;IAEH;;;;;OAKG;IACH,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,IAAI,aAAiC,CAAC;IAEtC,MAAM,KAAK,GAAG,CAAC,IAAwB,EAAE,EAAyB,EAAQ,EAAE;QAC1E,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO;QAC9C,SAAS,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvB,IAAI,aAAa,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACvE,CAAC,CAAC;IAEF,kEAAkE;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC7C,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,SAAS,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACnF,CAAC;IAED,kEAAkE;IAClE,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9D,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QAC9B,IAAI,GAAG,GAAG,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;YACxB,sBAAsB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC;YAAE,SAAS;QAChD,aAAa,GAAG,MAAM,CAAC;QAEvB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,0EAA0E;YAC1E,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;YACnF,IAAI,SAAS,EAAE,CAAC;gBACd,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;oBACvC,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;oBACvD,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;oBACvB,mEAAmE;oBACnE,6DAA6D;oBAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACzF,CAAC;YACH,CAAC;YAED,+DAA+D;YAC/D,oEAAoE;YACpE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;gBACxC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;gBAC9D,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACnC,KAAK,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;gBAClC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC5B,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI;oBAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC9D,CAAC;YAED,2DAA2D;YAC3D,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC7E,CAAC;QAED,0EAA0E;QAC1E,MAAM,OAAO,GAAG,2EAA2E,CAAC;QAC5F,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACpF,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,eAAe,CAAC,CAAC;QACrD,CAAC;QACD,oEAAoE;QACpE,MAAM,IAAI,GAAG,mFAAmF,CAAC;QACjG,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9E,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAG,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,+EAA+E;IAC/E,yEAAyE;IACzE,wEAAwE;IACxE,kEAAkE;IAClE,MAAM,UAAU,GAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,eAAe,CAAC,CAAC;IAC3G,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAc,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,iBAAiB,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,CAAC;IAE5F,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAC1C,gFAAgF;IAChF,MAAM,mBAAmB,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC3D,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS,CAAC,uBAAuB;QAC5E,MAAM,UAAU,GACd,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC5F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,2EAA2E;YAC3E,2EAA2E;YAC3E,mDAAmD;YACnD,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;gBAAE,mBAAmB,CAAC,UAAU,IAAI,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,mBAAmB,CAAC,QAAQ,IAAI,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAE,CAAC;QAE7B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC;QAChD,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpE,MAAM,SAAS,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;QACvG,0EAA0E;QAC1E,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9B,CAAC;QACF,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC;gBAAE,SAAS;YAC7C,0EAA0E;YAC1E,wEAAwE;YACxE,uEAAuE;YACvE,EAAE;YACF,0EAA0E;YAC1E,wEAAwE;YACxE,yEAAyE;YACzE,0EAA0E;YAC1E,8DAA8D;YAC9D,qEAAqE;YACrE,0EAA0E;YAC1E,0EAA0E;YAC1E,wDAAwD;YACxD,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC5C,qEAAqE;gBACrE,qEAAqE;gBACrE,wEAAwE;gBACxE,qEAAqE;gBACrE,iEAAiE;gBACjE,EAAE;gBACF,wEAAwE;gBACxE,iEAAiE;gBACjE,uEAAuE;gBACvE,+CAA+C;gBAC/C,IAAI,IAAI,KAAK,IAAI;oBAAE,OAAO,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC;gBAC5G,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,OAAO,IAAI,CAAC;gBACvD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACrC,OAAO,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,WAAW,CAAC;YACvE,CAAC,CAAC,CAAC;YACH,IAAI,YAAY,EAAE,CAAC;gBACjB,kBAAkB,IAAI,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,aAAa,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC;YAClF,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEnC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,CAAC,IAAI,CAAC;YACV,QAAQ,EAAE,IAAI;YACd,GAAG,EACD,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,EAAE;gBACzB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;gBAC3B,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC5D,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;YACrB,KAAK,EAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI;YACjC,UAAU,EAAE,EAAE;YACd,OAAO;YACP,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS;YAC1B,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI;SACtB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG;QAClB,KAAK,EAAE,CAAC;QACR,aAAa,EAAE,CAAC;QAChB,iBAAiB,EAAE,CAAC;QACpB,eAAe,EAAE,CAAC;KACnB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IAED,OAAO;QACL,MAAM;QACN,qBAAqB;QACrB,uBAAuB;QACvB,oBAAoB,EAAE,oBAAoB,CAAC,IAAI,EAAE;QACjD,iBAAiB,EAAE,EAAE,GAAG,mBAAmB,EAAE;QAC7C,kBAAkB;QAClB,UAAU;QACV,WAAW;KACZ,CAAC;AACJ,CAAC"}