@formspec/analysis 0.1.0-alpha.20

package/dist/path-target.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"path-target.d.ts","sourceRoot":"","sources":["../src/path-target.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEjD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CAWvE;AAED,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,MAAM,EAAE,GAAG,MAAM,CAK7E"}

package/dist/semantic-protocol.d.ts

@@ -0,0 +1,234 @@
+import type { CommentSpan, ParsedCommentTag, ParsedCommentTargetSpecifier } from "./comment-syntax.js";
+import type { CommentHoverInfo, CommentTagSemanticContext, SemanticCommentCompletionContext } from "./cursor-context.js";
+import type { FormSpecPlacement, FormSpecTargetKind } from "./tag-registry.js";
+export declare const FORMSPEC_ANALYSIS_PROTOCOL_VERSION = 1;
+export declare const FORMSPEC_ANALYSIS_SCHEMA_VERSION = 1;
+/**
+ * Cross-process endpoint used by the language server to reach the semantic
+ * tsserver plugin on the current workspace host.
+ */
+export interface FormSpecIpcEndpoint {
+    readonly kind: "unix-socket" | "windows-pipe";
+    readonly address: string;
+}
+/**
+ * Discovery record written by the tsserver plugin so other FormSpec tooling
+ * can locate and validate the matching semantic service for a workspace.
+ */
+export interface FormSpecAnalysisManifest {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly analysisSchemaVersion: typeof FORMSPEC_ANALYSIS_SCHEMA_VERSION;
+    readonly workspaceRoot: string;
+    readonly workspaceId: string;
+    readonly endpoint: FormSpecIpcEndpoint;
+    readonly typescriptVersion: string;
+    readonly extensionFingerprint: string;
+    readonly generation: number;
+    readonly updatedAt: string;
+}
+/**
+ * Serializable subset of tag metadata needed by hover and completion UIs.
+ */
+export interface FormSpecSerializedTagDefinition {
+    readonly canonicalName: string;
+    readonly completionDetail: string;
+    readonly hoverMarkdown: string;
+}
+/**
+ * Serializable overload/signature summary for one comment tag form.
+ */
+export interface FormSpecSerializedTagSignature {
+    readonly label: string;
+    readonly placements: readonly FormSpecPlacement[];
+}
+/**
+ * Serialized representation of a parsed target specifier with exact spans.
+ */
+export interface FormSpecSerializedCommentTargetSpecifier {
+    readonly rawText: string;
+    readonly valid: boolean;
+    readonly kind: ParsedCommentTargetSpecifier["kind"];
+    readonly fullSpan: CommentSpan;
+    readonly colonSpan: CommentSpan;
+    readonly span: CommentSpan;
+}
+/**
+ * Semantic facts about one parsed tag, reduced to JSON-safe data for IPC.
+ */
+export interface FormSpecSerializedTagSemanticContext {
+    readonly tagName: string;
+    readonly tagDefinition: FormSpecSerializedTagDefinition | null;
+    readonly placement: FormSpecPlacement | null;
+    readonly supportedTargets: readonly FormSpecTargetKind[];
+    readonly targetCompletions: readonly string[];
+    readonly compatiblePathTargets: readonly string[];
+    readonly valueLabels: readonly string[];
+    readonly signatures: readonly FormSpecSerializedTagSignature[];
+    readonly tagHoverMarkdown: string | null;
+    readonly targetHoverMarkdown: string | null;
+    readonly argumentHoverMarkdown: string | null;
+}
+/**
+ * Cursor-scoped completion context serialized for transport between the
+ * semantic tsserver plugin and the lightweight LSP.
+ */
+export type FormSpecSerializedCompletionContext = {
+    readonly kind: "tag-name";
+    readonly prefix: string;
+    readonly availableTags: readonly FormSpecSerializedTagDefinition[];
+} | {
+    readonly kind: "target";
+    readonly semantic: FormSpecSerializedTagSemanticContext;
+} | {
+    readonly kind: "argument";
+    readonly semantic: FormSpecSerializedTagSemanticContext;
+    readonly valueLabels: readonly string[];
+} | {
+    readonly kind: "none";
+};
+/**
+ * Hover payload for a single comment token under the cursor.
+ */
+export interface FormSpecSerializedHoverInfo {
+    readonly kind: CommentHoverInfo["kind"];
+    readonly markdown: string;
+}
+/**
+ * File-local diagnostic derived from comment parsing or semantic analysis.
+ */
+export interface FormSpecAnalysisDiagnostic {
+    readonly code: string;
+    readonly message: string;
+    readonly range: CommentSpan;
+    readonly severity: "error" | "warning" | "info";
+}
+/**
+ * Serializable view of a single parsed FormSpec tag within a doc comment.
+ */
+export interface FormSpecAnalysisTagSnapshot {
+    readonly rawTagName: string;
+    readonly normalizedTagName: string;
+    readonly recognized: boolean;
+    readonly fullSpan: CommentSpan;
+    readonly tagNameSpan: CommentSpan;
+    readonly payloadSpan: CommentSpan | null;
+    readonly target: FormSpecSerializedCommentTargetSpecifier | null;
+    readonly argumentSpan: CommentSpan | null;
+    readonly argumentText: string;
+    readonly semantic: FormSpecSerializedTagSemanticContext;
+}
+/**
+ * Serializable view of one declaration-attached doc comment in a source file.
+ */
+export interface FormSpecAnalysisCommentSnapshot {
+    readonly commentSpan: CommentSpan;
+    readonly declarationSpan: CommentSpan;
+    readonly placement: FormSpecPlacement | null;
+    readonly subjectType: string | null;
+    readonly hostType: string | null;
+    readonly tags: readonly FormSpecAnalysisTagSnapshot[];
+}
+/**
+ * Serializable analysis artifact for a single source file.
+ */
+export interface FormSpecAnalysisFileSnapshot {
+    readonly filePath: string;
+    readonly sourceHash: string;
+    readonly generatedAt: string;
+    readonly comments: readonly FormSpecAnalysisCommentSnapshot[];
+    readonly diagnostics: readonly FormSpecAnalysisDiagnostic[];
+}
+/**
+ * Query variants supported by the semantic tsserver plugin.
+ */
+export type FormSpecSemanticQuery = {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "health";
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "completion";
+    readonly filePath: string;
+    readonly offset: number;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "hover";
+    readonly filePath: string;
+    readonly offset: number;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "diagnostics";
+    readonly filePath: string;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "file-snapshot";
+    readonly filePath: string;
+};
+/**
+ * Response variants returned by the semantic tsserver plugin.
+ */
+export type FormSpecSemanticResponse = {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "health";
+    readonly manifest: FormSpecAnalysisManifest;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "completion";
+    readonly sourceHash: string;
+    readonly context: FormSpecSerializedCompletionContext;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "hover";
+    readonly sourceHash: string;
+    readonly hover: FormSpecSerializedHoverInfo | null;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "diagnostics";
+    readonly sourceHash: string;
+    readonly diagnostics: readonly FormSpecAnalysisDiagnostic[];
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "file-snapshot";
+    readonly snapshot: FormSpecAnalysisFileSnapshot | null;
+} | {
+    readonly protocolVersion: typeof FORMSPEC_ANALYSIS_PROTOCOL_VERSION;
+    readonly kind: "error";
+    readonly error: string;
+};
+/**
+ * Validates an unknown manifest payload from disk before consumers trust it.
+ */
+export declare function isFormSpecAnalysisManifest(value: unknown): value is FormSpecAnalysisManifest;
+/**
+ * Validates an unknown inbound IPC request before dispatching it.
+ */
+export declare function isFormSpecSemanticQuery(value: unknown): value is FormSpecSemanticQuery;
+/**
+ * Validates an unknown IPC response before the language server consumes it.
+ */
+export declare function isFormSpecSemanticResponse(value: unknown): value is FormSpecSemanticResponse;
+/**
+ * Computes a stable, non-cryptographic hash for document staleness checks
+ * across the plugin/LSP boundary.
+ */
+export declare function computeFormSpecTextHash(text: string): string;
+/**
+ * Converts a parsed target specifier into its transport-safe JSON form.
+ */
+export declare function serializeCommentTargetSpecifier(target: ParsedCommentTargetSpecifier | null): FormSpecSerializedCommentTargetSpecifier | null;
+/**
+ * Serializes tag-level semantic context for cross-process consumption.
+ */
+export declare function serializeCommentTagSemanticContext(semantic: CommentTagSemanticContext): FormSpecSerializedTagSemanticContext;
+/**
+ * Serializes a cursor-scoped completion context for IPC.
+ */
+export declare function serializeCompletionContext(context: SemanticCommentCompletionContext): FormSpecSerializedCompletionContext;
+/**
+ * Serializes hover information for cross-process transport.
+ */
+export declare function serializeHoverInfo(hover: CommentHoverInfo | null): FormSpecSerializedHoverInfo | null;
+/**
+ * Serializes a parsed tag plus its semantic context into a file snapshot entry.
+ */
+export declare function serializeParsedCommentTag(tag: ParsedCommentTag, semantic: CommentTagSemanticContext): FormSpecAnalysisTagSnapshot;
+//# sourceMappingURL=semantic-protocol.d.ts.map

