@descryy/adapter-kotlin 0.4.0 → 0.5.0

package/dist/jpa-reads.js

@@ -0,0 +1,35 @@
+/**
+ * Property reads on a JPA model, per function — golden pattern 07's READS half.
+ *
+ * **Why this is a second file and not part of `jpa.ts`.** Two lanes built a
+ * Kotlin ORM reader in the same session. `lane-r3-gokotlin`'s is the one in
+ * `jpa.ts`: it resolves superclasses, gates shape completeness and carries the
+ * adapter's one R3 fact kind. `lane-orm-breadth`'s was an R2 reader and is
+ * superseded by it — except for this function, which the other never had, and
+ * without which `adapter-kotlin` loses golden 07. Kept verbatim, in its own
+ * module, because `jpa.ts` already exports a different `JpaField`.
+ */
+/**
+ * Property reads in one function, per model.
+ *
+ * Only a receiver whose type a binding WROTE is considered. Kotlin infers
+ * aggressively and `val order = load(id)` states nothing at the binding site —
+ * resolving it would mean reading the callee's signature, which is a different
+ * and larger claim than this reader makes.
+ */
+export function fieldReadsIn(func, resolveModel) {
+    const byModel = new Map();
+    for (const read of func.fieldReads) {
+        const model = resolveModel(read.receiverType);
+        if (model === undefined)
+            continue;
+        let fields = byModel.get(model);
+        if (fields === undefined) {
+            fields = new Set();
+            byModel.set(model, fields);
+        }
+        fields.add(read.field);
+    }
+    return [...byModel.entries()].map(([model, fields]) => ({ model, fields: [...fields].sort() }));
+}
+//# sourceMappingURL=jpa-reads.js.map

package/dist/jpa-reads.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jpa-reads.js","sourceRoot":"","sources":["../src/jpa-reads.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AASH;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAgB,EAChB,YAAyD;IAEzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC7B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;AAClG,CAAC"}

package/dist/jpa.d.ts

