@graphitation/supermassive 3.11.12 → 3.13.0

package/lib/utilities/subtractSchemaDefinitions.mjs

@@ -0,0 +1,338 @@
+// src/utilities/subtractSchemaDefinitions.ts
+import {
+  getDirectiveDefinitionArgs,
+  getDirectiveName,
+  getEnumValues,
+  getFieldTypeReference,
+  getFieldArgs,
+  getFields,
+  getInputObjectFields,
+  getInputValueTypeReference,
+  getUnionTypeMembers,
+  isEnumTypeDefinition,
+  isInputObjectTypeDefinition,
+  isInterfaceTypeDefinition,
+  isObjectTypeDefinition,
+  isScalarTypeDefinition,
+  isUnionTypeDefinition,
+  createEnumTypeDefinition,
+  createInputObjectTypeDefinition,
+  createInterfaceTypeDefinition,
+  createObjectTypeDefinition,
+  createUnionTypeDefinition,
+  getObjectTypeInterfaces,
+  getInterfaceTypeInterfaces
+} from "../schema/definition.mjs";
+import { inspect } from "../jsutils/inspect.mjs";
+function subtractSchemaDefinitions(minuend, subtrahend, strict = false) {
+  const result = {
+    types: {},
+    directives: []
+  };
+  if (minuend.types && subtrahend.types) {
+    result.types = subtractTypes(minuend.types, subtrahend.types, strict);
+  } else if (minuend.types) {
+    result.types = { ...minuend.types };
+  }
+  if (minuend.directives && subtrahend.directives) {
+    result.directives = subtractDirectives(
+      minuend.directives,
+      subtrahend.directives,
+      strict
+    );
+  } else if (minuend.directives) {
+    result.directives = [...minuend.directives];
+  }
+  return result;
+}
+function subtractTypes(minuend, subtrahend, strict) {
+  const result = {};
+  for (const [typeName, minuendDef] of Object.entries(minuend)) {
+    const subtrahendDef = subtrahend[typeName];
+    if (!subtrahendDef) {
+      result[typeName] = minuendDef;
+      continue;
+    }
+    if (minuendDef[0] !== subtrahendDef[0]) {
+      throw new Error(
+        `Type ${typeName} is represented differently in different schema fragments:
+` + inspect(minuendDef) + `
+` + inspect(subtrahendDef)
+      );
+    }
+    const subtractedType = subtractType(
+      typeName,
+      minuendDef,
+      subtrahendDef,
+      strict
+    );
+    if (subtractedType) {
+      result[typeName] = subtractedType;
+    }
+  }
+  for (const typeName of Object.keys(subtrahend)) {
+    if (!(typeName in minuend)) {
+      if (strict) {
+        throw new Error(`Type ${typeName} does not exist in minuend`);
+      }
+    }
+  }
+  return result;
+}
+function subtractType(typeName, minuendDef, subtrahendDef, strict) {
+  if (isObjectTypeDefinition(minuendDef) && isObjectTypeDefinition(subtrahendDef)) {
+    const subtractedFields = subtractFields(
+      typeName,
+      getFields(minuendDef),
+      getFields(subtrahendDef),
+      strict
+    );
+    if (Object.keys(subtractedFields).length === 0) {
+      return null;
+    }
+    const interfaces = getObjectTypeInterfaces(minuendDef);
+    return createObjectTypeDefinition(
+      subtractedFields,
+      interfaces.length > 0 ? interfaces : void 0
+    );
+  }
+  if (isInterfaceTypeDefinition(minuendDef) && isInterfaceTypeDefinition(subtrahendDef)) {
+    const subtractedFields = subtractFields(
+      typeName,
+      getFields(minuendDef),
+      getFields(subtrahendDef),
+      strict
+    );
+    if (Object.keys(subtractedFields).length === 0) {
+      return null;
+    }
+    const interfaces = getInterfaceTypeInterfaces(minuendDef);
+    return createInterfaceTypeDefinition(
+      subtractedFields,
+      interfaces.length > 0 ? interfaces : void 0
+    );
+  }
+  if (isInputObjectTypeDefinition(minuendDef) && isInputObjectTypeDefinition(subtrahendDef)) {
+    const subtractedFields = subtractInputFields(
+      typeName,
+      getInputObjectFields(minuendDef),
+      getInputObjectFields(subtrahendDef),
+      strict
+    );
+    if (Object.keys(subtractedFields).length === 0) {
+      return null;
+    }
+    return createInputObjectTypeDefinition(subtractedFields);
+  }
+  if (isUnionTypeDefinition(minuendDef) && isUnionTypeDefinition(subtrahendDef)) {
+    const subtractedMembers = subtractUnionMembers(
+      typeName,
+      getUnionTypeMembers(minuendDef),
+      getUnionTypeMembers(subtrahendDef),
+      strict
+    );
+    if (subtractedMembers.length === 0) {
+      return null;
+    }
+    return createUnionTypeDefinition(subtractedMembers);
+  }
+  if (isEnumTypeDefinition(minuendDef) && isEnumTypeDefinition(subtrahendDef)) {
+    const subtractedValues = subtractEnumValues(
+      typeName,
+      getEnumValues(minuendDef),
+      getEnumValues(subtrahendDef),
+      strict
+    );
+    if (subtractedValues.length === 0) {
+      return null;
+    }
+    return createEnumTypeDefinition(subtractedValues);
+  }
+  if (isScalarTypeDefinition(minuendDef) && isScalarTypeDefinition(subtrahendDef)) {
+    return null;
+  }
+  return null;
+}
+function subtractFields(typeName, minuendFields, subtrahendFields, strict) {
+  const result = {};
+  for (const [fieldName, minuendField] of Object.entries(minuendFields)) {
+    const subtrahendField = subtrahendFields[fieldName];
+    if (!subtrahendField) {
+      result[fieldName] = minuendField;
+      continue;
+    }
+    const minuendType = getFieldTypeReference(minuendField);
+    const subtrahendType = getFieldTypeReference(subtrahendField);
+    if (minuendType !== subtrahendType) {
+      throw new Error(
+        `Field ${typeName}.${fieldName} has different type: ${inspect(
+          minuendType
+        )} vs ${inspect(subtrahendType)}`
+      );
+    }
+    const minuendArgs = getFieldArgs(minuendField);
+    const subtrahendArgs = getFieldArgs(subtrahendField);
+    if (!minuendArgs && !subtrahendArgs) {
+    } else if (!minuendArgs || !subtrahendArgs) {
+      throw new Error(
+        `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} has different argument structures.`
+      );
+    } else {
+      const minuendArgKeys = Object.keys(minuendArgs).sort();
+      const subtrahendArgKeys = Object.keys(subtrahendArgs).sort();
+      if (minuendArgKeys.length !== subtrahendArgKeys.length || !minuendArgKeys.every((key, index) => key === subtrahendArgKeys[index])) {
+        throw new Error(
+          `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} has different argument keys.`
+        );
+      }
+      for (const argName of minuendArgKeys) {
+        const minuendArgType = getInputValueTypeReference(minuendArgs[argName]);
+        const subtrahendArgType = getInputValueTypeReference(
+          subtrahendArgs[argName]
+        );
+        if (minuendArgType !== subtrahendArgType) {
+          throw new Error(
+            `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} argument ${argName} has different types.`
+          );
+        }
+      }
+    }
+  }
+  for (const fieldName of Object.keys(subtrahendFields)) {
+    if (!(fieldName in minuendFields)) {
+      if (strict) {
+        throw new Error(
+          `Field ${typeName}.${fieldName} does not exist in minuend`
+        );
+      }
+    }
+  }
+  return result;
+}
+function subtractInputFields(typeName, minuendFields, subtrahendFields, strict) {
+  const result = {};
+  for (const [fieldName, minuendField] of Object.entries(minuendFields)) {
+    const subtrahendField = subtrahendFields[fieldName];
+    if (!subtrahendField) {
+      result[fieldName] = minuendField;
+      continue;
+    }
+    const minuendType = getInputValueTypeReference(minuendField);
+    const subtrahendType = getInputValueTypeReference(subtrahendField);
+    if (minuendType !== subtrahendType) {
+      throw new Error(
+        `Input field ${typeName}.${fieldName} has different type: ${inspect(
+          minuendType
+        )} vs ${inspect(subtrahendType)}`
+      );
+    }
+  }
+  for (const fieldName of Object.keys(subtrahendFields)) {
+    if (!(fieldName in minuendFields)) {
+      if (strict) {
+        throw new Error(
+          `Input field ${typeName}.${fieldName} does not exist in minuend`
+        );
+      }
+    }
+  }
+  return result;
+}
+function subtractUnionMembers(typeName, minuendMembers, subtrahendMembers, strict) {
+  const minuendSet = new Set(minuendMembers);
+  const subtrahendSet = new Set(subtrahendMembers);
+  if (minuendMembers.length === subtrahendMembers.length && minuendMembers.every((member) => subtrahendSet.has(member))) {
+    return [];
+  }
+  for (const member of subtrahendMembers) {
+    if (!minuendSet.has(member)) {
+      if (strict) {
+        throw new Error(
+          `Union ${typeName}: member ${member} does not exist in minuend`
+        );
+      }
+      return minuendMembers;
+    }
+  }
+  throw new Error(
+    `Union types must match exactly for subtraction. Union ${typeName} has different member sets.`
+  );
+}
+function subtractEnumValues(typeName, minuendValues, subtrahendValues, strict) {
+  const minuendSet = new Set(minuendValues);
+  const subtrahendSet = new Set(subtrahendValues);
+  if (minuendValues.length === subtrahendValues.length && minuendValues.every((value) => subtrahendSet.has(value))) {
+    return [];
+  }
+  for (const value of subtrahendValues) {
+    if (!minuendSet.has(value)) {
+      if (strict) {
+        throw new Error(
+          `Enum ${typeName}: value ${value} does not exist in minuend`
+        );
+      }
+      return minuendValues;
+    }
+  }
+  throw new Error(
+    `Enum types must match exactly for subtraction. Enum ${typeName} has different value sets.`
+  );
+}
+function subtractDirectives(minuendDirectives, subtrahendDirectives, strict) {
+  const result = [];
+  for (const minuendDirective of minuendDirectives) {
+    const minuendName = getDirectiveName(minuendDirective);
+    const subtrahendDirective = subtrahendDirectives.find(
+      (d) => getDirectiveName(d) === minuendName
+    );
+    if (!subtrahendDirective) {
+      result.push(minuendDirective);
+      continue;
+    }
+    const minuendArgs = getDirectiveDefinitionArgs(minuendDirective);
+    const subtrahendArgs = getDirectiveDefinitionArgs(subtrahendDirective);
+    if (!minuendArgs && !subtrahendArgs) {
+      continue;
+    }
+    if (!minuendArgs || !subtrahendArgs) {
+      throw new Error(
+        `Directive arguments must match exactly for subtraction. Directive ${minuendName} has different argument structures.`
+      );
+    }
+    const minuendArgKeys = Object.keys(minuendArgs).sort();
+    const subtrahendArgKeys = Object.keys(subtrahendArgs).sort();
+    if (minuendArgKeys.length !== subtrahendArgKeys.length || !minuendArgKeys.every((key, index) => key === subtrahendArgKeys[index])) {
+      throw new Error(
+        `Directive arguments must match exactly for subtraction. Directive ${minuendName} has different argument keys.`
+      );
+    }
+    for (const argName of minuendArgKeys) {
+      const minuendArgType = getInputValueTypeReference(minuendArgs[argName]);
+      const subtrahendArgType = getInputValueTypeReference(
+        subtrahendArgs[argName]
+      );
+      if (minuendArgType !== subtrahendArgType) {
+        throw new Error(
+          `Directive arguments must match exactly for subtraction. Directive ${minuendName} argument ${argName} has different types.`
+        );
+      }
+    }
+  }
+  for (const subtrahendDirective of subtrahendDirectives) {
+    const subtrahendName = getDirectiveName(subtrahendDirective);
+    const exists = minuendDirectives.some(
+      (d) => getDirectiveName(d) === subtrahendName
+    );
+    if (!exists) {
+      if (strict) {
+        throw new Error(
+          `Directive ${subtrahendName} does not exist in minuend`
+        );
+      }
+    }
+  }
+  return result;
+}
+export {
+  subtractSchemaDefinitions
+};