package/dist/semantic-protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-protocol.d.ts","sourceRoot":"","sources":["../src/semantic-protocol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,WAAW,EACX,gBAAgB,EAChB,4BAA4B,EAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EACV,gBAAgB,EAChB,yBAAyB,EACzB,gCAAgC,EACjC,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE/E,eAAO,MAAM,kCAAkC,IAAI,CAAC;AACpD,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,cAAc,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,qBAAqB,EAAE,OAAO,gCAAgC,CAAC;IACxE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,+BAA+B,GAAG,IAAI,CAAC;IAC/D,QAAQ,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACzD,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,8BAA8B,EAAE,CAAC;IAC/D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C;AAED;;;GAGG;AACH,MAAM,MAAM,mCAAmC,GAC3C;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,SAAS,+BAA+B,EAAE,CAAC;CACpE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAC;CACzD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEN;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,wCAAwC,GAAG,IAAI,CAAC;IACjE,QAAQ,CAAC,YAAY,EAAE,WAAW,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAC;CACzD;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,2BAA2B,EAAE,CAAC;CACvD;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAC9D,QAAQ,CAAC,WAAW,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAC7B;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEN;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAChC;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;CAC7C,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,mCAAmC,CAAC;CACvD,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,2BAA2B,GAAG,IAAI,CAAC;CACpD,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAC7D,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,GAAG,IAAI,CAAC;CACxD,GACD;IACE,QAAQ,CAAC,eAAe,EAAE,OAAO,kCAAkC,CAAC;IACpE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAgON;;GAEG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,wBAAwB,CAiB5F;AAED;;GAEG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,qBAAqB,CAsBtF;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,wBAAwB,CAmC5F;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ5D;AAED;;GAEG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,4BAA4B,GAAG,IAAI,GAC1C,wCAAwC,GAAG,IAAI,CAajD;AAED;;GAEG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,yBAAyB,GAClC,oCAAoC,CAwBtC;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,gCAAgC,GACxC,mCAAmC,CA8BrC;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,gBAAgB,GAAG,IAAI,GAC7B,2BAA2B,GAAG,IAAI,CAOpC;AAED;;GAEG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,gBAAgB,EACrB,QAAQ,EAAE,yBAAyB,GAClC,2BAA2B,CAa7B"}