@@ -0,0 +1,147 @@
+/**
+ * The ORM framework extractor for Kotlin — JPA/Hibernate, read from source.
+ *
+ * **A `MODEL` is a framework claim, earned here** (DEC-127), and the rules are
+ * `adapter-java/src/jpa.ts`'s, ported onto Kotlin's own grammar rather than
+ * re-derived: admission is one annotation (`@Entity`), provenance is the
+ * import table, and a stated nullability this reader cannot evaluate is listed
+ * rather than guessed. Two adapters disagreeing on one golden pattern is the
+ * failure mode the conformance harness exists to prevent, and the two JVM
+ * adapters read the *same* mapping — so where Kotlin and Java can answer
+ * alike, they answer alike.
+ *
+ * ## Three grammar facts that decide this design
+ *
+ * **1.** A Kotlin property is declared in two places, not one: a
+ * `class_parameter` in the `primary_constructor` carrying `val`/`var`
+ * (`binding_pattern_kind`), and a `property_declaration` in the `class_body`.
+ * A constructor parameter *without* `val`/`var` is not a property and is not a
+ * column — the distinction is one keyword and there is no second signal for it.
+ *
+ * **2.** Nullability is in the type, as `nullable_type` wrapping the
+ * `user_type`. That is a stated fact, and one Java has no spelling for. It is
+ * **not** a NOT NULL claim: a non-null `String` is still `java.lang.String` on
+ * the JVM and Hibernate defaults its column nullable, exactly as for Java. A
+ * non-null `Long`/`Int`/`Boolean`/… *does* compile to a JVM primitive, which
+ * is precisely `adapter-java`'s `primitive-type` rule in Kotlin's spelling and
+ * is read as such. Claiming more than that from Kotlin's null-safety would put
+ * the two JVM adapters into disagreement on identical mappings.
+ *
+ * **3.** An annotation may carry a `use_site_target` (`@field:Column`,
+ * `@get:Id`) as a sibling of the `user_type`, so the name is read past it.
+ * Kotlin JPA codebases write these constantly; a reader matching on the
+ * annotation node's text would see none of them.
+ *
+ * ## The two-property declaration-site test, and why gates and not comments
+ *
+ * An R3 claim resting on a declaration rather than a checker has to answer
+ * two questions: (a) is the physical shape **stated**, and (b) is the declared
+ * set **complete**? (a) holds — every persistent property is a `val`/`var`
+ * with a written type or it is not readable at all. (b) holds only for the
+ * constructs this reader classifies, and a framework guarantee covers nothing
+ * else, so the four shapes that break completeness are **gated** rather than
+ * noted: see {@link Refusal}. `adapter-swift`'s lane established the rule; the
+ * cost of not holding it is a table reported with three of its thirty columns
+ * that reads as complete.
+ */
+import type { Node } from "@descryy/adapter-treesitter";
+import type { KotlinImport } from "./parse.ts";
+/** One `val`/`var` of a candidate entity, as written. */
+export interface KotlinJpaProperty {
+    readonly name: string;
+    readonly annotations: readonly string[];
+    /**
+     * `@Column(nullable = …)`: the boolean as written, `null` when the argument
+     * is present but unevaluable (`nullable = FLAG`), `undefined` when absent.
+     * The third state is the point — a stated answer this reader failed to read
+     * must not fall through to the framework default, which reports the opposite
+     * of the source as fact.
+     */
+    readonly columnNullable: boolean | null | undefined;
+    /** The written type's outermost name, `undefined` when Kotlin inferred it. */
+    readonly writtenType: string | undefined;
+    /** `T?` as written. */
+    readonly nullableType: boolean;
+    /** An explicit `get()`/`set()` — whether a backing field exists is not readable. */
+    readonly hasAccessor: boolean;
+    /** `by lazy { … }` and friends: the value is not held in a field this reader can describe. */
+    readonly delegated: boolean;
+}
+/** A class declaration carrying at least one annotation this extractor knows. */
+export interface KotlinJpaDeclaration {
+    readonly name: string;
+    /** Enclosing type path, outermost first — the identity `extract.ts` mints against. */
+    readonly owners: readonly string[];
+    readonly annotations: readonly string[];
+    /** The mapped table where the source names one; `null` when only a strategy would give it. */
+    readonly table: string | null;
+    readonly properties: readonly KotlinJpaProperty[];
+    /**
+     * The written name of the one **invoked** supertype. Kotlin requires a
+     * superclass's constructor to be called and forbids invoking an interface,
+     * so unlike Java's `extendsNames[0]` this is decidable from syntax alone —
+     * which is what makes gate E1 possible rather than a guess.
+     */
+    readonly superclass: string | undefined;
+    readonly startLine: number;
+    readonly endLine: number;
+}
+/**
+ * Every persistence-annotated declaration in this file, read while the tree is
+ * alive. `adapter.ts` deletes the tree immediately after `readKotlinFile`, so
+ * this runs there and everything downstream works from the result.
+ */
+export declare function readJpaDeclarations(root: Node, imports: readonly KotlinImport[]): readonly KotlinJpaDeclaration[];
+/** Mirrors `adapter-java`'s `JpaField`, so one shape crosses both JVM adapters. */
+export interface JpaField {
+    readonly name: string;
+    readonly nullable: boolean;
+    /**
+     * Where the answer came from. One value wider than Java's set:
+     * `declared-type` is a `T?` written in the source, which Java has no
+     * spelling for and which is a *stated* nullable rather than a defaulted one.
+     * It costs nothing above the IR boundary — `attrs` carries the language part.
+     */
+    readonly nullableFrom: "declared" | "annotation" | "primitive-type" | "declared-type" | "framework-default";
+}
+export interface JpaModel {
+    readonly className: string;
+    readonly owners: readonly string[];
+    readonly table: string | null;
+    readonly fields: readonly JpaField[];
+    readonly line: number;
+    /** Properties whose shape is written in a form this reader cannot evaluate. */
+    readonly undecided: readonly string[];
+}
+/**
+ * A shape this reader refused because it could not prove the column set
+ * complete. The four gates, each a construct Kotlin can represent and this
+ * reader cannot enumerate:
+ *
+ *   E1 unresolvable superclass · E2 `@Entity` superclass ·
+ *   E3 `@Embedded`/`@EmbeddedId` · E4 `@Inheritance`/`@DiscriminatorColumn`.
+ *
+ * The `MODEL` node still stands — *this class is persisted* is read from one
+ * annotation and remains true. Only the shape, the part that would carry R3,
+ * is withheld.
+ */
+export interface JpaRefusal {
+    readonly className: string;
+    readonly reason: string;
+}
+/** The minimum of a `KotlinFile` this reader needs, so tests can supply one. */
+export interface JpaUnit {
+    readonly packageName: string;
+    readonly jpaDeclarations: readonly KotlinJpaDeclaration[];
+}
+/** Resolve a written supertype name to its declaration, anywhere in the batch. */
+export type ResolveSuper = (written: string, from: JpaUnit) => {
+    declaration: KotlinJpaDeclaration;
+    unit: JpaUnit;
+} | undefined;
+/** Every JPA entity this unit declares, plus every shape it refused and why. */
+export declare function jpaModels(unit: JpaUnit, resolve: ResolveSuper): {
+    models: JpaModel[];
+    refusals: JpaRefusal[];
+};
+//# sourceMappingURL=jpa.d.ts.map