package/lib/utilities/subtractSchemaDefinitions.mjs.map

@@ -0,0 +1,7 @@
+{
+  "version": 3,
+  "sources": ["../../src/utilities/subtractSchemaDefinitions.ts"],
+  "sourcesContent": ["// Note: this utility is vibe-coded. Use at your own risk! :)\nimport {\n  SchemaDefinitions,\n  DirectiveDefinitionTuple,\n  FieldDefinitionRecord,\n  InputValueDefinitionRecord,\n  TypeDefinitionsRecord,\n  TypeDefinitionTuple,\n  getDirectiveDefinitionArgs,\n  getDirectiveName,\n  getEnumValues,\n  getFieldTypeReference,\n  getFieldArgs,\n  getFields,\n  getInputObjectFields,\n  getInputValueTypeReference,\n  getUnionTypeMembers,\n  isEnumTypeDefinition,\n  isInputObjectTypeDefinition,\n  isInterfaceTypeDefinition,\n  isObjectTypeDefinition,\n  isScalarTypeDefinition,\n  isUnionTypeDefinition,\n  createEnumTypeDefinition,\n  createInputObjectTypeDefinition,\n  createInterfaceTypeDefinition,\n  createObjectTypeDefinition,\n  createUnionTypeDefinition,\n  getObjectTypeInterfaces,\n  getInterfaceTypeInterfaces,\n} from \"../schema/definition\";\nimport { inspect } from \"../jsutils/inspect\";\n\n/**\n * Subtracts schema definitions from minuend that exist in subtrahend.\n * Returns a new SchemaDefinitions object without mutating inputs.\n *\n * @param minuend - The schema definitions to subtract from\n * @param subtrahend - The schema definitions to subtract\n * @param strict - If true, throws errors on items in subtrahend that are not in minuend; if false, ignores them\n * @returns A new SchemaDefinitions with elements from minuend not in subtrahend\n */\nexport function subtractSchemaDefinitions(\n  minuend: SchemaDefinitions,\n  subtrahend: SchemaDefinitions,\n  strict = false,\n): SchemaDefinitions {\n  const result: SchemaDefinitions = {\n    types: {},\n    directives: [],\n  };\n\n  // Subtract types\n  if (minuend.types && subtrahend.types) {\n    result.types = subtractTypes(minuend.types, subtrahend.types, strict);\n  } else if (minuend.types) {\n    result.types = { ...minuend.types };\n  }\n\n  // Subtract directives\n  if (minuend.directives && subtrahend.directives) {\n    result.directives = subtractDirectives(\n      minuend.directives,\n      subtrahend.directives,\n      strict,\n    );\n  } else if (minuend.directives) {\n    result.directives = [...minuend.directives];\n  }\n\n  return result;\n}\n\n/**\n * Subtracts types from minuend that exist in subtrahend.\n */\nfunction subtractTypes(\n  minuend: TypeDefinitionsRecord,\n  subtrahend: TypeDefinitionsRecord,\n  strict: boolean,\n): TypeDefinitionsRecord {\n  const result: TypeDefinitionsRecord = {};\n\n  for (const [typeName, minuendDef] of Object.entries(minuend)) {\n    const subtrahendDef = subtrahend[typeName];\n\n    if (!subtrahendDef) {\n      // Type doesn't exist in subtrahend, keep it\n      result[typeName] = minuendDef;\n      continue;\n    }\n\n    // Validate type kinds match\n    if (minuendDef[0] !== subtrahendDef[0]) {\n      throw new Error(\n        `Type ${typeName} is represented differently in different schema fragments:\\n` +\n          inspect(minuendDef) +\n          `\\n` +\n          inspect(subtrahendDef),\n      );\n    }\n\n    // Handle different type kinds\n    const subtractedType = subtractType(\n      typeName,\n      minuendDef,\n      subtrahendDef,\n      strict,\n    );\n    if (subtractedType) {\n      result[typeName] = subtractedType;\n    }\n  }\n\n  // Check for types in subtrahend that don't exist in minuend\n  for (const typeName of Object.keys(subtrahend)) {\n    if (!(typeName in minuend)) {\n      if (strict) {\n        throw new Error(`Type ${typeName} does not exist in minuend`);\n      }\n      // In non-strict mode, ignore missing types\n    }\n  }\n\n  return result;\n}\n\n/**\n * Subtracts a single type definition.\n */\nfunction subtractType(\n  typeName: string,\n  minuendDef: TypeDefinitionTuple,\n  subtrahendDef: TypeDefinitionTuple,\n  strict: boolean,\n): TypeDefinitionTuple | null {\n  if (\n    isObjectTypeDefinition(minuendDef) &&\n    isObjectTypeDefinition(subtrahendDef)\n  ) {\n    const subtractedFields = subtractFields(\n      typeName,\n      getFields(minuendDef),\n      getFields(subtrahendDef),\n      strict,\n    );\n    if (Object.keys(subtractedFields).length === 0) {\n      return null; // All fields removed\n    }\n    const interfaces = getObjectTypeInterfaces(minuendDef);\n    return createObjectTypeDefinition(\n      subtractedFields,\n      interfaces.length > 0 ? interfaces : undefined,\n    );\n  }\n\n  if (\n    isInterfaceTypeDefinition(minuendDef) &&\n    isInterfaceTypeDefinition(subtrahendDef)\n  ) {\n    const subtractedFields = subtractFields(\n      typeName,\n      getFields(minuendDef),\n      getFields(subtrahendDef),\n      strict,\n    );\n    if (Object.keys(subtractedFields).length === 0) {\n      return null; // All fields removed\n    }\n    const interfaces = getInterfaceTypeInterfaces(minuendDef);\n    return createInterfaceTypeDefinition(\n      subtractedFields,\n      interfaces.length > 0 ? interfaces : undefined,\n    );\n  }\n\n  if (\n    isInputObjectTypeDefinition(minuendDef) &&\n    isInputObjectTypeDefinition(subtrahendDef)\n  ) {\n    const subtractedFields = subtractInputFields(\n      typeName,\n      getInputObjectFields(minuendDef),\n      getInputObjectFields(subtrahendDef),\n      strict,\n    );\n    if (Object.keys(subtractedFields).length === 0) {\n      return null; // All fields removed\n    }\n    return createInputObjectTypeDefinition(subtractedFields);\n  }\n\n  if (\n    isUnionTypeDefinition(minuendDef) &&\n    isUnionTypeDefinition(subtrahendDef)\n  ) {\n    const subtractedMembers = subtractUnionMembers(\n      typeName,\n      getUnionTypeMembers(minuendDef),\n      getUnionTypeMembers(subtrahendDef),\n      strict,\n    );\n    if (subtractedMembers.length === 0) {\n      return null; // All members removed\n    }\n    return createUnionTypeDefinition(subtractedMembers);\n  }\n\n  if (isEnumTypeDefinition(minuendDef) && isEnumTypeDefinition(subtrahendDef)) {\n    const subtractedValues = subtractEnumValues(\n      typeName,\n      getEnumValues(minuendDef),\n      getEnumValues(subtrahendDef),\n      strict,\n    );\n    if (subtractedValues.length === 0) {\n      return null; // All values removed\n    }\n    return createEnumTypeDefinition(subtractedValues);\n  }\n\n  if (\n    isScalarTypeDefinition(minuendDef) &&\n    isScalarTypeDefinition(subtrahendDef)\n  ) {\n    // Scalars are atomic - if subtrahend has it, remove entire scalar\n    return null;\n  }\n\n  return null;\n}\n\n/**\n * Subtracts fields from object/interface types.\n */\nfunction subtractFields(\n  typeName: string,\n  minuendFields: FieldDefinitionRecord,\n  subtrahendFields: FieldDefinitionRecord,\n  strict: boolean,\n): FieldDefinitionRecord {\n  const result: FieldDefinitionRecord = {};\n\n  for (const [fieldName, minuendField] of Object.entries(minuendFields)) {\n    const subtrahendField = subtrahendFields[fieldName];\n\n    if (!subtrahendField) {\n      // Field doesn't exist in subtrahend, keep it\n      result[fieldName] = minuendField;\n      continue;\n    }\n\n    // Validate field types match\n    const minuendType = getFieldTypeReference(minuendField);\n    const subtrahendType = getFieldTypeReference(subtrahendField);\n    if (minuendType !== subtrahendType) {\n      throw new Error(\n        `Field ${typeName}.${fieldName} has different type: ${inspect(\n          minuendType,\n        )} vs ${inspect(subtrahendType)}`,\n      );\n    }\n\n    // Validate field arguments match exactly\n    const minuendArgs = getFieldArgs(minuendField);\n    const subtrahendArgs = getFieldArgs(subtrahendField);\n\n    // Both must have same argument structure\n    if (!minuendArgs && !subtrahendArgs) {\n      // Both have no arguments, field can be subtracted\n    } else if (!minuendArgs || !subtrahendArgs) {\n      // One has args, other doesn't - not exact match\n      throw new Error(\n        `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} has different argument structures.`,\n      );\n    } else {\n      // Both have arguments, compare them\n      const minuendArgKeys = Object.keys(minuendArgs).sort();\n      const subtrahendArgKeys = Object.keys(subtrahendArgs).sort();\n\n      if (\n        minuendArgKeys.length !== subtrahendArgKeys.length ||\n        !minuendArgKeys.every((key, index) => key === subtrahendArgKeys[index])\n      ) {\n        throw new Error(\n          `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} has different argument keys.`,\n        );\n      }\n\n      // Check each argument type matches\n      for (const argName of minuendArgKeys) {\n        const minuendArgType = getInputValueTypeReference(minuendArgs[argName]);\n        const subtrahendArgType = getInputValueTypeReference(\n          subtrahendArgs[argName],\n        );\n        if (minuendArgType !== subtrahendArgType) {\n          throw new Error(\n            `Field arguments must match exactly for subtraction. Field ${typeName}.${fieldName} argument ${argName} has different types.`,\n          );\n        }\n      }\n    }\n\n    // Field exists in subtrahend and matches exactly, remove it\n  }\n\n  // Check for fields in subtrahend that don't exist in minuend\n  for (const fieldName of Object.keys(subtrahendFields)) {\n    if (!(fieldName in minuendFields)) {\n      if (strict) {\n        throw new Error(\n          `Field ${typeName}.${fieldName} does not exist in minuend`,\n        );\n      }\n      // In non-strict mode, ignore missing fields\n    }\n  }\n\n  return result;\n}\n\n/**\n * Subtracts input fields from input object types.\n */\nfunction subtractInputFields(\n  typeName: string,\n  minuendFields: InputValueDefinitionRecord,\n  subtrahendFields: InputValueDefinitionRecord,\n  strict: boolean,\n): InputValueDefinitionRecord {\n  const result: InputValueDefinitionRecord = {};\n\n  for (const [fieldName, minuendField] of Object.entries(minuendFields)) {\n    const subtrahendField = subtrahendFields[fieldName];\n\n    if (!subtrahendField) {\n      // Field doesn't exist in subtrahend, keep it\n      result[fieldName] = minuendField;\n      continue;\n    }\n\n    // Validate field types match\n    const minuendType = getInputValueTypeReference(minuendField);\n    const subtrahendType = getInputValueTypeReference(subtrahendField);\n    if (minuendType !== subtrahendType) {\n      throw new Error(\n        `Input field ${typeName}.${fieldName} has different type: ${inspect(\n          minuendType,\n        )} vs ${inspect(subtrahendType)}`,\n      );\n    }\n\n    // Field exists in subtrahend, remove it\n  }\n\n  // Check for fields in subtrahend that don't exist in minuend\n  for (const fieldName of Object.keys(subtrahendFields)) {\n    if (!(fieldName in minuendFields)) {\n      if (strict) {\n        throw new Error(\n          `Input field ${typeName}.${fieldName} does not exist in minuend`,\n        );\n      }\n      // In non-strict mode, ignore missing fields\n    }\n  }\n\n  return result;\n}\n\n/**\n * Subtracts union members.\n */\nfunction subtractUnionMembers(\n  typeName: string,\n  minuendMembers: string[],\n  subtrahendMembers: string[],\n  strict: boolean,\n): string[] {\n  // Union types must match exactly for subtraction\n  const minuendSet = new Set(minuendMembers);\n  const subtrahendSet = new Set(subtrahendMembers);\n\n  // Check if they have the same members\n  if (\n    minuendMembers.length === subtrahendMembers.length &&\n    minuendMembers.every((member) => subtrahendSet.has(member))\n  ) {\n    // Exact match - remove the entire union\n    return [];\n  }\n\n  // Check for members in subtrahend that don't exist in minuend\n  for (const member of subtrahendMembers) {\n    if (!minuendSet.has(member)) {\n      if (strict) {\n        throw new Error(\n          `Union ${typeName}: member ${member} does not exist in minuend`,\n        );\n      }\n      // In non-strict mode, ignore missing members and keep the original union\n      return minuendMembers;\n    }\n  }\n\n  // If we get here, all subtrahend members exist in minuend but they don't match exactly\n  throw new Error(\n    `Union types must match exactly for subtraction. Union ${typeName} has different member sets.`,\n  );\n}\n\n/**\n * Subtracts enum values.\n */\nfunction subtractEnumValues(\n  typeName: string,\n  minuendValues: string[],\n  subtrahendValues: string[],\n  strict: boolean,\n): string[] {\n  // Enum types must match exactly for subtraction\n  const minuendSet = new Set(minuendValues);\n  const subtrahendSet = new Set(subtrahendValues);\n\n  // Check if they have the same values\n  if (\n    minuendValues.length === subtrahendValues.length &&\n    minuendValues.every((value) => subtrahendSet.has(value))\n  ) {\n    // Exact match - remove the entire enum\n    return [];\n  }\n\n  // Check for values in subtrahend that don't exist in minuend\n  for (const value of subtrahendValues) {\n    if (!minuendSet.has(value)) {\n      if (strict) {\n        throw new Error(\n          `Enum ${typeName}: value ${value} does not exist in minuend`,\n        );\n      }\n      // In non-strict mode, ignore missing values and keep the original enum\n      return minuendValues;\n    }\n  }\n\n  // If we get here, all subtrahend values exist in minuend but they don't match exactly\n  throw new Error(\n    `Enum types must match exactly for subtraction. Enum ${typeName} has different value sets.`,\n  );\n}\n\n/**\n * Subtracts directives.\n */\nfunction subtractDirectives(\n  minuendDirectives: DirectiveDefinitionTuple[],\n  subtrahendDirectives: DirectiveDefinitionTuple[],\n  strict: boolean,\n): DirectiveDefinitionTuple[] {\n  const result: DirectiveDefinitionTuple[] = [];\n\n  for (const minuendDirective of minuendDirectives) {\n    const minuendName = getDirectiveName(minuendDirective);\n    const subtrahendDirective = subtrahendDirectives.find(\n      (d) => getDirectiveName(d) === minuendName,\n    );\n\n    if (!subtrahendDirective) {\n      // Directive doesn't exist in subtrahend, keep it\n      result.push(minuendDirective);\n      continue;\n    }\n\n    // Directive exists, check arguments\n    const minuendArgs = getDirectiveDefinitionArgs(minuendDirective);\n    const subtrahendArgs = getDirectiveDefinitionArgs(subtrahendDirective);\n\n    if (!minuendArgs && !subtrahendArgs) {\n      // Both have no arguments, remove entire directive\n      continue;\n    }\n\n    if (!minuendArgs || !subtrahendArgs) {\n      // One has args, other doesn't - arguments don't match exactly\n      throw new Error(\n        `Directive arguments must match exactly for subtraction. Directive ${minuendName} has different argument structures.`,\n      );\n    }\n\n    // Both have arguments, check if they match exactly\n    const minuendArgKeys = Object.keys(minuendArgs).sort();\n    const subtrahendArgKeys = Object.keys(subtrahendArgs).sort();\n\n    if (\n      minuendArgKeys.length !== subtrahendArgKeys.length ||\n      !minuendArgKeys.every((key, index) => key === subtrahendArgKeys[index])\n    ) {\n      throw new Error(\n        `Directive arguments must match exactly for subtraction. Directive ${minuendName} has different argument keys.`,\n      );\n    }\n\n    // Check each argument type matches\n    for (const argName of minuendArgKeys) {\n      const minuendArgType = getInputValueTypeReference(minuendArgs[argName]);\n      const subtrahendArgType = getInputValueTypeReference(\n        subtrahendArgs[argName],\n      );\n      if (minuendArgType !== subtrahendArgType) {\n        throw new Error(\n          `Directive arguments must match exactly for subtraction. Directive ${minuendName} argument ${argName} has different types.`,\n        );\n      }\n    }\n\n    // Arguments match exactly, remove entire directive\n  }\n\n  // Check for directives in subtrahend that don't exist in minuend\n  for (const subtrahendDirective of subtrahendDirectives) {\n    const subtrahendName = getDirectiveName(subtrahendDirective);\n    const exists = minuendDirectives.some(\n      (d) => getDirectiveName(d) === subtrahendName,\n    );\n    if (!exists) {\n      if (strict) {\n        throw new Error(\n          `Directive ${subtrahendName} does not exist in minuend`,\n        );\n      }\n      // In non-strict mode, ignore missing directives\n    }\n  }\n\n  return result;\n}\n"],
+  "mappings": ";AACA;AAAA,EAOE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AACP,SAAS,eAAe;AAWjB,SAAS,0BACd,SACA,YACA,SAAS,OACU;AACnB,QAAM,SAA4B;AAAA,IAChC,OAAO,CAAC;AAAA,IACR,YAAY,CAAC;AAAA,EACf;AAGA,MAAI,QAAQ,SAAS,WAAW,OAAO;AACrC,WAAO,QAAQ,cAAc,QAAQ,OAAO,WAAW,OAAO,MAAM;AAAA,EACtE,WAAW,QAAQ,OAAO;AACxB,WAAO,QAAQ,EAAE,GAAG,QAAQ,MAAM;AAAA,EACpC;AAGA,MAAI,QAAQ,cAAc,WAAW,YAAY;AAC/C,WAAO,aAAa;AAAA,MAClB,QAAQ;AAAA,MACR,WAAW;AAAA,MACX;AAAA,IACF;AAAA,EACF,WAAW,QAAQ,YAAY;AAC7B,WAAO,aAAa,CAAC,GAAG,QAAQ,UAAU;AAAA,EAC5C;AAEA,SAAO;AACT;AAKA,SAAS,cACP,SACA,YACA,QACuB;AACvB,QAAM,SAAgC,CAAC;AAEvC,aAAW,CAAC,UAAU,UAAU,KAAK,OAAO,QAAQ,OAAO,GAAG;AAC5D,UAAM,gBAAgB,WAAW,QAAQ;AAEzC,QAAI,CAAC,eAAe;AAElB,aAAO,QAAQ,IAAI;AACnB;AAAA,IACF;AAGA,QAAI,WAAW,CAAC,MAAM,cAAc,CAAC,GAAG;AACtC,YAAM,IAAI;AAAA,QACR,QAAQ;AAAA,IACN,QAAQ,UAAU,IAClB;AAAA,IACA,QAAQ,aAAa;AAAA,MACzB;AAAA,IACF;AAGA,UAAM,iBAAiB;AAAA,MACrB;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AACA,QAAI,gBAAgB;AAClB,aAAO,QAAQ,IAAI;AAAA,IACrB;AAAA,EACF;AAGA,aAAW,YAAY,OAAO,KAAK,UAAU,GAAG;AAC9C,QAAI,EAAE,YAAY,UAAU;AAC1B,UAAI,QAAQ;AACV,cAAM,IAAI,MAAM,QAAQ,oCAAoC;AAAA,MAC9D;AAAA,IAEF;AAAA,EACF;AAEA,SAAO;AACT;AAKA,SAAS,aACP,UACA,YACA,eACA,QAC4B;AAC5B,MACE,uBAAuB,UAAU,KACjC,uBAAuB,aAAa,GACpC;AACA,UAAM,mBAAmB;AAAA,MACvB;AAAA,MACA,UAAU,UAAU;AAAA,MACpB,UAAU,aAAa;AAAA,MACvB;AAAA,IACF;AACA,QAAI,OAAO,KAAK,gBAAgB,EAAE,WAAW,GAAG;AAC9C,aAAO;AAAA,IACT;AACA,UAAM,aAAa,wBAAwB,UAAU;AACrD,WAAO;AAAA,MACL;AAAA,MACA,WAAW,SAAS,IAAI,aAAa;AAAA,IACvC;AAAA,EACF;AAEA,MACE,0BAA0B,UAAU,KACpC,0BAA0B,aAAa,GACvC;AACA,UAAM,mBAAmB;AAAA,MACvB;AAAA,MACA,UAAU,UAAU;AAAA,MACpB,UAAU,aAAa;AAAA,MACvB;AAAA,IACF;AACA,QAAI,OAAO,KAAK,gBAAgB,EAAE,WAAW,GAAG;AAC9C,aAAO;AAAA,IACT;AACA,UAAM,aAAa,2BAA2B,UAAU;AACxD,WAAO;AAAA,MACL;AAAA,MACA,WAAW,SAAS,IAAI,aAAa;AAAA,IACvC;AAAA,EACF;AAEA,MACE,4BAA4B,UAAU,KACtC,4BAA4B,aAAa,GACzC;AACA,UAAM,mBAAmB;AAAA,MACvB;AAAA,MACA,qBAAqB,UAAU;AAAA,MAC/B,qBAAqB,aAAa;AAAA,MAClC;AAAA,IACF;AACA,QAAI,OAAO,KAAK,gBAAgB,EAAE,WAAW,GAAG;AAC9C,aAAO;AAAA,IACT;AACA,WAAO,gCAAgC,gBAAgB;AAAA,EACzD;AAEA,MACE,sBAAsB,UAAU,KAChC,sBAAsB,aAAa,GACnC;AACA,UAAM,oBAAoB;AAAA,MACxB;AAAA,MACA,oBAAoB,UAAU;AAAA,MAC9B,oBAAoB,aAAa;AAAA,MACjC;AAAA,IACF;AACA,QAAI,kBAAkB,WAAW,GAAG;AAClC,aAAO;AAAA,IACT;AACA,WAAO,0BAA0B,iBAAiB;AAAA,EACpD;AAEA,MAAI,qBAAqB,UAAU,KAAK,qBAAqB,aAAa,GAAG;AAC3E,UAAM,mBAAmB;AAAA,MACvB;AAAA,MACA,cAAc,UAAU;AAAA,MACxB,cAAc,aAAa;AAAA,MAC3B;AAAA,IACF;AACA,QAAI,iBAAiB,WAAW,GAAG;AACjC,aAAO;AAAA,IACT;AACA,WAAO,yBAAyB,gBAAgB;AAAA,EAClD;AAEA,MACE,uBAAuB,UAAU,KACjC,uBAAuB,aAAa,GACpC;AAEA,WAAO;AAAA,EACT;AAEA,SAAO;AACT;AAKA,SAAS,eACP,UACA,eACA,kBACA,QACuB;AACvB,QAAM,SAAgC,CAAC;AAEvC,aAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,aAAa,GAAG;AACrE,UAAM,kBAAkB,iBAAiB,SAAS;AAElD,QAAI,CAAC,iBAAiB;AAEpB,aAAO,SAAS,IAAI;AACpB;AAAA,IACF;AAGA,UAAM,cAAc,sBAAsB,YAAY;AACtD,UAAM,iBAAiB,sBAAsB,eAAe;AAC5D,QAAI,gBAAgB,gBAAgB;AAClC,YAAM,IAAI;AAAA,QACR,SAAS,YAAY,iCAAiC;AAAA,UACpD;AAAA,QACF,QAAQ,QAAQ,cAAc;AAAA,MAChC;AAAA,IACF;AAGA,UAAM,cAAc,aAAa,YAAY;AAC7C,UAAM,iBAAiB,aAAa,eAAe;AAGnD,QAAI,CAAC,eAAe,CAAC,gBAAgB;AAAA,IAErC,WAAW,CAAC,eAAe,CAAC,gBAAgB;AAE1C,YAAM,IAAI;AAAA,QACR,6DAA6D,YAAY;AAAA,MAC3E;AAAA,IACF,OAAO;AAEL,YAAM,iBAAiB,OAAO,KAAK,WAAW,EAAE,KAAK;AACrD,YAAM,oBAAoB,OAAO,KAAK,cAAc,EAAE,KAAK;AAE3D,UACE,eAAe,WAAW,kBAAkB,UAC5C,CAAC,eAAe,MAAM,CAAC,KAAK,UAAU,QAAQ,kBAAkB,KAAK,CAAC,GACtE;AACA,cAAM,IAAI;AAAA,UACR,6DAA6D,YAAY;AAAA,QAC3E;AAAA,MACF;AAGA,iBAAW,WAAW,gBAAgB;AACpC,cAAM,iBAAiB,2BAA2B,YAAY,OAAO,CAAC;AACtE,cAAM,oBAAoB;AAAA,UACxB,eAAe,OAAO;AAAA,QACxB;AACA,YAAI,mBAAmB,mBAAmB;AACxC,gBAAM,IAAI;AAAA,YACR,6DAA6D,YAAY,sBAAsB;AAAA,UACjG;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EAGF;AAGA,aAAW,aAAa,OAAO,KAAK,gBAAgB,GAAG;AACrD,QAAI,EAAE,aAAa,gBAAgB;AACjC,UAAI,QAAQ;AACV,cAAM,IAAI;AAAA,UACR,SAAS,YAAY;AAAA,QACvB;AAAA,MACF;AAAA,IAEF;AAAA,EACF;AAEA,SAAO;AACT;AAKA,SAAS,oBACP,UACA,eACA,kBACA,QAC4B;AAC5B,QAAM,SAAqC,CAAC;AAE5C,aAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,aAAa,GAAG;AACrE,UAAM,kBAAkB,iBAAiB,SAAS;AAElD,QAAI,CAAC,iBAAiB;AAEpB,aAAO,SAAS,IAAI;AACpB;AAAA,IACF;AAGA,UAAM,cAAc,2BAA2B,YAAY;AAC3D,UAAM,iBAAiB,2BAA2B,eAAe;AACjE,QAAI,gBAAgB,gBAAgB;AAClC,YAAM,IAAI;AAAA,QACR,eAAe,YAAY,iCAAiC;AAAA,UAC1D;AAAA,QACF,QAAQ,QAAQ,cAAc;AAAA,MAChC;AAAA,IACF;AAAA,EAGF;AAGA,aAAW,aAAa,OAAO,KAAK,gBAAgB,GAAG;AACrD,QAAI,EAAE,aAAa,gBAAgB;AACjC,UAAI,QAAQ;AACV,cAAM,IAAI;AAAA,UACR,eAAe,YAAY;AAAA,QAC7B;AAAA,MACF;AAAA,IAEF;AAAA,EACF;AAEA,SAAO;AACT;AAKA,SAAS,qBACP,UACA,gBACA,mBACA,QACU;AAEV,QAAM,aAAa,IAAI,IAAI,cAAc;AACzC,QAAM,gBAAgB,IAAI,IAAI,iBAAiB;AAG/C,MACE,eAAe,WAAW,kBAAkB,UAC5C,eAAe,MAAM,CAAC,WAAW,cAAc,IAAI,MAAM,CAAC,GAC1D;AAEA,WAAO,CAAC;AAAA,EACV;AAGA,aAAW,UAAU,mBAAmB;AACtC,QAAI,CAAC,WAAW,IAAI,MAAM,GAAG;AAC3B,UAAI,QAAQ;AACV,cAAM,IAAI;AAAA,UACR,SAAS,oBAAoB;AAAA,QAC/B;AAAA,MACF;AAEA,aAAO;AAAA,IACT;AAAA,EACF;AAGA,QAAM,IAAI;AAAA,IACR,yDAAyD;AAAA,EAC3D;AACF;AAKA,SAAS,mBACP,UACA,eACA,kBACA,QACU;AAEV,QAAM,aAAa,IAAI,IAAI,aAAa;AACxC,QAAM,gBAAgB,IAAI,IAAI,gBAAgB;AAG9C,MACE,cAAc,WAAW,iBAAiB,UAC1C,cAAc,MAAM,CAAC,UAAU,cAAc,IAAI,KAAK,CAAC,GACvD;AAEA,WAAO,CAAC;AAAA,EACV;AAGA,aAAW,SAAS,kBAAkB;AACpC,QAAI,CAAC,WAAW,IAAI,KAAK,GAAG;AAC1B,UAAI,QAAQ;AACV,cAAM,IAAI;AAAA,UACR,QAAQ,mBAAmB;AAAA,QAC7B;AAAA,MACF;AAEA,aAAO;AAAA,IACT;AAAA,EACF;AAGA,QAAM,IAAI;AAAA,IACR,uDAAuD;AAAA,EACzD;AACF;AAKA,SAAS,mBACP,mBACA,sBACA,QAC4B;AAC5B,QAAM,SAAqC,CAAC;AAE5C,aAAW,oBAAoB,mBAAmB;AAChD,UAAM,cAAc,iBAAiB,gBAAgB;AACrD,UAAM,sBAAsB,qBAAqB;AAAA,MAC/C,CAAC,MAAM,iBAAiB,CAAC,MAAM;AAAA,IACjC;AAEA,QAAI,CAAC,qBAAqB;AAExB,aAAO,KAAK,gBAAgB;AAC5B;AAAA,IACF;AAGA,UAAM,cAAc,2BAA2B,gBAAgB;AAC/D,UAAM,iBAAiB,2BAA2B,mBAAmB;AAErE,QAAI,CAAC,eAAe,CAAC,gBAAgB;AAEnC;AAAA,IACF;AAEA,QAAI,CAAC,eAAe,CAAC,gBAAgB;AAEnC,YAAM,IAAI;AAAA,QACR,qEAAqE;AAAA,MACvE;AAAA,IACF;AAGA,UAAM,iBAAiB,OAAO,KAAK,WAAW,EAAE,KAAK;AACrD,UAAM,oBAAoB,OAAO,KAAK,cAAc,EAAE,KAAK;AAE3D,QACE,eAAe,WAAW,kBAAkB,UAC5C,CAAC,eAAe,MAAM,CAAC,KAAK,UAAU,QAAQ,kBAAkB,KAAK,CAAC,GACtE;AACA,YAAM,IAAI;AAAA,QACR,qEAAqE;AAAA,MACvE;AAAA,IACF;AAGA,eAAW,WAAW,gBAAgB;AACpC,YAAM,iBAAiB,2BAA2B,YAAY,OAAO,CAAC;AACtE,YAAM,oBAAoB;AAAA,QACxB,eAAe,OAAO;AAAA,MACxB;AACA,UAAI,mBAAmB,mBAAmB;AACxC,cAAM,IAAI;AAAA,UACR,qEAAqE,wBAAwB;AAAA,QAC/F;AAAA,MACF;AAAA,IACF;AAAA,EAGF;AAGA,aAAW,uBAAuB,sBAAsB;AACtD,UAAM,iBAAiB,iBAAiB,mBAAmB;AAC3D,UAAM,SAAS,kBAAkB;AAAA,MAC/B,CAAC,MAAM,iBAAiB,CAAC,MAAM;AAAA,IACjC;AACA,QAAI,CAAC,QAAQ;AACX,UAAI,QAAQ;AACV,cAAM,IAAI;AAAA,UACR,aAAa;AAAA,QACf;AAAA,MACF;AAAA,IAEF;AAAA,EACF;AAEA,SAAO;AACT;",
+  "names": []
+}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@graphitation/supermassive",
   "license": "MIT",
-  "version": "3.11.12",
+  "version": "3.13.0",
   "main": "./lib/index",
   "repository": {
     "type": "git",