package/dist/semantic-targets.d.ts

@@ -0,0 +1,86 @@
+import type { AnnotationNode, ConstraintNode, JsonValue, PathTarget, Provenance, TypeNode } from "@formspec/core";
+export interface AnalysisTypeDefinition {
+    readonly name: string;
+    readonly type: TypeNode;
+    readonly constraints?: readonly ConstraintNode[];
+    readonly annotations?: readonly AnnotationNode[];
+    readonly provenance: Provenance;
+}
+export type AnalysisTypeRegistry = Record<string, AnalysisTypeDefinition>;
+export interface EffectiveTargetState {
+    readonly fieldName: string;
+    readonly path: PathTarget | null;
+    readonly targetName: string;
+    readonly type: TypeNode;
+    readonly inheritedConstraints: readonly ConstraintNode[];
+    readonly inheritedAnnotations: readonly AnnotationNode[];
+    readonly localConstraints: readonly ConstraintNode[];
+    readonly effectiveConstraints: readonly ConstraintNode[];
+}
+export type ResolvedTargetState = ({
+    readonly kind: "resolved";
+} & EffectiveTargetState) | {
+    readonly kind: "missing-property";
+    readonly fieldName: string;
+    readonly path: PathTarget;
+    readonly targetName: string;
+    readonly segment: string;
+    readonly localConstraints: readonly ConstraintNode[];
+} | {
+    readonly kind: "unresolvable";
+    readonly fieldName: string;
+    readonly path: PathTarget;
+    readonly targetName: string;
+    readonly type: TypeNode;
+    readonly localConstraints: readonly ConstraintNode[];
+};
+export interface ConstraintSemanticDiagnostic {
+    readonly code: string;
+    readonly message: string;
+    readonly severity: "error" | "warning";
+    readonly primaryLocation: Provenance;
+    readonly relatedLocations: readonly Provenance[];
+}
+export interface ConstraintTargetAnalysisResult {
+    readonly diagnostics: readonly ConstraintSemanticDiagnostic[];
+    readonly targetStates: readonly ResolvedTargetState[];
+}
+export interface ConstraintSemanticRoleLike {
+    readonly family: string;
+    readonly bound: "lower" | "upper" | "exact";
+    readonly inclusive: boolean;
+}
+export interface ConstraintRegistrationLike {
+    readonly constraintName: string;
+    readonly applicableTypes: readonly TypeNode["kind"][] | null;
+    readonly isApplicableToType?: (type: TypeNode) => boolean;
+    readonly comparePayloads?: (left: JsonValue, right: JsonValue) => number;
+    readonly semanticRole?: ConstraintSemanticRoleLike;
+}
+export interface ConstraintTagRegistrationLike {
+    readonly tagName: string;
+    readonly constraintName: string;
+    readonly isApplicableToType?: (type: TypeNode) => boolean;
+}
+export interface ConstraintRegistryLike {
+    findConstraint(constraintId: string): ConstraintRegistrationLike | undefined;
+    findConstraintTag(tagName: string): {
+        readonly extensionId: string;
+        readonly registration: ConstraintTagRegistrationLike;
+    } | undefined;
+}
+export declare function formatConstraintTargetName(fieldName: string, path: PathTarget | null): string;
+export declare function dereferenceAnalysisType(type: TypeNode, typeRegistry: AnalysisTypeRegistry): TypeNode;
+export declare function collectReferencedTypeConstraints(type: TypeNode, typeRegistry: AnalysisTypeRegistry): readonly ConstraintNode[];
+export declare function collectReferencedTypeAnnotations(type: TypeNode, typeRegistry: AnalysisTypeRegistry): readonly AnnotationNode[];
+export declare function resolveConstraintTargetState(fieldName: string, fieldType: TypeNode, path: PathTarget | null, localConstraints: readonly ConstraintNode[], typeRegistry: AnalysisTypeRegistry): ResolvedTargetState;
+export declare function buildConstraintTargetStates(fieldName: string, fieldType: TypeNode, constraints: readonly ConstraintNode[], typeRegistry: AnalysisTypeRegistry): readonly ResolvedTargetState[];
+/**
+ * Resolves targeted constraints against a field type, producing effective
+ * target states plus semantic diagnostics such as contradictions, unknown
+ * paths, and type mismatches.
+ */
+export declare function analyzeConstraintTargets(fieldName: string, fieldType: TypeNode, constraints: readonly ConstraintNode[], typeRegistry: AnalysisTypeRegistry, options?: {
+    readonly extensionRegistry?: ConstraintRegistryLike;
+}): ConstraintTargetAnalysisResult;
+//# sourceMappingURL=semantic-targets.d.ts.map

