@metaobjectsdev/metadata 0.9.0 → 0.10.0

package/src/core/attr/attr-constants.ts

@@ -13,9 +13,20 @@ export const ATTR_SUBTYPE_DOUBLE = "double";
 export const ATTR_SUBTYPE_BOOLEAN = "boolean";
 export const ATTR_SUBTYPE_CLASS = "class";
 export const ATTR_SUBTYPE_PROPERTIES = "properties";
-export const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
 export const ATTR_SUBTYPE_FILTER = "filter";
 
+/**
+ * The retired `stringarray` array attr subtype. It is NO LONGER a registered
+ * `(attr, subType)` — array-ness is modeled as a `string` attr with the
+ * orthogonal `isArray` flag (matching Java's `StringAttribute + @isArray`), so
+ * `stringarray` never appears in the registry manifest. The constant survives
+ * ONLY as the key into the attr-class-map for the array-coercion class
+ * (`StringArrayAttr`, the bare-string → one-element-array coercion), which the
+ * loader resolves for any `isArray`-flagged attr. It is intentionally NOT in
+ * `ATTR_SUBTYPES`.
+ */
+export const ATTR_SUBTYPE_STRINGARRAY = "stringarray";
+
 export const ATTR_SUBTYPES = [
   SUBTYPE_BASE,
   ATTR_SUBTYPE_STRING,
@@ -25,7 +36,8 @@ export const ATTR_SUBTYPES = [
   ATTR_SUBTYPE_BOOLEAN,
   ATTR_SUBTYPE_CLASS,
   ATTR_SUBTYPE_PROPERTIES,
-  ATTR_SUBTYPE_STRINGARRAY,
   ATTR_SUBTYPE_FILTER,
 ] as const;
-export type AttrSubType = (typeof ATTR_SUBTYPES)[number];
+export type AttrSubType =
+  | (typeof ATTR_SUBTYPES)[number]
+  | typeof ATTR_SUBTYPE_STRINGARRAY;

package/src/core/attr/attr-definition.embedded.ts

@@ -0,0 +1,67 @@
+// AUTO-GENERATED by scripts/generate-embedded-metamodel.ts — DO NOT EDIT.
+// Canonical source: repo-root spec/metamodel/attr.json
+// Regenerate: bun run scripts/generate-embedded-metamodel.ts
+//
+// Embeds the canonical FR-033 ProviderDefinition so the provider can register
+// itself wherever the on-disk spec/ tree is unavailable (bundled builds).
+import type { ProviderDefinition } from "../../provider-data.js";
+
+export const ATTR_DEFINITION: ProviderDefinition = {
+  "provider": "metaobjects-core-types",
+  "types": [
+    {
+      "type": "attr",
+      "subType": "base",
+      "dataType": "string",
+      "description": "Abstract base attribute — the polymorphic/unconstrained value-type marker. Stores its value type-preserved (never stringified), accepting any type; used for an untyped attr (e.g. a field's @default, whose value-type follows the owning field's subtype)."
+    },
+    {
+      "type": "attr",
+      "subType": "string",
+      "dataType": "string",
+      "description": "A string-valued metadata attribute. Coerces to and validates as text; the default value-type for inline @-syntax attrs (array-of-string is the same subtype with isArray)."
+    },
+    {
+      "type": "attr",
+      "subType": "int",
+      "dataType": "int",
+      "description": "A 32-bit-integer-valued metadata attribute. Coerces to and validates as a number."
+    },
+    {
+      "type": "attr",
+      "subType": "long",
+      "dataType": "long",
+      "description": "A 64-bit-integer-valued metadata attribute. Coerces to and validates as a number."
+    },
+    {
+      "type": "attr",
+      "subType": "double",
+      "dataType": "double",
+      "description": "A double-precision floating-point-valued metadata attribute. Coerces to and validates as a number."
+    },
+    {
+      "type": "attr",
+      "subType": "boolean",
+      "dataType": "boolean",
+      "description": "A boolean-valued metadata attribute. Coerces to and validates as true/false."
+    },
+    {
+      "type": "attr",
+      "subType": "class",
+      "dataType": "string",
+      "description": "A class-/type-reference-valued metadata attribute. String-backed (a fully-qualified class or type name) used by binding facets."
+    },
+    {
+      "type": "attr",
+      "subType": "properties",
+      "dataType": "object",
+      "description": "A key/value map attribute (a bag of arbitrary author-supplied properties). Object-shaped value; the registered escape hatch for author-supplied properties (exempt from the strict-attr check, ADR-0023)."
+    },
+    {
+      "type": "attr",
+      "subType": "filter",
+      "dataType": "object",
+      "description": "A filter-expression-valued metadata attribute. Object-shaped value that desugars a preset filter to the canonical { field: { op: value } } form (scalar→eq, array→in, null→isNull; or/and recurse)."
+    }
+  ]
+};

package/src/core/documentation/doc-constants.ts

@@ -2,6 +2,7 @@
 // the serializer per ADR-0006.
 
 export const DOC_ATTR_DESCRIPTION = "description";
+export const DOC_ATTR_SUMMARY = "summary";
 export const DOC_ATTR_TITLE = "title";
 export const DOC_ATTR_NOTES = "notes";
 export const DOC_ATTR_DEPRECATED = "deprecated";
@@ -9,9 +10,10 @@ export const DOC_ATTR_REPLACED_BY = "replacedBy";
 export const DOC_ATTR_SEE_ALSO = "seeAlso";
 export const DOC_ATTR_ALIASES = "aliases";
 
-/** All 7 documentation common-attr names in declaration order. */
+/** All 8 documentation common-attr names in declaration order. */
 export const DOC_ATTR_NAMES = [
   DOC_ATTR_DESCRIPTION,
+  DOC_ATTR_SUMMARY,
   DOC_ATTR_TITLE,
   DOC_ATTR_NOTES,
   DOC_ATTR_DEPRECATED,

package/src/core/documentation/doc-provider.ts

@@ -1,12 +1,16 @@
 import type { MetaDataTypeProvider } from "../../provider.js";
 import type { TypeRegistry } from "../../registry.js";
-import { commonDocAttrs } from "./doc-schema.js";
+import { applyProviderDefinition } from "../../provider-data.js";
+import { DOCUMENTATION_DEFINITION } from "./documentation-definition.embedded.js";
 
 export const docProvider: MetaDataTypeProvider = {
   id: "metaobjects-documentation",
   dependencies: ["metaobjects-core-types"],
   description: "Universal documentation common attrs (description / title / notes / deprecated / replacedBy / seeAlso / aliases) accepted on every metatype.",
   registerTypes(registry: TypeRegistry): void {
-    registry.registerCommonAttrs(commonDocAttrs);
+    // FR-033 — the unified apply path: documentation's universal `*.*` entry
+    // carries the doc attrs, which `applyProviderDefinition` routes to
+    // `registry.registerCommonAttrs(...)`. No documentation-specific helper.
+    applyProviderDefinition(registry, DOCUMENTATION_DEFINITION, {});
   },
 };

package/src/core/documentation/documentation-definition.embedded.ts

@@ -0,0 +1,86 @@
+// AUTO-GENERATED by scripts/generate-embedded-metamodel.ts — DO NOT EDIT.
+// Canonical source: repo-root spec/metamodel/documentation.json
+// Regenerate: bun run scripts/generate-embedded-metamodel.ts
+//
+// Embeds the canonical FR-033 ProviderDefinition so the provider can register
+// itself wherever the on-disk spec/ tree is unavailable (bundled builds).
+import type { ProviderDefinition } from "../../provider-data.js";
+
+export const DOCUMENTATION_DEFINITION: ProviderDefinition = {
+  "provider": "metaobjects-documentation",
+  "types": [
+    {
+      "type": "*",
+      "subType": "*",
+      "description": "Universal documentation common attrs — accepted on EVERY metatype (registered as common attrs, NOT per-type). The named attr children below are the documentation vocabulary.",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "description",
+          "min": 0,
+          "max": 1,
+          "description": "Free-form user-facing prose. Markdown allowed, multi-line via YAML '|' block scalar. Flows into doc-gen surfaces (JSDoc / XML-doc / Postgres COMMENT / Mermaid prose)."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "summary",
+          "min": 0,
+          "max": 1,
+          "description": "Short single-line tagline (OpenAPI `summary` pattern) — used in index tables, sidebar previews, and AI prompts where the full @description is too long. Optional supplement to @description; when @summary is unset, doc surfaces typically fall back to the first sentence of @description."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "title",
+          "min": 0,
+          "max": 1,
+          "description": "Short single-line human label (e.g. 'Email' for a `field.string email`). Optional supplement to description."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "notes",
+          "min": 0,
+          "max": 1,
+          "description": "Internal-only rationale. Stays in metadata; never emitted to user-facing docs."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "deprecated",
+          "min": 0,
+          "max": 1,
+          "description": "Text reason for deprecation. Presence ⇒ deprecated. Codegen emits @deprecated / [Obsolete] with this reason."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "replacedBy",
+          "min": 0,
+          "max": 1,
+          "description": "FQN reference to the replacement element. Only meaningful with `deprecated`. Codegen appends 'Replaced by <ref>' to deprecation messages."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "seeAlso",
+          "min": 0,
+          "max": 1,
+          "isArray": true,
+          "description": "External documentation URLs. Codegen emits @see / <seealso href=...>."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "aliases",
+          "min": 0,
+          "max": 1,
+          "isArray": true,
+          "description": "Alternate names for this element. Aids AI authoring disambiguation, search, migration."
+        }
+      ]
+    }
+  ]
+};

