metaobjects 0.24.0__tar.gz → 0.24.2__tar.gz

{metaobjects-0.24.0 → metaobjects-0.24.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: metaobjects
-Version: 0.24.0
+Version: 0.24.2
 Summary: Cross-language metadata standard: declare typed entities once, generate idiomatic drift-checked code across languages — Python port.
 Project-URL: Homepage, https://metaobjects.dev
 Project-URL: Repository, https://github.com/metaobjectsdev/metaobjects

{metaobjects-0.24.0 → metaobjects-0.24.2}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "metaobjects"
-version = "0.24.0"
+version = "0.24.2"
 description = "Cross-language metadata standard: declare typed entities once, generate idiomatic drift-checked code across languages — Python port."
 readme = "README.md"
 requires-python = ">=3.11"

{metaobjects-0.24.0 → metaobjects-0.24.2}/src/metaobjects/core_types.py

@@ -69,6 +69,7 @@ from .meta.core.requirement.meta_requirement import MetaRequirement
 from .meta.core.requirement.requirement_constants import (
     REQUIREMENT_ATTR_DISPOSITION,
     REQUIREMENT_ATTR_IMPLEMENTED_BY,
+    REQUIREMENT_ATTR_SUPERSEDED_BY,
     REQUIREMENT_ATTR_LEVEL,
     REQUIREMENT_ATTR_STATEMENT,
     REQUIREMENT_ATTR_STATUS,
@@ -541,7 +542,13 @@ core_provider.add(
         sub_type=IDENTITY_SUBTYPE_SECONDARY,
         factory=MetaIdentity,
         attrs=[
-            AttrSchema(name=IDENTITY_ATTR_FIELDS, value_type=ATTR_SUBTYPE_STRING, required=True, is_array=True),
+            # #342: OPTIONAL, unlike identity.primary/reference. The real rule is
+            # @fields XOR @expr — a unique index may key off a raw expression
+            # instead of columns — and an exclusive-or is not expressible as a
+            # per-attr required flag, so it is enforced by the index-key
+            # validation pass (ERR_INVALID_INDEX). Required=True here fired first
+            # and made an expression index undeclarable.
+            AttrSchema(name=IDENTITY_ATTR_FIELDS, value_type=ATTR_SUBTYPE_STRING, required=False, is_array=True),
         ],
         child_rules=[ChildRule(TYPE_ATTR, "*")],
     )
@@ -576,7 +583,9 @@ for _idx_sub in INDEX_SUBTYPES:
             sub_type=_idx_sub,
             factory=MetaIndex,
             attrs=[
-                AttrSchema(name=INDEX_ATTR_FIELDS, value_type=ATTR_SUBTYPE_STRING, required=True, is_array=True),
+                # #342: OPTIONAL — the key is @fields XOR @expr, enforced by the
+                # index-key validation pass (ERR_INVALID_INDEX), not by this flag.
+                AttrSchema(name=INDEX_ATTR_FIELDS, value_type=ATTR_SUBTYPE_STRING, required=False, is_array=True),
             ],
             child_rules=[ChildRule(TYPE_ATTR, "*")],
         )
@@ -628,6 +637,14 @@ _REQUIREMENT_COMMON_ATTRS = [
     ),
     AttrSchema(name=REQUIREMENT_ATTR_STATEMENT, value_type=ATTR_SUBTYPE_STRING, required=True),
     AttrSchema(name=REQUIREMENT_ATTR_COUNTEREXAMPLE, value_type=ATTR_SUBTYPE_STRING, required=True),
+    # FR-039 -- the requirement that REPLACED a retired one. Declared BEFORE
+    # @implementedBy to match the canonical spec's child order, which the registry
+    # manifest emits verbatim and every port byte-matches.
+    AttrSchema(
+        name=REQUIREMENT_ATTR_SUPERSEDED_BY,
+        value_type=ATTR_SUBTYPE_STRING,
+        required=False,
+    ),
     AttrSchema(
         name=REQUIREMENT_ATTR_IMPLEMENTED_BY,
         value_type=ATTR_SUBTYPE_STRING,

{metaobjects-0.24.0 → metaobjects-0.24.2}/src/metaobjects/errors.py

@@ -94,6 +94,12 @@ class ErrorCode(str, Enum):
     # references / sourceRefField-not-matching / M:N-attr-on-1:N). The symmetric-
     # on-hetero + symmetric+sourceRefField rules emit ERR_BAD_ATTR_VALUE instead.
     ERR_INVALID_INDEX = "ERR_INVALID_INDEX"
+    # FR-039 -- @status: retired declares @implementedBy. Refused rather than exempted:
+    # a retired capability has no implementation BY DEFINITION, so forbidding the
+    # attribute makes the dangling-reference class unreachable instead of tolerated.
+    ERR_REQUIREMENT_RETIRED_HAS_IMPLEMENTORS = "ERR_REQUIREMENT_RETIRED_HAS_IMPLEMENTORS"
+    # FR-039 -- @supersededBy on a requirement whose @status is not `retired`.
+    ERR_REQUIREMENT_SUPERSEDED_BY_NOT_RETIRED = "ERR_REQUIREMENT_SUPERSEDED_BY_NOT_RETIRED"
     ERR_INVALID_RELATIONSHIP = "ERR_INVALID_RELATIONSHIP"
     # identity.reference @references names an FK target object that does not resolve
     # to any object in the loaded tree (a dangling cross-reference between metadata).
@@ -156,6 +162,23 @@ class ErrorCode(str, Enum):
     # SP-H Unit9 — @filterable: true on a field subtype with no filter-operator
     # band (e.g. field.object). Would silently generate an empty-ops filter.
     ERR_FILTERABLE_UNSUPPORTED_SUBTYPE = "ERR_FILTERABLE_UNSUPPORTED_SUBTYPE"
+    # #335 Half B — @sortable: true on an array field or a subtype with no
+    # filter-operator band (e.g. field.object). Would silently emit a sort
+    # entry over a column no dialect can ORDER BY.
+    ERR_SORTABLE_UNSUPPORTED_SUBTYPE = "ERR_SORTABLE_UNSUPPORTED_SUBTYPE"
+    # #335 Half A — a whole-object @agg:collect (no @of; the carrying field.object
+    # rolls related rows up as its declared @objectRef value object) is malformed:
+    # carrier is not a field.object with @objectRef, @via absent, @distinct declared
+    # (refused — a no-op whenever the value object carries the primary key), an
+    # @orderBy key not on the @via TERMINAL entity, or a member's declared type
+    # disagreeing with the matched terminal field's. Distinct from ERR_INVALID_ORIGIN
+    # so a fixture can tell this arm from a loader that still requires @of.
+    ERR_COLLECT_WHOLE_OBJECT = "ERR_COLLECT_WHOLE_OBJECT"
+    # #335 Half A — a whole-object @agg:collect's value-object member has no
+    # matching field (by name) on the @via terminal entity. The lowering
+    # projects exactly the declared members; failing open here is how #270
+    # turned a curated value object into the full entity.
+    ERR_COLLECT_MEMBER_UNRESOLVED = "ERR_COLLECT_MEMBER_UNRESOLVED"
     # ADR-0023 — a registration was attempted against a registry sealed after its
     # agreed metamodel-provider bootstrap. Codegen cannot invent metamodel attrs.
     ERR_REGISTRY_SEALED = "ERR_REGISTRY_SEALED"