@ts-typed/compiler 0.0.1 → 0.1.1

package/CHANGELOG.md

@@ -4,6 +4,57 @@ All notable changes to `@ts-typed/compiler` are documented in this file.
 
 The format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project adheres to [Semantic Versioning](https://semver.org/).
 
+## [0.1.1] - 2026-10-17
+
+A real NestJS + TypeORM project was upgraded to 0.1.0 and its full test suite rerun, surfacing two bugs in the coverage this release had just added.
+
+### Fixed
+
+- `installFieldGuard` silently gave up — installing no guard at all — for any field that keeps its `PropertyDeclaration` in the output (every decorated field, to preserve decorator emission) and has no inline initializer: native class fields (target ES2022+) pre-define such a field as `undefined` before the constructor body runs, and that pre-defined, still-uninitialized placeholder was mistaken for "something else already initialized this field, leave it alone." In practice this left every field of a typical `class CreateUserDto { @IsString() name: string; constructor(data) { this.name = data.name; } }` — the common pattern of assigning fields inside the constructor body rather than inline — completely unguarded, decorated or not.
+- A class field whose own type is a pure function (e.g. `class WithHandler { onClick: () => void = () => {}; }`) never had a guard installed at all: the `function` leaf added in 0.1.0 was only wired into the path used when a property is resolved as part of its *containing object's* structural shape, not into the general resolution path a field's own top-level contract candidate goes through to build its `installFieldGuard` call. A property/interface member with a callback type (fixed in 0.1.0) was unaffected; only a *class field's own* candidate took the unpatched path.
+
+## [0.1.0] - 2026-10-17
+
+A pass over real NestJS + TypeORM + SQLite usage found that the single highest-impact gap was coverage, not any individual bug: class methods, constructors and decorated fields were never instrumented at all, and several common type shapes (`Date`, callback-typed properties) made their whole containing contract silently `unsupported`. This release closes those gaps and fixes twelve runtime-breaking or silently-incorrect bugs found along the way.
+
+### Added
+
+- Class methods, getters, setters and constructors are now instrumented (parameters and return values), closing the largest coverage gap: a NestJS controller/service/repository method is now protected the same way a free function always was.
+- Decorated class fields and parameters (`class-validator`, `@nestjs/swagger`, TypeORM `@Column`/`@OneToMany`, etc.) are resolved by their own type instead of being unconditionally marked `unsupported`.
+- `Date` is supported as a first-class runtime contract, including explicitly rejecting `Invalid Date` with a `StrictTypeError` instead of letting it surface later as an unrelated `RangeError`.
+- A property or parameter typed as a plain function (a callback field, an interface method signature) is validated as `typeof value === 'function'` instead of making its whole containing object type `unsupported`.
+- Template literal types (`` `${number}px` ``, `` `user_${string}` ``, `` `${boolean}-flag` ``, etc.) are converted to an anchored regular expression at compile time and validated against it.
+- `yield` inside a generator function is validated against its declared/inferred yielded type; `AsyncGenerator`/`Iterable`/`IterableIterator` are supported the same way. (`yield*` delegation is left unprotected — validating a whole delegated iterable up front is a different, larger problem.)
+- A required class field (no `?`) can no longer be removed with `delete` or have its guard replaced via `Object.defineProperty`, bypassing validation entirely. The lock is deferred to the most-derived class's own constructor (checked via `new.target`), so a subclass that legitimately redeclares the same field is unaffected.
+- Compound assignment on a guarded variable (`+=`, `-=`, `*=`, `/=`, `%=`, `**=`, shifts, bitwise) is now rewritten into a validated assignment instead of running unguarded. `&&=`, `||=` and `??=` are left exactly as before — rewriting them would change short-circuit evaluation — and keep warning as unsupported.
+- Every coverage-affecting diagnostic computed during analysis (not just the ones a transform happens to touch) now reaches the build's coverage report and `compiler.onUnsupported: "error"`'s failure message, which now names the offending contract and reason instead of only a count.
+- `diagnostics.reportFile` actually writes the coverage report to disk, as JSON, creating parent directories as needed; a write failure fails the build instead of being silently swallowed.
+- `strictNullChecks` (directly, or via `strict: true`) is now a hard requirement, checked before any analysis runs, per the original spec — a project without it now fails fast with a clear diagnostic instead of building successfully on a checker view that is already too lossy to protect against.
+- A project configuring `paths` aliases in `tsconfig.json` now fails the build with a clear diagnostic, in both the bundled and the unbundled output: TypeScript never rewrites aliases in its own emitted JavaScript, and `@vercel/ncc` does not read tsconfig `paths` either, so either path previously reported success while producing a "Cannot find module" failure at runtime.
+- The package's `exports` map now exposes `./package.json`, so `require.resolve('@ts-typed/compiler/package.json')` and similar version-probing patterns work.
+
+### Fixed
+
+- A type assertion or cast used directly as an assignment target (`(x as T) = v`, `(x as T) += 1`, `(x as any)++`/`--`) produced invalid JavaScript (`Invalid left-hand side in assignment`) instead of being erased the way `tsc` itself erases a cast. Casting the *object* of a member assignment (`(a as T).b = v`) is unaffected and continues to validate `a` as a read.
+- `compiler.enforcePrivate` (the default) broke construction of any class with a plain `private` field: the structural schema still required the field under its pre-`#private` name after the transformer had already converted it to a real `#private` accessor. The field is now correctly excluded from the structural schema instead of marking the whole class `unsupported`.
+- A branded/tagged primitive type (`string & { readonly __brand: 'Id' }`, the standard TypeScript nominal-typing idiom) rejected every value, because the phantom `object` member of the intersection was validated against primitive values that can never carry it. It is now ignored when the value being checked is a primitive; an intersection applied to a real object value is unaffected and still enforces every member.
+- A project compiling to native ESM (`module` resolving to an ES module kind) got a `require(...)` call injected into the generated ES module, crashing immediately with `ReferenceError: require is not defined`. The injected runtime reference is now an `import` declaration when the target module format is ESM, and unchanged (`require`) for CommonJS.
+- A comparison against a guarded variable (`port >= MIN`, `x === y`, …) emitted a false "compound assignment" coverage warning, because every non-`=` binary operator was treated as an assignment attempt regardless of whether it actually was one.
+- `compiler.onUnsupported: "error"` could fail a build without ever saying which contract caused it.
+
+### Fixed (`@ts-typed/nestjs`-relevant, surfaced through NestJS testing)
+
+- See `@ts-typed/nestjs`'s own changelog for the HTTP exception filter fix (`StrictTypeError` from a return-value violation now maps to 500, not 400).
+
+### Known limits (new, in addition to the ones already listed below)
+
+- Generic type parameters still have no concrete runtime contract inside a generic function's own body (`identity<User>(x)` validates nothing extra inside `identity`): the type is erased before any single call site's concrete argument is known to the instrumented body.
+- `Map`/`Set` contents, `static` class fields, and reflective mutation of a validated array (`push`/`splice`/index assignment/`length`) are still unprotected.
+- A destructuring binding (`const { age }: T = value`) still does not validate `value` against `T` before destructuring.
+- A user-authored type predicate (`x is T`) or assertion function (`asserts x is T`) is trusted as-is; a predicate that lies is not caught.
+- `readonly` on an interface or type-alias member (as opposed to a class field) is not enforced — the value is still writable through that property.
+- Extra properties or `symbol`-keyed properties added directly to a class instance after construction are not rejected (property-level extras on a *nested* plain object already were, and remain, rejected by default).
+
 ## [0.0.1] - 2026-10-16
 
 Initial release.

package/dist/cli/cli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAwBxD,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3D;AAED,wBAAsB,MAAM,CAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,SAAS,CAAC,CAoBpB"}
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAwBxD,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CAC3D;AAED,wBAAsB,MAAM,CAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,GAAE,aAAkB,GAC1B,OAAO,CAAC,SAAS,CAAC,CAoBpB"}

package/dist/cli/cli.js

@@ -128,12 +128,26 @@ async function runBuild(args) {
             `Build succeeded: ${report.outDir}${report.bundled ? ' (bundled)' : ''}`,
             (0, report_1.formatCoverageReport)(coverage, (0, node_path_1.resolve)(config.tsconfig, '..')),
         ].filter((line) => line.length > 0);
+        const reportFile = config.diagnostics.reportFile;
+        if (reportFile !== null) {
+            await writeDiagnosticsReport(reportFile, coverage);
+            stdout.push(`Diagnostics report written to ${reportFile}`);
+        }
         return { exitCode: EXIT_SUCCESS, stdout, stderr: [] };
     }
     catch (error) {
         return { exitCode: EXIT_FAILURE, stdout: [], stderr: [describeError(error)] };
     }
 }