package/src/core/field/field-constants.ts

@@ -3,13 +3,11 @@
 import { SUBTYPE_BASE } from "../../shared/base-types.js";
 
 // ---------------------------------------------------------------------------
-// Field subtypes (17)
+// Field subtypes (14)
 // ---------------------------------------------------------------------------
 
 export const FIELD_SUBTYPE_STRING = "string";
 export const FIELD_SUBTYPE_INT = "int";
-export const FIELD_SUBTYPE_SHORT = "short";
-export const FIELD_SUBTYPE_BYTE = "byte";
 export const FIELD_SUBTYPE_LONG = "long";
 export const FIELD_SUBTYPE_DOUBLE = "double";
 export const FIELD_SUBTYPE_FLOAT = "float";
@@ -19,7 +17,6 @@ export const FIELD_SUBTYPE_DATE = "date";
 export const FIELD_SUBTYPE_TIME = "time";
 export const FIELD_SUBTYPE_TIMESTAMP = "timestamp";
 export const FIELD_SUBTYPE_OBJECT = "object";
-export const FIELD_SUBTYPE_CLASS = "class";
 export const FIELD_SUBTYPE_CURRENCY = "currency";
 export const FIELD_SUBTYPE_ENUM = "enum";
 /** R6 Plan 2a: logical UUID identity scalar. Bare scalar (no required attrs, no
@@ -31,8 +28,6 @@ export const FIELD_SUBTYPES = [
   SUBTYPE_BASE,
   FIELD_SUBTYPE_STRING,
   FIELD_SUBTYPE_INT,
-  FIELD_SUBTYPE_SHORT,
-  FIELD_SUBTYPE_BYTE,
   FIELD_SUBTYPE_LONG,
   FIELD_SUBTYPE_DOUBLE,
   FIELD_SUBTYPE_FLOAT,
@@ -42,7 +37,6 @@ export const FIELD_SUBTYPES = [
   FIELD_SUBTYPE_TIME,
   FIELD_SUBTYPE_TIMESTAMP,
   FIELD_SUBTYPE_OBJECT,
-  FIELD_SUBTYPE_CLASS,
   FIELD_SUBTYPE_CURRENCY,
   FIELD_SUBTYPE_ENUM,
   FIELD_SUBTYPE_UUID,
@@ -129,6 +123,13 @@ export const FIELD_ATTR_VALUES = "values";
  */
 export const ENUM_MEMBER_PATTERN = /^[A-Za-z_][A-Za-z0-9_]*$/;
 
