@rejot-dev/thalo 0.0.0

package/dist/schema/registry.js

@@ -0,0 +1,281 @@
+//#region src/schema/registry.ts
+/**
+* Registry for entity schemas.
+* Collects define-entity and alter-entity entries and resolves them into EntitySchemas.
+*/
+var SchemaRegistry = class {
+	schemas = /* @__PURE__ */ new Map();
+	defineEntries = /* @__PURE__ */ new Map();
+	alterEntries = /* @__PURE__ */ new Map();
+	/**
+	* Add a schema entry (define-entity or alter-entity)
+	*/
+	add(entry) {
+		if (entry.directive === "define-entity") this.defineEntries.set(entry.entityName, entry);
+		else {
+			const alters = this.alterEntries.get(entry.entityName) ?? [];
+			alters.push(entry);
+			this.alterEntries.set(entry.entityName, alters);
+		}
+		this.schemas.delete(entry.entityName);
+	}
+	/**
+	* Get a resolved entity schema by name
+	*/
+	get(name) {
+		if (this.schemas.has(name)) return this.schemas.get(name);
+		const schema = this.resolve(name);
+		if (schema) this.schemas.set(name, schema);
+		return schema;
+	}
+	/**
+	* Check if an entity is defined
+	*/
+	has(name) {
+		return this.defineEntries.has(name);
+	}
+	/**
+	* Get all defined entity names
+	*/
+	entityNames() {
+		return Array.from(this.defineEntries.keys());
+	}
+	/**
+	* Clear all schemas
+	*/
+	clear() {
+		this.schemas.clear();
+		this.defineEntries.clear();
+		this.alterEntries.clear();
+	}
+	/**
+	* Resolve an entity schema from its define and alter entries
+	*/
+	resolve(name) {
+		const defineEntry = this.defineEntries.get(name);
+		if (!defineEntry) return;
+		const schema = {
+			name,
+			description: defineEntry.title,
+			fields: /* @__PURE__ */ new Map(),
+			sections: /* @__PURE__ */ new Map(),
+			definedAt: defineEntry.timestamp,
+			definedIn: defineEntry.file
+		};
+		for (const field of defineEntry.fields) schema.fields.set(field.name, {
+			name: field.name,
+			optional: field.optional,
+			type: field.type,
+			defaultValue: field.defaultValue,
+			description: field.description
+		});
+		for (const section of defineEntry.sections) schema.sections.set(section.name, {
+			name: section.name,
+			optional: section.optional,
+			description: section.description
+		});
+		const sortedAlters = [...this.alterEntries.get(name) ?? []].sort((a, b) => a.timestamp.localeCompare(b.timestamp));
+		for (const alter of sortedAlters) this.applyAlter(schema, alter);
+		return schema;
+	}
+	/**
+	* Apply an alter-entity entry to a schema
+	*/
+	applyAlter(schema, alter) {
+		for (const field of alter.fields) schema.fields.set(field.name, {
+			name: field.name,
+			optional: field.optional,
+			type: field.type,
+			defaultValue: field.defaultValue,
+			description: field.description
+		});
+		for (const section of alter.sections) schema.sections.set(section.name, {
+			name: section.name,
+			optional: section.optional,
+			description: section.description
+		});
+		for (const fieldName of alter.removeFields) schema.fields.delete(fieldName);
+		for (const sectionName of alter.removeSections) schema.sections.delete(sectionName);
+	}
+};
+/**
+* Type checking utilities for type expressions.
+* Uses the grammar-parsed ValueContent for type validation.
+*/
+const TypeExpr = {
+	matchesContent(content, type) {
+		switch (type.kind) {
+			case "primitive": return matchesPrimitiveContent(content, type.name);
+			case "literal": return matchesLiteralContent(content, type.value);
+			case "array": return matchesArrayContent(content, type.elementType);
+			case "union": return type.members.some((member) => TypeExpr.matchesContent(content, member));
+			case "unknown": return true;
+		}
+	},
+	matchesDefaultValue(defaultValue, type) {
+		switch (type.kind) {
+			case "primitive": return matchesDefaultPrimitive(defaultValue, type.name);
+			case "literal": return defaultValue.kind === "quoted" && defaultValue.value === type.value;
+			case "array": return matchesDefaultAsArrayElement(defaultValue, type.elementType);
+			case "union": return type.members.some((member) => TypeExpr.matchesDefaultValue(defaultValue, member));
+			case "unknown": return true;
+		}
+	},
+	toString(type) {
+		switch (type.kind) {
+			case "primitive": return type.name;
+			case "literal": return `"${type.value}"`;
+			case "array":
+				if (type.elementType.kind === "union") return `(${TypeExpr.toString(type.elementType)})[]`;
+				return `${TypeExpr.toString(type.elementType)}[]`;
+			case "union": return type.members.map((m) => TypeExpr.toString(m)).join(" | ");
+			case "unknown": return type.name;
+		}
+	}
+};
+/**
+* Check if content matches a primitive type
+*/
+function matchesPrimitiveContent(content, type) {
+	switch (type) {
+		case "string": return true;
+		case "link": return content.type === "link_value";
+		case "daterange": return content.type === "daterange";
+		case "datetime":
+			if (content.type === "datetime_value") return content.time === null;
+			return false;
+		case "number": return content.type === "number_value";
+	}
+}
+/**
+* Check if content matches a literal type
+*/
+function matchesLiteralContent(content, expectedValue) {
+	if (content.type === "quoted_value") return content.value === expectedValue;
+	return false;
+}
+/**
+* Check if content matches an array type.
+* Arrays can be:
+* 1. A value_array (comma-separated: ^ref1, ^ref2)
+* 2. A single value that matches the element type
+*/
+function matchesArrayContent(content, elementType) {
+	if (elementType.kind === "unknown") return true;
+	if (content.type === "value_array") {
+		if (content.elements.length === 0) return false;
+		return content.elements.every((element) => matchesArrayElementContent(element, elementType));
+	}
+	return matchesSingleValueAsArrayElement(content, elementType);
+}
+/**
+* Check if a single (non-array) value matches an array element type
+*/
+function matchesSingleValueAsArrayElement(content, elementType) {
+	if (content.type === "quoted_value" && content.value === "") return false;
+	switch (elementType.kind) {
+		case "primitive": return matchesSingleValueAsPrimitive(content, elementType.name);
+		case "literal":
+			if (content.type === "quoted_value") return content.value === elementType.value;
+			return false;
+		case "union": return elementType.members.some((member) => {
+			if (member.kind === "primitive") return matchesSingleValueAsPrimitive(content, member.name);
+			else if (member.kind === "literal") return content.type === "quoted_value" && content.value === member.value;
+			return false;
+		});
+	}
+}
+/**
+* Check if a single value matches a primitive type (for single-element arrays)
+*/
+function matchesSingleValueAsPrimitive(content, type) {
+	switch (type) {
+		case "string": return content.type === "quoted_value" && content.value.length > 0;
+		case "link": return content.type === "link_value";
+		case "daterange": return content.type === "daterange";
+		case "datetime":
+			if (content.type === "datetime_value") return content.time === null;
+			return false;
+		case "number": return content.type === "number_value";
+	}
+}
+/**
+* Check if an array element matches the expected element type
+*/
+function matchesArrayElementContent(element, elementType) {
+	switch (elementType.kind) {
+		case "primitive": return matchesArrayPrimitiveContent(element, elementType.name);
+		case "literal":
+			if (element.type === "quoted_value") return element.value === elementType.value;
+			return false;
+		case "union": return elementType.members.some((member) => {
+			if (member.kind === "primitive") return matchesArrayPrimitiveContent(element, member.name);
+			else if (member.kind === "literal") return element.type === "quoted_value" && element.value === member.value;
+			return false;
+		});
+	}
+}
+/**
+* Check if an array element matches a primitive type
+*/
+function matchesArrayPrimitiveContent(element, type) {
+	switch (type) {
+		case "string": return element.type === "quoted_value";
+		case "link": return element.type === "link";
+		case "datetime":
+			if (element.type === "datetime_value") return element.time === null;
+			return false;
+		case "daterange":
+			if (element.type === "daterange") return true;
+			if (element.type === "quoted_value") return /^\d{4}(-\d{2}(-\d{2})?)?\s*~\s*\d{4}(-\d{2}(-\d{2})?)?$/.test(element.value);
+			return false;
+		case "number": return element.type === "number_value";
+	}
+}
+/**
+* Check if a default value matches a primitive type
+*/
+function matchesDefaultPrimitive(defaultValue, type) {
+	switch (type) {
+		case "string": return true;
+		case "link": return defaultValue.kind === "link";
+		case "datetime":
+			if (defaultValue.kind === "datetime") return !defaultValue.value.includes("T");
+			return false;
+		case "daterange": return false;
+		case "number": return defaultValue.kind === "number";
+	}
+}
+/**
+* Check if a default value matches as a single array element
+*/
+function matchesDefaultAsArrayElement(defaultValue, elementType) {
+	switch (elementType.kind) {
+		case "primitive": return matchesDefaultAsPrimitive(defaultValue, elementType.name);
+		case "literal": return defaultValue.kind === "quoted" && defaultValue.value === elementType.value;
+		case "union": return elementType.members.some((member) => {
+			if (member.kind === "primitive") return matchesDefaultAsPrimitive(defaultValue, member.name);
+			else if (member.kind === "literal") return defaultValue.kind === "quoted" && defaultValue.value === member.value;
+			return false;
+		});
+		case "unknown": return true;
+	}
+}
+/**
+* Check if a default value matches a primitive type as array element
+*/
+function matchesDefaultAsPrimitive(defaultValue, type) {
+	switch (type) {
+		case "string": return defaultValue.kind === "quoted" && defaultValue.value.length > 0;
+		case "link": return defaultValue.kind === "link";
+		case "datetime":
+			if (defaultValue.kind === "datetime") return !defaultValue.value.includes("T");
+			return false;
+		case "daterange": return false;
+		case "number": return defaultValue.kind === "number";
+	}
+}
+
+//#endregion
+export { SchemaRegistry, TypeExpr };
+//# sourceMappingURL=registry.js.map