+async function writeDiagnosticsReport(filePath, coverage) {
+    try {
+        await (0, promises_1.mkdir)((0, node_path_1.dirname)(filePath), { recursive: true });
+        await (0, promises_1.writeFile)(filePath, `${JSON.stringify(coverage, null, 2)}\n`, 'utf8');
+    }
+    catch (error) {
+        throw new Error(`Could not write diagnostics report to ${filePath}: ${describeError(error)}`);
+    }
+}
 function parseInitArgs(args) {
     let root = process.cwd();
     for (let index = 0; index < args.length; index += 1) {

package/dist/cli/cli.js.map

@@ -1 +1 @@
-{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":";;AAqCA,wBAuBC;AA5DD,+CAA4C;AAC5C,yCAA0C;AAE1C,6CAAiD;AACjD,+CAAgF;AAEhF,sCAAuE;AACvE,gDAAiD;AAGjD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAE9C,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB,MAAM,SAAS,GAAG;IAChB,mDAAmD;IACnD,EAAE;IACF,QAAQ;IACR,iCAAiC;IACjC,2EAA2E;IAC3E,iBAAiB;IACjB,EAAE;IACF,UAAU;IACV,yEAAyE;IACzE,iFAAiF;IACjF,4EAA4E;IAC5E,gFAAgF;IAChF,4EAA4E;CAC7E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAON,KAAK,UAAU,MAAM,CAC1B,IAAuB,EACvB,UAAyB,EAAE;IAE3B,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAEhC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC5F,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrE,CAAC;IAED,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO,MAAM,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,CAAC,oBAAoB,OAAO,IAAI,EAAE,SAAS,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAAuB,EAAE,OAAsB;IACpE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,MAAM,GAAG,MAAM,IAAA,0BAAiB,EAAC,MAAM,CAAC,IAAI,EAAE;YAClD,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,MAAM,GAAG;YACb,MAAM,CAAC,OAAO;gBACZ,CAAC,CAAC,WAAW,MAAM,CAAC,UAAU,EAAE;gBAChC,CAAC,CAAC,mCAAmC,MAAM,CAAC,UAAU,EAAE;YAC1D,iCAAiC;YACjC,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;SAC1D,CAAC;QAEF,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,aAAa,GAAG,WAAW,EAAE,kCAAkC,CAAC;YACtE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;YACzG,CAAC;iBAAM,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CACpC,4FAA4F,CAC7F,CAAC;gBACF,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7B,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;AACH,CAAC;AAOD,KAAK,UAAU,oBAAoB,CAAC,IAAY;IAC9C,IAAI,CAAC;QACH,MAAM,IAAA,mBAAQ,EAAC,IAAA,gBAAI,EAAC,IAAI,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,IAAA,mBAAQ,EAAC,IAAA,gBAAI,EAAC,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACzF,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,eAAe,GAAG,QAA2B,CAAC;QACpD,OAAO,cAAc,IAAI,CAAC,eAAe,CAAC,YAAY,IAAI,EAAE,CAAC;eACxD,cAAc,IAAI,CAAC,eAAe,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,OAAO,IAAA,6BAAe,EAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAuB;IAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,MAAM,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAE1C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAA,6BAAoB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG;YACb,oBAAoB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE;YACxE,IAAA,6BAAoB,EAAC,QAAQ,EAAE,IAAA,mBAAO,EAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;SAC/D,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEpC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;AACH,CAAC;AAOD,SAAS,aAAa,CAAC,IAAuB;IAC5C,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IACzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;YAC7D,CAAC;YACD,IAAI,GAAG,IAAA,mBAAO,EAAC,KAAK,CAAC,CAAC;YACtB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,wBAAwB,GAAG,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC;AAClB,CAAC;AAQD,SAAS,cAAc,CAAC,IAAuB;IAC7C,IAAI,UAAU,GAAG,IAAA,gBAAI,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,CAAC;IACvD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;YACpF,CAAC;YACD,UAAU,GAAG,IAAA,mBAAO,EAAC,KAAK,CAAC,CAAC;YAC5B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,yBAAyB,GAAG,IAAI,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,SAAS,GAAoB;QACjC,GAAG,CAAC,QAAQ,IAAI,MAAM,IAAI,SAAS;YACjC,CAAC,CAAC;gBACE,GAAG,EAAE;oBACH,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1C;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;IAEF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,YAAY,oBAAW,EAAE,CAAC;QACjC,OAAO,wBAAwB,KAAK,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;AAClE,CAAC"}
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../../src/cli/cli.ts"],"names":[],"mappings":";;AAsCA,wBAuBC;AA7DD,+CAA8D;AAC9D,yCAAmD;AAEnD,6CAAiD;AAEjD,+CAAgF;AAEhF,sCAAuE;AACvE,gDAAiD;AAGjD,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAE9C,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,YAAY,GAAG,CAAC,CAAC;AACvB,MAAM,UAAU,GAAG,CAAC,CAAC;AAErB,MAAM,SAAS,GAAG;IAChB,mDAAmD;IACnD,EAAE;IACF,QAAQ;IACR,iCAAiC;IACjC,2EAA2E;IAC3E,iBAAiB;IACjB,EAAE;IACF,UAAU;IACV,yEAAyE;IACzE,iFAAiF;IACjF,4EAA4E;IAC5E,gFAAgF;IAChF,4EAA4E;CAC7E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAON,KAAK,UAAU,MAAM,CAC1B,IAAuB,EACvB,UAAyB,EAAE;IAE3B,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAEhC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC5F,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACrE,CAAC;IAED,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,OAAO,MAAM,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,CAAC,oBAAoB,OAAO,IAAI,EAAE,SAAS,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,IAAuB,EAAE,OAAsB;IACpE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,WAAW,GAAG,aAAa,CAAC,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACpF,MAAM,MAAM,GAAG,MAAM,IAAA,0BAAiB,EAAC,MAAM,CAAC,IAAI,EAAE;YAClD,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,kBAAkB,EAAE,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,MAAM,GAAG;YACb,MAAM,CAAC,OAAO;gBACZ,CAAC,CAAC,WAAW,MAAM,CAAC,UAAU,EAAE;gBAChC,CAAC,CAAC,mCAAmC,MAAM,CAAC,UAAU,EAAE;YAC1D,iCAAiC;YACjC,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC;SAC1D,CAAC;QAEF,IAAI,aAAa,EAAE,CAAC;YAClB,MAAM,aAAa,GAAG,WAAW,EAAE,kCAAkC,CAAC;YACtE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAC;YACzG,CAAC;iBAAM,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBACzC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,OAAO,CACpC,4FAA4F,CAC7F,CAAC;gBACF,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;oBAC1D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAC7B,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;gBAClE,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;AACH,CAAC;AAOD,KAAK,UAAU,oBAAoB,CAAC,IAAY;IAC9C,IAAI,CAAC;QACH,MAAM,IAAA,mBAAQ,EAAC,IAAA,gBAAI,EAAC,IAAI,EAAE,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,QAAQ,GAAY,IAAI,CAAC,KAAK,CAAC,MAAM,IAAA,mBAAQ,EAAC,IAAA,gBAAI,EAAC,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;QACzF,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,eAAe,GAAG,QAA2B,CAAC;QACpD,OAAO,cAAc,IAAI,CAAC,eAAe,CAAC,YAAY,IAAI,EAAE,CAAC;eACxD,cAAc,IAAI,CAAC,eAAe,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,OAAO,IAAA,6BAAe,EAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,KAAK,UAAU,QAAQ,CAAC,IAAuB;IAC7C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,IAAA,mBAAU,EAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG,MAAM,IAAA,oBAAY,EAAC,MAAM,CAAC,CAAC;QAE1C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACpB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,IAAI,IAAA,6BAAoB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG;YACb,oBAAoB,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE;YACxE,IAAA,6BAAoB,EAAC,QAAQ,EAAE,IAAA,mBAAO,EAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;SAC/D,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEpC,MAAM,UAAU,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC;QACjD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,MAAM,sBAAsB,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,iCAAiC,UAAU,EAAE,CAAC,CAAC;QAC7D,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IAChF,CAAC;AACH,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,QAAgB,EAAE,QAAwB;IAC9E,IAAI,CAAC;QACH,MAAM,IAAA,gBAAK,EAAC,IAAA,mBAAO,EAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpD,MAAM,IAAA,oBAAS,EAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9E,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,yCAAyC,QAAQ,KAAK,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAOD,SAAS,aAAa,CAAC,IAAuB;IAC5C,IAAI,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;IACzB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,kCAAkC,EAAE,CAAC;YAC7D,CAAC;YACD,IAAI,GAAG,IAAA,mBAAO,EAAC,KAAK,CAAC,CAAC;YACtB,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,wBAAwB,GAAG,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,CAAC;AAClB,CAAC;AAQD,SAAS,cAAc,CAAC,IAAuB;IAC7C,IAAI,UAAU,GAAG,IAAA,gBAAI,EAAC,OAAO,CAAC,GAAG,EAAE,EAAE,gBAAgB,CAAC,CAAC;IACvD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,oCAAoC,EAAE,CAAC;YACpF,CAAC;YACD,UAAU,GAAG,IAAA,mBAAO,EAAC,KAAK,CAAC,CAAC;YAC5B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YACvB,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,EAAE,CAAC;YAC1B,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,yBAAyB,GAAG,IAAI,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,SAAS,GAAoB;QACjC,GAAG,CAAC,QAAQ,IAAI,MAAM,IAAI,SAAS;YACjC,CAAC,CAAC;gBACE,GAAG,EAAE;oBACH,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC1C;aACF;YACH,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxD,CAAC;IAEF,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;AACnC,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,YAAY,oBAAW,EAAE,CAAC;QACjC,OAAO,wBAAwB,KAAK,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;AAClE,CAAC"}

package/dist/compiler/analysis/analyze-project.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analyze-project.d.ts","sourceRoot":"","sources":["../../../src/compiler/analysis/analyze-project.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,cAAc,EACd,qBAAqB,EAEtB,MAAM,6BAA6B,CAAC;AAuBrC,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,cAAc,CA2F7E"}
+{"version":3,"file":"analyze-project.d.ts","sourceRoot":"","sources":["../../../src/compiler/analysis/analyze-project.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,cAAc,EACd,qBAAqB,EAEtB,MAAM,6BAA6B,CAAC;AAuBrC,wBAAgB,cAAc,CAAC,OAAO,EAAE,qBAAqB,GAAG,cAAc,CA2G7E"}

package/dist/compiler/analysis/analyze-project.js

@@ -14,15 +14,29 @@ function analyzeProject(context) {
         throw new Error(formatDiagnostic(typescript, configFile.error));
     }
     const parsedConfig = typescript.parseJsonConfigFileContent(configFile.config, typescript.sys, (0, node_path_1.dirname)(tsconfigPath), undefined, tsconfigPath);
+    const compilerOptions = {
+        ...parsedConfig.options,
+        ...context.compilerOptions,
+    };
+    // strictNullChecks is what lets a runtime contract tell `null`/`undefined`
+    // apart from every other value; without it the type information the
+    // transformer reads from the checker is already too lossy to protect
+    // against, so this is a hard requirement per the project spec rather than
+    // a per-contract coverage limit.
+    const effectiveStrictNullChecks = compilerOptions.strictNullChecks ?? compilerOptions.strict ?? false;
+    if (effectiveStrictNullChecks !== true) {
+        throw new Error(`ts-typed requires "strictNullChecks": true (directly, or via "strict": true) in ${tsconfigPath}. ` +
+            'Without it, null and undefined cannot be reliably distinguished from other values when building runtime contracts.');
+    }
     const program = typescript.createProgram({
         rootNames: parsedConfig.fileNames,
-        options: { ...parsedConfig.options, ...context.compilerOptions },
+        options: compilerOptions,
         projectReferences: parsedConfig.projectReferences,
     });
     const checker = program.getTypeChecker();
     const projectLoadMs = performance.now() - projectLoadStart;
     const typeAnalysisStart = performance.now();
-    const resolver = new type_schema_resolver_1.TypeSchemaResolver(typescript, checker);
+    const resolver = new type_schema_resolver_1.TypeSchemaResolver(typescript, checker, context.enforcePrivate === true);
     const contracts = new Map();
     const coverage = [];
     const diagnostics = [];
@@ -260,8 +274,11 @@ function getUnsupportedMemberReason(typescript, node, enforcePrivate) {
         !(enforcePrivate && isOnlyPrivate)) {
         return 'Private, protected, and static members require class-specific instrumentation.';
     }
-    if (typescript.canHaveDecorators(node) && (typescript.getDecorators(node)?.length ?? 0) > 0) {
-        return 'Decorated members require framework-compatible instrumentation.';
+    // enforcePrivate rewrites a private field into a `#name` accessor pair, which
+    // drops the field's decorators (a decorator cannot target a `#` accessor).
+    // Keep such a member unsupported so its decorator is not silently lost.
+    if (isOnlyPrivate && (typescript.getDecorators(node)?.length ?? 0) > 0) {
+        return 'Decorated private members cannot keep their decorators under enforcePrivate.';
     }
     return undefined;
 }

package/dist/compiler/analysis/analyze-project.js.map

@@ -1 +1 @@
-{"version":3,"file":"analyze-project.js","sourceRoot":"","sources":["../../../src/compiler/analysis/analyze-project.ts"],"names":[],"mappings":";;AAgCA,wCA2FC;AA3HD,6CAA4C;AAC5C,yCAA6D;AAE7D,iDAAkD;AAiBlD,iEAA4D;AAY5D,SAAgB,cAAc,CAAC,OAA8B;IAC3D,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpF,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,0BAA0B,CACxD,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,GAAG,EACd,IAAA,mBAAO,EAAC,YAAY,CAAC,EACrB,SAAS,EACT,YAAY,CACb,CAAC;IACF,MAAM,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,OAAO,EAAE,EAAE,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,eAAe,EAAE;QAChE,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;KAClD,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,gBAAgB,CAAC;IAC3D,MAAM,iBAAiB,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,yCAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiD,CAAC;IAC3E,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,WAAW,GAAyB,EAAE,CAAC;IAE7C,MAAM,YAAY,GAAG,CAAC,SAA4B,EAAQ,EAAE;QAC1D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvG,MAAM,UAAU,GACd,SAAS,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC;YAC/F,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,iBAAiB,EAAE,CAAC;QACrE,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,UAAU;YACV,UAAU;YACV,IAAI,EAAE,UAAU,CAAC,QAAQ;YACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;YACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;SAC/B,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,wBAAwB,CACzC,UAAU,EACV,SAAS,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;YACtD,MAAM,SAAS,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;YACnG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,YAAY,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,6BAA6B,GAAG,OAAO,CAAC,cAAc,KAAK,IAAI;QACnE,CAAC,CAAC,oCAAoC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;QACpE,CAAC,CAAC,IAAI,GAAG,EAA+D,CAAC;IAE3E,MAAM,aAAa,GAAG;QACpB,GAAG,YAAY,CAAC,MAAM;QACtB,GAAG,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC;KAC7C,CAAC;IACF,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,iBAAiB,CAAC;IAC7D,OAAO;QACL,UAAU;QACV,OAAO;QACP,OAAO;QACP,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,WAAW;QACX,aAAa;QACb,gBAAgB,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE;QAC9E,6BAA6B;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAC3C,UAAuC,EACvC,OAAyC,EACzC,OAAqC;IAErC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+D,CAAC;IAEzF,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;YACtD,IACE,UAAU,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAC1C,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,EACvD,CAAC;gBACD,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9D,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC3F,IAAI,cAAc,KAAK,SAAS,IAAI,iBAAiB,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC;oBAClF,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;oBACrF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBACrD,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,UAAU,CAAC,QAAQ;wBACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;wBACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;qBAC/B,CAAC,CAAC;oBACH,SAAS,CAAC,GAAG,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;YACD,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAuC,EACvC,MAAmC;IAEnC,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,wBAAwB,CAAC,WAAW,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,sBAAsB,CAAC,YAAoB;IAClD,MAAM,eAAe,GAAG,IAAA,2BAAa,EAAC,YAAY,CAAC,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,kBAAkB,GAAY,eAAe,CAAC,YAAY,CAAC,CAAC;QAClE,OAAO,wBAAwB,CAAC,kBAAkB,CAAC,CAAC;IACtD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO,wBAAwB,CAAC,kBAAkB,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAkB;IAClD,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uFAAuF,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,0BAA0B,SAAS,CAAC,OAAO,8CAA8C,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,OAAO,CACL,OAAO,SAAS,KAAK,QAAQ;QAC7B,SAAS,KAAK,IAAI;QAClB,SAAS,IAAI,SAAS;QACtB,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;QACrC,mBAAmB,IAAI,SAAS;QAChC,OAAO,SAAS,CAAC,iBAAiB,KAAK,QAAQ;QAC/C,gBAAgB,IAAI,SAAS;QAC7B,OAAO,SAAS,CAAC,cAAc,KAAK,UAAU;QAC9C,4BAA4B,IAAI,SAAS;QACzC,OAAO,SAAS,CAAC,0BAA0B,KAAK,UAAU;QAC1D,eAAe,IAAI,SAAS;QAC5B,OAAO,SAAS,CAAC,aAAa,KAAK,UAAU,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,OAAO,SAAS,KAAK,kBAAkB,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAuC,EACvC,UAA2C;IAE3C,OAAO,UAAU,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA2C;IACrE,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,IAAA,qBAAS,EAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,eAAG,eAAe,eAAG,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,OAAyC,EACzC,IAA+B,EAC/B,cAAuB;IAEvB,IAAI,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,OAAO,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,QAAQ,IAAI,IAAI;YAC9B,IAAI,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YACvC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,UAAU;YAChB,iBAAiB,EAAE,YAAY;gBAC7B,CAAC,CAAC,8FAA8F;gBAChG,CAAC,CAAC,SAAS;YACb,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS;SACjE,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC;QAC/B,UAAU,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAC1C,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EACtC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;YACtC,IAAI,EAAE,YAAY;YAClB,IAAI;SACL,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,OAAyC,EACzC,IAG6C,EAC7C,IAA0E,EAC1E,IAA2C,EAC3C,cAAuB;IAEvB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9G,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;YACpB,IAAI;YACJ,iBAAiB,EAAE,8FAA8F;YACjH,cAAc,EAAE,uBAAuB;SACxC,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,UAAU,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACvF,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACrC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAuC,EACvC,IAAqI,EACrI,cAAuB;IAEvB,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAChE,8DAA8D;IAC9D,0EAA0E;IAC1E,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,aAAa,GAAG,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC;WACvD,CAAC,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;WACxD,CAAC,aAAa,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,GAAG,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACpG,IACE,CAAC,aAAa;QACZ,CAAC,UAAU,CAAC,aAAa,CAAC,OAAO;YAC/B,UAAU,CAAC,aAAa,CAAC,SAAS;YAClC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC,EAClC,CAAC;QACD,OAAO,gFAAgF,CAAC;IAC1F,CAAC;IACD,IAAI,UAAU,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5F,OAAO,iEAAiE,CAAC;IAC3E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,IAA+B;IAO/B,OAAO,CACL,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC;QACtC,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACrC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC;QAChC,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC;QACpC,UAAU,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAuC,EACvC,IAK+C;IAE/C,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,IAAI,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,UAAuC,EACvC,IAK+C;IAE/C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,QAAQ,EAAE,OAAO,EAAE,IAAI,aAAa,CAAC;AAC9C,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA8B;IACxD,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM;QACpC,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;KAChG,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA8B,EAC9B,aAAsC;IAEtC,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACzC,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GACR,aAAa,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,IAAI,wDAAwD,CAAC;IAC7F,OAAO;QACL,IAAI;QACJ,QAAQ,EAAE,SAAS;QACnB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,GAAG,MAAM,aAAa,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,MAAM,GAAG;KAC1E,CAAC;AACJ,CAAC"}
+{"version":3,"file":"analyze-project.js","sourceRoot":"","sources":["../../../src/compiler/analysis/analyze-project.ts"],"names":[],"mappings":";;AAgCA,wCA2GC;AA3ID,6CAA4C;AAC5C,yCAA6D;AAE7D,iDAAkD;AAiBlD,iEAA4D;AAY5D,SAAgB,cAAc,CAAC,OAA8B;IAC3D,MAAM,gBAAgB,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,UAAU,GAAG,sBAAsB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,UAAU,CAAC,cAAc,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpF,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,YAAY,GAAG,UAAU,CAAC,0BAA0B,CACxD,UAAU,CAAC,MAAM,EACjB,UAAU,CAAC,GAAG,EACd,IAAA,mBAAO,EAAC,YAAY,CAAC,EACrB,SAAS,EACT,YAAY,CACb,CAAC;IACF,MAAM,eAAe,GAAyC;QAC5D,GAAG,YAAY,CAAC,OAAO;QACvB,GAAG,OAAO,CAAC,eAAe;KAC3B,CAAC;IACF,2EAA2E;IAC3E,oEAAoE;IACpE,qEAAqE;IACrE,0EAA0E;IAC1E,iCAAiC;IACjC,MAAM,yBAAyB,GAAG,eAAe,CAAC,gBAAgB,IAAI,eAAe,CAAC,MAAM,IAAI,KAAK,CAAC;IACtG,IAAI,yBAAyB,KAAK,IAAI,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CACb,mFAAmF,YAAY,IAAI;YACnG,oHAAoH,CACrH,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,UAAU,CAAC,aAAa,CAAC;QACvC,SAAS,EAAE,YAAY,CAAC,SAAS;QACjC,OAAO,EAAE,eAAe;QACxB,iBAAiB,EAAE,YAAY,CAAC,iBAAiB;KAClD,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,aAAa,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,gBAAgB,CAAC;IAC3D,MAAM,iBAAiB,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAG,IAAI,yCAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;IAC9F,MAAM,SAAS,GAAG,IAAI,GAAG,EAAiD,CAAC;IAC3E,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,WAAW,GAAyB,EAAE,CAAC;IAE7C,MAAM,YAAY,GAAG,CAAC,SAA4B,EAAQ,EAAE;QAC1D,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QACvG,MAAM,UAAU,GACd,SAAS,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,OAAO,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC;YAC/F,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,SAAS,CAAC,iBAAiB,EAAE,CAAC;QACrE,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,UAAU;YACV,UAAU;YACV,IAAI,EAAE,UAAU,CAAC,QAAQ;YACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;YACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;SAC/B,CAAC;QACF,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,wBAAwB,CACzC,UAAU,EACV,SAAS,CAAC,cAAc,CACzB,CAAC;QACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;YACtD,MAAM,SAAS,GAAG,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC;YACnG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,YAAY,CAAC,SAAS,CAAC,CAAC;YAC1B,CAAC;YACD,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,6BAA6B,GAAG,OAAO,CAAC,cAAc,KAAK,IAAI;QACnE,CAAC,CAAC,oCAAoC,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC;QACpE,CAAC,CAAC,IAAI,GAAG,EAA+D,CAAC;IAE3E,MAAM,aAAa,GAAG;QACpB,GAAG,YAAY,CAAC,MAAM;QACtB,GAAG,UAAU,CAAC,qBAAqB,CAAC,OAAO,CAAC;KAC7C,CAAC;IACF,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,iBAAiB,CAAC;IAC7D,OAAO;QACL,UAAU;QACV,OAAO;QACP,OAAO;QACP,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,WAAW;QACX,aAAa;QACb,gBAAgB,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,cAAc,EAAE;QAC9E,6BAA6B;KAC9B,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAC3C,UAAuC,EACvC,OAAyC,EACzC,OAAqC;IAErC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA+D,CAAC;IAEzF,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,kBAAkB,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,IAA+B,EAAQ,EAAE;YACtD,IACE,UAAU,CAAC,yBAAyB,CAAC,IAAI,CAAC;gBAC1C,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,EACvD,CAAC;gBACD,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9D,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC3F,IAAI,cAAc,KAAK,SAAS,IAAI,iBAAiB,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,CAAC;oBAClF,MAAM,QAAQ,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;oBACrF,MAAM,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;oBACrD,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,UAAU,CAAC,QAAQ;wBACzB,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,CAAC;wBACvB,MAAM,EAAE,QAAQ,CAAC,SAAS,GAAG,CAAC;qBAC/B,CAAC,CAAC;oBACH,SAAS,CAAC,GAAG,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;gBAC1C,CAAC;YACH,CAAC;YACD,UAAU,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACvC,CAAC,CAAC;QACF,UAAU,CAAC,YAAY,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,iBAAiB,CACxB,UAAuC,EACvC,MAAmC;IAEnC,MAAM,WAAW,GAAG,MAAM,CAAC,gBAAgB,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,WAAW,CAAC,EAAE,CAAC;QAChF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CAAC,UAAU,CAAC,wBAAwB,CAAC,WAAW,CAAC,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACrG,CAAC;AAED,SAAS,sBAAsB,CAAC,YAAoB;IAClD,MAAM,eAAe,GAAG,IAAA,2BAAa,EAAC,YAAY,CAAC,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,kBAAkB,GAAY,eAAe,CAAC,YAAY,CAAC,CAAC;QAClE,OAAO,wBAAwB,CAAC,kBAAkB,CAAC,CAAC;IACtD,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACxB,IAAI,CAAC,yBAAyB,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,KAAK,CAAC;QACd,CAAC;QACD,OAAO,wBAAwB,CAAC,kBAAkB,CAAC,CAAC;IACtD,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,SAAkB;IAClD,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,uFAAuF,CAAC,CAAC;IAC3G,CAAC;IACD,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,SAAS,CAAC,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,0BAA0B,SAAS,CAAC,OAAO,8CAA8C,CAC1F,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,OAAO,CACL,OAAO,SAAS,KAAK,QAAQ;QAC7B,SAAS,KAAK,IAAI;QAClB,SAAS,IAAI,SAAS;QACtB,OAAO,SAAS,CAAC,OAAO,KAAK,QAAQ;QACrC,mBAAmB,IAAI,SAAS;QAChC,OAAO,SAAS,CAAC,iBAAiB,KAAK,QAAQ;QAC/C,gBAAgB,IAAI,SAAS;QAC7B,OAAO,SAAS,CAAC,cAAc,KAAK,UAAU;QAC9C,4BAA4B,IAAI,SAAS;QACzC,OAAO,SAAS,CAAC,0BAA0B,KAAK,UAAU;QAC1D,eAAe,IAAI,SAAS;QAC5B,OAAO,SAAS,CAAC,aAAa,KAAK,UAAU,CAC9C,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3D,OAAO,SAAS,KAAK,kBAAkB,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;AACpF,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAuC,EACvC,UAA2C;IAE3C,OAAO,UAAU,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA2C;IACrE,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,cAAc,GAAG,IAAA,qBAAS,EAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO,CAAC,cAAc,CAAC,QAAQ,CAAC,GAAG,eAAG,eAAe,eAAG,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,OAAyC,EACzC,IAA+B,EAC/B,cAAuB;IAEvB,IAAI,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,OAAO,oBAAoB,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,cAAc,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,oBAAoB,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,OAAO,CAAC,wBAAwB,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,QAAQ,IAAI,IAAI;YAC9B,IAAI,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC;YACvC,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,UAAU;YAChB,iBAAiB,EAAE,YAAY;gBAC7B,CAAC,CAAC,8FAA8F;gBAChG,CAAC,CAAC,SAAS;YACb,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS;SACjE,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC;QAC/B,UAAU,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAC1C,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,EACtC,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC;YACtC,IAAI,EAAE,YAAY;YAClB,IAAI;SACL,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,OAAyC,EACzC,IAG6C,EAC7C,IAA0E,EAC1E,IAA2C,EAC3C,cAAuB;IAEvB,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9G,OAAO;YACL,IAAI;YACJ,YAAY,EAAE,IAAI;YAClB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;YACpB,IAAI;YACJ,iBAAiB,EAAE,8FAA8F;YACjH,cAAc,EAAE,uBAAuB;SACxC,CAAC;IACJ,CAAC;IACD,MAAM,iBAAiB,GAAG,0BAA0B,CAAC,UAAU,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;IACvF,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,IAAI;QACJ,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC;QACrC,iBAAiB;QACjB,cAAc,EAAE,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB;KACtF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,UAAuC,EACvC,IAAqI,EACrI,cAAuB;IAEvB,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAChE,8DAA8D;IAC9D,0EAA0E;IAC1E,0EAA0E;IAC1E,sEAAsE;IACtE,MAAM,aAAa,GAAG,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC;WACvD,CAAC,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC;WACxD,CAAC,aAAa,GAAG,CAAC,UAAU,CAAC,aAAa,CAAC,SAAS,GAAG,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACpG,IACE,CAAC,aAAa;QACZ,CAAC,UAAU,CAAC,aAAa,CAAC,OAAO;YAC/B,UAAU,CAAC,aAAa,CAAC,SAAS;YAClC,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACrC,CAAC;QACD,CAAC,CAAC,cAAc,IAAI,aAAa,CAAC,EAClC,CAAC;QACD,OAAO,gFAAgF,CAAC;IAC1F,CAAC;IACD,8EAA8E;IAC9E,2EAA2E;IAC3E,wEAAwE;IACxE,IAAI,aAAa,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACvE,OAAO,8EAA8E,CAAC;IACxF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,oBAAoB,CAC3B,UAAuC,EACvC,IAA+B;IAO/B,OAAO,CACL,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC;QACtC,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC;QACrC,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC;QAChC,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC;QACpC,UAAU,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAC1C,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,UAAuC,EACvC,IAK+C;IAE/C,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC;IACD,IAAI,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,UAAU,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,UAAuC,EACvC,IAK+C;IAE/C,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACvD,OAAO,QAAQ,EAAE,OAAO,EAAE,IAAI,aAAa,CAAC;AAC9C,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA8B;IACxD,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM;QACpC,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;KAChG,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,UAA8B,EAC9B,aAAsC;IAEtC,MAAM,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;IACzC,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GACR,aAAa,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAClG,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,IAAI,wDAAwD,CAAC;IAC7F,OAAO;QACL,IAAI;QACJ,QAAQ,EAAE,SAAS;QACnB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,IAAI,EAAE,UAAU,CAAC,IAAI;QACrB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,GAAG,MAAM,aAAa,UAAU,CAAC,IAAI,OAAO,UAAU,CAAC,MAAM,GAAG;KAC1E,CAAC;AACJ,CAAC"}

package/dist/compiler/analysis/type-schema-resolver.d.ts

@@ -4,13 +4,14 @@ import type { SchemaResolution } from './schema-resolution.interface';
 export declare class TypeSchemaResolver {
     private readonly _typescript;
     private readonly _checker;
+    private readonly _enforcePrivate;
     private readonly _definitions;
     private readonly _definitionNames;
     private readonly _definitionResolutions;
     private readonly _definitionTypes;
     private readonly _resolvingDefinitions;
     private readonly _classSymbolsByDefinitionName;
-    constructor(_typescript: typeof import('typescript'), _checker: ts.TypeChecker);
+    constructor(_typescript: typeof import('typescript'), _checker: ts.TypeChecker, _enforcePrivate?: boolean);
     resolve(type: ts.Type, node: ts.Node): SchemaResolution;
     getDefinitions(): Readonly<Record<string, Schema>>;
     /**
@@ -22,12 +23,54 @@ export declare class TypeSchemaResolver {
     getClassSymbol(definitionName: string): ts.Symbol | undefined;
     private _resolveType;
     private _resolveDirectType;
+    /**
+     * Open template literal types (`${number}px`, `user_${string}`) are leaves
+     * validated by a regex compiled from their texts and placeholders. Finite
+     * interpolations (`${'a' | 'b'}`) never reach here: TypeScript already
+     * expands them into a union of string literals.
+     */
+    private _resolveTemplateLiteral;
+    private _templateLiteralPattern;
+    private _placeholderPattern;
+    /**
+     * Heuristic: the built-in `Date` interface is declared in a TypeScript lib
+     * file, which carries `/// <reference no-default-lib="true"/>` and therefore
+     * `hasNoDefaultLib === true`. A user-declared class/interface named `Date`
+     * lives in an ordinary module and is not matched.
+     */
+    /**
+     * Resolves the type of an object property. A property whose type is purely a
+     * function (or such a function optionally widened with `undefined`/`null`, as
+     * in `onClick?: () => void`) is an opaque `function` leaf, so one callback field
+     * does not make the whole containing object unsupported. Any other shape goes
+     * through the general resolution unchanged.
+     */
+    private _resolvePropertyType;
+    private _isClassMethod;
+    /**
+     * Heuristic: a type is "purely a function" when it has call signatures, no
+     * construct signatures, and no own members at all. `getPropertiesOfType` does
+     * not include the members inherited from the global `Function` interface
+     * (`call`, `apply`, `bind`, `name`, ...), which are reached through the apparent
+     * type, so an empty property list means no user-declared extras. Index
+     * signatures are checked too, since they are also extra structure. Anything
+     * with extra members (`{ (): void; extra: string }`) stays unsupported.
+     */
+    private _isPureFunction;
+    private _isGlobalDate;
     private _resolveDefinitionOrCompound;
     private _resolveComposite;
     private _expandIntersectionObjectReference;
     private _resolveTuple;
     private _resolveArray;
     private _resolveObject;
+    /**
+     * Mirrors the transformer's `isOnlyPrivateField` rule: with enforcePrivate,
+     * a plain `private` PropertyDeclaration with an identifier name (not
+     * protected, not static) is converted to a real `#private` field. Parameter
+     * properties are not converted and remain part of the schema.
+     */
+    private _isConvertedToHashPrivate;
     private _getDefinitionName;
     private _hasDefiniteAssignmentAssertion;
     private _getClassSymbol;

package/dist/compiler/analysis/type-schema-resolver.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-schema-resolver.d.ts","sourceRoot":"","sources":["../../../src/compiler/analysis/type-schema-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAwB,MAAM,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAWtE,qBAAa,kBAAkB;IAS3B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IAT3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6B;IAC1D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA8B;IAC/D,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAwC;IAC/E,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA8B;IAC/D,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAgC;gBAG3D,WAAW,EAAE,cAAc,YAAY,CAAC,EACxC,QAAQ,EAAE,EAAE,CAAC,WAAW;IAGpC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,gBAAgB;IAIvD,cAAc,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAIzD;;;;;OAKG;IACI,cAAc,CAAC,cAAc,EAAE,MAAM,GAAG,EAAE,CAAC,MAAM,GAAG,SAAS;IAIpE,OAAO,CAAC,YAAY;IA0CpB,OAAO,CAAC,kBAAkB;IA8D1B,OAAO,CAAC,4BAA4B;IA6CpC,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,kCAAkC;IAQ1C,OAAO,CAAC,aAAa;IAoCrB,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,cAAc;IAwEtB,OAAO,CAAC,kBAAkB;IAgC1B,OAAO,CAAC,+BAA+B;IAgBvC,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,YAAY;CAGrB"}
+{"version":3,"file":"type-schema-resolver.d.ts","sourceRoot":"","sources":["../../../src/compiler/analysis/type-schema-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,KAAK,EAAwB,MAAM,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAetE,qBAAa,kBAAkB;IAS3B,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,eAAe;IAVlC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAA6B;IAC1D,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA8B;IAC/D,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAwC;IAC/E,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAA8B;IAC/D,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAAgC;gBAG3D,WAAW,EAAE,cAAc,YAAY,CAAC,EACxC,QAAQ,EAAE,EAAE,CAAC,WAAW,EACxB,eAAe,GAAE,OAAe;IAG5C,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,gBAAgB;IAIvD,cAAc,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAIzD;;;;;OAKG;IACI,cAAc,CAAC,cAAc,EAAE,MAAM,GAAG,EAAE,CAAC,MAAM,GAAG,SAAS;IAIpE,OAAO,CAAC,YAAY;IAwDpB,OAAO,CAAC,kBAAkB;IAsE1B;;;;;OAKG;IACH,OAAO,CAAC,uBAAuB;IAU/B,OAAO,CAAC,uBAAuB;IAoB/B,OAAO,CAAC,mBAAmB;IA8B3B;;;;;OAKG;IACH;;;;;;OAMG;IACH,OAAO,CAAC,oBAAoB;IA0B5B,OAAO,CAAC,cAAc;IAOtB;;;;;;;;OAQG;IACH,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,aAAa;IAUrB,OAAO,CAAC,4BAA4B;IA6CpC,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,kCAAkC;IAQ1C,OAAO,CAAC,aAAa;IAoCrB,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,cAAc;IAuFtB;;;;;OAKG;IACH,OAAO,CAAC,yBAAyB;IAgBjC,OAAO,CAAC,kBAAkB;IAgC1B,OAAO,CAAC,+BAA+B;IAgBvC,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,YAAY;CAGrB"}

package/dist/compiler/analysis/type-schema-resolver.js

@@ -2,18 +2,23 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypeSchemaResolver = void 0;
 const ALIAS_LIMIT_REASON = 'The value is validated at the typed boundary, but mutations through external aliases can escape.';
+function escapeRegExp(text) {
+    return text.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
 class TypeSchemaResolver {
     _typescript;
     _checker;
+    _enforcePrivate;
     _definitions = new Map();
     _definitionNames = new Map();
     _definitionResolutions = new Map();
     _definitionTypes = new Map();
     _resolvingDefinitions = new Set();
     _classSymbolsByDefinitionName = new Map();
-    constructor(_typescript, _checker) {
+    constructor(_typescript, _checker, _enforcePrivate = false) {
         this._typescript = _typescript;
         this._checker = _checker;
+        this._enforcePrivate = _enforcePrivate;
     }
     resolve(type, node) {
         return this._resolveType(type, node, true);
@@ -35,6 +40,20 @@ class TypeSchemaResolver {
         if (directResolution !== undefined) {
             return directResolution;
         }
+        // A pure function type is an opaque leaf (see _isPureFunction) regardless
+        // of WHERE it is being resolved from. _resolvePropertyType special-cases
+        // this for a property being resolved as part of its containing object's
+        // structural shape, but a function-typed value can also be its own
+        // top-level contract — a class field's own candidate, a variable, a
+        // parameter, a return — which reaches this general path directly, not
+        // through _resolvePropertyType. Handling it here, before the Union
+        // branch below, also means a union member that is a pure function (e.g.
+        // `(() => void) | undefined`) gets the same leaf treatment through the
+        // ordinary recursive _resolveComposite call, with no separate union
+        // handling needed on this path.
+        if (this._isPureFunction(type)) {
+            return { status: 'protected', schema: { kind: 'function' } };
+        }
         if (type.isUnion()) {
             return this._resolveDefinitionOrCompound(type, node, canCreateDefinition, () => this._resolveComposite(type.types, node, 'union'));
         }
@@ -112,8 +131,142 @@ class TypeSchemaResolver {
         if ((flags & typeFlags.NonPrimitive) !== 0) {
             return { status: 'protected', schema: { kind: 'primitive', name: 'object' } };
         }
+        if (this._isGlobalDate(type)) {
+            // Date is an opaque leaf: its methods are never enumerated (they are
+            // callable and would otherwise poison the whole object contract).
+            return { status: 'protected', schema: { kind: 'date' } };
+        }
+        if ((flags & typeFlags.TemplateLiteral) !== 0) {
+            return this._resolveTemplateLiteral(type);
+        }
+        return undefined;
+    }
+    /**
+     * Open template literal types (`${number}px`, `user_${string}`) are leaves
+     * validated by a regex compiled from their texts and placeholders. Finite
+     * interpolations (`${'a' | 'b'}`) never reach here: TypeScript already
+     * expands them into a union of string literals.
+     */
+    _resolveTemplateLiteral(type) {
+        const pattern = this._templateLiteralPattern(type);
+        if (pattern === undefined) {
+            return this._unsupported(`Template literal type ${this._checker.typeToString(type)} has a placeholder with no runtime pattern.`);
+        }
+        return { status: 'protected', schema: { kind: 'templateLiteral', pattern } };
+    }
+    _templateLiteralPattern(type) {
+        const placeholderPatterns = [];
+        for (const placeholder of type.types) {
+            const placeholderPattern = this._placeholderPattern(placeholder);
+            if (placeholderPattern === undefined) {
+                return undefined;
+            }
+            placeholderPatterns.push(placeholderPattern);
+        }
+        let pattern = '^';
+        type.texts.forEach((text, index) => {
+            pattern += escapeRegExp(text);
+            if (index < placeholderPatterns.length) {
+                pattern += placeholderPatterns[index];
+            }
+        });
+        return `${pattern}$`;
+    }
+    _placeholderPattern(placeholder) {
+        const typeFlags = this._typescript.TypeFlags;
+        if ((placeholder.flags & typeFlags.String) !== 0) {
+            // Any string, including the empty one. `[\s\S]` also matches newlines.
+            return '[\\s\\S]*';
+        }
+        if ((placeholder.flags & typeFlags.Number) !== 0) {
+            // Integers and plain decimals only; exponent notation, `Infinity` and
+            // `NaN` are not covered (documented limitation).
+            return '-?\\d+(?:\\.\\d+)?';
+        }
+        if ((placeholder.flags & typeFlags.BigInt) !== 0) {
+            return '-?\\d+';
+        }
+        if ((placeholder.flags & typeFlags.Boolean) !== 0) {
+            return '(?:true|false)';
+        }
+        if (placeholder.isStringLiteral() || placeholder.isNumberLiteral()) {
+            return escapeRegExp(String(placeholder.value));
+        }
+        if (placeholder.isUnion()) {
+            const alternatives = placeholder.types.map((member) => this._placeholderPattern(member));
+            if (alternatives.some((alternative) => alternative === undefined)) {
+                return undefined;
+            }
+            return `(?:${alternatives.join('|')})`;
+        }
         return undefined;
     }
+    /**
+     * Heuristic: the built-in `Date` interface is declared in a TypeScript lib
+     * file, which carries `/// <reference no-default-lib="true"/>` and therefore
+     * `hasNoDefaultLib === true`. A user-declared class/interface named `Date`
+     * lives in an ordinary module and is not matched.
+     */
+    /**
+     * Resolves the type of an object property. A property whose type is purely a
+     * function (or such a function optionally widened with `undefined`/`null`, as
+     * in `onClick?: () => void`) is an opaque `function` leaf, so one callback field
+     * does not make the whole containing object unsupported. Any other shape goes
+     * through the general resolution unchanged.
+     */
+    _resolvePropertyType(type, declaration) {
+        const members = type.isUnion() ? type.types : [type];
+        const functionMembers = members.filter((member) => this._isPureFunction(member));
+        if (functionMembers.length === 0) {
+            return this._resolveType(type, declaration, true);
+        }
+        const typeFlags = this._typescript.TypeFlags;
+        const schemas = [];
+        for (const member of members) {
+            if (this._isPureFunction(member)) {
+                schemas.push({ kind: 'function' });
+            }
+            else if ((member.flags & typeFlags.Undefined) !== 0) {
+                schemas.push({ kind: 'literal', value: undefined });
+            }
+            else if ((member.flags & typeFlags.Null) !== 0) {
+                schemas.push({ kind: 'literal', value: null });
+            }
+            else {
+                // Mixed with a non-function member: not a pure function leaf.
+                return this._resolveType(type, declaration, true);
+            }
+        }
+        return {
+            status: 'protected',
+            schema: schemas.length === 1 ? schemas[0] : { kind: 'union', schemas },
+        };
+    }
+    _isClassMethod(property) {
+        return (property.declarations ?? []).some((declaration) => this._typescript.isMethodDeclaration(declaration) && this._typescript.isClassLike(declaration.parent));
+    }
+    /**
+     * Heuristic: a type is "purely a function" when it has call signatures, no
+     * construct signatures, and no own members at all. `getPropertiesOfType` does
+     * not include the members inherited from the global `Function` interface
+     * (`call`, `apply`, `bind`, `name`, ...), which are reached through the apparent
+     * type, so an empty property list means no user-declared extras. Index
+     * signatures are checked too, since they are also extra structure. Anything
+     * with extra members (`{ (): void; extra: string }`) stays unsupported.
+     */
+    _isPureFunction(type) {
+        return (type.getCallSignatures().length > 0 &&
+            type.getConstructSignatures().length === 0 &&
+            this._checker.getPropertiesOfType(type).length === 0 &&
+            this._checker.getIndexInfosOfType(type).length === 0);
+    }
+    _isGlobalDate(type) {
+        const symbol = type.getSymbol();
+        if (symbol === undefined || symbol.getName() !== 'Date') {
+            return false;
+        }
+        return (symbol.getDeclarations() ?? []).some((declaration) => declaration.getSourceFile().hasNoDefaultLib);
+    }
     _resolveDefinitionOrCompound(type, node, canCreateDefinition, resolveCompound) {
         const definitionName = canCreateDefinition ? this._getDefinitionName(type, node) : undefined;
         if (definitionName === undefined) {
@@ -236,9 +389,22 @@ class TypeSchemaResolver {
             if (propertyName.startsWith('#')) {
                 return this._unsupported('True #private class fields have no reflective runtime access and cannot be represented by the runtime schema model.');
             }
+            if (this._isConvertedToHashPrivate(property)) {
+                // With enforcePrivate, the transformer rewrites this field into a real
+                // `#private` field, so it has no reflective property at runtime and
+                // must not be required by the structural schema. Only this member is
+                // omitted; the rest of the class stays validated.
+                continue;
+            }
+            if (this._isClassMethod(property)) {
+                // Class methods keep the established contract: a class with a method is
+                // not represented structurally. Only non-method members (fields holding
+                // callbacks, interface method signatures) become function leaves.
+                return this._unsupported(`Property ${propertyName} is unsupported: Callable and constructable contracts are not represented by object schemas.`);
+            }
             const declaration = property.valueDeclaration ?? property.declarations?.[0] ?? node;
             const propertyType = this._checker.getTypeOfSymbolAtLocation(property, declaration);
-            const propertyResolution = this._resolveType(propertyType, declaration, true);
+            const propertyResolution = this._resolvePropertyType(propertyType, declaration);
             if (propertyResolution.schema === undefined) {
                 return this._unsupported(`Property ${propertyName} is unsupported: ${propertyResolution.reason ?? 'unknown type limit'}`);
             }
@@ -276,6 +442,27 @@ class TypeSchemaResolver {
                 : ALIAS_LIMIT_REASON,
         };
     }
+    /**
+     * Mirrors the transformer's `isOnlyPrivateField` rule: with enforcePrivate,
+     * a plain `private` PropertyDeclaration with an identifier name (not
+     * protected, not static) is converted to a real `#private` field. Parameter
+     * properties are not converted and remain part of the schema.
+     */
+    _isConvertedToHashPrivate(property) {
+        if (!this._enforcePrivate) {
+            return false;
+        }
+        const declaration = property.valueDeclaration ?? property.declarations?.[0];
+        if (declaration === undefined || !this._typescript.isPropertyDeclaration(declaration)) {
+            return false;
+        }
+        if (!this._typescript.isIdentifier(declaration.name)) {
+            return false;
+        }
+        const flags = this._typescript.getCombinedModifierFlags(declaration);
+        return (flags & this._typescript.ModifierFlags.Private) !== 0 &&
+            (flags & (this._typescript.ModifierFlags.Protected | this._typescript.ModifierFlags.Static)) === 0;
+    }
     _getDefinitionName(type, node) {
         const existingName = this._definitionNames.get(type);
         if (existingName !== undefined) {