package/dist/semantic-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-targets.d.ts","sourceRoot":"","sources":["../src/semantic-targets.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EAEd,SAAS,EAET,UAAU,EACV,UAAU,EACV,QAAQ,EACT,MAAM,gBAAgB,CAAC;AAGxB,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACjD,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;AAE1E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,oBAAoB,EAAE,SAAS,cAAc,EAAE,CAAC;IACzD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,cAAc,EAAE,CAAC;IACzD,QAAQ,CAAC,gBAAgB,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD,QAAQ,CAAC,oBAAoB,EAAE,SAAS,cAAc,EAAE,CAAC;CAC1D;AAED,MAAM,MAAM,mBAAmB,GAC3B,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GAAG,oBAAoB,CAAC,GACtD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,gBAAgB,EAAE,SAAS,cAAc,EAAE,CAAC;CACtD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,SAAS,cAAc,EAAE,CAAC;CACtD,CAAC;AAEN,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,UAAU,EAAE,CAAC;CAClD;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,WAAW,EAAE,SAAS,4BAA4B,EAAE,CAAC;IAC9D,QAAQ,CAAC,YAAY,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC;IAC7D,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,CAAC;IAC1D,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,KAAK,MAAM,CAAC;IACzE,QAAQ,CAAC,YAAY,CAAC,EAAE,0BAA0B,CAAC;CACpD;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,OAAO,CAAC;CAC3D;AAED,MAAM,WAAW,sBAAsB;IACrC,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,0BAA0B,GAAG,SAAS,CAAC;IAC7E,iBAAiB,CACf,OAAO,EAAE,MAAM,GAEb;QAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,6BAA6B,CAAA;KAAE,GACtF,SAAS,CAAC;CACf;AAMD,wBAAgB,0BAA0B,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI,GAAG,MAAM,CAK7F;AAED,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,QAAQ,EACd,YAAY,EAAE,oBAAoB,GACjC,QAAQ,CAkBV;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,QAAQ,EACd,YAAY,EAAE,oBAAoB,GACjC,SAAS,cAAc,EAAE,CAwB3B;AAED,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,QAAQ,EACd,YAAY,EAAE,oBAAoB,GACjC,SAAS,cAAc,EAAE,CAwB3B;AAmDD,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,QAAQ,EACnB,IAAI,EAAE,UAAU,GAAG,IAAI,EACvB,gBAAgB,EAAE,SAAS,cAAc,EAAE,EAC3C,YAAY,EAAE,oBAAoB,GACjC,mBAAmB,CA8DrB;AASD,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,QAAQ,EACnB,WAAW,EAAE,SAAS,cAAc,EAAE,EACtC,YAAY,EAAE,oBAAoB,GACjC,SAAS,mBAAmB,EAAE,CAmBhC;AAg8BD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,QAAQ,EACnB,WAAW,EAAE,SAAS,cAAc,EAAE,EACtC,YAAY,EAAE,oBAAoB,EAClC,OAAO,CAAC,EAAE;IACR,QAAQ,CAAC,iBAAiB,CAAC,EAAE,sBAAsB,CAAC;CACrD,GACA,8BAA8B,CA2ChC"}

