feat(fr-033): C# — re-home ui/prompt attrs into metaobjects-ui/prompt providers (match TS/Java/Python)

Completes the cross-port ui/prompt re-home: C# ui/prompt metadata config now lives in
dedicated data-driven metaobjects-ui + metaobjects-prompt providers (reading the embedded
ui.json/prompt.json extends), NOT in core. Renames TemplateProvider → metaobjects-prompt
(absorbs @xmlText; metaobjects-template kept as a back-compat alias), adds metaobjects-ui.
Removes the re-homed attrs from core (no double-registration). registry-conformance stays
GREEN (manifest provider-agnostic); the 5 metaobjects-ui/prompt ConformanceTests now pass.
All 5 ported engines now share the same provider split.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: dmealing

server/csharp/MetaObjects.Conformance.Tests/ConformanceAdapter.cs

@@ -123,11 +123,17 @@ public static class ConformanceAdapter
             // (ADR-0023). The @dbColumnType subtype×value pairing validation additionally fires
             // in the always-on loader pass (ValidationPasses.ValidateDbColumnType).
             ["metaobjects-db"]            = MetaObjects.Persistence.Db.DbMetaDataProvider.Instance,
-            // The "metaobjects-template" provider registers the @xmlText field marker (XML
-            // text-content extraction) on every field subtype. The template.prompt-under-entity
-            // nesting (FR-004 TS pilot) is NOT ported to C#; a fixture exercising that nesting
-            // stays a known-gap in conformance-expected-failures.json.
-            ["metaobjects-template"]      = MetaObjects.Template.TemplateTypesProvider.Instance,
+            // FR-033 concern providers — the UI / query-surface attrs (@filterable / @sortable
+            // / view.currency @locale / layout.dataGrid) and the prompt / extract attrs
+            // (@xmlText / @example / @instruction / enum overlays / object.value @normalize /
+            // template.* attrs) are re-homed out of core into dedicated data-driven providers
+            // (reading spec/metamodel/ui.json + prompt.json), matching the TS provider split.
+            ["metaobjects-ui"]            = MetaObjects.Presentation.Ui.UiMetaDataProvider.Instance,
+            ["metaobjects-prompt"]        = MetaObjects.Template.PromptMetaDataProvider.Instance,
+            // Back-compat alias: pre-rename fixtures (and other ports' fixtures) still name the
+            // provider "metaobjects-template"; map it to the renamed prompt provider — the same
+            // alias TS / Java / Python keep.
+            ["metaobjects-template"]      = MetaObjects.Template.PromptMetaDataProvider.Instance,
             // Test-only — provider-extension-* fixtures.
             ["example-template-briefing"] = new ExampleTemplateBriefingProvider(),
             ["cycle-a"]                   = new NoopTestProvider("cycle-a", "cycle-b"),

server/csharp/MetaObjects.Conformance.Tests/FixtureDiscovery.cs

