@vicin/phantom 1.1.0 → 2.0.0

package/dist/index.d.ts

@@ -1,17 +1,4 @@
 declare namespace assertors {
-    /**
-     * Creates a typed caster that assigns a {@link Brand} to a value.
-     *
-     * This is a zero-cost runtime assertion helper — it simply returns the value
-     * with the brand's nominal type applied. Use it for simple branded primitives
-     * where you know the value is valid.
-     *
-     * @deprecated To unify Api surface 'asIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-     *
-     * @template B - The brand declaration to assign.
-     * @returns A function that casts any value to the branded type.
-     */
-    const asBrand: <B extends Brand.Any>() => <T>(value: T) => Brand.Assign<B, T>;
     /**
      * Creates a typed caster that assigns an {@link Identity} to a value.
      *
@@ -86,6 +73,15 @@ declare namespace assertors {
     const revertTransformation: <Tr extends Transformation.Any>() => <T, I>(transformed: T, input: I) => Transformation.Revert<Tr, T, I>;
 }
 
+declare const __Phantom: unique symbol;
+declare const __Tag: unique symbol;
+declare const __Label: unique symbol;
+declare const __Base: unique symbol;
+declare const __OriginalType: unique symbol;
+declare const __Input: unique symbol;
+declare const __Traits: unique symbol;
+declare const __Variants: unique symbol;
+
 /**
  * Base-type metadata.
  *
@@ -95,28 +91,28 @@ declare namespace assertors {
 declare namespace BaseCore {
     /** Marker type for base constraints */
     type Any = {
-        __Phantom: {
-            __Base?: unknown;
+        [__Phantom]: {
+            [__Base]?: unknown;
         };
     };
     /** Declare a base type */
     type Of<Base> = {
-        __Phantom: {
-            __Base?: Base;
+        [__Phantom]: {
+            [__Base]?: Base;
         };
     };
     /** Conditionally declare a base type */
     type OfIfExists<Base> = [Base] extends [never] ? {} : Of<Base>;
     /** Extract the base type */
     type BaseOf<T> = T extends {
-        __Phantom: {
-            __Base?: infer Base;
+        [__Phantom]: {
+            [__Base]?: infer Base;
         };
     } ? Exclude<Base, undefined> : unknown;
     /** Check whether a base constraint exists */
     type HasBase<T, B = unknown> = T extends {
-        __Phantom: {
-            __Base?: B;
+        [__Phantom]: {
+            [__Base]?: B;
         };
     } ? true : false;
 }
@@ -129,32 +125,32 @@ declare namespace BaseCore {
 declare namespace InputCore {
     /** Marker type for input value */
     type Any = {
-        __Phantom: {
-            __Input: unknown;
+        [__Phantom]: {
+            [__Input]: unknown;
         };
     };
     /** Set input */
     type Of<Input> = {
-        __Phantom: {
-            __Input: Input;
+        [__Phantom]: {
+            [__Input]: Input;
         };
     };
     /** Conditionally set input */
     type OfIfExists<Input> = [Input] extends [never] ? {} : {
-        __Phantom: {
-            __Input: Input;
+        [__Phantom]: {
+            [__Input]: Input;
         };
     };
     /** Extract the input */
     type InputOf<T> = T extends {
-        __Phantom: {
-            __Input: infer Input;
+        [__Phantom]: {
+            [__Input]: infer Input;
         };
     } ? Input : never;
     /** Check whether an input exists */
     type HasInput<T, I = unknown> = T extends {
-        __Phantom: {
-            __Input: I;
+        [__Phantom]: {
+            [__Input]: I;
         };
     } ? true : false;
 }
@@ -167,28 +163,28 @@ declare namespace InputCore {
 declare namespace LabelCore {
     /** Marker type for labeled values */
     type Any = {
-        __Phantom: {
-            __Label?: string;
+        [__Phantom]: {
+            [__Label]?: string;
         };
     };
     /** Attach a label */
     type Of<Label extends string> = {
-        __Phantom: {
-            __Label?: Label;
+        [__Phantom]: {
+            [__Label]?: Label;
         };
     };
     /** Conditionally attach a label */
     type OfIfExists<Label extends string> = [Label] extends [never] ? {} : Of<Label>;
     /** Extract the label */
     type LabelOf<T> = T extends {
-        __Phantom: {
-            __Label?: infer Label;
+        [__Phantom]: {
+            [__Label]?: infer Label;
         };
     } ? Exclude<Label, undefined> : never;
     /** Check whether a label exists */
     type HasLabel<T, L extends string = string> = T extends {
-        __Phantom: {
-            __Label?: L;
+        [__Phantom]: {
+            [__Label]?: L;
         };
     } ? true : false;
 }
@@ -202,28 +198,28 @@ declare namespace LabelCore {
 declare namespace TagCore {
     /** Marker type for any tagged value */
     type Any = {
-        __Phantom: {
-            __Tag: string | symbol;
+        [__Phantom]: {
+            [__Tag]: string | symbol;
         };
     };
     /** Attach a specific tag */
     type Of<Tag extends string | symbol> = {
-        __Phantom: {
-            __Tag: Tag;
+        [__Phantom]: {
+            [__Tag]: Tag;
         };
     };
     /** Conditionally attach a tag if it exists */
     type OfIfExists<Tag extends string | symbol> = [Tag] extends [never] ? {} : Of<Tag>;
     /** Extract the tag from a type */
     type TagOf<T> = T extends {
-        __Phantom: {
-            __Tag: infer Tag;
+        [__Phantom]: {
+            [__Tag]: infer Tag;
         };
     } ? Tag : never;
     /** Check whether a type is tagged */
     type HasTag<T, Ta extends string | symbol = string | symbol> = T extends {
-        __Phantom: {
-            __Tag: Ta;
+        [__Phantom]: {
+            [__Tag]: Ta;
         };
     } ? true : false;
 }
@@ -237,44 +233,42 @@ declare namespace TagCore {
 declare namespace TraitsCore {
     /** Marker type for trait-bearing values */
     type Any = {
-        __Phantom: {
-            __Traits: {};
+        [__Phantom]: {
+            [__Traits]: {};
         };
     };
     /** Declare a single trait */
     type Of<Trait extends string | symbol> = {
-        __Phantom: {
-            __Traits: {
+        [__Phantom]: {
+            [__Traits]: {
                 [K in Trait]: true;
             };
         };
     };
     /** Construct traits from an explicit trait map */
     type FromMap<Traits extends Record<string | symbol, true>> = {
-        __Phantom: {
-            __Traits: Traits;
+        [__Phantom]: {
+            [__Traits]: Traits;
         };
     };
     /** Conditionally declare a trait */
-    type OfIfExists<Trait extends string | symbol> = [Trait] extends [
-        never
-    ] ? {} : Of<Trait>;
+    type OfIfExists<Trait extends string | symbol> = [Trait] extends [never] ? {} : Of<Trait>;
     /** Extract the trait map */
     type TraitsOf<T> = T extends {
-        __Phantom: {
-            __Traits: infer Traits;
+        [__Phantom]: {
+            [__Traits]: infer Traits;
         };
     } ? Traits extends Record<string | symbol, true> ? Traits : never : never;
     /** Extract trait keys */
     type TraitKeysOf<T> = T extends {
-        __Phantom: {
-            __Traits: infer Traits;
+        [__Phantom]: {
+            [__Traits]: infer Traits;
         };
     } ? keyof Traits : never;
     /** Check if any traits exist */
     type HasTraits<T, Tr extends string | symbol = string | symbol> = T extends {
-        __Phantom: {
-            __Traits: Record<Tr, true>;
+        [__Phantom]: {
+            [__Traits]: Record<Tr, true>;
         };
     } ? true : false;
 }
@@ -287,38 +281,44 @@ declare namespace TraitsCore {
 declare namespace VariantsCore {
     /** Marker type for variant-bearing values */
     type Any = {
-        __Phantom: {
-            __Variants: string;
+        [__Phantom]: {
+            [__Variants]: string;
         };
     };
     /** Declare allowed variants */
     type Of<Variants extends string> = {
-        __Phantom: {
-            __Variants: Variants;
+        [__Phantom]: {
+            [__Variants]: Variants;
         };
     };
     /** Conditionally declare variants */
     type OfIfExists<Variants extends string> = [Variants] extends [never] ? {} : Of<Variants>;
     /** Extract variant union */
     type VariantsOf<T> = T extends {
-        __Phantom: {
-            __Variants: infer Variants;
+        [__Phantom]: {
+            [__Variants]: infer Variants;
         };
     } ? Variants extends string ? Variants : never : never;
     /** Check whether variants exist */
     type HasVariants<T> = T extends {
-        __Phantom: {
-            __Variants: string;
+        [__Phantom]: {
+            [__Variants]: string;
         };
     } ? true : false;
 }
 
 /** Stip phantom metadata object from a type */
 type StripPhantom<T> = T extends {
-    __Phantom: {
-        __OriginalType?: infer O;
+    [__Phantom]: {
+        [__OriginalType]?: infer O;
+    };
+} ? Exclude<O, undefined> : T extends {
+    [__Phantom]: {
+        [__Base]?: infer B;
     };
-} ? Exclude<O, undefined> : T;
+} ? Exclude<B, undefined> : T extends {
+    [__Phantom]: object;
+} ? unknown : T;
 /** run-time helper for 'StringPhantom', used for debugging mainly */
 declare const stripPhantom: <T>(value: T) => StripPhantom<T>;
 type _StripPhantom<T> = StripPhantom<T>;
@@ -336,10 +336,16 @@ declare namespace PhantomCore {
     type StripPhantom<T> = _StripPhantom<T>;
     /** run-time helper for 'StringPhantom', used for debugging mainly */
     const stripPhantom: <T>(value: T) => T extends {
-        __Phantom: {
-            __OriginalType?: infer O;
+        [__Phantom]: {
+            [__OriginalType]?: infer O;
         };
-    } ? Exclude<O, undefined> : T;
+    } ? Exclude<O, undefined> : T extends {
+        [__Phantom]: {
+            [__Base]?: infer B;
+        };
+    } ? Exclude<B, undefined> : T extends {
+        [__Phantom]: object;
+    } ? unknown : T;
 }
 
 /** Interface of 'Brand' and 'Identity' errors. */
@@ -389,27 +395,27 @@ type ErrorType<E> = {
  * the original runtime type.
  */
 type WithMetadata<T, Change extends object> = PhantomCore.StripPhantom<T> & {
-    __Phantom: Prettify<Merge<IfNever<PhantomCore.PhantomOf<T>>, Omit<IfNever<PhantomCore.PhantomOf<Change>>, '__Base'> & SetType<T>>>;
+    [__Phantom]: Prettify<Merge<IfNever<PhantomCore.PhantomOf<T>>, Omit<IfNever<PhantomCore.PhantomOf<Change>>, typeof __Base> & SetType<T>>>;
 };
 /**
  * Patch phantom metadata without touching the original type.
  * Used when mutating metadata declarations themselves.
  */
 type PatchMetadata<T, Change extends object> = {
-    __Phantom: Prettify<Merge<IfNever<PhantomCore.PhantomOf<T>>, IfNever<PhantomCore.PhantomOf<Change>>>>;
+    [__Phantom]: Prettify<Merge<IfNever<PhantomCore.PhantomOf<T>>, IfNever<PhantomCore.PhantomOf<Change>>>>;
 };
 /**
  * Remove a metadata dimension while preserving the original type.
  */
-type WithoutMetadata<T, S extends string> = PhantomCore.StripPhantom<T> & {
-    __Phantom: Prettify<Omit<IfNever<PhantomCore.PhantomOf<T>>, S> & SetType<T>>;
+type WithoutMetadata<T, S extends symbol> = PhantomCore.StripPhantom<T> & {
+    [__Phantom]: Prettify<Omit<IfNever<PhantomCore.PhantomOf<T>>, S> & SetType<T>>;
 };
 /**
  * Update '__OriginalType' if the passed type is changed.
  */
-type HandleOriginalType<T> = Equals<Omit<PhantomCore.StripPhantom<T>, never>, Omit<T, '__Phantom'>> extends true ? T : Omit<T, '__Phantom'> & PatchMetadata<T, {
-    __Phantom: {
-        __OriginalType?: Omit<T, '__Phantom'>;
+type HandleOriginalType<T> = Equals<Omit<PhantomCore.StripPhantom<T>, never>, Omit<T, typeof __Phantom>> extends true ? T : Omit<T, typeof __Phantom> & PatchMetadata<T, {
+    [__Phantom]: {
+        [__OriginalType]?: Omit<T, typeof __Phantom>;
     };
 }>;
 /**
@@ -423,61 +429,30 @@ type HandleOriginalType<T> = Equals<Omit<PhantomCore.StripPhantom<T>, never>, Om
  * additional phantom metadata.
  */
 type SetType<T> = T extends {
-    __Phantom: {
-        __OriginalType?: infer O;
+    [__Phantom]: {
+        [__OriginalType]?: infer O;
     };
 } ? {
-    __OriginalType?: O;
+    [__OriginalType]?: O;
 } : {
-    __OriginalType?: T;
+    [__OriginalType]?: T;
 };
 /** --------------------------------------
  * Generic helpers
  * --------------------------------------- */
 /** Prettify type */
 type Prettify<T> = {
-    [K in keyof T]: K extends '__Phantom' | '__Traits' ? Prettify<T[K]> : T[K];
+    [K in keyof T]: K extends typeof __Phantom | typeof __Traits ? Prettify<T[K]> : T[K];
 } & {};
 /** Check equality and returns true or false */
-type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
+type Equals<A1, A2> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
 /** Type to replace 'never' with another type */
 type IfNever<T, R = {}> = [T] extends [never] ? R : T;
 /** Get intersection from union */
-type IntersectOf<U extends any> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
+type IntersectOf<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
 /** Merge two objects. if matching keys between the two exists, the second object key value is used.  */
 type Merge<O1 extends object, O2 extends object> = Prettify<Omit<O1, keyof O2> & O2>;
 
-/**
- * Branding API.
- *
- * Brands provide nominal typing for otherwise identical values.
- * A value may only be branded once.
- *
- * @deprecated To unify Api surface 'Identity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
- */
-declare namespace BrandCore {
-    /** Type guard for any brand. */
-    export type Any = TagCore.Of<string | symbol>;
-    /** Declare a brand */
-    export type Declare<T extends string | symbol, L extends string = never> = Prettify<TagCore.Of<T> & LabelCore.OfIfExists<L>>;
-    /**
-     * Assign a brand to a value.
-     * Fails if the value is already branded.
-     */
-    export type Assign<B extends Any, T> = T extends ErrorType<any> ? T : _Assign<B, HandleOriginalType<T>>;
-    /** Internal implementation of 'Brand.Assign' */
-    type _Assign<B extends Any, T> = TagCore.HasTag<T> extends true ? ErrorType<Errors<B, T>['alreadyBranded']> : WithMetadata<T, B>;
-    /**
-     * Assign a brand if possible, otherwise return the original type.
-     */
-    export type AssignSafe<B extends Any, T> = T extends ErrorType<any> ? T : _AssignSafe<B, HandleOriginalType<T>>;
-    /** Internal implementation of 'Brand.AssignSafe' */
-    type _AssignSafe<B extends Any, T> = TagCore.HasTag<T> extends true ? T : WithMetadata<T, B>;
-    /** Check whether value is branded with */
-    export type isBrand<T, B extends Any> = T extends B ? true : false;
-    export {  };
-}
-
 /**
  * Identity API.
  *
@@ -489,7 +464,7 @@ declare namespace IdentityCore {
     /** Type guard for any identity. */
     export type Any = TagCore.Of<string | symbol>;
     /** Declare an identity */
-    export type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = IfNever<B, unknown> & Prettify<TagCore.Of<T> & LabelCore.OfIfExists<L> & BaseCore.OfIfExists<B> & VariantsCore.OfIfExists<V>>;
+    export type Declare<T extends string | symbol, L extends string = never, B = never, V extends string = never> = IfNever<B, unknown> & Prettify<TagCore.Of<T> & LabelCore.OfIfExists<L> & BaseCore.OfIfExists<B> & VariantsCore.OfIfExists<V>>;
     /**
      * Assign an identity to a value.
      * Enforces base-type compatibility.
@@ -534,11 +509,11 @@ declare namespace TraitCore {
     /** Remove a trait */
     export type Drop<Tr extends Any, T> = T extends ErrorType<any> ? T : _Drop<Tr, HandleOriginalType<T>>;
     /** Internal implementation of 'Trait.Drop' */
-    type _Drop<Tr extends Any, T> = Equals<TraitsCore.TraitKeysOf<Tr>, TraitsCore.TraitKeysOf<T>> extends true ? Equals<keyof PhantomCore.PhantomOf<T>, '__OriginalType' | '__Traits'> extends true ? PhantomCore.StripPhantom<T> : WithoutMetadata<T, '__Traits'> : WithMetadata<T, TraitsCore.FromMap<Omit<TraitsCore.TraitsOf<T>, TraitsCore.TraitKeysOf<Tr>>>>;
+    type _Drop<Tr extends Any, T> = Equals<TraitsCore.TraitKeysOf<Tr>, TraitsCore.TraitKeysOf<T>> extends true ? Equals<keyof PhantomCore.PhantomOf<T>, typeof __OriginalType | typeof __Traits> extends true ? PhantomCore.StripPhantom<T> : WithoutMetadata<T, typeof __Traits> : WithMetadata<T, TraitsCore.FromMap<Omit<TraitsCore.TraitsOf<T>, TraitsCore.TraitKeysOf<Tr>>>>;
     /** Remove multiple traits */
     export type DropMulti<Tr extends readonly Any[], T> = T extends ErrorType<any> ? T : _DropMulti<Tr, HandleOriginalType<T>>;
     /** Internal implementation of 'Trait.DropMulti' */
-    type _DropMulti<Tr extends readonly Any[], T> = Equals<TraitsCore.TraitKeysOf<IntersectOf<Tr[number]>>, TraitsCore.TraitKeysOf<T>> extends true ? Equals<keyof PhantomCore.PhantomOf<T>, '__OriginalType' | '__Traits'> extends true ? PhantomCore.StripPhantom<T> : WithoutMetadata<T, '__Traits'> : WithMetadata<T, TraitsCore.FromMap<Omit<TraitsCore.TraitsOf<T>, TraitsCore.TraitKeysOf<IntersectOf<Tr[number]>>>>>;
+    type _DropMulti<Tr extends readonly Any[], T> = Equals<TraitsCore.TraitKeysOf<IntersectOf<Tr[number]>>, TraitsCore.TraitKeysOf<T>> extends true ? Equals<keyof PhantomCore.PhantomOf<T>, typeof __OriginalType | typeof __Traits> extends true ? PhantomCore.StripPhantom<T> : WithoutMetadata<T, typeof __Traits> : WithMetadata<T, TraitsCore.FromMap<Omit<TraitsCore.TraitsOf<T>, TraitsCore.TraitKeysOf<IntersectOf<Tr[number]>>>>>;
     /** Check whether value has trait */
     export type HasTrait<T, Tr extends Any> = T extends Tr ? true : false;
     export {  };
@@ -554,7 +529,7 @@ declare namespace TransformationCore {
     /** Type guard for any transformation. */
     export type Any = InputCore.Of<any> & TagCore.Of<string | symbol>;
     /** Declare a transformation */
-    export type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = IfNever<B, unknown> & Prettify<InputCore.Of<I> & TagCore.Of<T> & LabelCore.OfIfExists<L> & BaseCore.OfIfExists<B> & VariantsCore.OfIfExists<V>>;
+    export type Declare<I, T extends string | symbol, L extends string = never, B = never, V extends string = never> = IfNever<B, unknown> & Prettify<InputCore.Of<I> & TagCore.Of<T> & LabelCore.OfIfExists<L> & BaseCore.OfIfExists<B> & VariantsCore.OfIfExists<V>>;
     /**
      * Apply a transformation to a value.
      * Enforces base-type compatibility.
@@ -664,26 +639,6 @@ declare namespace Traits {
     /** Check if any traits exist */
     type HasTraits<T, Tr extends string | symbol = string | symbol> = TraitsCore.HasTraits<T, Tr>;
 }
-/**
- * Branding API.
- *
- * Brands provide nominal typing for otherwise identical values.
- * A value may only be branded once.
- *
- * @deprecated To unify Api surface 'Identity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
- */
-declare namespace Brand {
-    /** Type guard for any brand. */
-    type Any = BrandCore.Any;
-    /** Declare a brand */
-    type Declare<T extends string | symbol, L extends string = never> = BrandCore.Declare<T, L>;
-    /** Assign a brand to a value. Fails if the value is already branded */
-    type Assign<B extends Any, T> = BrandCore.Assign<B, T>;
-    /** Assign a brand if possible, otherwise return the original type */
-    type AssignSafe<B extends Any, T> = BrandCore.AssignSafe<B, T>;
-    /** Check whether value is branded with */
-    type isBrand<T, B extends Any> = BrandCore.isBrand<T, B>;
-}
 /**
  * Identity API.
  *
@@ -695,7 +650,7 @@ declare namespace Identity {
     /** Type guard for any identity. */
     type Any = IdentityCore.Any;
     /** Declare an identity */
-    type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = IdentityCore.Declare<T, L, B, V>;
+    type Declare<T extends string | symbol, L extends string = never, B = never, V extends string = never> = IdentityCore.Declare<T, L, B, V>;
     /** Assign an identity to a value. Enforces base-type compatibility */
     type Assign<I extends Any, T> = IdentityCore.Assign<I, T>;
     /** Safe identity assignment */
@@ -739,7 +694,7 @@ declare namespace Transformation {
     /** Type guard for any transformation. */
     type Any = TransformationCore.Any;
     /** Declare a transformation */
-    type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = TransformationCore.Declare<I, T, L, B, V>;
+    type Declare<I, T extends string | symbol, L extends string = never, B = never, V extends string = never> = TransformationCore.Declare<I, T, L, B, V>;
     /** Apply a transformation to a value. Enforces base-type compatibility */
     type Apply<Tr extends Any, I, T> = TransformationCore.Apply<Tr, I, T>;
     /** Revert a transformation */
@@ -782,12 +737,6 @@ declare namespace Inspect {
     type TraitKeysOf<T> = TraitsCore.TraitKeysOf<T>;
     /** Check if any traits exist */
     type HasTraits<T> = TraitsCore.HasTraits<T>;
-    /**
-     * Check whether value is branded with
-     *
-     * @deprecated To unify Api surface 'isIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-     */
-    type isBrand<T, B extends BrandCore.Any> = BrandCore.isBrand<T, B>;
     /** Check whether value is branded with */
     type isIdentity<T, I extends IdentityCore.Any> = IdentityCore.isIdentity<T, I>;
     /** Check whether value has trait */
@@ -796,20 +745,6 @@ declare namespace Inspect {
     type isTransformed<T, Tr extends TransformationCore.Any> = TransformationCore.isTransformed<T, Tr>;
 }
 
-/**
- * Creates a typed caster that assigns a {@link Brand} to a value.
- *
- * This is a zero-cost runtime assertion helper — it simply returns the value
- * with the brand's nominal type applied. Use it for simple branded primitives
- * where you know the value is valid.
- *
- * @deprecated To unify Api surface 'asIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
- *
- * @template B - The brand declaration to assign.
- * @returns A function that casts any value to the branded type.
- */
-declare const asBrand: <B extends Brand.Any>() => <T>(value: T) => Brand.Assign<B, T>;
-
 /**
  * Creates a typed caster that assigns an {@link Identity} to a value.
  *
@@ -1016,26 +951,6 @@ declare namespace Phantom {
         /** Check if any traits exist */
         type HasTraits<T, Tr extends string | symbol = string | symbol> = TraitsCore.HasTraits<T, Tr>;
     }
-    /**
-     * Branding API.
-     *
-     * Brands provide nominal typing for otherwise identical values.
-     * A value may only be branded once.
-     *
-     * @deprecated To unify Api surface 'Identity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-     */
-    namespace Brand {
-        /** Type guard for any brand. */
-        type Any = BrandCore.Any;
-        /** Declare a brand */
-        type Declare<T extends string | symbol, L extends string = never> = BrandCore.Declare<T, L>;
-        /** Assign a brand to a value. Fails if the value is already branded */
-        type Assign<B extends Any, T> = BrandCore.Assign<B, T>;
-        /** Assign a brand if possible, otherwise return the original type */
-        type AssignSafe<B extends Any, T> = BrandCore.AssignSafe<B, T>;
-        /** Check whether value is branded with */
-        type isBrand<T, B extends Brand.Any> = BrandCore.isBrand<T, B>;
-    }
     /**
      * Identity API.
      *
@@ -1047,7 +962,7 @@ declare namespace Phantom {
         /** Type guard for any identity. */
         type Any = IdentityCore.Any;
         /** Declare an identity */
-        type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = IdentityCore.Declare<T, L, B, V>;
+        type Declare<T extends string | symbol, L extends string = never, B = never, V extends string = never> = IdentityCore.Declare<T, L, B, V>;
         /** Assign an identity to a value. Enforces base-type compatibility */
         type Assign<I extends Any, T> = IdentityCore.Assign<I, T>;
         /** Safe identity assignment */
@@ -1091,7 +1006,7 @@ declare namespace Phantom {
         /** Type guard for any transformation. */
         type Any = TransformationCore.Any;
         /** Declare a transformation */
-        type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = TransformationCore.Declare<I, T, L, B, V>;
+        type Declare<I, T extends string | symbol, L extends string = never, B = never, V extends string = never> = TransformationCore.Declare<I, T, L, B, V>;
         /** Apply a transformation to a value. Enforces base-type compatibility */
         type Apply<Tr extends Any, I, T> = TransformationCore.Apply<Tr, I, T>;
         /** Revert a transformation */
@@ -1113,10 +1028,16 @@ declare namespace Phantom {
         type StripPhantom<T> = PhantomCore.StripPhantom<T>;
         /** run-time helper for 'StringPhantom', used for debugging mainly */
         const stripPhantom: <T>(value: T) => T extends {
-            __Phantom: {
-                __OriginalType?: infer O;
+            [__Phantom]: {
+                [__OriginalType]?: infer O;
+            };
+        } ? Exclude<O, undefined> : T extends {
+            [__Phantom]: {
+                [__Base]?: infer B;
             };
-        } ? Exclude<O, undefined> : T;
+        } ? Exclude<B, undefined> : T extends {
+            [__Phantom]: object;
+        } ? unknown : T;
         /** Extract the label */
         type LabelOf<T> = LabelCore.LabelOf<T>;
         /** Check whether a base constraint exists */
@@ -1143,12 +1064,6 @@ declare namespace Phantom {
         type TraitKeysOf<T> = TraitsCore.TraitKeysOf<T>;
         /** Check if any traits exist */
         type HasTraits<T, Tr extends string | symbol = string | symbol> = TraitsCore.HasTraits<T, Tr>;
-        /**
-         * Check whether value is branded with
-         *
-         * @deprecated To unify Api surface 'isIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-         */
-        type isBrand<T, B extends Brand.Any> = BrandCore.isBrand<T, B>;
         /** Check whether value is branded with */
         type isIdentity<T, I extends Identity.Any> = IdentityCore.isIdentity<T, I>;
         /** Check whether value has trait */
@@ -1160,19 +1075,6 @@ declare namespace Phantom {
      * assertors
      * --------------------------------------- */
     namespace assertors {
-        /**
-         * Creates a typed caster that assigns a {@link Brand} to a value.
-         *
-         * This is a zero-cost runtime assertion helper — it simply returns the value
-         * with the brand's nominal type applied. Use it for simple branded primitives
-         * where you know the value is valid.
-         *
-         * @deprecated To unify Api surface 'asIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-         *
-         * @template B - The brand declaration to assign.
-         * @returns A function that casts any value to the branded type.
-         */
-        const asBrand: <B extends Brand.Any>() => <T>(value: T) => Brand.Assign<B, T>;
         /**
          * Creates a typed caster that assigns an {@link Identity} to a value.
          *
@@ -1246,19 +1148,6 @@ declare namespace Phantom {
          */
         const revertTransformation: <Tr extends Transformation.Any>() => <T, I>(transformed: T, input: I) => Transformation.Revert<Tr, T, I>;
     }
-    /**
-     * Creates a typed caster that assigns a {@link Brand} to a value.
-     *
-     * This is a zero-cost runtime assertion helper — it simply returns the value
-     * with the brand's nominal type applied. Use it for simple branded primitives
-     * where you know the value is valid.
-     *
-     * @deprecated To unify Api surface 'asIdentity' should be used instea, will be removed in v2.0.0. for more info check 'https://www.npmjs.com/package/@vicin/phantom#deprecated-api'
-     *
-     * @template B - The brand declaration to assign.
-     * @returns A function that casts any value to the branded type.
-     */
-    const asBrand: <B extends Brand.Any>() => <T>(value: T) => Brand.Assign<B, T>;
     /**
      * Creates a typed caster that assigns an {@link Identity} to a value.
      *
@@ -1340,10 +1229,16 @@ declare namespace Phantom {
     type StripPhantom<T> = PhantomCore.StripPhantom<T>;
     /** run-time helper for 'StringPhantom', used for debugging mainly */
     const stripPhantom: <T>(value: T) => T extends {
-        __Phantom: {
-            __OriginalType?: infer O;
+        [__Phantom]: {
+            [__OriginalType]?: infer O;
+        };
+    } ? Exclude<O, undefined> : T extends {
+        [__Phantom]: {
+            [__Base]?: infer B;
         };
-    } ? Exclude<O, undefined> : T;
+    } ? Exclude<B, undefined> : T extends {
+        [__Phantom]: object;
+    } ? unknown : T;
     /** --------------------------------------
      * Error type
      * --------------------------------------- */
@@ -1380,4 +1275,4 @@ declare namespace Phantom {
     }
 }
 
-export { Base, Brand, type ErrorType, Identity, Input, Inspect, Label, Phantom, PhantomChain, PhantomCore, Tag, Trait, Traits, Transformation, Variants, addTrait, addTraits, applyTransformation, asBrand, asIdentity, assertors, Phantom as default, dropTrait, dropTraits, revertTransformation, stripPhantom };
+export { Base, type ErrorType, Identity, Input, Inspect, Label, Phantom, PhantomChain, PhantomCore, Tag, Trait, Traits, Transformation, Variants, __Base, __Input, __Label, __OriginalType, __Phantom, __Tag, __Traits, __Variants, addTrait, addTraits, applyTransformation, asIdentity, assertors, Phantom as default, dropTrait, dropTraits, revertTransformation, stripPhantom };