package/dist/source-bindings.d.ts

@@ -0,0 +1,21 @@
+import * as ts from "typescript";
+/**
+ * Returns the last leading TSDoc/JSDoc block attached to a declaration node.
+ */
+export declare function getLastLeadingDocCommentRange(node: ts.Node, sourceFile: ts.SourceFile): ts.CommentRange | null;
+/**
+ * Resolves the direct subject type for declarations that can carry FormSpec
+ * comment tags.
+ */
+export declare function getSubjectType(node: ts.Node, checker: ts.TypeChecker): ts.Type | undefined;
+/**
+ * Resolves the enclosing host type for declarations nested under a containing
+ * class, interface, or type literal.
+ */
+export declare function getHostType(node: ts.Node, checker: ts.TypeChecker): ts.Type | undefined;
+/**
+ * Finds the smallest declaration whose leading doc comment contains the given
+ * source offset.
+ */
+export declare function findDeclarationForCommentOffset(sourceFile: ts.SourceFile, offset: number): ts.Node | null;
+//# sourceMappingURL=source-bindings.d.ts.map

package/dist/source-bindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-bindings.d.ts","sourceRoot":"","sources":["../src/source-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;GAEG;AACH,wBAAgB,6BAA6B,CAC3C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,EAAE,CAAC,YAAY,GAAG,IAAI,CAMxB;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,IAAI,GAAG,SAAS,CAgB1F;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,WAAW,GAAG,EAAE,CAAC,IAAI,GAAG,SAAS,CAYvF;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,MAAM,EAAE,MAAM,GACb,EAAE,CAAC,IAAI,GAAG,IAAI,CAkBhB"}