package/dist/schema/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","names":["schema: EntitySchema"],"sources":["../../src/schema/registry.ts"],"sourcesContent":["import type {\n  ModelSchemaEntry,\n  ModelDefaultValue,\n  ModelTypeExpression,\n  ModelPrimitiveType,\n  ModelLiteralType,\n  ModelUnionType,\n  ModelUnknownType,\n} from \"../model/workspace.js\";\nimport type {\n  ValueContent,\n  Link,\n  QuotedValue,\n  DatetimeValue,\n  DaterangeValue,\n  NumberValue,\n  Query,\n} from \"../ast/ast-types.js\";\n\n/**\n * A resolved entity schema (after applying all define-entity and alter-entity entries)\n */\nexport interface EntitySchema {\n  /** The entity name */\n  name: string;\n  /** Description from the define-entity entry */\n  description: string;\n  /** Field definitions */\n  fields: Map<string, FieldSchema>;\n  /** Section definitions */\n  sections: Map<string, SectionSchema>;\n  /** Timestamp of the define-entity that created this schema */\n  definedAt: string;\n  /** File where this schema was defined */\n  definedIn: string;\n}\n\n/**\n * A field schema in an entity definition\n */\nexport interface FieldSchema {\n  /** Field name */\n  name: string;\n  /** Whether the field is optional */\n  optional: boolean;\n  /** The type expression */\n  type: ModelTypeExpression;\n  /** Default value (if any) */\n  defaultValue: ModelDefaultValue | null;\n  /** Description (if any) */\n  description: string | null;\n}\n\n/**\n * A section schema in an entity definition\n */\nexport interface SectionSchema {\n  /** Section name (PascalCase) */\n  name: string;\n  /** Whether the section is optional */\n  optional: boolean;\n  /** Description (if any) */\n  description: string | null;\n}\n\n/**\n * Registry for entity schemas.\n * Collects define-entity and alter-entity entries and resolves them into EntitySchemas.\n */\nexport class SchemaRegistry {\n  private schemas = new Map<string, EntitySchema>();\n  private defineEntries = new Map<string, ModelSchemaEntry>();\n  private alterEntries = new Map<string, ModelSchemaEntry[]>();\n\n  /**\n   * Add a schema entry (define-entity or alter-entity)\n   */\n  add(entry: ModelSchemaEntry): void {\n    if (entry.directive === \"define-entity\") {\n      this.defineEntries.set(entry.entityName, entry);\n    } else {\n      const alters = this.alterEntries.get(entry.entityName) ?? [];\n      alters.push(entry);\n      this.alterEntries.set(entry.entityName, alters);\n    }\n\n    // Clear cached schema to force re-resolution\n    this.schemas.delete(entry.entityName);\n  }\n\n  /**\n   * Get a resolved entity schema by name\n   */\n  get(name: string): EntitySchema | undefined {\n    // Return cached if available\n    if (this.schemas.has(name)) {\n      return this.schemas.get(name);\n    }\n\n    // Try to resolve\n    const schema = this.resolve(name);\n    if (schema) {\n      this.schemas.set(name, schema);\n    }\n    return schema;\n  }\n\n  /**\n   * Check if an entity is defined\n   */\n  has(name: string): boolean {\n    return this.defineEntries.has(name);\n  }\n\n  /**\n   * Get all defined entity names\n   */\n  entityNames(): string[] {\n    return Array.from(this.defineEntries.keys());\n  }\n\n  /**\n   * Clear all schemas\n   */\n  clear(): void {\n    this.schemas.clear();\n    this.defineEntries.clear();\n    this.alterEntries.clear();\n  }\n\n  /**\n   * Resolve an entity schema from its define and alter entries\n   */\n  private resolve(name: string): EntitySchema | undefined {\n    const defineEntry = this.defineEntries.get(name);\n    if (!defineEntry) {\n      return undefined;\n    }\n\n    // Start with the base schema from define-entity\n    const schema: EntitySchema = {\n      name,\n      description: defineEntry.title,\n      fields: new Map(),\n      sections: new Map(),\n      definedAt: defineEntry.timestamp,\n      definedIn: defineEntry.file,\n    };\n\n    // Add fields from define-entity\n    for (const field of defineEntry.fields) {\n      schema.fields.set(field.name, {\n        name: field.name,\n        optional: field.optional,\n        type: field.type,\n        defaultValue: field.defaultValue,\n        description: field.description,\n      });\n    }\n\n    // Add sections from define-entity\n    for (const section of defineEntry.sections) {\n      schema.sections.set(section.name, {\n        name: section.name,\n        optional: section.optional,\n        description: section.description,\n      });\n    }\n\n    // Apply alter-entity entries in order (by timestamp)\n    const alters = this.alterEntries.get(name) ?? [];\n    const sortedAlters = [...alters].sort((a, b) => a.timestamp.localeCompare(b.timestamp));\n\n    for (const alter of sortedAlters) {\n      this.applyAlter(schema, alter);\n    }\n\n    return schema;\n  }\n\n  /**\n   * Apply an alter-entity entry to a schema\n   */\n  private applyAlter(schema: EntitySchema, alter: ModelSchemaEntry): void {\n    // Add/update fields\n    for (const field of alter.fields) {\n      schema.fields.set(field.name, {\n        name: field.name,\n        optional: field.optional,\n        type: field.type,\n        defaultValue: field.defaultValue,\n        description: field.description,\n      });\n    }\n\n    // Add/update sections\n    for (const section of alter.sections) {\n      schema.sections.set(section.name, {\n        name: section.name,\n        optional: section.optional,\n        description: section.description,\n      });\n    }\n\n    // Remove fields\n    for (const fieldName of alter.removeFields) {\n      schema.fields.delete(fieldName);\n    }\n\n    // Remove sections\n    for (const sectionName of alter.removeSections) {\n      schema.sections.delete(sectionName);\n    }\n  }\n}\n\n/**\n * Create a field schema helper\n */\nexport function createFieldSchema(\n  name: string,\n  optional: boolean,\n  type: FieldSchema[\"type\"],\n  defaultValue?: ModelDefaultValue | null,\n  description?: string,\n): FieldSchema {\n  return {\n    name,\n    optional,\n    type,\n    defaultValue: defaultValue ?? null,\n    description: description ?? null,\n  };\n}\n\n/**\n * Create a section schema helper\n */\nexport function createSectionSchema(\n  name: string,\n  optional: boolean,\n  description?: string,\n): SectionSchema {\n  return {\n    name,\n    optional,\n    description: description ?? null,\n  };\n}\n\n/**\n * Type checking utilities for type expressions.\n * Uses the grammar-parsed ValueContent for type validation.\n */\nexport const TypeExpr = {\n  /**\n   * Check if a value content matches a type expression.\n   * This uses the grammar-parsed structure for reliable type checking.\n   */\n  matchesContent(content: ValueContent, type: ModelTypeExpression): boolean {\n    switch (type.kind) {\n      case \"primitive\":\n        return matchesPrimitiveContent(content, type.name);\n      case \"literal\":\n        return matchesLiteralContent(content, type.value);\n      case \"array\":\n        return matchesArrayContent(content, type.elementType);\n      case \"union\":\n        return type.members.some((member) => TypeExpr.matchesContent(content, member));\n      case \"unknown\":\n        // Unknown types can't be validated - accept any value\n        // (the unknown type itself is reported as a syntax error)\n        return true;\n    }\n  },\n\n  /**\n   * Check if a default value matches a type expression.\n   * Default values can only be quoted strings, links, or datetimes.\n   */\n  matchesDefaultValue(defaultValue: ModelDefaultValue, type: ModelTypeExpression): boolean {\n    switch (type.kind) {\n      case \"primitive\":\n        return matchesDefaultPrimitive(defaultValue, type.name);\n      case \"literal\":\n        // Literal types require quoted values with matching content\n        return defaultValue.kind === \"quoted\" && defaultValue.value === type.value;\n      case \"array\":\n        // Default values can't be arrays (grammar doesn't support it)\n        // But a single value can match an array type as a single-element array\n        return matchesDefaultAsArrayElement(defaultValue, type.elementType);\n      case \"union\":\n        return type.members.some((member) => TypeExpr.matchesDefaultValue(defaultValue, member));\n      case \"unknown\":\n        // Unknown types can't be validated - accept any default value\n        return true;\n    }\n  },\n\n  /**\n   * Get a human-readable string for a type expression\n   */\n  toString(type: ModelTypeExpression): string {\n    switch (type.kind) {\n      case \"primitive\":\n        return type.name;\n      case \"literal\":\n        return `\"${type.value}\"`;\n      case \"array\":\n        // For union element types, wrap in parentheses\n        if (type.elementType.kind === \"union\") {\n          return `(${TypeExpr.toString(type.elementType)})[]`;\n        }\n        return `${TypeExpr.toString(type.elementType)}[]`;\n      case \"union\":\n        return type.members.map((m) => TypeExpr.toString(m)).join(\" | \");\n      case \"unknown\":\n        return type.name;\n    }\n  },\n};\n\n// ===================\n// Content-based matching (using grammar-parsed structure)\n// ===================\n\n/**\n * Check if content matches a primitive type\n */\nfunction matchesPrimitiveContent(\n  content: ValueContent,\n  type: \"string\" | \"datetime\" | \"daterange\" | \"link\" | \"number\",\n): boolean {\n  switch (type) {\n    case \"string\":\n      // Any content matches string type\n      return true;\n    case \"link\":\n      // Must be a link value\n      return content.type === \"link_value\";\n    case \"daterange\":\n      // Grammar identifies date ranges\n      return content.type === \"daterange\";\n    case \"datetime\":\n      // Date must be datetime_value without time component (YYYY-MM-DD only)\n      if (content.type === \"datetime_value\") {\n        return content.time === null;\n      }\n      return false;\n    case \"number\":\n      // Must be a number value\n      return content.type === \"number_value\";\n  }\n}\n\n/**\n * Check if content matches a literal type\n */\nfunction matchesLiteralContent(content: ValueContent, expectedValue: string): boolean {\n  // Literal types require quoted values\n  if (content.type === \"quoted_value\") {\n    return content.value === expectedValue;\n  }\n  return false;\n}\n\n/**\n * Check if content matches an array type.\n * Arrays can be:\n * 1. A value_array (comma-separated: ^ref1, ^ref2)\n * 2. A single value that matches the element type\n */\nfunction matchesArrayContent(\n  content: ValueContent,\n  elementType: ModelPrimitiveType | ModelLiteralType | ModelUnionType | ModelUnknownType,\n): boolean {\n  // Unknown element types can't be validated - accept any value\n  if (elementType.kind === \"unknown\") {\n    return true;\n  }\n  // If it's a value_array, validate each element\n  if (content.type === \"value_array\") {\n    // Empty arrays are not allowed\n    if (content.elements.length === 0) {\n      return false;\n    }\n    // Each element must match the element type\n    return content.elements.every((element) => matchesArrayElementContent(element, elementType));\n  }\n\n  // Single value - check if it matches the element type directly\n  return matchesSingleValueAsArrayElement(content, elementType);\n}\n\n/**\n * Check if a single (non-array) value matches an array element type\n */\nfunction matchesSingleValueAsArrayElement(\n  content: ValueContent,\n  elementType: ModelPrimitiveType | ModelLiteralType | ModelUnionType,\n): boolean {\n  // Reject empty values (grammar may parse empty as quoted_value)\n  if (content.type === \"quoted_value\" && content.value === \"\") {\n    return false;\n  }\n\n  switch (elementType.kind) {\n    case \"primitive\":\n      return matchesSingleValueAsPrimitive(content, elementType.name);\n    case \"literal\":\n      // Must be a quoted value with matching content\n      if (content.type === \"quoted_value\") {\n        return content.value === elementType.value;\n      }\n      return false;\n    case \"union\":\n      return elementType.members.some((member) => {\n        if (member.kind === \"primitive\") {\n          return matchesSingleValueAsPrimitive(content, member.name);\n        } else if (member.kind === \"literal\") {\n          return content.type === \"quoted_value\" && content.value === member.value;\n        }\n        return false;\n      });\n  }\n}\n\n/**\n * Check if a single value matches a primitive type (for single-element arrays)\n */\nfunction matchesSingleValueAsPrimitive(\n  content: ValueContent,\n  type: \"string\" | \"datetime\" | \"daterange\" | \"link\" | \"number\",\n): boolean {\n  switch (type) {\n    case \"string\":\n      // String in array must be quoted and non-empty\n      return content.type === \"quoted_value\" && content.value.length > 0;\n    case \"link\":\n      return content.type === \"link_value\";\n    case \"daterange\":\n      return content.type === \"daterange\";\n    case \"datetime\":\n      // Date must be datetime_value without time component (YYYY-MM-DD only)\n      if (content.type === \"datetime_value\") {\n        return content.time === null;\n      }\n      return false;\n    case \"number\":\n      return content.type === \"number_value\";\n  }\n}\n\n/**\n * Check if an array element matches the expected element type\n */\nfunction matchesArrayElementContent(\n  element: Link | QuotedValue | DatetimeValue | DaterangeValue | NumberValue | Query,\n  elementType: ModelPrimitiveType | ModelLiteralType | ModelUnionType,\n): boolean {\n  switch (elementType.kind) {\n    case \"primitive\":\n      return matchesArrayPrimitiveContent(element, elementType.name);\n    case \"literal\":\n      // Must be a quoted value with matching content\n      if (element.type === \"quoted_value\") {\n        return element.value === elementType.value;\n      }\n      return false;\n    case \"union\":\n      return elementType.members.some((member) => {\n        if (member.kind === \"primitive\") {\n          return matchesArrayPrimitiveContent(element, member.name);\n        } else if (member.kind === \"literal\") {\n          return element.type === \"quoted_value\" && element.value === member.value;\n        }\n        // Nested arrays not supported\n        return false;\n      });\n  }\n}\n\n/**\n * Check if an array element matches a primitive type\n */\nfunction matchesArrayPrimitiveContent(\n  element: Link | QuotedValue | DatetimeValue | DaterangeValue | NumberValue | Query,\n  type: \"string\" | \"datetime\" | \"daterange\" | \"link\" | \"number\",\n): boolean {\n  switch (type) {\n    case \"string\":\n      // Strings in arrays must be quoted\n      return element.type === \"quoted_value\";\n    case \"link\":\n      return element.type === \"link\";\n    case \"datetime\":\n      // Date in arrays must be datetime_value without time (YYYY-MM-DD only)\n      if (element.type === \"datetime_value\") {\n        return element.time === null;\n      }\n      return false;\n    case \"daterange\":\n      // Date ranges parsed by grammar are valid\n      if (element.type === \"daterange\") {\n        return true;\n      }\n      // Also accept quoted date ranges\n      if (element.type === \"quoted_value\") {\n        return /^\\d{4}(-\\d{2}(-\\d{2})?)?\\s*~\\s*\\d{4}(-\\d{2}(-\\d{2})?)?$/.test(element.value);\n      }\n      return false;\n    case \"number\":\n      return element.type === \"number_value\";\n  }\n}\n\n// ===================\n// Default value matching\n// ===================\n\n/**\n * Check if a default value matches a primitive type\n */\nfunction matchesDefaultPrimitive(\n  defaultValue: ModelDefaultValue,\n  type: \"string\" | \"datetime\" | \"daterange\" | \"link\" | \"number\",\n): boolean {\n  switch (type) {\n    case \"string\":\n      // Any default value can be coerced to string\n      return true;\n    case \"link\":\n      return defaultValue.kind === \"link\";\n    case \"datetime\":\n      // Date must be datetime without time component (YYYY-MM-DD only)\n      if (defaultValue.kind === \"datetime\") {\n        return !defaultValue.value.includes(\"T\");\n      }\n      return false;\n    case \"daterange\":\n      // Default values can't be date ranges (grammar doesn't support it)\n      return false;\n    case \"number\":\n      return defaultValue.kind === \"number\";\n  }\n}\n\n/**\n * Check if a default value matches as a single array element\n */\nfunction matchesDefaultAsArrayElement(\n  defaultValue: ModelDefaultValue,\n  elementType: ModelPrimitiveType | ModelLiteralType | ModelUnionType | ModelUnknownType,\n): boolean {\n  switch (elementType.kind) {\n    case \"primitive\":\n      return matchesDefaultAsPrimitive(defaultValue, elementType.name);\n    case \"literal\":\n      return defaultValue.kind === \"quoted\" && defaultValue.value === elementType.value;\n    case \"union\":\n      return elementType.members.some((member) => {\n        if (member.kind === \"primitive\") {\n          return matchesDefaultAsPrimitive(defaultValue, member.name);\n        } else if (member.kind === \"literal\") {\n          return defaultValue.kind === \"quoted\" && defaultValue.value === member.value;\n        }\n        return false;\n      });\n    case \"unknown\":\n      // Unknown types can't be validated - accept any default value\n      return true;\n  }\n}\n\n/**\n * Check if a default value matches a primitive type as array element\n */\nfunction matchesDefaultAsPrimitive(\n  defaultValue: ModelDefaultValue,\n  type: \"string\" | \"datetime\" | \"daterange\" | \"link\" | \"number\",\n): boolean {\n  switch (type) {\n    case \"string\":\n      // String in array context requires quoted value\n      return defaultValue.kind === \"quoted\" && defaultValue.value.length > 0;\n    case \"link\":\n      return defaultValue.kind === \"link\";\n    case \"datetime\":\n      if (defaultValue.kind === \"datetime\") {\n        return !defaultValue.value.includes(\"T\");\n      }\n      return false;\n    case \"daterange\":\n      // Default values can't be date ranges\n      return false;\n    case \"number\":\n      return defaultValue.kind === \"number\";\n  }\n}\n"],"mappings":";;;;;AAqEA,IAAa,iBAAb,MAA4B;CAC1B,AAAQ,0BAAU,IAAI,KAA2B;CACjD,AAAQ,gCAAgB,IAAI,KAA+B;CAC3D,AAAQ,+BAAe,IAAI,KAAiC;;;;CAK5D,IAAI,OAA+B;AACjC,MAAI,MAAM,cAAc,gBACtB,MAAK,cAAc,IAAI,MAAM,YAAY,MAAM;OAC1C;GACL,MAAM,SAAS,KAAK,aAAa,IAAI,MAAM,WAAW,IAAI,EAAE;AAC5D,UAAO,KAAK,MAAM;AAClB,QAAK,aAAa,IAAI,MAAM,YAAY,OAAO;;AAIjD,OAAK,QAAQ,OAAO,MAAM,WAAW;;;;;CAMvC,IAAI,MAAwC;AAE1C,MAAI,KAAK,QAAQ,IAAI,KAAK,CACxB,QAAO,KAAK,QAAQ,IAAI,KAAK;EAI/B,MAAM,SAAS,KAAK,QAAQ,KAAK;AACjC,MAAI,OACF,MAAK,QAAQ,IAAI,MAAM,OAAO;AAEhC,SAAO;;;;;CAMT,IAAI,MAAuB;AACzB,SAAO,KAAK,cAAc,IAAI,KAAK;;;;;CAMrC,cAAwB;AACtB,SAAO,MAAM,KAAK,KAAK,cAAc,MAAM,CAAC;;;;;CAM9C,QAAc;AACZ,OAAK,QAAQ,OAAO;AACpB,OAAK,cAAc,OAAO;AAC1B,OAAK,aAAa,OAAO;;;;;CAM3B,AAAQ,QAAQ,MAAwC;EACtD,MAAM,cAAc,KAAK,cAAc,IAAI,KAAK;AAChD,MAAI,CAAC,YACH;EAIF,MAAMA,SAAuB;GAC3B;GACA,aAAa,YAAY;GACzB,wBAAQ,IAAI,KAAK;GACjB,0BAAU,IAAI,KAAK;GACnB,WAAW,YAAY;GACvB,WAAW,YAAY;GACxB;AAGD,OAAK,MAAM,SAAS,YAAY,OAC9B,QAAO,OAAO,IAAI,MAAM,MAAM;GAC5B,MAAM,MAAM;GACZ,UAAU,MAAM;GAChB,MAAM,MAAM;GACZ,cAAc,MAAM;GACpB,aAAa,MAAM;GACpB,CAAC;AAIJ,OAAK,MAAM,WAAW,YAAY,SAChC,QAAO,SAAS,IAAI,QAAQ,MAAM;GAChC,MAAM,QAAQ;GACd,UAAU,QAAQ;GAClB,aAAa,QAAQ;GACtB,CAAC;EAKJ,MAAM,eAAe,CAAC,GADP,KAAK,aAAa,IAAI,KAAK,IAAI,EAAE,CAChB,CAAC,MAAM,GAAG,MAAM,EAAE,UAAU,cAAc,EAAE,UAAU,CAAC;AAEvF,OAAK,MAAM,SAAS,aAClB,MAAK,WAAW,QAAQ,MAAM;AAGhC,SAAO;;;;;CAMT,AAAQ,WAAW,QAAsB,OAA+B;AAEtE,OAAK,MAAM,SAAS,MAAM,OACxB,QAAO,OAAO,IAAI,MAAM,MAAM;GAC5B,MAAM,MAAM;GACZ,UAAU,MAAM;GAChB,MAAM,MAAM;GACZ,cAAc,MAAM;GACpB,aAAa,MAAM;GACpB,CAAC;AAIJ,OAAK,MAAM,WAAW,MAAM,SAC1B,QAAO,SAAS,IAAI,QAAQ,MAAM;GAChC,MAAM,QAAQ;GACd,UAAU,QAAQ;GAClB,aAAa,QAAQ;GACtB,CAAC;AAIJ,OAAK,MAAM,aAAa,MAAM,aAC5B,QAAO,OAAO,OAAO,UAAU;AAIjC,OAAK,MAAM,eAAe,MAAM,eAC9B,QAAO,SAAS,OAAO,YAAY;;;;;;;AA2CzC,MAAa,WAAW;CAKtB,eAAe,SAAuB,MAAoC;AACxE,UAAQ,KAAK,MAAb;GACE,KAAK,YACH,QAAO,wBAAwB,SAAS,KAAK,KAAK;GACpD,KAAK,UACH,QAAO,sBAAsB,SAAS,KAAK,MAAM;GACnD,KAAK,QACH,QAAO,oBAAoB,SAAS,KAAK,YAAY;GACvD,KAAK,QACH,QAAO,KAAK,QAAQ,MAAM,WAAW,SAAS,eAAe,SAAS,OAAO,CAAC;GAChF,KAAK,UAGH,QAAO;;;CAQb,oBAAoB,cAAiC,MAAoC;AACvF,UAAQ,KAAK,MAAb;GACE,KAAK,YACH,QAAO,wBAAwB,cAAc,KAAK,KAAK;GACzD,KAAK,UAEH,QAAO,aAAa,SAAS,YAAY,aAAa,UAAU,KAAK;GACvE,KAAK,QAGH,QAAO,6BAA6B,cAAc,KAAK,YAAY;GACrE,KAAK,QACH,QAAO,KAAK,QAAQ,MAAM,WAAW,SAAS,oBAAoB,cAAc,OAAO,CAAC;GAC1F,KAAK,UAEH,QAAO;;;CAOb,SAAS,MAAmC;AAC1C,UAAQ,KAAK,MAAb;GACE,KAAK,YACH,QAAO,KAAK;GACd,KAAK,UACH,QAAO,IAAI,KAAK,MAAM;GACxB,KAAK;AAEH,QAAI,KAAK,YAAY,SAAS,QAC5B,QAAO,IAAI,SAAS,SAAS,KAAK,YAAY,CAAC;AAEjD,WAAO,GAAG,SAAS,SAAS,KAAK,YAAY,CAAC;GAChD,KAAK,QACH,QAAO,KAAK,QAAQ,KAAK,MAAM,SAAS,SAAS,EAAE,CAAC,CAAC,KAAK,MAAM;GAClE,KAAK,UACH,QAAO,KAAK;;;CAGnB;;;;AASD,SAAS,wBACP,SACA,MACS;AACT,SAAQ,MAAR;EACE,KAAK,SAEH,QAAO;EACT,KAAK,OAEH,QAAO,QAAQ,SAAS;EAC1B,KAAK,YAEH,QAAO,QAAQ,SAAS;EAC1B,KAAK;AAEH,OAAI,QAAQ,SAAS,iBACnB,QAAO,QAAQ,SAAS;AAE1B,UAAO;EACT,KAAK,SAEH,QAAO,QAAQ,SAAS;;;;;;AAO9B,SAAS,sBAAsB,SAAuB,eAAgC;AAEpF,KAAI,QAAQ,SAAS,eACnB,QAAO,QAAQ,UAAU;AAE3B,QAAO;;;;;;;;AAST,SAAS,oBACP,SACA,aACS;AAET,KAAI,YAAY,SAAS,UACvB,QAAO;AAGT,KAAI,QAAQ,SAAS,eAAe;AAElC,MAAI,QAAQ,SAAS,WAAW,EAC9B,QAAO;AAGT,SAAO,QAAQ,SAAS,OAAO,YAAY,2BAA2B,SAAS,YAAY,CAAC;;AAI9F,QAAO,iCAAiC,SAAS,YAAY;;;;;AAM/D,SAAS,iCACP,SACA,aACS;AAET,KAAI,QAAQ,SAAS,kBAAkB,QAAQ,UAAU,GACvD,QAAO;AAGT,SAAQ,YAAY,MAApB;EACE,KAAK,YACH,QAAO,8BAA8B,SAAS,YAAY,KAAK;EACjE,KAAK;AAEH,OAAI,QAAQ,SAAS,eACnB,QAAO,QAAQ,UAAU,YAAY;AAEvC,UAAO;EACT,KAAK,QACH,QAAO,YAAY,QAAQ,MAAM,WAAW;AAC1C,OAAI,OAAO,SAAS,YAClB,QAAO,8BAA8B,SAAS,OAAO,KAAK;YACjD,OAAO,SAAS,UACzB,QAAO,QAAQ,SAAS,kBAAkB,QAAQ,UAAU,OAAO;AAErE,UAAO;IACP;;;;;;AAOR,SAAS,8BACP,SACA,MACS;AACT,SAAQ,MAAR;EACE,KAAK,SAEH,QAAO,QAAQ,SAAS,kBAAkB,QAAQ,MAAM,SAAS;EACnE,KAAK,OACH,QAAO,QAAQ,SAAS;EAC1B,KAAK,YACH,QAAO,QAAQ,SAAS;EAC1B,KAAK;AAEH,OAAI,QAAQ,SAAS,iBACnB,QAAO,QAAQ,SAAS;AAE1B,UAAO;EACT,KAAK,SACH,QAAO,QAAQ,SAAS;;;;;;AAO9B,SAAS,2BACP,SACA,aACS;AACT,SAAQ,YAAY,MAApB;EACE,KAAK,YACH,QAAO,6BAA6B,SAAS,YAAY,KAAK;EAChE,KAAK;AAEH,OAAI,QAAQ,SAAS,eACnB,QAAO,QAAQ,UAAU,YAAY;AAEvC,UAAO;EACT,KAAK,QACH,QAAO,YAAY,QAAQ,MAAM,WAAW;AAC1C,OAAI,OAAO,SAAS,YAClB,QAAO,6BAA6B,SAAS,OAAO,KAAK;YAChD,OAAO,SAAS,UACzB,QAAO,QAAQ,SAAS,kBAAkB,QAAQ,UAAU,OAAO;AAGrE,UAAO;IACP;;;;;;AAOR,SAAS,6BACP,SACA,MACS;AACT,SAAQ,MAAR;EACE,KAAK,SAEH,QAAO,QAAQ,SAAS;EAC1B,KAAK,OACH,QAAO,QAAQ,SAAS;EAC1B,KAAK;AAEH,OAAI,QAAQ,SAAS,iBACnB,QAAO,QAAQ,SAAS;AAE1B,UAAO;EACT,KAAK;AAEH,OAAI,QAAQ,SAAS,YACnB,QAAO;AAGT,OAAI,QAAQ,SAAS,eACnB,QAAO,0DAA0D,KAAK,QAAQ,MAAM;AAEtF,UAAO;EACT,KAAK,SACH,QAAO,QAAQ,SAAS;;;;;;AAW9B,SAAS,wBACP,cACA,MACS;AACT,SAAQ,MAAR;EACE,KAAK,SAEH,QAAO;EACT,KAAK,OACH,QAAO,aAAa,SAAS;EAC/B,KAAK;AAEH,OAAI,aAAa,SAAS,WACxB,QAAO,CAAC,aAAa,MAAM,SAAS,IAAI;AAE1C,UAAO;EACT,KAAK,YAEH,QAAO;EACT,KAAK,SACH,QAAO,aAAa,SAAS;;;;;;AAOnC,SAAS,6BACP,cACA,aACS;AACT,SAAQ,YAAY,MAApB;EACE,KAAK,YACH,QAAO,0BAA0B,cAAc,YAAY,KAAK;EAClE,KAAK,UACH,QAAO,aAAa,SAAS,YAAY,aAAa,UAAU,YAAY;EAC9E,KAAK,QACH,QAAO,YAAY,QAAQ,MAAM,WAAW;AAC1C,OAAI,OAAO,SAAS,YAClB,QAAO,0BAA0B,cAAc,OAAO,KAAK;YAClD,OAAO,SAAS,UACzB,QAAO,aAAa,SAAS,YAAY,aAAa,UAAU,OAAO;AAEzE,UAAO;IACP;EACJ,KAAK,UAEH,QAAO;;;;;;AAOb,SAAS,0BACP,cACA,MACS;AACT,SAAQ,MAAR;EACE,KAAK,SAEH,QAAO,aAAa,SAAS,YAAY,aAAa,MAAM,SAAS;EACvE,KAAK,OACH,QAAO,aAAa,SAAS;EAC/B,KAAK;AACH,OAAI,aAAa,SAAS,WACxB,QAAO,CAAC,aAAa,MAAM,SAAS,IAAI;AAE1C,UAAO;EACT,KAAK,YAEH,QAAO;EACT,KAAK,SACH,QAAO,aAAa,SAAS"}

