@formspec/analysis 0.1.0-alpha.20 → 0.1.0-alpha.21

package/dist/compiler-signatures.d.ts

@@ -1,3 +1,4 @@
+import { type FormSpecPerformanceRecorder } from "./perf-tracing.js";
 import { type ExtensionTagSource, type FormSpecPlacement, type TagDefinition, type TagSignature } from "./tag-registry.js";
 /**
  * Target kinds that can be represented in a synthetic compiler call.
@@ -52,6 +53,7 @@ export interface SyntheticCompilerDiagnostic {
  */
 export interface CheckSyntheticTagApplicationOptions extends LowerSyntheticTagApplicationOptions {
     readonly supportingDeclarations?: readonly string[];
+    readonly performance?: FormSpecPerformanceRecorder;
 }
 /**
  * Result of checking a lowered synthetic tag application with the TypeScript
@@ -61,6 +63,36 @@ export interface SyntheticTagCheckResult {
     readonly sourceText: string;
     readonly diagnostics: readonly SyntheticCompilerDiagnostic[];
 }
+/**
+ * Options for the minimal synthetic applicability checker that operates on an
+ * already-resolved target type instead of reproducing path/member resolution in
+ * the synthetic program.
+ */
+export interface CheckNarrowSyntheticTagApplicabilityOptions {
+    readonly tagName: string;
+    readonly placement: FormSpecPlacement;
+    readonly resolvedTargetType: string;
+    readonly targetKind?: SyntheticTagTargetKind | null;
+    readonly argumentExpression?: string | null;
+    readonly extensions?: readonly ExtensionTagSource[];
+    readonly performance?: FormSpecPerformanceRecorder;
+}
+/**
+ * Options for running the minimal synthetic applicability checker against
+ * multiple already-resolved target types in a single in-memory program.
+ */
+export interface CheckNarrowSyntheticTagApplicabilitiesOptions {
+    readonly applications: readonly CheckNarrowSyntheticTagApplicabilityOptions[];
+    readonly performance?: FormSpecPerformanceRecorder;
+}
+/**
+ * Options for running the TypeScript checker against multiple lowered
+ * synthetic tag calls in a single in-memory program.
+ */
+export interface CheckSyntheticTagApplicationsOptions {
+    readonly applications: readonly CheckSyntheticTagApplicationOptions[];
+    readonly performance?: FormSpecPerformanceRecorder;
+}
 /**
  * Filters a tag definition's overloads down to the ones that apply to the
  * requested placement and synthetic target form.
@@ -89,6 +121,16 @@ export declare function buildSyntheticHelperPrelude(extensions?: readonly Extens
  * the helper call and selects the matching overload metadata.
  */
 export declare function lowerTagApplicationToSyntheticCall(options: LowerSyntheticTagApplicationOptions): LoweredSyntheticTagApplication;
+/**
+ * Runs the TypeScript checker once against multiple lowered synthetic tag
+ * applications and returns per-application diagnostics.
+ */
+export declare function checkSyntheticTagApplications(options: CheckSyntheticTagApplicationsOptions): readonly SyntheticTagCheckResult[];
+/**
+ * Runs the minimal synthetic applicability checker once against multiple
+ * already-resolved target types and returns per-application diagnostics.
+ */
+export declare function checkNarrowSyntheticTagApplicabilities(options: CheckNarrowSyntheticTagApplicabilitiesOptions): readonly SyntheticTagCheckResult[];
 /**
  * Runs the TypeScript checker against a lowered synthetic tag application.
  *
@@ -97,4 +139,10 @@ export declare function lowerTagApplicationToSyntheticCall(options: LowerSynthet
  * requiring comment tags themselves to be valid TypeScript syntax.
  */
 export declare function checkSyntheticTagApplication(options: CheckSyntheticTagApplicationOptions): SyntheticTagCheckResult;
+/**
+ * Runs a minimal synthetic applicability check against an already-resolved
+ * target type. This avoids reproducing path/member resolution in the synthetic
+ * program and isolates only the type-compatibility question.
+ */
+export declare function checkNarrowSyntheticTagApplicability(options: CheckNarrowSyntheticTagApplicabilityOptions): SyntheticTagCheckResult;
 //# sourceMappingURL=compiler-signatures.d.ts.map