package/dist/tag-registry.d.ts

@@ -0,0 +1,46 @@
+export type FormSpecValueKind = "number" | "integer" | "signedInteger" | "string" | "json" | "boolean" | "condition";
+export type FormSpecTargetKind = "none" | "path" | "member" | "variant";
+export type FormSpecTagCategory = "constraint" | "annotation" | "structure" | "ecosystem";
+export type FormSpecPlacement = "class" | "class-field" | "class-method" | "interface" | "interface-field" | "type-alias" | "type-alias-field" | "variable" | "function" | "function-parameter" | "method-parameter";
+export type SemanticCapability = "numeric-comparable" | "string-like" | "array-like" | "enum-member-addressable" | "json-like" | "condition-like" | "object-like";
+export interface TagSignatureParameter {
+    readonly kind: "value" | "target-path" | "target-member" | "target-variant";
+    readonly label: string;
+    readonly optional?: boolean;
+    readonly capability?: SemanticCapability;
+    readonly valueKind?: FormSpecValueKind;
+}
+export interface TagSignature {
+    readonly label: string;
+    readonly placements: readonly FormSpecPlacement[];
+    readonly parameters: readonly TagSignatureParameter[];
+}
+export interface TagDefinition {
+    readonly canonicalName: string;
+    readonly valueKind: FormSpecValueKind | null;
+    readonly requiresArgument: boolean;
+    readonly supportedTargets: readonly FormSpecTargetKind[];
+    readonly allowDuplicates: boolean;
+    readonly category: FormSpecTagCategory;
+    readonly placements: readonly FormSpecPlacement[];
+    readonly capabilities: readonly SemanticCapability[];
+    readonly completionDetail: string;
+    readonly hoverMarkdown: string;
+    readonly signatures: readonly TagSignature[];
+}
+export type FormSpecTagDefinition = TagDefinition;
+export type FormSpecTagOverload = TagSignature;
+export type FormSpecTagParameter = TagSignatureParameter;
+export interface ExtensionConstraintTagSource {
+    readonly tagName: string;
+}
+export interface ExtensionTagSource {
+    readonly extensionId: string;
+    readonly constraintTags?: readonly ExtensionConstraintTagSource[];
+}
+export declare function normalizeFormSpecTagName(rawName: string): string;
+export declare function getTagDefinition(rawName: string, extensions?: readonly ExtensionTagSource[]): TagDefinition | null;
+export declare function getConstraintTagDefinitions(extensions?: readonly ExtensionTagSource[]): readonly TagDefinition[];
+export declare function getAllTagDefinitions(extensions?: readonly ExtensionTagSource[]): readonly TagDefinition[];
+export declare function getTagHoverMarkdown(rawName: string, extensions?: readonly ExtensionTagSource[]): string | null;
+//# sourceMappingURL=tag-registry.d.ts.map