+/** FR-019: marks a named-type declaration (an abstract package-level field.enum)
+ *  as externally PROVIDED — codegen references the type instead of materializing
+ *  it. Optional boolean, default false; meaningful only on an abstract (declaration)
+ *  field.enum (a concrete consuming field does not carry it). Per ADR-0026, no
+ *  per-port namespace lives in metadata — the reference target is codegen config. */
+export const FIELD_ATTR_PROVIDED = "provided";
+
 /** FR-010: map of off-vocabulary token → canonical enum member, feeding the
  *  tolerant extract alias-fold. `properties`-shaped; only on field.enum. */
 export const FIELD_ATTR_ENUM_ALIAS = "enumAlias";

package/src/core/field/field-definition.embedded.ts

@@ -0,0 +1,243 @@
+// AUTO-GENERATED by scripts/generate-embedded-metamodel.ts — DO NOT EDIT.
+// Canonical source: repo-root spec/metamodel/field.json
+// Regenerate: bun run scripts/generate-embedded-metamodel.ts
+//
+// Embeds the canonical FR-033 ProviderDefinition so the provider can register
+// itself wherever the on-disk spec/ tree is unavailable (bundled builds).
+import type { ProviderDefinition } from "../../provider-data.js";
+
+export const FIELD_DEFINITION: ProviderDefinition = {
+  "provider": "metaobjects-core-types",
+  "types": [
+    {
+      "type": "field",
+      "subType": "base",
+      "dataType": "string",
+      "description": "Abstract base field — the shared root subtype that concrete field subtypes specialize. Carries the attrs common to every field but binds no concrete data type of its own (falls back to string).",
+      "children": [
+        {
+          "type": "validator",
+          "subType": "*",
+          "name": "*",
+          "min": 0,
+          "max": null
+        },
+        {
+          "type": "view",
+          "subType": "*",
+          "name": "*",
+          "min": 0,
+          "max": null
+        },
+        {
+          "type": "origin",
+          "subType": "*",
+          "name": "*",
+          "min": 0,
+          "max": null
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "required",
+          "min": 0,
+          "max": 1,
+          "description": "When true, the field is NOT NULL. Equivalent to attaching a validator.required child."
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "readOnly",
+          "min": 0,
+          "max": 1,
+          "description": "FR-013: when true, the field is read-only — codegen emits no setter / writable property, the persistence layer skips the column on INSERT/UPDATE, and Zod/Pydantic/class-validator schemas mark it read-only on input variants. The value is populated by the database (computed column, default expression, trigger), by replication, or by another external owner."
+        },
+        {
+          "type": "attr",
+          "name": "default",
+          "min": 0,
+          "max": 1,
+          "description": "Default value applied to the column when no value is supplied. Its type follows the field's own subtype (string / boolean / number / ...). Converted at consumption time via MetaField.defaultValue()."
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "unique",
+          "min": 0,
+          "max": 1,
+          "description": "When true, the field gets a column-level UNIQUE constraint."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "string",
+      "dataType": "string",
+      "extendsBase": true,
+      "description": "Variable-length text. Binds to the native string type; DB column is VARCHAR/TEXT (use @maxLength for VARCHAR(n)).",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "int",
+          "name": "maxLength",
+          "min": 0,
+          "max": 1,
+          "description": "Maximum character length for string-typed fields (drives VARCHAR(n))."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "int",
+      "dataType": "int",
+      "extendsBase": true,
+      "description": "32-bit signed integer. Binds to the native int type; DB column is INTEGER."
+    },
+    {
+      "type": "field",
+      "subType": "long",
+      "dataType": "long",
+      "extendsBase": true,
+      "description": "64-bit signed integer. Binds to the native long/bigint type; DB column is BIGINT."
+    },
+    {
+      "type": "field",
+      "subType": "double",
+      "dataType": "double",
+      "extendsBase": true,
+      "description": "Double-precision (64-bit) IEEE-754 floating point. Binds to the native double/number type; DB column is DOUBLE PRECISION. Not for money — use field.currency or field.decimal."
+    },
+    {
+      "type": "field",
+      "subType": "float",
+      "dataType": "double",
+      "extendsBase": true,
+      "description": "Single-precision floating point. Binds to the native double/number type (TS has no distinct float); DB column is REAL. Not for money."
+    },
+    {
+      "type": "field",
+      "subType": "decimal",
+      "dataType": "string",
+      "extendsBase": true,
+      "description": "Precision-exact decimal (use @precision/@scale). Native TS binding is string (lossless); DB column is NUMERIC(p,s); the wire form is a string. Classified DATA_TYPE_STRING so an exact decimal is never silently rounded through a double.",
+      "rules": "The wire and native-TS form is a STRING to stay precision-exact end-to-end (Drizzle pg numeric infers as string; SP-H/ADR-0019). Set @precision (total significant digits) and @scale (digits right of the point) to drive NUMERIC(p,s).",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "int",
+          "name": "precision",
+          "min": 0,
+          "max": 1,
+          "description": "Total number of significant digits for decimal-typed fields."
+        },
+        {
+          "type": "attr",
+          "subType": "int",
+          "name": "scale",
+          "min": 0,
+          "max": 1,
+          "description": "Number of digits to the right of the decimal point for decimal-typed fields."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "boolean",
+      "dataType": "boolean",
+      "extendsBase": true,
+      "description": "True/false flag. Binds to the native boolean type; DB column is BOOLEAN."
+    },
+    {
+      "type": "field",
+      "subType": "date",
+      "dataType": "date",
+      "extendsBase": true,
+      "description": "Calendar date (no time-of-day). Binds to the native date/temporal type; DB column is DATE."
+    },
+    {
+      "type": "field",
+      "subType": "time",
+      "dataType": "date",
+      "extendsBase": true,
+      "description": "Time-of-day (no calendar date). Binds to the native date/temporal type; DB column is TIME."
+    },
+    {
+      "type": "field",
+      "subType": "timestamp",
+      "dataType": "date",
+      "extendsBase": true,
+      "description": "Date + time-of-day instant (optionally with timezone). Binds to the native date/temporal type; DB column is TIMESTAMP(TZ). Pair with @autoSet for created/updated stamping."
+    },
+    {
+      "type": "field",
+      "subType": "object",
+      "dataType": "object",
+      "extendsBase": true,
+      "description": "A nested structured value (set @objectRef to the target object). Storage is governed by @storage: flattened (prefixed columns), jsonb (single jsonb column, supports isArray), or subdocument (document-store hint).",
+      "rules": "Set @objectRef to the nested object's name (or FQN). @storage selects physical layout — flattened expands into prefixed parent columns (isArray must be false), jsonb stores the structured value (or array when isArray=true) in one jsonb column, subdocument emits no Postgres column. Defaults to single-jsonb-column when @storage is absent.",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "objectRef",
+          "min": 0,
+          "max": 1,
+          "description": "Name (or FQN) of the target object an object-typed field nests — drives nested-object (de)serialization."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "currency",
+      "dataType": "long",
+      "extendsBase": true,
+      "description": "Stores money as integer minor units (cents). Binds to long; the client formats via @currency/@locale. Float arithmetic for money is forbidden.",
+      "rules": "Storage is integer minor units (cents for USD, yen for JPY) — the wire form is unchanged from long. The server never formats currency; all formatting is client-side via Intl.NumberFormat using @currency (ISO 4217) and @locale (BCP 47). Float arithmetic for money is forbidden.",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "currency",
+          "min": 0,
+          "max": 1,
+          "default": "USD",
+          "description": "ISO 4217 currency code for a currency-subtype field. Storage is integer minor units; defaults to 'USD' when omitted."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "enum",
+      "dataType": "string",
+      "extendsBase": true,
+      "description": "String-backed enumeration constrained to a closed set of member symbols (@values). Each member is its own stored string with no name/value divergence.",
+      "rules": "Required @values is a non-empty, duplicate-free set; each member must match ^[A-Za-z_][A-Za-z0-9_]*$ so symbol == stored string in every target language. Optional FR-010/FR-011 overlays add tolerant-extract aliasing (@enumAlias), per-member docs (@enumDoc), an uncoercible-value fallback (@coerceDefault, must be one of @values), and ASCII normalization mode (@normalize).",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "values",
+          "isArray": true,
+          "min": 1,
+          "max": 1,
+          "description": "Member symbols of an enum-subtype field. Declaration order is significant; each is a legal identifier and its own stored string."
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "provided",
+          "min": 0,
+          "max": 1,
+          "description": "FR-019: marks an abstract package-level field.enum as externally provided — codegen references the type (resolved via per-port codegen config) instead of materializing it. Default false. Not a field attr — it lives on the type declaration."
+        }
+      ]
+    },
+    {
+      "type": "field",
+      "subType": "uuid",
+      "dataType": "string",
+      "extendsBase": true,
+      "description": "Logical UUID identity scalar. A bare scalar (no required attrs, no loader value-validation) — binds to TS string (no native UUID type); DB column is Postgres-native uuid."
+    }
+  ]
+};