package/dist/compiler-signatures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compiler-signatures.d.ts","sourceRoot":"","sources":["../src/compiler-signatures.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EAEtB,KAAK,aAAa,EAClB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEnE;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACrD;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,YAAY,EAAE,CAAC;IACrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,mCAAoC,SAAQ,mCAAmC;IAC9F,QAAQ,CAAC,sBAAsB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrD;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC9D;AAuOD;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,iBAAiB,EAC5B,UAAU,EAAE,sBAAsB,GAAG,IAAI,GACxC,SAAS,YAAY,EAAE,CAKzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,MAAM,CAW9F;AAED;;;;;;;GAOG;AACH,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,8BAA8B,CAsChC;AA2CD;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,mCAAmC,GAC3C,uBAAuB,CAqCzB"}
+{"version":3,"file":"compiler-signatures.d.ts","sourceRoot":"","sources":["../src/compiler-signatures.ts"],"names":[],"mappings":"AAEA,OAAO,EAAmB,KAAK,2BAA2B,EAAE,MAAM,mBAAmB,CAAC;AACtF,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,iBAAiB,EAEtB,KAAK,aAAa,EAClB,KAAK,YAAY,EAElB,MAAM,mBAAmB,CAAC;AAE3B;;;;;GAKG;AACH,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEnE;;;GAGG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,2BAA2B,GAAG,IAAI,CAAC;IACrD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACrD;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,SAAS,YAAY,EAAE,CAAC;IACrD,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,mCAAoC,SAAQ,mCAAmC;IAC9F,QAAQ,CAAC,sBAAsB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,2BAA2B,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,2BAA2B,EAAE,CAAC;CAC9D;AAED;;;;GAIG;AACH,MAAM,WAAW,2CAA2C;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,UAAU,CAAC,EAAE,sBAAsB,GAAG,IAAI,CAAC;IACpD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,2BAA2B,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,YAAY,EAAE,SAAS,2CAA2C,EAAE,CAAC;IAC9E,QAAQ,CAAC,WAAW,CAAC,EAAE,2BAA2B,CAAC;CACpD;AAED;;;GAGG;AACH,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,YAAY,EAAE,SAAS,mCAAmC,EAAE,CAAC;IACtE,QAAQ,CAAC,WAAW,CAAC,EAAE,2BAA2B,CAAC;CACpD;AAmQD;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,aAAa,EACzB,SAAS,EAAE,iBAAiB,EAC5B,UAAU,EAAE,sBAAsB,GAAG,IAAI,GACxC,SAAS,YAAY,EAAE,CAKzB;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GAAG,MAAM,CAW9F;AAED;;;;;;;GAOG;AACH,wBAAgB,kCAAkC,CAChD,OAAO,EAAE,mCAAmC,GAC3C,8BAA8B,CAsChC;AA6cD;;;GAGG;AACH,wBAAgB,6BAA6B,CAC3C,OAAO,EAAE,oCAAoC,GAC5C,SAAS,uBAAuB,EAAE,CAwBpC;AAED;;;GAGG;AACH,wBAAgB,sCAAsC,CACpD,OAAO,EAAE,6CAA6C,GACrD,SAAS,uBAAuB,EAAE,CAuBpC;AAED;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAC1C,OAAO,EAAE,mCAAmC,GAC3C,uBAAuB,CASzB;AAED;;;;GAIG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,2CAA2C,GACnD,uBAAuB,CAWzB"}

package/dist/constants.d.ts

@@ -0,0 +1,2 @@
+export declare const FORM_SPEC_SYNTHETIC_BATCH_CACHE_ENTRIES = 64;
+//# sourceMappingURL=constants.d.ts.map

package/dist/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../src/constants.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,uCAAuC,KAAK,CAAC"}

package/dist/file-snapshots.d.ts

@@ -1,5 +1,6 @@
 import * as ts from "typescript";
 import { type FormSpecAnalysisFileSnapshot } from "./semantic-protocol.js";
+import { type FormSpecPerformanceRecorder } from "./perf-tracing.js";
 import type { ExtensionTagSource } from "./tag-registry.js";
 /**
  * Options used when building a serializable, editor-oriented snapshot for a
@@ -8,6 +9,8 @@ import type { ExtensionTagSource } from "./tag-registry.js";
 export interface BuildFormSpecAnalysisFileSnapshotOptions {
     readonly checker: ts.TypeChecker;
     readonly extensions?: readonly ExtensionTagSource[];
+    readonly now?: () => Date;
+    readonly performance?: FormSpecPerformanceRecorder;
 }
 /**
  * Builds a transport-safe snapshot of every FormSpec-bearing doc comment in a

package/dist/file-snapshots.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"file-snapshots.d.ts","sourceRoot":"","sources":["../src/file-snapshots.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAQjC,OAAO,EAKL,KAAK,4BAA4B,EAClC,MAAM,wBAAwB,CAAC;AAEhC,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAE/E;;;GAGG;AACH,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACrD;AA6ND;;;;GAIG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,wCAAwC,GAChD,4BAA4B,CAkE9B"}
+{"version":3,"file":"file-snapshots.d.ts","sourceRoot":"","sources":["../src/file-snapshots.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAYjC,OAAO,EAKL,KAAK,4BAA4B,EAClC,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAGL,KAAK,2BAA2B,EACjC,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,kBAAkB,EAAqB,MAAM,mBAAmB,CAAC;AAE/E;;;GAGG;AACH,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACpD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,2BAA2B,CAAC;CACpD;AAmaD;;;;GAIG;AACH,wBAAgB,iCAAiC,CAC/C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,wCAAwC,GAChD,4BAA4B,CA0E9B"}