package/dist/tag-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag-registry.d.ts","sourceRoot":"","sources":["../src/tag-registry.ts"],"names":[],"mappings":"AAMA,MAAM,MAAM,iBAAiB,GACzB,QAAQ,GACR,SAAS,GACT,eAAe,GACf,QAAQ,GACR,MAAM,GACN,SAAS,GACT,WAAW,CAAC;AAEhB,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;AACxE,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,YAAY,GAAG,WAAW,GAAG,WAAW,CAAC;AAE1F,MAAM,MAAM,iBAAiB,GACzB,OAAO,GACP,aAAa,GACb,cAAc,GACd,WAAW,GACX,iBAAiB,GACjB,YAAY,GACZ,kBAAkB,GAClB,UAAU,GACV,UAAU,GACV,oBAAoB,GACpB,kBAAkB,CAAC;AAEvB,MAAM,MAAM,kBAAkB,GAC1B,oBAAoB,GACpB,aAAa,GACb,YAAY,GACZ,yBAAyB,GACzB,WAAW,GACX,gBAAgB,GAChB,aAAa,CAAC;AAElB,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,eAAe,GAAG,gBAAgB,CAAC;IAC5E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,kBAAkB,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,iBAAiB,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACvD;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACzD,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,YAAY,EAAE,CAAC;CAC9C;AAED,MAAM,MAAM,qBAAqB,GAAG,aAAa,CAAC;AAClD,MAAM,MAAM,mBAAmB,GAAG,YAAY,CAAC;AAC/C,MAAM,MAAM,oBAAoB,GAAG,qBAAqB,CAAC;AAEzD,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,4BAA4B,EAAE,CAAC;CACnE;AAspBD,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEhE;AAED,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GACzC,aAAa,GAAG,IAAI,CA6CtB;AAED,wBAAgB,2BAA2B,CACzC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GACzC,SAAS,aAAa,EAAE,CAM1B;AAED,wBAAgB,oBAAoB,CAClC,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GACzC,SAAS,aAAa,EAAE,CAO1B;AAED,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,UAAU,CAAC,EAAE,SAAS,kBAAkB,EAAE,GACzC,MAAM,GAAG,IAAI,CAEf"}

package/dist/tag-value-parser.d.ts

@@ -0,0 +1,20 @@
+import { type AnnotationNode, type BuiltinConstraintBroadeningRegistration, type ConstraintNode, type ConstraintTagRegistration, type CustomConstraintRegistration, type ExtensionDefinition, type Provenance, type TypeNode } from "@formspec/core";
+export interface ConstraintTagParseRegistryLike {
+    readonly extensions: readonly ExtensionDefinition[];
+    findConstraint(constraintId: string): CustomConstraintRegistration | undefined;
+    findConstraintTag(tagName: string): {
+        readonly extensionId: string;
+        readonly registration: ConstraintTagRegistration;
+    } | undefined;
+    findBuiltinConstraintBroadening(typeId: string, tagName: string): {
+        readonly extensionId: string;
+        readonly registration: BuiltinConstraintBroadeningRegistration;
+    } | undefined;
+}
+export interface ParseConstraintTagValueOptions {
+    readonly registry?: ConstraintTagParseRegistryLike;
+    readonly fieldType?: TypeNode;
+}
+export declare function parseConstraintTagValue(tagName: string, text: string, provenance: Provenance, options?: ParseConstraintTagValueOptions): ConstraintNode | null;
+export declare function parseDefaultValueTagValue(text: string, provenance: Provenance): AnnotationNode;
+//# sourceMappingURL=tag-value-parser.d.ts.map

package/dist/tag-value-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag-value-parser.d.ts","sourceRoot":"","sources":["../src/tag-value-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,uCAAuC,EAC5C,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAC9B,KAAK,4BAA4B,EACjC,KAAK,mBAAmB,EAKxB,KAAK,UAAU,EACf,KAAK,QAAQ,EACd,MAAM,gBAAgB,CAAC;AA0BxB,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,cAAc,CAAC,YAAY,EAAE,MAAM,GAAG,4BAA4B,GAAG,SAAS,CAAC;IAC/E,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAC7B;QACE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,yBAAyB,CAAC;KAClD,GACD,SAAS,CAAC;IACd,+BAA+B,CAC7B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,MAAM,GAEb;QACE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,uCAAuC,CAAC;KAChE,GACD,SAAS,CAAC;CACf;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,QAAQ,CAAC,EAAE,8BAA8B,CAAC;IACnD,QAAQ,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;CAC/B;AAQD,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,UAAU,EACtB,OAAO,CAAC,EAAE,8BAA8B,GACvC,cAAc,GAAG,IAAI,CAwIvB;AAED,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,GAAG,cAAc,CAqB9F"}

package/dist/ts-binding.d.ts