package/src/core/field/meta-field.ts

@@ -19,10 +19,7 @@ import { convertToDataType } from "../../data-converter.js";
 import { TYPE_VALIDATOR, TYPE_VIEW, SUBTYPE_BASE } from "../../shared/base-types.js";
 import {
   FIELD_SUBTYPE_STRING,
-  FIELD_SUBTYPE_CLASS,
   FIELD_SUBTYPE_INT,
-  FIELD_SUBTYPE_SHORT,
-  FIELD_SUBTYPE_BYTE,
   FIELD_SUBTYPE_LONG,
   FIELD_SUBTYPE_CURRENCY,
   FIELD_SUBTYPE_DOUBLE,
@@ -54,18 +51,20 @@ import { ValueObject } from "../object/value-object.js";
 const FIELD_DATA_TYPE: Readonly<Record<string, DataType>> = {
   [SUBTYPE_BASE]: DATA_TYPE_STRING,
   [FIELD_SUBTYPE_STRING]: DATA_TYPE_STRING,
-  [FIELD_SUBTYPE_CLASS]: DATA_TYPE_STRING,
   // field.uuid binds to TS `string` (no native UUID type) — DATA_TYPE_STRING.
   [FIELD_SUBTYPE_UUID]: DATA_TYPE_STRING,
   [FIELD_SUBTYPE_INT]: DATA_TYPE_INT,
-  [FIELD_SUBTYPE_SHORT]: DATA_TYPE_INT,
-  [FIELD_SUBTYPE_BYTE]: DATA_TYPE_INT,
   [FIELD_SUBTYPE_LONG]: DATA_TYPE_LONG,
   [FIELD_SUBTYPE_CURRENCY]: DATA_TYPE_LONG,
   [FIELD_SUBTYPE_ENUM]: DATA_TYPE_STRING,
   [FIELD_SUBTYPE_DOUBLE]: DATA_TYPE_DOUBLE,
   [FIELD_SUBTYPE_FLOAT]: DATA_TYPE_DOUBLE,
-  [FIELD_SUBTYPE_DECIMAL]: DATA_TYPE_DOUBLE,
+  // field.decimal is precision-exact: the native TS binding is `string` (Drizzle
+  // pg `numeric` infers as `string`; SP-H/ADR-0019), the DB column is numeric(p,s),
+  // and the wire form is a STRING. Classifying it DATA_TYPE_DOUBLE would route
+  // @default/coerce through toDouble() and silently round an exact decimal
+  // (e.g. "12345678901234.5678"). DATA_TYPE_STRING keeps it lossless end-to-end.
+  [FIELD_SUBTYPE_DECIMAL]: DATA_TYPE_STRING,
   [FIELD_SUBTYPE_BOOLEAN]: DATA_TYPE_BOOLEAN,
   [FIELD_SUBTYPE_DATE]: DATA_TYPE_DATE,
   [FIELD_SUBTYPE_TIME]: DATA_TYPE_DATE,

package/src/core/identity/identity-definition.embedded.ts

@@ -0,0 +1,98 @@
+// AUTO-GENERATED by scripts/generate-embedded-metamodel.ts — DO NOT EDIT.
+// Canonical source: repo-root spec/metamodel/identity.json
+// Regenerate: bun run scripts/generate-embedded-metamodel.ts
+//
+// Embeds the canonical FR-033 ProviderDefinition so the provider can register
+// itself wherever the on-disk spec/ tree is unavailable (bundled builds).
+import type { ProviderDefinition } from "../../provider-data.js";
+
+export const IDENTITY_DEFINITION: ProviderDefinition = {
+  "provider": "metaobjects-core-types",
+  "types": [
+    {
+      "type": "identity",
+      "subType": "primary",
+      "description": "The primary key — one per entity; @fields names its column(s), @generation the value strategy.",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "fields",
+          "isArray": true,
+          "min": 1,
+          "max": 1,
+          "description": "The field name(s) composing this identity. Single-element for a simple PK/index, multiple for a composite."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "generation",
+          "min": 0,
+          "max": 1,
+          "allowedValues": [
+            "increment",
+            "uuid",
+            "assigned"
+          ],
+          "description": "Primary-key value generation strategy: 'increment' (auto-increment), 'uuid', or 'assigned' (caller-supplied)."
+        }
+      ]
+    },
+    {
+      "type": "identity",
+      "subType": "secondary",
+      "description": "A secondary index (unique by default via @unique).",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "fields",
+          "isArray": true,
+          "min": 1,
+          "max": 1,
+          "description": "The field name(s) composing this identity. Single-element for a simple PK/index, multiple for a composite."
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "unique",
+          "min": 0,
+          "max": 1,
+          "description": "When true (default), the secondary identity is a UNIQUE index; false makes it a plain (non-unique) index."
+        }
+      ]
+    },
+    {
+      "type": "identity",
+      "subType": "reference",
+      "description": "A foreign-key reference to another entity (@references target; @enforce toggles a physical FK).",
+      "children": [
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "fields",
+          "isArray": true,
+          "min": 1,
+          "max": 1,
+          "description": "The field name(s) composing this identity. Single-element for a simple PK/index, multiple for a composite."
+        },
+        {
+          "type": "attr",
+          "subType": "string",
+          "name": "references",
+          "min": 1,
+          "max": 1,
+          "description": "Target of the reference. Bare entity name (e.g. 'Program') resolves to that entity's primary identity. Dotted forms ('Program.id' or 'Program.fieldA,fieldB') target an explicit field set on the entity."
+        },
+        {
+          "type": "attr",
+          "subType": "boolean",
+          "name": "enforce",
+          "min": 0,
+          "max": 1,
+          "description": "When true (default), the backend physically enforces the reference (SQL FK constraint, document validation rule, graph edge guarantee). Set false to declare a logical reference for navigation/typing/codegen only — the value may dangle at the backend level."
+        }
+      ]
+    }
+  ]
+};