@@ -74,8 +74,23 @@ public sealed record Fixture(
 /// </summary>
 public static class FixtureDiscovery
 {
+    // FR-033 — the default provider set for a fixture with no providers.json is the
+    // FULL core bundle (core types + the four concern providers), NOT core-types alone.
+    // The field's filter/sort/teaching/extract attrs + the view/layout/template attrs
+    // were re-homed out of core-types into the db/ui/prompt concern providers (matching
+    // the TS provider split), so a fixture exercising @filterable / @example / @normalize
+    // / a template.* attr / a layout.dataGrid attr needs those providers composed. Mirrors
+    // the TS conformance DEFAULT_PROVIDERS (server/typescript/.../conformance/src/fixture.ts)
+    // and the Python adapter, keeping the cross-port no-providers.json fixtures green.
     private static readonly IReadOnlyList<string> DefaultProviders =
-        new[] { "metaobjects-core-types" };
+        new[]
+        {
+            "metaobjects-core-types",
+            "metaobjects-db",
+            "metaobjects-documentation",
+            "metaobjects-prompt",
+            "metaobjects-ui",
+        };
 
     /// <summary>
     /// Discover every scenario directory under <paramref name="corpusRoot"/>,

server/csharp/MetaObjects.Conformance.Tests/Fr010LoaderAttrsTests.cs

@@ -19,7 +19,7 @@ public class Fr010LoaderAttrsTests
 {
     private static LoadResult LoadJson(string json, string id)
     {
-        var registry = Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        var registry = FullCoreRegistry.Compose();
         var loader = new MetaDataLoader(registry);
         return loader.Load(new IMetaDataSource[]
         {
@@ -28,7 +28,7 @@ private static LoadResult LoadJson(string json, string id)
     }
 
     private static TypeRegistry Registry() =>
-        Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        FullCoreRegistry.Compose();
 
     // ------------------------------------------------------------------------
     // @promptStyle — registered on template.output, closed enum, default guide.

server/csharp/MetaObjects.Conformance.Tests/Fr011LoaderAttrsTests.cs

@@ -17,7 +17,7 @@ public class Fr011LoaderAttrsTests
 {
     private static LoadResult LoadJson(string json, string id)
     {
-        var registry = Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        var registry = FullCoreRegistry.Compose();
         var loader = new MetaDataLoader(registry);
         return loader.Load(new IMetaDataSource[]
         {
@@ -26,7 +26,7 @@ private static LoadResult LoadJson(string json, string id)
     }
 
     private static TypeRegistry Registry() =>
-        Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        FullCoreRegistry.Compose();
 
     // ------------------------------------------------------------------------
     // Registration shape.

server/csharp/MetaObjects.Conformance.Tests/FullCoreRegistry.cs

@@ -0,0 +1,33 @@
+// FR-033 — the full core provider bundle for unit tests.
+//
+// After the ui/prompt re-home, the field-teaching / extract / template / view /
+// layout attrs no longer live in CoreTypesProvider — they are registered by the
+// dedicated metaobjects-ui / metaobjects-prompt concern providers. Unit tests that
+// assert those attrs are registered (or load metadata that uses them) must compose
+// the full bundle, not core-types alone. This mirrors the Python unit-test update
+// (compose the full core_providers list) and the conformance DEFAULT_PROVIDERS set.
+
+using MetaObjects.Core.Documentation;
+
+namespace MetaObjects.Conformance.Tests;
+
+/// <summary>Shared full-core-bundle composition for unit tests (FR-033).</summary>
+internal static class FullCoreRegistry
+{
+    /// <summary>
+    /// The full core provider bundle: core types + the DB / documentation / UI /
+    /// prompt concern providers — the same composition the loader's default registry
+    /// and the conformance default provider set use.
+    /// </summary>
+    internal static readonly IReadOnlyList<IMetaDataTypeProvider> Providers = new[]
+    {
+        CoreTypes.CoreTypesProvider,
+        MetaObjects.Persistence.Db.DbMetaDataProvider.Instance,
+        DocumentationTypes.DocTypesProvider,
+        MetaObjects.Presentation.Ui.UiMetaDataProvider.Instance,
+        MetaObjects.Template.PromptMetaDataProvider.Instance,
+    };
+
+    /// <summary>Compose a fresh registry from the full core bundle.</summary>
+    internal static TypeRegistry Compose() => Provider.ComposeRegistry(Providers);
+}

server/csharp/MetaObjects.Conformance.Tests/RegistryManifestConformanceTests.cs

@@ -26,8 +26,11 @@ public void Emit_matches_the_committed_cross_port_canonical()
             CoreTypes.CoreTypesProvider,
             // DB-domain field attrs (@column / @db.indexed / @dbColumnType) — Extend over core.
             MetaObjects.Persistence.Db.DbMetaDataProvider.Instance,
-            // Template/output-domain field attr (@xmlText) — Extend over core.
-            MetaObjects.Template.TemplateTypesProvider.Instance,
+            // FR-033 concern providers — UI / prompt attrs re-homed out of core
+            // (read spec/metamodel/ui.json + prompt.json). The prompt provider
+            // absorbs the @xmlText marker the former TemplateTypesProvider registered.
+            MetaObjects.Presentation.Ui.UiMetaDataProvider.Instance,
+            MetaObjects.Template.PromptMetaDataProvider.Instance,
             DocumentationTypes.DocTypesProvider,
         });
 
@@ -58,8 +61,11 @@ public void Every_registered_per_type_attr_is_explicitly_classified()
             CoreTypes.CoreTypesProvider,
             // DB-domain field attrs (@column / @db.indexed / @dbColumnType) — Extend over core.
             MetaObjects.Persistence.Db.DbMetaDataProvider.Instance,
-            // Template/output-domain field attr (@xmlText) — Extend over core.
-            MetaObjects.Template.TemplateTypesProvider.Instance,
+            // FR-033 concern providers — UI / prompt attrs re-homed out of core
+            // (read spec/metamodel/ui.json + prompt.json). The prompt provider
+            // absorbs the @xmlText marker the former TemplateTypesProvider registered.
+            MetaObjects.Presentation.Ui.UiMetaDataProvider.Instance,
+            MetaObjects.Template.PromptMetaDataProvider.Instance,
             DocumentationTypes.DocTypesProvider,
         });
 

server/csharp/MetaObjects.Conformance.Tests/TemplateToolcallTests.cs

@@ -18,7 +18,7 @@ public class TemplateToolcallTests
 {
     private static LoadResult LoadJson(string json, string id)
     {
-        var registry = Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        var registry = FullCoreRegistry.Compose();
         var loader = new MetaDataLoader(registry);
         return loader.Load(new IMetaDataSource[]
         {
@@ -33,7 +33,7 @@ private static LoadResult LoadJson(string json, string id)
     [Fact]
     public void Core_provider_registers_template_toolcall_subtype()
     {
-        var registry = Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        var registry = FullCoreRegistry.Compose();
         Assert.True(registry.Has(TYPE_TEMPLATE, TEMPLATE_SUBTYPE_TOOLCALL));
     }
 
@@ -50,7 +50,7 @@ public void Template_toolcall_attr_schema_does_not_inherit_generic_attrs()
         // Per ADR-0011 the toolcall subtype does NOT inherit the prompt/output
         // generic attrs. It declares its own minimal set: toolName + payloadRef
         // + owner + since. @textRef and @format are intentionally absent.
-        var registry = Provider.ComposeRegistry(new[] { CoreTypes.CoreTypesProvider });
+        var registry = FullCoreRegistry.Compose();
         var def = registry.Find(TYPE_TEMPLATE, TEMPLATE_SUBTYPE_TOOLCALL);
         Assert.NotNull(def);
 

server/csharp/MetaObjects/Core/Field/FieldSchema.cs

@@ -4,7 +4,6 @@
 // Colocated per ADR-0003. Mirrors typescript/packages/metadata/src/core/field/field-schema.ts.
 
 using MetaObjects.Core.Attr;
-using MetaObjects.Core.Query;
 
 namespace MetaObjects.Core.Field;
 
@@ -95,24 +94,11 @@ public static class FieldSchema
             Required: false,
             Description: "Number of digits to the right of the decimal point for decimal-typed fields."),
 
-        new AttrSchema(
-            Name: FieldConstants.FIELD_ATTR_FILTERABLE,
-            ValueType: AttrConstants.ATTR_SUBTYPE_BOOLEAN,
-            Required: false,
-            Description: "When true, the field is exposed in generated CRUD filter allowlists (Project D filter layer)."),
-
-        new AttrSchema(
-            Name: FieldConstants.FIELD_ATTR_SORTABLE,
-            ValueType: AttrConstants.ATTR_SUBTYPE_BOOLEAN,
-            Required: false,
-            Description: "When true, the field is exposed in generated CRUD sort allowlists. Inherits from @filterable by default; set false to opt out."),
-
-        new AttrSchema(
-            Name: FieldConstants.FIELD_ATTR_SORTABLE_DEFAULT_ORDER,
-            ValueType: AttrConstants.ATTR_SUBTYPE_STRING,
-            Required: false,
-            AllowedValues: [.. QueryConstants.SORT_ORDER_VALUES],
-            Description: "Default sort direction applied when this field is the default sort field."),
+        // FR-033 — the UI / query-surface markers (@filterable / @sortable /
+        // @sortableDefaultOrder) are NO LONGER declared here. They are re-homed to the
+        // metaobjects-ui concern provider (UiMetaDataProvider, reads ui.json's field.*
+        // extends), matching the TS uiProvider split. Core keeps only the attrs it
+        // legitimately owns.
 
         new AttrSchema(
             Name: FieldConstants.FIELD_ATTR_AUTO_SET,
@@ -128,19 +114,10 @@ public static class FieldSchema
         // string-typed @column still fires because the DB provider is composed into the default
         // registry.)
 
-        // FR-010 field-teaching attrs (any field): free-text shown in the generated
-        // output-format prompt fragment. Never carried in comments.
-        new AttrSchema(
-            Name: FieldConstants.FIELD_ATTR_EXAMPLE,
-            ValueType: AttrConstants.ATTR_SUBTYPE_STRING,
-            Required: false,
-            Description: "FR-010: an example value for this field, shown in the generated output-format prompt fragment."),
-
-        new AttrSchema(
-            Name: FieldConstants.FIELD_ATTR_INSTRUCTION,
-            ValueType: AttrConstants.ATTR_SUBTYPE_STRING,
-            Required: false,
-            Description: "FR-010: a short instruction for this field, shown in the generated output-format prompt fragment."),
+        // FR-033 — the FR-010 field-teaching prompt markers (@example / @instruction)
+        // are NO LONGER declared here. They are re-homed to the metaobjects-prompt
+        // concern provider (PromptMetaDataProvider, reads prompt.json's field.* extends),
+        // alongside @xmlText and the field.enum tolerant-extract overlays.
     ];
 
     /// <summary>The @currency attr — only on field.currency.</summary>
@@ -174,48 +151,10 @@ public static class FieldSchema
             "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.");
 
-    /// <summary>
-    /// The @enumAlias attr — only on field.enum. Map of off-vocabulary token → canonical
-    /// member, feeding the FR-010 tolerant extract alias-fold (runtime aliases win on conflict).
-    /// </summary>
-    public static readonly AttrSchema EnumAliasAttr = new AttrSchema(
-        Name: FieldConstants.FIELD_ATTR_ENUM_ALIAS,
-        ValueType: AttrConstants.ATTR_SUBTYPE_PROPERTIES,
-        Required: false,
-        Description: "Map of alternate/off-vocabulary tokens to canonical enum members; feeds the FR-010 tolerant extract alias-fold.");
-
-    /// <summary>
-    /// The @enumDoc attr — only on field.enum. Map of member → human-readable description,
-    /// shown per-member in the FR-010 'guide'-style output-format prompt fragment.
-    /// </summary>
-    public static readonly AttrSchema EnumDocAttr = new AttrSchema(
-        Name: FieldConstants.FIELD_ATTR_ENUM_DOC,
-        ValueType: AttrConstants.ATTR_SUBTYPE_PROPERTIES,
-        Required: false,
-        Description: "Map of enum member to a human-readable description; shown per-member in the FR-010 'guide'-style prompt fragment.");
-
-    /// <summary>
-    /// FR-011: the @coerceDefault attr — only on field.enum. String member symbol used as the
-    /// extract fallback when an LLM sends a present-but-uncoercible value. Loader-validated to be
-    /// one of the field's @values (ERR_BAD_ATTR_VALUE otherwise).
-    /// </summary>
-    public static readonly AttrSchema CoerceDefaultAttr = new AttrSchema(
-        Name: FieldConstants.FIELD_ATTR_COERCE_DEFAULT,
-        ValueType: AttrConstants.ATTR_SUBTYPE_STRING,
-        Required: false,
-        Description: "Fallback enum member used by tolerant extract when a present value cannot be coerced; must be one of the field's @values.");
-
-    /// <summary>
-    /// FR-011: the @normalize attr — on field.enum (per-field) and object.value (object default).
-    /// Closed enum (none|collapse|strip); controls the ASCII normalization applied during tolerant
-    /// enum extract. Resolved field → owning object.value → global default (strip).
-    /// </summary>
-    public static readonly AttrSchema NormalizeAttr = new AttrSchema(
-        Name: FieldConstants.FIELD_ATTR_NORMALIZE,
-        ValueType: AttrConstants.ATTR_SUBTYPE_STRING,
-        Required: false,
-        Default: FieldConstants.NORMALIZE_DEFAULT,
-        AllowedValues: new object[] { "none", "collapse", "strip" },
-        Description: "ASCII normalization mode for tolerant enum extract (none|collapse|strip, default strip). " +
-                     "On field.enum it is per-field; on object.value it is the default for the object's enum fields.");
+    // FR-033 — the field.enum tolerant-extract overlays (@enumAlias / @enumDoc /
+    // @coerceDefault / @normalize) and object.value's @normalize default are NO LONGER
+    // declared here. They are re-homed to the metaobjects-prompt concern provider
+    // (PromptMetaDataProvider, reads prompt.json's field.enum + object.value extends),
+    // matching the TS promptProvider split. Core keeps @values / @provided (the
+    // structural enum vocabulary it legitimately owns).
 }