package/dist/jpa.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jpa.d.ts","sourceRoot":"","sources":["../src/jpa.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAEH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAqF/C,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,cAAc,EAAE,OAAO,GAAG,IAAI,GAAG,SAAS,CAAC;IACpD,8EAA8E;IAC9E,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,uBAAuB;IACvB,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,oFAAoF;IACpF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,8FAA8F;IAC9F,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,iFAAiF;AACjF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,sFAAsF;IACtF,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,8FAA8F;IAC9F,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AA8GD;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,SAAS,oBAAoB,EAAE,CAuCjH;AAMD,mFAAmF;AACnF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,EAAE,UAAU,GAAG,YAAY,GAAG,gBAAgB,GAAG,eAAe,GAAG,mBAAmB,CAAC;CAC7G;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,eAAe,EAAE,SAAS,oBAAoB,EAAE,CAAC;CAC3D;AAED,kFAAkF;AAClF,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,KAAK;IAAE,WAAW,EAAE,oBAAoB,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,SAAS,CAAC;AAqDhI,gFAAgF;AAChF,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,GAAG;IAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAAC,QAAQ,EAAE,UAAU,EAAE,CAAA;CAAE,CAmG9G"}

package/dist/jpa.js

@@ -0,0 +1,415 @@
+/**
+ * The ORM framework extractor for Kotlin — JPA/Hibernate, read from source.
+ *
+ * **A `MODEL` is a framework claim, earned here** (DEC-127), and the rules are
+ * `adapter-java/src/jpa.ts`'s, ported onto Kotlin's own grammar rather than
+ * re-derived: admission is one annotation (`@Entity`), provenance is the
+ * import table, and a stated nullability this reader cannot evaluate is listed
+ * rather than guessed. Two adapters disagreeing on one golden pattern is the
+ * failure mode the conformance harness exists to prevent, and the two JVM
+ * adapters read the *same* mapping — so where Kotlin and Java can answer
+ * alike, they answer alike.
+ *
+ * ## Three grammar facts that decide this design
+ *
+ * **1.** A Kotlin property is declared in two places, not one: a
+ * `class_parameter` in the `primary_constructor` carrying `val`/`var`
+ * (`binding_pattern_kind`), and a `property_declaration` in the `class_body`.
+ * A constructor parameter *without* `val`/`var` is not a property and is not a
+ * column — the distinction is one keyword and there is no second signal for it.
+ *
+ * **2.** Nullability is in the type, as `nullable_type` wrapping the
+ * `user_type`. That is a stated fact, and one Java has no spelling for. It is
+ * **not** a NOT NULL claim: a non-null `String` is still `java.lang.String` on
+ * the JVM and Hibernate defaults its column nullable, exactly as for Java. A
+ * non-null `Long`/`Int`/`Boolean`/… *does* compile to a JVM primitive, which
+ * is precisely `adapter-java`'s `primitive-type` rule in Kotlin's spelling and
+ * is read as such. Claiming more than that from Kotlin's null-safety would put
+ * the two JVM adapters into disagreement on identical mappings.
+ *
+ * **3.** An annotation may carry a `use_site_target` (`@field:Column`,
+ * `@get:Id`) as a sibling of the `user_type`, so the name is read past it.
+ * Kotlin JPA codebases write these constantly; a reader matching on the
+ * annotation node's text would see none of them.
+ *
+ * ## The two-property declaration-site test, and why gates and not comments
+ *
+ * An R3 claim resting on a declaration rather than a checker has to answer
+ * two questions: (a) is the physical shape **stated**, and (b) is the declared
+ * set **complete**? (a) holds — every persistent property is a `val`/`var`
+ * with a written type or it is not readable at all. (b) holds only for the
+ * constructs this reader classifies, and a framework guarantee covers nothing
+ * else, so the four shapes that break completeness are **gated** rather than
+ * noted: see {@link Refusal}. `adapter-swift`'s lane established the rule; the
+ * cost of not holding it is a table reported with three of its thirty columns
+ * that reads as complete.
+ */
+const JPA_PACKAGES = ["jakarta.persistence", "javax.persistence"];
+/**
+ * Spring Data MongoDB's own mapping package, kept separate from
+ * {@link JPA_PACKAGES} for `adapter-java`'s reason: a unit can import one
+ * framework without the other, and merging would let a JPA-only file's
+ * `@Document`-shaped lookalike through on JPA's provenance.
+ */
+const MONGO_PACKAGES = ["org.springframework.data.mongodb"];
+/**
+ * Kotlin types that compile to a JVM primitive **when non-null**. `Long` is
+ * `long`; `Long?` boxes to `java.lang.Long`. This is `adapter-java`'s
+ * `primitive` field, derived from Kotlin's own type rather than from a
+ * keyword.
+ */
+const JVM_PRIMITIVES = new Set(["Byte", "Short", "Int", "Long", "Float", "Double", "Boolean", "Char"]);
+const namedChildren = (node) => {
+    const out = [];
+    for (let i = 0; i < node.namedChildCount; i += 1) {
+        const child = node.namedChild(i);
+        if (child !== null)
+            out.push(child);
+    }
+    return out;
+};
+const firstOfType = (node, type) => namedChildren(node).find((child) => child.type === type);
+const lineOf = (node) => node.startPosition.row + 1;
+/** A plain string literal's content, or `undefined` for anything else (interpolation included). */
+function stringValueOf(node) {
+    if (node === undefined || node.type !== "string_literal")
+        return undefined;
+    let content = "";
+    for (const child of namedChildren(node)) {
+        if (child.type !== "string_content")
+            return undefined;
+        content += child.text;
+    }
+    return content;
+}
+/** Every annotation on a declaration's own `modifiers` block. */
+function annotationsOf(node) {
+    const block = firstOfType(node, "modifiers");
+    if (block === undefined)
+        return [];
+    const out = [];
+    for (const child of namedChildren(block)) {
+        if (child.type !== "annotation")
+            continue;
+        // `use_site_target` sits before the type, so both lookups skip past it.
+        const invocation = firstOfType(child, "constructor_invocation");
+        const userType = invocation === undefined ? firstOfType(child, "user_type") : firstOfType(invocation, "user_type");
+        const name = userType === undefined ? undefined : firstOfType(userType, "type_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const rawArguments = [];
+        const stringValues = [];
+        const valueArgs = invocation === undefined ? undefined : firstOfType(invocation, "value_arguments");
+        for (const va of valueArgs === undefined ? [] : namedChildren(valueArgs)) {
+            if (va.type !== "value_argument")
+                continue;
+            rawArguments.push(va.text);
+            const parts = namedChildren(va);
+            const isNamed = parts.length === 2 && parts[0]?.type === "simple_identifier";
+            const argName = isNamed ? parts[0]?.text : undefined;
+            const value = stringValueOf(isNamed ? parts[1] : parts[0]);
+            if (value === undefined)
+                continue;
+            if (argName === undefined || argName === "name" || argName === "collection")
+                stringValues.push(value);
+        }
+        out.push({ name, rawArguments, stringValues });
+    }
+    return out;
+}
+function typeOf(node) {
+    if (node === undefined)
+        return { name: undefined, nullable: false };
+    if (node.type === "nullable_type") {
+        const inner = typeOf(namedChildren(node).find((c) => c.type !== "type_modifiers"));
+        return { name: inner.name, nullable: true };
+    }
+    if (node.type === "user_type")
+        return { name: firstOfType(node, "type_identifier")?.text, nullable: false };
+    if (node.type === "function_type" || node.type === "parenthesized_type")
+        return { name: node.type, nullable: false };
+    return { name: undefined, nullable: false };
+}
+const TYPE_NODES = new Set(["user_type", "nullable_type", "function_type", "parenthesized_type"]);
+function propertyFrom(name, typeNode, owner, extras) {
+    const annotations = annotationsOf(owner);
+    const column = annotations.find((a) => a.name === "Column");
+    const { name: writtenType, nullable } = typeOf(typeNode);
+    return {
+        name,
+        annotations: annotations.map((a) => a.name),
+        columnNullable: column === undefined ? undefined : declaredNullable(column),
+        writtenType,
+        nullableType: nullable,
+        ...extras,
+    };
+}
+/**
+ * `nullable = false` read from the raw argument text, the same treatment
+ * `adapter-java` gives it: a boolean is not a string literal, so it does not
+ * reach the literal list, and the parse does not special-case a framework's
+ * vocabulary.
+ */
+function declaredNullable(column) {
+    for (const raw of column.rawArguments) {
+        const match = /^\s*nullable\s*=\s*(.+?)\s*$/s.exec(raw);
+        if (match === null)
+            continue;
+        const value = match[1];
+        if (value === "false")
+            return false;
+        if (value === "true")
+            return true;
+        return null;
+    }
+    return undefined;
+}
+/** Properties declared in the primary constructor — `val`/`var` only. */
+function constructorProperties(decl) {
+    const ctor = firstOfType(decl, "primary_constructor");
+    if (ctor === undefined)
+        return [];
+    const out = [];
+    for (const param of namedChildren(ctor)) {
+        if (param.type !== "class_parameter")
+            continue;
+        // No `val`/`var` means this is a constructor argument, not a property,
+        // and JPA persists no such thing.
+        if (firstOfType(param, "binding_pattern_kind") === undefined)
+            continue;
+        const name = firstOfType(param, "simple_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const typeNode = namedChildren(param).find((c) => TYPE_NODES.has(c.type));
+        out.push(propertyFrom(name, typeNode, param, { hasAccessor: false, delegated: false }));
+    }
+    return out;
+}
+/** Properties declared in the class body. A `companion_object`'s own are not this class's. */
+function bodyProperties(decl) {
+    const body = namedChildren(decl).find((c) => c.type === "class_body" || c.type === "enum_class_body");
+    if (body === undefined)
+        return [];
+    const out = [];
+    for (const child of namedChildren(body)) {
+        if (child.type !== "property_declaration")
+            continue;
+        const variable = firstOfType(child, "variable_declaration");
+        if (variable === undefined)
+            continue;
+        const name = firstOfType(variable, "simple_identifier")?.text;
+        if (name === undefined)
+            continue;
+        const typeNode = namedChildren(variable).find((c) => TYPE_NODES.has(c.type));
+        const kids = namedChildren(child);
+        out.push(propertyFrom(name, typeNode, child, {
+            hasAccessor: kids.some((c) => c.type === "getter" || c.type === "setter"),
+            delegated: kids.some((c) => c.type === "property_delegate"),
+        }));
+    }
+    return out;
+}
+/** The mapped table or collection, or `null` when only a naming strategy would say. */
+function tableOf(annotations) {
+    const table = annotations.find((a) => a.name === "Table") ?? annotations.find((a) => a.name === "Document");
+    if (table === undefined)
+        return null;
+    return table.stringValues[0] ?? null;
+}
+/**
+ * Does this unit import a persistence framework? Provenance rule, ported
+ * unchanged: a class annotated `@Entity`/`@Document` in a file importing no
+ * persistence package is not an entity of it — both names are common enough
+ * to have lookalikes elsewhere.
+ */
+function importsPersistenceFramework(imports) {
+    const packages = [...JPA_PACKAGES, ...MONGO_PACKAGES];
+    return imports.some((each) => each.isWildcard ? packages.includes(each.path) : packages.some((pkg) => each.path.startsWith(`${pkg}.`)));
+}
+const CLASS_NODES = new Set(["class_declaration", "object_declaration"]);
+/**
+ * Every persistence-annotated declaration in this file, read while the tree is
+ * alive. `adapter.ts` deletes the tree immediately after `readKotlinFile`, so
+ * this runs there and everything downstream works from the result.
+ */
+export function readJpaDeclarations(root, imports) {
+    if (!importsPersistenceFramework(imports))
+        return [];
+    const out = [];
+    const walk = (node, owners) => {
+        for (const child of namedChildren(node)) {
+            if (!CLASS_NODES.has(child.type)) {
+                if (child.namedChildCount > 0)
+                    walk(child, owners);
+                continue;
+            }
+            const name = firstOfType(child, "type_identifier")?.text;
+            if (name === undefined)
+                continue;
+            const annotations = annotationsOf(child);
+            // The one invoked supertype. Kotlin forbids invoking an interface, so
+            // "invoked" is not a prior here the way `parse.ts` treats it for
+            // `INHERITS`/`IMPLEMENTS` — it is the answer.
+            let superclass;
+            for (const spec of namedChildren(child)) {
+                if (spec.type !== "delegation_specifier")
+                    continue;
+                const invocation = firstOfType(spec, "constructor_invocation");
+                if (invocation === undefined)
+                    continue;
+                superclass = firstOfType(firstOfType(invocation, "user_type") ?? invocation, "type_identifier")?.text;
+            }
+            out.push({
+                name,
+                owners,
+                annotations: annotations.map((a) => a.name),
+                table: tableOf(annotations),
+                properties: [...constructorProperties(child), ...bodyProperties(child)],
+                superclass,
+                startLine: lineOf(child),
+                endLine: child.endPosition.row + 1,
+            });
+            const body = namedChildren(child).find((c) => c.type === "class_body" || c.type === "enum_class_body");
+            if (body !== undefined)
+                walk(body, [...owners, name]);
+        }
+    };
+    walk(root, []);
+    return out;
+}
+const has = (decl, name) => decl.annotations.includes(name);
+const isEntity = (decl) => (has(decl, "Entity") || has(decl, "Document")) && !has(decl, "Embeddable") && !has(decl, "MappedSuperclass");
+/**
+ * The columns an entity inherits, deepest ancestor first, or a refusal.
+ * `@MappedSuperclass` ancestors contribute; a plain open class contributes
+ * nothing itself but may extend one that does; an `@Entity` ancestor is a JPA
+ * inheritance strategy this cannot read (E2); an unresolvable one leaves the
+ * set unprovable (E1).
+ */
+function inherited(decl, unit, resolve) {
+    const chain = [];
+    const seen = new Set([`${unit.packageName}::${[...decl.owners, decl.name].join(".")}`]);
+    let current = { declaration: decl, unit };
+    for (;;) {
+        const written = current.declaration.superclass;
+        if (written === undefined)
+            return { fields: chain };
+        const parent = resolve(written, current.unit);
+        if (parent === undefined) {
+            return {
+                refusal: `the superclass \`${written}\` is not declared in this batch, so the columns it contributes ` +
+                    "cannot be enumerated and the column set cannot be shown complete. The shape is withheld " +
+                    "rather than reported as a complete list that is missing rows.",
+            };
+        }
+        const key = `${parent.unit.packageName}::${[...parent.declaration.owners, parent.declaration.name].join(".")}`;
+        if (seen.has(key))
+            return { fields: chain };
+        seen.add(key);
+        if (has(parent.declaration, "Entity") || has(parent.declaration, "Document")) {
+            return {
+                refusal: `the superclass \`${written}\` is itself an @Entity, so a JPA inheritance strategy ` +
+                    "(single-table, joined, table-per-class) decides where each column lives and no source file " +
+                    "here states which. Refused rather than guessed.",
+            };
+        }
+        // Deepest ancestor first, so the base id leads the list. Deterministic.
+        if (has(parent.declaration, "MappedSuperclass"))
+            chain.unshift(...parent.declaration.properties);
+        current = parent;
+    }
+}
+/** Every JPA entity this unit declares, plus every shape it refused and why. */
+export function jpaModels(unit, resolve) {
+    const models = [];
+    const refusals = [];
+    for (const decl of unit.jpaDeclarations) {
+        if (!isEntity(decl))
+            continue;
+        // E4 — a discriminator column is a real column declared by no property.
+        const strategy = decl.annotations.find((a) => a === "Inheritance" || a === "DiscriminatorColumn");
+        if (strategy !== undefined) {
+            refusals.push({
+                className: decl.name,
+                reason: `@${strategy} puts a discriminator column on this table that no property declares, so the ` +
+                    "properties are not the complete column set. The shape is withheld.",
+            });
+            continue;
+        }
+        const up = inherited(decl, unit, resolve);
+        if ("refusal" in up) {
+            refusals.push({ className: decl.name, reason: up.refusal });
+            continue;
+        }
+        // A subclass's own declaration wins over an inherited one.
+        const own = new Set(decl.properties.map((p) => p.name));
+        const all = [...up.fields.filter((p) => !own.has(p.name)), ...decl.properties];
+        // E3 — an embeddable's columns flatten into this table and this reader
+        // enumerates none of them. Checked over the WHOLE set, inherited included.
+        const embedded = all.find((p) => p.annotations.includes("Embedded") || p.annotations.includes("EmbeddedId"));
+        if (embedded !== undefined) {
+            refusals.push({
+                className: decl.name,
+                reason: `\`${embedded.name}\` is @Embedded, so the embeddable's own columns flatten into this table. ` +
+                    "This reader enumerates one property where the table carries several, which would read as a " +
+                    "complete column set and is not. The shape is withheld.",
+            });
+            continue;
+        }
+        const fields = [];
+        const undecided = [];
+        for (const property of all) {
+            if (property.annotations.includes("Transient"))
+                continue;
+            // Not decidable, and listed rather than guessed or dropped.
+            if (property.columnNullable === null) {
+                undecided.push(property.name);
+                continue;
+            }
+            if (property.delegated || property.hasAccessor || property.writtenType === undefined) {
+                undecided.push(property.name);
+                continue;
+            }
+            let nullable;
+            let nullableFrom;
+            if (property.columnNullable !== undefined) {
+                nullable = property.columnNullable;
+                nullableFrom = "declared";
+            }
+            else if (property.annotations.includes("Id") || property.annotations.includes("NotNull")) {
+                nullable = false;
+                nullableFrom = "annotation";
+            }
+            else if (!property.nullableType && JVM_PRIMITIVES.has(property.writtenType)) {
+                // Non-null `Long` is JVM `long` and cannot hold null; `Long?` boxes.
+                // Java's rule 4, in Kotlin's spelling.
+                nullable = false;
+                nullableFrom = "primitive-type";
+            }
+            else if (property.nullableType) {
+                // Stated nullable. Same boolean the framework default would give, and
+                // a different fact: the source says so.
+                nullable = true;
+                nullableFrom = "declared-type";
+            }
+            else {
+                nullable = true;
+                nullableFrom = "framework-default";
+            }
+            fields.push({ name: property.name, nullable, nullableFrom });
+        }
+        // A MODEL with nothing readable would claim a table it cannot describe.
+        if (fields.length === 0 && undecided.length === 0)
+            continue;
+        models.push({
+            className: decl.name,
+            owners: decl.owners,
+            table: decl.table,
+            fields,
+            line: decl.startLine,
+            undecided,
+        });
+    }
+    return { models, refusals };
+}
+//# sourceMappingURL=jpa.js.map

package/dist/jpa.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jpa.js","sourceRoot":"","sources":["../src/jpa.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAMH,MAAM,YAAY,GAAG,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,CAAC;AAElE;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvG,MAAM,aAAa,GAAG,CAAC,IAAU,EAAU,EAAE;IAC3C,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,eAAe,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,IAAY,EAAoB,EAAE,CACjE,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAE3D,MAAM,MAAM,GAAG,CAAC,IAAU,EAAU,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC,CAAC;AAWlE,mGAAmG;AACnG,SAAS,aAAa,CAAC,IAAsB;IAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IAC3E,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB;YAAE,OAAO,SAAS,CAAC;QACtD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC;IACxB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iEAAiE;AACjE,SAAS,aAAa,CAAC,IAAU;IAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAuB,EAAE,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC1C,wEAAwE;QACxE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,EAAE,wBAAwB,CAAC,CAAC;QAChE,MAAM,QAAQ,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACnH,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;QACjG,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QAEjC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;QACpG,KAAK,MAAM,EAAE,IAAI,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC;YACzE,IAAI,EAAE,CAAC,IAAI,KAAK,gBAAgB;gBAAE,SAAS;YAC3C,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;YAChC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,mBAAmB,CAAC;YAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACrD,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3D,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,YAAY;gBAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxG,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AA4CD,SAAS,MAAM,CAAC,IAAsB;IACpC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACpE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,CAAC,CAAC,CAAC;QACnF,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,iBAAiB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC5G,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACrH,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,eAAe,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAElG,SAAS,YAAY,CAAC,IAAY,EAAE,QAA0B,EAAE,KAAW,EAAE,MAAoD;IAC/H,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC5D,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACzD,OAAO;QACL,IAAI;QACJ,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3C,cAAc,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAC3E,WAAW;QACX,YAAY,EAAE,QAAQ;QACtB,GAAG,MAAM;KACV,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,MAAwB;IAChD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxD,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,yEAAyE;AACzE,SAAS,qBAAqB,CAAC,IAAU;IACvC,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB;YAAE,SAAS;QAC/C,uEAAuE;QACvE,kCAAkC;QAClC,IAAI,WAAW,CAAC,KAAK,EAAE,sBAAsB,CAAC,KAAK,SAAS;YAAE,SAAS;QACvE,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;QAC3D,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1E,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8FAA8F;AAC9F,SAAS,cAAc,CAAC,IAAU;IAChC,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;IACtG,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,sBAAsB;YAAE,SAAS;QACpD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;QAC5D,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,IAAI,CAAC;QAC9D,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QAClC,GAAG,CAAC,IAAI,CACN,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE;YAClC,WAAW,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;YACzE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC;SAC5D,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uFAAuF;AACvF,SAAS,OAAO,CAAC,WAAwC;IACvD,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IAC5G,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,OAAO,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,2BAA2B,CAAC,OAAgC;IACnE,MAAM,QAAQ,GAAG,CAAC,GAAG,YAAY,EAAE,GAAG,cAAc,CAAC,CAAC;IACtD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CACzG,CAAC;AACJ,CAAC;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAEzE;;;;GAIG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAU,EAAE,OAAgC;IAC9E,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,CAAC;IACrD,MAAM,GAAG,GAA2B,EAAE,CAAC;IAEvC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,MAAyB,EAAQ,EAAE;QAC3D,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC;oBAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACnD,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;YACzD,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;YACzC,sEAAsE;YACtE,iEAAiE;YACjE,8CAA8C;YAC9C,IAAI,UAA8B,CAAC;YACnC,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB;oBAAE,SAAS;gBACnD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;gBAC/D,IAAI,UAAU,KAAK,SAAS;oBAAE,SAAS;gBACvC,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,IAAI,UAAU,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC;YACxG,CAAC;YACD,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,MAAM;gBACN,WAAW,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3C,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC;gBAC3B,UAAU,EAAE,CAAC,GAAG,qBAAqB,CAAC,KAAK,CAAC,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;gBACvE,UAAU;gBACV,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC;gBACxB,OAAO,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;aACnC,CAAC,CAAC;YACH,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC;YACvG,IAAI,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACf,OAAO,GAAG,CAAC;AACb,CAAC;AAuDD,MAAM,GAAG,GAAG,CAAC,IAA0B,EAAE,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAEnG,MAAM,QAAQ,GAAG,CAAC,IAA0B,EAAW,EAAE,CACvD,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AAE/G;;;;;;GAMG;AACH,SAAS,SAAS,CAChB,IAA0B,EAC1B,IAAa,EACb,OAAqB;IAErB,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAChG,IAAI,OAAO,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAE1C,SAAS,CAAC;QACR,MAAM,OAAO,GAAG,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC;QAC/C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO;gBACL,OAAO,EACL,oBAAoB,OAAO,kEAAkE;oBAC7F,0FAA0F;oBAC1F,+DAA+D;aAClE,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/G,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC5C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAEd,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,UAAU,CAAC,EAAE,CAAC;YAC7E,OAAO;gBACL,OAAO,EACL,oBAAoB,OAAO,yDAAyD;oBACpF,6FAA6F;oBAC7F,iDAAiD;aACpD,CAAC;QACJ,CAAC;QACD,wEAAwE;QACxE,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,kBAAkB,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QACjG,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,IAAa,EAAE,OAAqB;IAC5D,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;QACxC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QAE9B,wEAAwE;QACxE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,aAAa,IAAI,CAAC,KAAK,qBAAqB,CAAC,CAAC;QAClG,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,MAAM,EACJ,IAAI,QAAQ,+EAA+E;oBAC3F,oEAAoE;aACvE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,SAAS,IAAI,EAAE,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAC5D,SAAS;QACX,CAAC;QAED,2DAA2D;QAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAE/E,uEAAuE;QACvE,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC;QAC7G,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,QAAQ,CAAC,IAAI,CAAC;gBACZ,SAAS,EAAE,IAAI,CAAC,IAAI;gBACpB,MAAM,EACJ,KAAK,QAAQ,CAAC,IAAI,4EAA4E;oBAC9F,6FAA6F;oBAC7F,wDAAwD;aAC3D,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,MAAM,MAAM,GAAe,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC;gBAAE,SAAS;YAEzD,4DAA4D;YAC5D,IAAI,QAAQ,CAAC,cAAc,KAAK,IAAI,EAAE,CAAC;gBACrC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YACD,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACrF,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC9B,SAAS;YACX,CAAC;YAED,IAAI,QAAiB,CAAC;YACtB,IAAI,YAAsC,CAAC;YAC3C,IAAI,QAAQ,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;gBAC1C,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC;gBACnC,YAAY,GAAG,UAAU,CAAC;YAC5B,CAAC;iBAAM,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC3F,QAAQ,GAAG,KAAK,CAAC;gBACjB,YAAY,GAAG,YAAY,CAAC;YAC9B,CAAC;iBAAM,IAAI,CAAC,QAAQ,CAAC,YAAY,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC9E,qEAAqE;gBACrE,uCAAuC;gBACvC,QAAQ,GAAG,KAAK,CAAC;gBACjB,YAAY,GAAG,gBAAgB,CAAC;YAClC,CAAC;iBAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;gBACjC,sEAAsE;gBACtE,wCAAwC;gBACxC,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,eAAe,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,QAAQ,GAAG,IAAI,CAAC;gBAChB,YAAY,GAAG,mBAAmB,CAAC;YACrC,CAAC;YAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,wEAAwE;QACxE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAE5D,MAAM,CAAC,IAAI,CAAC;YACV,SAAS,EAAE,IAAI,CAAC,IAAI;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,MAAM;YACN,IAAI,EAAE,IAAI,CAAC,SAAS;YACpB,SAAS;SACV,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC"}