@@ -0,0 +1,28 @@
+import * as ts from "typescript";
+import type { FormSpecPlacement, SemanticCapability } from "./tag-registry.js";
+export type FormSpecSemanticCapability = SemanticCapability;
+/**
+ * Result of resolving a dotted FormSpec path target through a TypeScript type.
+ */
+export type ResolvedPathTargetType = {
+    readonly kind: "resolved";
+    readonly type: ts.Type;
+} | {
+    readonly kind: "missing-property";
+    readonly segment: string;
+} | {
+    readonly kind: "unresolvable";
+    readonly type: ts.Type;
+};
+export declare function resolveDeclarationPlacement(node: ts.Node): FormSpecPlacement | null;
+export declare function getTypeSemanticCapabilities(type: ts.Type, checker: ts.TypeChecker): readonly SemanticCapability[];
+export declare function hasTypeSemanticCapability(type: ts.Type, checker: ts.TypeChecker, capability: SemanticCapability): boolean;
+/**
+ * Resolves a dotted FormSpec path target against a TypeScript type.
+ *
+ * Arrays are traversed through their item type so path-targets behave the same
+ * way they do in the IR validator and cursor-context completion logic.
+ */
+export declare function resolvePathTargetType(type: ts.Type, checker: ts.TypeChecker, segments: readonly string[]): ResolvedPathTargetType;
+export declare function collectCompatiblePathTargets(type: ts.Type, checker: ts.TypeChecker, capability: SemanticCapability): readonly string[];
+//# sourceMappingURL=ts-binding.d.ts.map

package/dist/ts-binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ts-binding.d.ts","sourceRoot":"","sources":["../src/ts-binding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE/E,MAAM,MAAM,0BAA0B,GAAG,kBAAkB,CAAC;AAE5D;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;CACxB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;CACxB,CAAC;AAmIN,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,iBAAiB,GAAG,IAAI,CAgBnF;AAED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,SAAS,kBAAkB,EAAE,CAuB/B;AAED,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,EAAE,kBAAkB,GAC7B,OAAO,CAET;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,sBAAsB,CAgDxB;AAqCD,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,EAAE,kBAAkB,GAC7B,SAAS,MAAM,EAAE,CAEnB"}

package/dist/workspace-runtime.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Stable workspace-scoped identifier derived from the absolute workspace root.
+ */
+export declare function getFormSpecWorkspaceId(workspaceRoot: string): string;
+/**
+ * Directory used for machine-generated FormSpec tooling state inside a
+ * workspace.
+ */
+export declare function getFormSpecWorkspaceRuntimeDirectory(workspaceRoot: string): string;
+/**
+ * Path to the manifest that advertises the local FormSpec semantic service for
+ * a workspace.
+ */
+export declare function getFormSpecManifestPath(workspaceRoot: string): string;
+//# sourceMappingURL=workspace-runtime.d.ts.map

package/dist/workspace-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-runtime.d.ts","sourceRoot":"","sources":["../src/workspace-runtime.ts"],"names":[],"mappings":"AAGA;;GAEG;AACH,wBAAgB,sBAAsB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAEpE;AAED;;;GAGG;AACH,wBAAgB,oCAAoC,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAElF;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAErE"}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "@formspec/analysis",
+  "version": "0.1.0-alpha.20",
+  "description": "Shared comment-tag analysis utilities for FormSpec tooling",
+  "type": "module",
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/analysis.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/analysis.d.ts",
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "dependencies": {
+    "@formspec/core": "0.1.0-alpha.19"
+  },
+  "peerDependencies": {
+    "typescript": "^5.0.0"
+  },
+  "devDependencies": {
+    "vitest": "^3.0.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "license": "UNLICENSED",
+  "scripts": {
+    "build": "tsup && tsc --emitDeclarationOnly && api-extractor run --local",
+    "clean": "rm -rf dist temp",
+    "typecheck": "tsc --noEmit",
+    "test": "vitest run",
+    "api-extractor": "api-extractor run",
+    "api-extractor:local": "api-extractor run --local",
+    "api-documenter": "api-documenter markdown -i temp -o docs"
+  }
+}