package/dist/semantic/analyzer.d.ts

@@ -0,0 +1,107 @@
+import { Entry, Location, SchemaEntry, SourceFile } from "../ast/ast-types.js";
+import { SourceMap } from "../source-map.js";
+import { GenericTree, ParsedBlock } from "../parser.shared.js";
+
+//#region src/semantic/analyzer.d.ts
+
+/**
+ * A link definition in an entry header.
+ * Created when an entry has an explicit ^linkId in its header.
+ */
+interface LinkDefinition {
+  /** The link ID (without ^ prefix) */
+  id: string;
+  /** The file path containing this definition */
+  file: string;
+  /** Location of the link in the source */
+  location: Location;
+  /** The entry that defines this link */
+  entry: Entry;
+}
+/**
+ * A link reference in metadata or as an actualize target.
+ * Created when an entry references another entry via ^linkId.
+ */
+interface LinkReference {
+  /** The link ID (without ^ prefix) */
+  id: string;
+  /** The file path containing this reference */
+  file: string;
+  /** Location of the link in the source */
+  location: Location;
+  /** The entry containing this reference */
+  entry: Entry;
+  /** The context where this reference appears (metadata key or "target") */
+  context: string;
+}
+/**
+ * Index for link definitions and references within a document.
+ */
+interface LinkIndex {
+  /** Map from link ID to its definition (if any) */
+  definitions: Map<string, LinkDefinition>;
+  /** Map from link ID to all references */
+  references: Map<string, LinkReference[]>;
+}
+/**
+ * A semantic model for a single document.
+ * Contains the AST plus indexes built during semantic analysis.
+ *
+ * This is the per-document semantic representation. The Workspace
+ * aggregates multiple SemanticModels and combines their indexes.
+ */
+interface SemanticModel {
+  /** The AST for this document */
+  ast: SourceFile;
+  /** The file path */
+  file: string;
+  /** The original source text */
+  source: string;
+  /** Source map for position translation (block-relative to file-absolute) */
+  sourceMap: SourceMap;
+  /** The parsed blocks (containing tree-sitter trees) for CST operations */
+  blocks: ParsedBlock<GenericTree>[];
+  /**
+   * Link index for this document.
+   * Contains definitions and references found in this document only.
+   */
+  linkIndex: LinkIndex;
+  /**
+   * Schema entries from this document.
+   * These are used by the SchemaRegistry at the workspace level
+   * to build resolved entity schemas.
+   */
+  schemaEntries: SchemaEntry[];
+  /**
+   * Dirty flags for incremental updates.
+   * When true, the corresponding index needs to be rebuilt.
+   */
+  dirty?: SemanticModelDirtyFlags;
+}
+/**
+ * Dirty flags indicating which parts of the semantic model need rebuilding.
+ */
+interface SemanticModelDirtyFlags {
+  /** Link index needs rebuild (definitions or references changed) */
+  linkIndex: boolean;
+  /** Schema entries need re-extraction (schema entries changed) */
+  schemaEntries: boolean;
+}
+/**
+ * Result of an incremental semantic model update.
+ */
+interface SemanticUpdateResult {
+  /** Link IDs that were added (new definitions) */
+  addedLinkDefinitions: string[];
+  /** Link IDs that were removed (deleted definitions) */
+  removedLinkDefinitions: string[];
+  /** Link IDs whose references changed */
+  changedLinkReferences: string[];
+  /** Whether schema entries changed */
+  schemaEntriesChanged: boolean;
+  /** Entity names whose schema definitions changed */
+  changedEntityNames: string[];
+}
+//#endregion
+export { LinkDefinition, LinkIndex, LinkReference, SemanticModel, SemanticModelDirtyFlags, SemanticUpdateResult };
+//# sourceMappingURL=analyzer.d.ts.map

package/dist/semantic/analyzer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"analyzer.d.ts","names":[],"sources":["../../src/semantic/analyzer.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAYA;AAeA;AAgBiB,UA/BA,cAAA,CA+BS;EAEC;EAAZ,EAAA,EAAA,MAAA;EAEW;EAAZ,IAAA,EAAA,MAAA;EAAG;EAcA,QAAA,EA3CL,QA2CkB;EAEvB;EAMM,KAAA,EAjDJ,KAiDI;;;;;;AAqBoB,UA/DhB,aAAA,CA+DgB;EAMhB;EAUA,EAAA,EAAA,MAAA;;;;YAzEL;;SAEH;;;;;;;UAQQ,SAAA;;eAEF,YAAY;;cAEb,YAAY;;;;;;;;;UAcT,aAAA;;OAEV;;;;;;aAMM;;UAEH,YAAY;;;;;aAMT;;;;;;iBAOI;;;;;UAMP;;;;;UAMO,uBAAA;;;;;;;;;UAUA,oBAAA"}