@vicin/phantom 1.0.1

package/dist/phantom.d.ts

@@ -0,0 +1,352 @@
+import { PhantomChain as _PhantomChain } from './chain';
+import type { Base as NamespaceBase, Brand as NamespaceBrand, Identity as NamespaceIdentity, Input as NamespaceInput, Label as NamespaceLabel, Tag as NamespaceTag, Trait as NamespaceTrait, Traits as NamespaceTraits, Transformation as NamespaceTransformation, Variants as NamespaceVariants, ErrorType as _ErrorType } from './types';
+import { Phantom as NamespacePhantom } from './types';
+export declare namespace Phantom {
+    /** --------------------------------------
+     * Types
+     * --------------------------------------- */
+    /**
+     * Optional human-readable label metadata.
+     *
+     * Labels are descriptive only and do not affect identity.
+     */
+    namespace Label {
+        /** Marker type for labeled values */
+        type Any = NamespaceLabel.Any;
+        /** Extract the label */
+        type LabelOf<T> = NamespaceLabel.LabelOf<T>;
+        /** Check whether a label exists */
+        type HasLabel<T, L extends string = string> = NamespaceLabel.HasLabel<T, L>;
+    }
+    /**
+     * Nominal tag metadata.
+     *
+     * Tags uniquely identify a branded or identified type.
+     * A value may only have a single tag.
+     */
+    namespace Tag {
+        /** Marker type for any tagged value */
+        type Any = NamespaceTag.Any;
+        /** Extract the tag from a type */
+        type TagOf<T> = NamespaceTag.TagOf<T>;
+        /** Check whether a type is tagged */
+        type HasTag<T, Ta extends string | symbol = string | symbol> = NamespaceTag.HasTag<T, Ta>;
+    }
+    /**
+     * Variant metadata.
+     *
+     * Variants represent mutually exclusive states of a type.
+     */
+    namespace Variants {
+        /** Marker type for variant-bearing values */
+        type Any = NamespaceVariants.Any;
+        /** Extract variant union */
+        type VariantsOf<T> = NamespaceVariants.VariantsOf<T>;
+        /** Check whether variants exist */
+        type HasVariants<T> = NamespaceVariants.HasVariants<T>;
+    }
+    /**
+     * Base-type metadata.
+     *
+     * Used to constrain which runtime types a brand, identity,
+     * or transformation may be applied to.
+     */
+    namespace Base {
+        /** Marker type for base constraints */
+        type Any = NamespaceBase.Any;
+        /** Extract the base type */
+        type BaseOf<T> = NamespaceBase.BaseOf<T>;
+        /** Check whether a base constraint exists */
+        type HasBase<T, B = unknown> = NamespaceBase.HasBase<T, B>;
+    }
+    /**
+     * Input metadata.
+     *
+     * Utilities for attaching and querying input metadata in transformations.
+     */
+    namespace Input {
+        /** Marker type for input value */
+        type Any = NamespaceInput.Any;
+        /** Extract the input */
+        type InputOf<T> = NamespaceInput.InputOf<T>;
+        /** Check whether an input exists */
+        type HasInput<T, I = unknown> = NamespaceInput.HasInput<T, I>;
+    }
+    /**
+     * Trait metadata.
+     *
+     * Traits behave like a set of capabilities that can be
+     * added or removed independently.
+     */
+    namespace Traits {
+        /** Marker type for trait-bearing values */
+        type Any = NamespaceTraits.Any;
+        /** Extract the trait map */
+        type TraitsOf<T> = NamespaceTraits.TraitsOf<T>;
+        /** Extract trait keys */
+        type TraitKeysOf<T> = NamespaceTraits.TraitKeysOf<T>;
+        /** Check if any traits exist */
+        type HasTraits<T, Tr extends string | symbol = string | symbol> = NamespaceTraits.HasTraits<T, Tr>;
+    }
+    /**
+     * Branding API.
+     *
+     * Brands provide nominal typing for otherwise identical values.
+     * A value may only be branded once.
+     */
+    namespace Brand {
+        /** Type guard for any brand. */
+        type Any = NamespaceBrand.Any;
+        /** Declare a brand */
+        type Declare<T extends string | symbol, L extends string = never> = NamespaceBrand.Declare<T, L>;
+        /** Assign a brand to a value. Fails if the value is already branded */
+        type Assign<B extends Any, T> = NamespaceBrand.Assign<B, T>;
+        /** Assign a brand if possible, otherwise return the original type */
+        type AssignSafe<B extends Any, T> = NamespaceBrand.AssignSafe<B, T>;
+        /** Check whether value is branded with */
+        type isBrand<T, B extends Brand.Any> = NamespaceBrand.isBrand<T, B>;
+    }
+    /**
+     * Identity API.
+     *
+     * Identities are brands with additional constraints:
+     * - Base type
+     * - Variants
+     */
+    namespace Identity {
+        /** Type guard for any identity. */
+        type Any = NamespaceIdentity.Any;
+        /** Declare an identity */
+        type Declare<T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = NamespaceIdentity.Declare<T, L, B, V>;
+        /** Assign an identity to a value. Enforces base-type compatibility */
+        type Assign<I extends Any, T> = NamespaceIdentity.Assign<I, T>;
+        /** Safe identity assignment */
+        type AssignSafe<I extends Any, T> = NamespaceIdentity.AssignSafe<I, T>;
+        /** Set the active variant on an identity */
+        type WithVariant<I extends Any, V extends Variants.VariantsOf<I>> = NamespaceIdentity.WithVariant<I, V>;
+        /** Set the active variant on a value */
+        type WithTypeVariant<T, V extends Variants.VariantsOf<T>> = NamespaceIdentity.WithTypeVariant<T, V>;
+        /** Check whether value is branded with */
+        type isIdentity<T, I extends Any> = NamespaceIdentity.isIdentity<T, I>;
+    }
+    /**
+     * Trait API.
+     *
+     * Traits are additive capabilities that can be attached
+     * or removed independently.
+     */
+    namespace Trait {
+        /** Type guard for any trait. */
+        type Any = NamespaceTrait.Any;
+        /** Declare a trait */
+        type Declare<Tr extends string | symbol> = NamespaceTrait.Declare<Tr>;
+        /** Add a trait */
+        type Add<Tr extends Any, T> = NamespaceTrait.Add<Tr, T>;
+        /** Add multiple traits */
+        type AddMulti<Tr extends readonly Any[], T> = NamespaceTrait.AddMulti<Tr, T>;
+        /** Remove a trait */
+        type Drop<Tr extends Any, T> = NamespaceTrait.Drop<Tr, T>;
+        /** Remove multiple traits */
+        type DropMulti<Tr extends readonly Any[], T> = NamespaceTrait.DropMulti<Tr, T>;
+        /** Check whether value has trait */
+        type HasTrait<T, Tr extends Any> = NamespaceTrait.HasTrait<T, Tr>;
+    }
+    /**
+     * Transformation API.
+     *
+     * Transformations represent reversible operations that
+     * change the shape of a value while preserving its origin.
+     */
+    namespace Transformation {
+        /** Type guard for any transformation. */
+        type Any = NamespaceTransformation.Any;
+        /** Declare a transformation */
+        type Declare<I, T extends string | symbol, L extends string = never, B extends unknown = never, V extends string = never> = NamespaceTransformation.Declare<I, T, L, B, V>;
+        /** Apply a transformation to a value. Enforces base-type compatibility */
+        type Apply<Tr extends Any, I, T> = NamespaceTransformation.Apply<Tr, I, T>;
+        /** Revert a transformation */
+        type Revert<Tr extends Any, T, I> = NamespaceTransformation.Revert<Tr, T, I>;
+        /** Revert a transformation whatever transformation was */
+        type RevertAny<T, I> = NamespaceTransformation.RevertAny<T, I>;
+        /** Check whether value is transformed with */
+        type isTransformed<T, Tr extends Any> = NamespaceTransformation.isTransformed<T, Tr>;
+    }
+    /**
+     * Inspect API.
+     *
+     * Inspection helpers of phantom types.
+     */
+    namespace Inspect {
+        /** Get phantom metadata object from a type */
+        type PhantomOf<T> = NamespacePhantom.PhantomOf<T>;
+        /** Stip phantom metadata object from a type */
+        type StripPhantom<T> = NamespacePhantom.StripPhantom<T>;
+        /** run-time helper for 'StringPhantom', used for debugging mainly */
+        const stripPhantom: <T>(value: T) => import("./types/core").Phantom.StripPhantom<T>;
+        /** Extract the label */
+        type LabelOf<T> = NamespaceLabel.LabelOf<T>;
+        /** Check whether a base constraint exists */
+        type HasLabel<T, L extends string = string> = NamespaceLabel.HasLabel<T, L>;
+        /** Extract the tag from a type */
+        type TagOf<T> = NamespaceTag.TagOf<T>;
+        /** Check whether a type is tagged */
+        type HasTag<T, Ta extends string | symbol = string | symbol> = NamespaceTag.HasTag<T, Ta>;
+        /** Extract variant union */
+        type VariantsOf<T> = NamespaceVariants.VariantsOf<T>;
+        /** Check whether variants exist */
+        type HasVariants<T> = NamespaceVariants.HasVariants<T>;
+        /** Extract the base type */
+        type BaseOf<T> = NamespaceBase.BaseOf<T>;
+        /** Check whether a base constraint exists */
+        type HasBase<T, B = unknown> = NamespaceBase.HasBase<T, B>;
+        /** Extract the input */
+        type InputOf<T> = NamespaceInput.InputOf<T>;
+        /** Check whether an input exists */
+        type HasInput<T, I = unknown> = NamespaceInput.HasInput<T, I>;
+        /** Extract the trait map */
+        type TraitsOf<T> = NamespaceTraits.TraitsOf<T>;
+        /** Extract trait keys */
+        type TraitKeysOf<T> = NamespaceTraits.TraitKeysOf<T>;
+        /** Check if any traits exist */
+        type HasTraits<T, Tr extends string | symbol = string | symbol> = NamespaceTraits.HasTraits<T, Tr>;
+        /** Check whether value is branded with */
+        type isBrand<T, B extends Brand.Any> = NamespaceBrand.isBrand<T, B>;
+        /** Check whether value is branded with */
+        type isIdentity<T, I extends Identity.Any> = NamespaceIdentity.isIdentity<T, I>;
+        /** Check whether value has trait */
+        type HasTrait<T, Tr extends Trait.Any> = NamespaceTrait.HasTrait<T, Tr>;
+        /** Check whether value is transformed with */
+        type isTransformed<T, Tr extends Transformation.Any> = NamespaceTransformation.isTransformed<T, Tr>;
+    }
+    /** --------------------------------------
+     * 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.
+         *
+         * @template B - The brand declaration to assign.
+         * @returns A function that casts any value to the branded type.
+         */
+        const asBrand: <B extends NamespaceBrand.Any>() => <T>(value: T) => NamespaceBrand.Assign<B, T>;
+        /**
+         * Creates a typed caster that assigns an {@link Identity} to a value.
+         *
+         * This is a zero-cost runtime assertion helper — it simply returns the value
+         * with the identity's nominal type applied. Use it when you know a value
+         * conforms to an identity but need to assert it for the type system.
+         *
+         * @template I - The identity declaration to assign.
+         * @returns A function that casts any value to the assigned identity type.
+         */
+        const asIdentity: <I extends NamespaceIdentity.Any>() => <V>(value: V) => NamespaceIdentity.Assign<I, V>;
+        /**
+         * Creates a typed caster that adds a single {@link Trait} to a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The trait declaration to add.
+         * @returns A function that adds the trait to any value.
+         */
+        const addTrait: <Tr extends NamespaceTrait.Any>() => <V>(value: V) => NamespaceTrait.Add<Tr, V>;
+        /**
+         * Creates a typed caster that adds multiple {@link Trait}s to a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - Tuple of trait declarations to add.
+         * @returns A function that adds all traits to any value.
+         */
+        const addTraits: <Tr extends NamespaceTrait.Any[]>() => <V>(value: V) => NamespaceTrait.AddMulti<Tr, V>;
+        /**
+         * Creates a typed caster that removes a single {@link Trait} from a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The trait declaration to remove.
+         * @returns A function that drops the trait from any value.
+         */
+        const dropTrait: <Tr extends NamespaceTrait.Any>() => <V>(value: V) => NamespaceTrait.Drop<Tr, V>;
+        /**
+         * Creates a typed caster that removes multiple {@link Trait}s from a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - Tuple of trait declarations to remove.
+         * @returns A function that drops all specified traits from any value.
+         */
+        const dropTraits: <Tr extends NamespaceTrait.Any[]>() => <V>(value: V) => NamespaceTrait.DropMulti<Tr, V>;
+        /**
+         * Creates a typed applicator for a {@link Transformation}.
+         *
+         * Use this for "forward" operations (e.g., encrypt, encode, wrap).
+         * The `input` parameter is only used for type inference — it is not used at runtime.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The transformation declaration.
+         * @returns A function that applies the transformation while preserving the input type for later revert.
+         */
+        const applyTransformation: <Tr extends NamespaceTransformation.Any>() => <I, T>(input: I, transformed: T) => NamespaceTransformation.Apply<Tr, I, T>;
+        /**
+         * Creates a typed reverter for a {@link Transformation}.
+         *
+         * Use this for "reverse" operations (e.g., decrypt, decode, unwrap).
+         * The `transformed` parameter is used for type inference of the expected input,
+         * and `input` is the computed result that must match the stored input type.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The transformation declaration.
+         * @returns A function that reverts the transformation, stripping phantom metadata.
+         */
+        const revertTransformation: <Tr extends NamespaceTransformation.Any>() => <T, I>(transformed: T, input: I) => NamespaceTransformation.Revert<Tr, T, I>;
+    }
+    /** --------------------------------------
+     * Phantom object manipulators
+     * --------------------------------------- */
+    /** Get phantom metadata object from a type */
+    type PhantomOf<T> = NamespacePhantom.PhantomOf<T>;
+    /** Stip phantom metadata object from a type */
+    type StripPhantom<T> = NamespacePhantom.StripPhantom<T>;
+    /** run-time helper for 'StringPhantom', used for debugging mainly */
+    const stripPhantom: <T>(value: T) => import("./types/core").Phantom.StripPhantom<T>;
+    /** --------------------------------------
+     * Error type
+     * --------------------------------------- */
+    /** Unique Error type for rules validation in phantom. */
+    type ErrorType<E> = _ErrorType<E>;
+    /** --------------------------------------
+     * Chain class
+     * --------------------------------------- */
+    /**
+     * A fluent PhantomChain class for chaining Phantom assertors.
+     *
+     * This provides a better developer experience (DX) by allowing method chaining
+     * with `.with(assertor)` instead of nesting function calls or using a variadic chain.
+     * Each `.with()` applies the assertor to the current value, updating the type incrementally.
+     * Call `.end()` to retrieve the final value.
+     *
+     * At runtime, assertors are zero-cost casts, so the PhantomChain adds minimal overhead
+     * (just object creation and method calls).
+     *
+     * Example:
+     * ```ts
+     * const asMyBrand = Phantom.assertors.asBrand<MyBrand>();
+     * const asMyTrait = Phantom.assertors.asTrait<MyTrait>();
+     * const applyMyTransform = Phantom.assertors.applyTransformation<MyTransform>();
+     *
+     * const result = new PhantomChain("value")
+     *   .with(asMyBrand)
+     *   .with(asMyTrait)
+     *   .with(applyMyTransform)
+     *   .end();
+     * ```
+     */
+    const PhantomChain: typeof _PhantomChain;
+}
+//# sourceMappingURL=phantom.d.ts.map

package/dist/phantom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.d.ts","sourceRoot":"","sources":["../src/phantom.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,IAAI,aAAa,EAAE,MAAM,SAAS,CAAC;AACxD,OAAO,KAAK,EACV,IAAI,IAAI,aAAa,EACrB,KAAK,IAAI,cAAc,EACvB,QAAQ,IAAI,iBAAiB,EAC7B,KAAK,IAAI,cAAc,EACvB,KAAK,IAAI,cAAc,EACvB,GAAG,IAAI,YAAY,EACnB,KAAK,IAAI,cAAc,EACvB,MAAM,IAAI,eAAe,EACzB,cAAc,IAAI,uBAAuB,EACzC,QAAQ,IAAI,iBAAiB,EAC7B,SAAS,IAAI,UAAU,EACxB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAEtD,yBAAiB,OAAO,CAAC;IACvB;;iDAE6C;IAE7C;;;;OAIG;IACH,UAAiB,KAAK,CAAC;QACrB,qCAAqC;QACrC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;QACrC,wBAAwB;QACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnD,mCAAmC;QACnC,KAAY,QAAQ,CAClB,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACnC;IAED;;;;;OAKG;IACH,UAAiB,GAAG,CAAC;QACnB,uCAAuC;QACvC,KAAY,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC;QACnC,kCAAkC;QAClC,KAAY,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7C,qCAAqC;QACrC,KAAY,MAAM,CAChB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KAChC;IAED;;;;OAIG;IACH,UAAiB,QAAQ,CAAC;QACxB,6CAA6C;QAC7C,KAAY,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC;QACxC,4BAA4B;QAC5B,KAAY,UAAU,CAAC,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5D,mCAAmC;QACnC,KAAY,WAAW,CAAC,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;KAC/D;IAED;;;;;OAKG;IACH,UAAiB,IAAI,CAAC;QACpB,uCAAuC;QACvC,KAAY,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC;QACpC,4BAA4B;QAC5B,KAAY,MAAM,CAAC,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChD,6CAA6C;QAC7C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACnE;IAED;;;;OAIG;IACH,UAAiB,KAAK,CAAC;QACrB,kCAAkC;QAClC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;QACrC,wBAAwB;QACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnD,oCAAoC;QACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACtE;IAED;;;;;OAKG;IACH,UAAiB,MAAM,CAAC;QACtB,2CAA2C;QAC3C,KAAY,GAAG,GAAG,eAAe,CAAC,GAAG,CAAC;QACtC,4BAA4B;QAC5B,KAAY,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,yBAAyB;QACzB,KAAY,WAAW,CAAC,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5D,gCAAgC;QAChC,KAAY,SAAS,CACnB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,eAAe,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KACtC;IAED;;;;;OAKG;IACH,UAAiB,KAAK,CAAC;QACrB,gCAAgC;QAChC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;QACrC,sBAAsB;QACtB,KAAY,OAAO,CACjB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,uEAAuE;QACvE,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,qEAAqE;QACrE,KAAY,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3E,0CAA0C;QAC1C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KAC5E;IAED;;;;;;OAMG;IACH,UAAiB,QAAQ,CAAC;QACxB,mCAAmC;QACnC,KAAY,GAAG,GAAG,iBAAiB,CAAC,GAAG,CAAC;QACxC,0BAA0B;QAC1B,KAAY,OAAO,CACjB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,SAAS,OAAO,GAAG,KAAK,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,iBAAiB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1C,sEAAsE;QACtE,KAAY,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,iBAAiB,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,+BAA+B;QAC/B,KAAY,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAAI,iBAAiB,CAAC,UAAU,CACrE,CAAC,EACD,CAAC,CACF,CAAC;QACF,4CAA4C;QAC5C,KAAY,WAAW,CACrB,CAAC,SAAS,GAAG,EACb,CAAC,SAAS,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAC9B,iBAAiB,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,wCAAwC;QACxC,KAAY,eAAe,CACzB,CAAC,EACD,CAAC,SAAS,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,IAC9B,iBAAiB,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,0CAA0C;QAC1C,KAAY,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,iBAAiB,CAAC,UAAU,CACrE,CAAC,EACD,CAAC,CACF,CAAC;KACH;IAED;;;;;OAKG;IACH,UAAiB,KAAK,CAAC;QACrB,gCAAgC;QAChC,KAAY,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC;QACrC,sBAAsB;QACtB,KAAY,OAAO,CAAC,EAAE,SAAS,MAAM,GAAG,MAAM,IAC5C,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7B,kBAAkB;QAClB,KAAY,GAAG,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/D,0BAA0B;QAC1B,KAAY,QAAQ,CAClB,EAAE,SAAS,SAAS,GAAG,EAAE,EACzB,CAAC,IACC,cAAc,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACnC,qBAAqB;QACrB,KAAY,IAAI,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACjE,6BAA6B;QAC7B,KAAY,SAAS,CACnB,EAAE,SAAS,SAAS,GAAG,EAAE,EACzB,CAAC,IACC,cAAc,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACpC,oCAAoC;QACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,GAAG,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KAC1E;IAED;;;;;OAKG;IACH,UAAiB,cAAc,CAAC;QAC9B,yCAAyC;QACzC,KAAY,GAAG,GAAG,uBAAuB,CAAC,GAAG,CAAC;QAC9C,+BAA+B;QAC/B,KAAY,OAAO,CACjB,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,EACxB,CAAC,SAAS,OAAO,GAAG,KAAK,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,uBAAuB,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,0EAA0E;QAC1E,KAAY,KAAK,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,KAAK,CACrE,EAAE,EACF,CAAC,EACD,CAAC,CACF,CAAC;QACF,8BAA8B;QAC9B,KAAY,MAAM,CAAC,EAAE,SAAS,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,MAAM,CACvE,EAAE,EACF,CAAC,EACD,CAAC,CACF,CAAC;QACF,0DAA0D;QAC1D,KAAY,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,8CAA8C;QAC9C,KAAY,aAAa,CACvB,CAAC,EACD,EAAE,SAAS,GAAG,IACZ,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KAClD;IAED;;;;OAIG;IACH,UAAiB,OAAO,CAAC;QACvB,8CAA8C;QAC9C,KAAY,SAAS,CAAC,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACzD,+CAA+C;QAC/C,KAAY,YAAY,CAAC,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/D,qEAAqE;QAC9D,MAAM,YAAY,iEAAgC,CAAC;QAC1D,wBAAwB;QACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnD,6CAA6C;QAC7C,KAAY,QAAQ,CAClB,CAAC,EACD,CAAC,SAAS,MAAM,GAAG,MAAM,IACvB,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,kCAAkC;QAClC,KAAY,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7C,qCAAqC;QACrC,KAAY,MAAM,CAChB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,YAAY,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,4BAA4B;QAC5B,KAAY,UAAU,CAAC,CAAC,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5D,mCAAmC;QACnC,KAAY,WAAW,CAAC,CAAC,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC9D,4BAA4B;QAC5B,KAAY,MAAM,CAAC,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChD,6CAA6C;QAC7C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,wBAAwB;QACxB,KAAY,OAAO,CAAC,CAAC,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACnD,oCAAoC;QACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,4BAA4B;QAC5B,KAAY,QAAQ,CAAC,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACtD,yBAAyB;QACzB,KAAY,WAAW,CAAC,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;QAC5D,gCAAgC;QAChC,KAAY,SAAS,CACnB,CAAC,EACD,EAAE,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,IAC1C,eAAe,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrC,0CAA0C;QAC1C,KAAY,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3E,0CAA0C;QAC1C,KAAY,UAAU,CACpB,CAAC,EACD,CAAC,SAAS,QAAQ,CAAC,GAAG,IACpB,iBAAiB,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,oCAAoC;QACpC,KAAY,QAAQ,CAAC,CAAC,EAAE,EAAE,SAAS,KAAK,CAAC,GAAG,IAAI,cAAc,CAAC,QAAQ,CACrE,CAAC,EACD,EAAE,CACH,CAAC;QACF,8CAA8C;QAC9C,KAAY,aAAa,CACvB,CAAC,EACD,EAAE,SAAS,cAAc,CAAC,GAAG,IAC3B,uBAAuB,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;KAClD;IAED;;iDAE6C;IAE7C,UAAiB,SAAS,CAAC;QACzB;;;;;;;;;WASG;QACI,MAAM,OAAO,uCA7Td,CAAC,EAAE,QAAQ,gCA6TgC,CAAC;QAElD;;;;;;;;;WASG;QACI,MAAM,UAAU,0CAvUtB,CAAC,EAAE,QAAQ,mCAuU2C,CAAC;QAExD;;;;;;;WAOG;QACI,MAAM,QAAQ,wCAxVpB,CAAC,EAAG,QAAO,8BAwVuC,CAAC;QAEpD;;;;;;;WAOG;QACI,MAAM,SAAS,0CArVjB,CAAC,EAAE,QAAQ,mCAqVqC,CAAC;QAEtD;;;;;;;WAOG;QACI,MAAM,SAAS,wCArVV,CAAA,EAAE,QAAQ,+BAqV+B,CAAC;QAEtD;;;;;;;WAOG;QACI,MAAM,UAAU,0CAhVL,CAAC,EAAE,QAAQ,oCAgV0B,CAAC;QAExD;;;;;;;;;;WAUG;QACI,MAAM,mBAAmB,iDA5XlB,CAAC,EAAC,CAAE,EAAG,QACrB,EAAE,cAAc,4CA2XyD,CAAC;QAE1E;;;;;;;;;;;WAWG;QACI,MAAM,oBAAoB,iDAjX3B,CAAC,EAAC,CAAE,EAAE,cAAc,EAAC,QAAS,6CAiXuC,CAAC;KAC7E;IAED;;iDAE6C;IAE7C,8CAA8C;IAC9C,KAAY,SAAS,CAAC,CAAC,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACzD,+CAA+C;IAC/C,KAAY,YAAY,CAAC,CAAC,IAAI,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/D,qEAAqE;IAC9D,MAAM,YAAY,iEAAgC,CAAC;IAE1D;;iDAE6C;IAE7C,yDAAyD;IACzD,KAAY,SAAS,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IAEzC;;iDAE6C;IAE7C;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACI,MAAM,YAAY,sBAAgB,CAAC;CAC3C"}

package/dist/phantom.js

@@ -0,0 +1,139 @@
+import { assertors as NamespaceAssertors } from './assertors';
+import { PhantomChain as _PhantomChain } from './chain';
+import { Phantom as NamespacePhantom } from './types';
+export var Phantom;
+(function (Phantom) {
+    /** --------------------------------------
+     * Types
+     * --------------------------------------- */
+    /**
+     * Inspect API.
+     *
+     * Inspection helpers of phantom types.
+     */
+    let Inspect;
+    (function (Inspect) {
+        /** run-time helper for 'StringPhantom', used for debugging mainly */
+        Inspect.stripPhantom = NamespacePhantom.stripPhantom;
+    })(Inspect = Phantom.Inspect || (Phantom.Inspect = {}));
+    /** --------------------------------------
+     * assertors
+     * --------------------------------------- */
+    let assertors;
+    (function (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.
+         *
+         * @template B - The brand declaration to assign.
+         * @returns A function that casts any value to the branded type.
+         */
+        assertors.asBrand = NamespaceAssertors.asBrand;
+        /**
+         * Creates a typed caster that assigns an {@link Identity} to a value.
+         *
+         * This is a zero-cost runtime assertion helper — it simply returns the value
+         * with the identity's nominal type applied. Use it when you know a value
+         * conforms to an identity but need to assert it for the type system.
+         *
+         * @template I - The identity declaration to assign.
+         * @returns A function that casts any value to the assigned identity type.
+         */
+        assertors.asIdentity = NamespaceAssertors.asIdentity;
+        /**
+         * Creates a typed caster that adds a single {@link Trait} to a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The trait declaration to add.
+         * @returns A function that adds the trait to any value.
+         */
+        assertors.addTrait = NamespaceAssertors.addTrait;
+        /**
+         * Creates a typed caster that adds multiple {@link Trait}s to a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - Tuple of trait declarations to add.
+         * @returns A function that adds all traits to any value.
+         */
+        assertors.addTraits = NamespaceAssertors.addTraits;
+        /**
+         * Creates a typed caster that removes a single {@link Trait} from a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The trait declaration to remove.
+         * @returns A function that drops the trait from any value.
+         */
+        assertors.dropTrait = NamespaceAssertors.dropTrait;
+        /**
+         * Creates a typed caster that removes multiple {@link Trait}s from a value.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - Tuple of trait declarations to remove.
+         * @returns A function that drops all specified traits from any value.
+         */
+        assertors.dropTraits = NamespaceAssertors.dropTraits;
+        /**
+         * Creates a typed applicator for a {@link Transformation}.
+         *
+         * Use this for "forward" operations (e.g., encrypt, encode, wrap).
+         * The `input` parameter is only used for type inference — it is not used at runtime.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The transformation declaration.
+         * @returns A function that applies the transformation while preserving the input type for later revert.
+         */
+        assertors.applyTransformation = NamespaceAssertors.applyTransformation;
+        /**
+         * Creates a typed reverter for a {@link Transformation}.
+         *
+         * Use this for "reverse" operations (e.g., decrypt, decode, unwrap).
+         * The `transformed` parameter is used for type inference of the expected input,
+         * and `input` is the computed result that must match the stored input type.
+         *
+         * Zero-runtime-cost assertion helper.
+         *
+         * @template Tr - The transformation declaration.
+         * @returns A function that reverts the transformation, stripping phantom metadata.
+         */
+        assertors.revertTransformation = NamespaceAssertors.revertTransformation;
+    })(assertors = Phantom.assertors || (Phantom.assertors = {}));
+    /** run-time helper for 'StringPhantom', used for debugging mainly */
+    Phantom.stripPhantom = NamespacePhantom.stripPhantom;
+    /** --------------------------------------
+     * Chain class
+     * --------------------------------------- */
+    /**
+     * A fluent PhantomChain class for chaining Phantom assertors.
+     *
+     * This provides a better developer experience (DX) by allowing method chaining
+     * with `.with(assertor)` instead of nesting function calls or using a variadic chain.
+     * Each `.with()` applies the assertor to the current value, updating the type incrementally.
+     * Call `.end()` to retrieve the final value.
+     *
+     * At runtime, assertors are zero-cost casts, so the PhantomChain adds minimal overhead
+     * (just object creation and method calls).
+     *
+     * Example:
+     * ```ts
+     * const asMyBrand = Phantom.assertors.asBrand<MyBrand>();
+     * const asMyTrait = Phantom.assertors.asTrait<MyTrait>();
+     * const applyMyTransform = Phantom.assertors.applyTransformation<MyTransform>();
+     *
+     * const result = new PhantomChain("value")
+     *   .with(asMyBrand)
+     *   .with(asMyTrait)
+     *   .with(applyMyTransform)
+     *   .end();
+     * ```
+     */
+    Phantom.PhantomChain = _PhantomChain;
+})(Phantom || (Phantom = {}));
+//# sourceMappingURL=phantom.js.map

package/dist/phantom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"phantom.js","sourceRoot":"","sources":["../src/phantom.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,IAAI,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,YAAY,IAAI,aAAa,EAAE,MAAM,SAAS,CAAC;AAcxD,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,SAAS,CAAC;AAEtD,MAAM,KAAW,OAAO,CA4bvB;AA5bD,WAAiB,OAAO;IACtB;;iDAE6C;IAuO7C;;;;OAIG;IACH,IAAiB,OAAO,CA2DvB;IA3DD,WAAiB,OAAO;QAKtB,qEAAqE;QACxD,oBAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC;IAqD5D,CAAC,EA3DgB,OAAO,GAAP,eAAO,KAAP,eAAO,QA2DvB;IAED;;iDAE6C;IAE7C,IAAiB,SAAS,CA2FzB;IA3FD,WAAiB,SAAS;QACxB;;;;;;;;;WASG;QACU,iBAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC;QAElD;;;;;;;;;WASG;QACU,oBAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC;QAExD;;;;;;;WAOG;QACU,kBAAQ,GAAG,kBAAkB,CAAC,QAAQ,CAAC;QAEpD;;;;;;;WAOG;QACU,mBAAS,GAAG,kBAAkB,CAAC,SAAS,CAAC;QAEtD;;;;;;;WAOG;QACU,mBAAS,GAAG,kBAAkB,CAAC,SAAS,CAAC;QAEtD;;;;;;;WAOG;QACU,oBAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC;QAExD;;;;;;;;;;WAUG;QACU,6BAAmB,GAAG,kBAAkB,CAAC,mBAAmB,CAAC;QAE1E;;;;;;;;;;;WAWG;QACU,8BAAoB,GAAG,kBAAkB,CAAC,oBAAoB,CAAC;IAC9E,CAAC,EA3FgB,SAAS,GAAT,iBAAS,KAAT,iBAAS,QA2FzB;IAUD,qEAAqE;IACxD,oBAAY,GAAG,gBAAgB,CAAC,YAAY,CAAC;IAS1D;;iDAE6C;IAE7C;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACU,oBAAY,GAAG,aAAa,CAAC;AAC5C,CAAC,EA5bgB,OAAO,KAAP,OAAO,QA4bvB"}

package/dist/types/composed/brand.d.ts

@@ -0,0 +1,32 @@
+import type { Label as NamespaceLabel, Tag as NamespaceTag } from '../core';
+import type { ErrorType, Errors } from '../errors';
+import type { HandleOriginalType, Prettify, WithMetadata } from './helpers';
+/**
+ * Branding API.
+ *
+ * Brands provide nominal typing for otherwise identical values.
+ * A value may only be branded once.
+ */
+export declare namespace Brand {
+    /** Type guard for any brand. */
+    export type Any = NamespaceTag.Of<string | symbol>;
+    /** Declare a brand */
+    export type Declare<T extends string | symbol, L extends string = never> = Prettify<NamespaceTag.Of<T> & NamespaceLabel.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> = NamespaceTag.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> = NamespaceTag.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 {};
+}
+//# sourceMappingURL=brand.d.ts.map

package/dist/types/composed/brand.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand.d.ts","sourceRoot":"","sources":["../../../src/types/composed/brand.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,IAAI,cAAc,EAAE,GAAG,IAAI,YAAY,EAAE,MAAM,SAAS,CAAC;AAC5E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,KAAK,EAAE,kBAAkB,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAE5E;;;;;GAKG;AACH,yBAAiB,KAAK,CAAC;IACrB,gCAAgC;IAChC,MAAM,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;IAEnD,sBAAsB;IACtB,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,MAAM,GAAG,MAAM,EACzB,CAAC,SAAS,MAAM,GAAG,KAAK,IACtB,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE;;;OAGG;IACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IACjC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnE,gDAAgD;IAChD,KAAK,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAC3B,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAC/B,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,GACzC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzB;;OAEG;IACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IACrC,CAAC,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvE,oDAAoD;IACpD,KAAK,WAAW,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,IAC/B,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE/D,0CAA0C;IAC1C,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;;CACpE"}

package/dist/types/composed/brand.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=brand.js.map

package/dist/types/composed/brand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brand.js","sourceRoot":"","sources":["../../../src/types/composed/brand.ts"],"names":[],"mappings":""}

package/dist/types/composed/helpers.d.ts

@@ -0,0 +1,75 @@
+import type { Phantom } from '../core';
+/** --------------------------------------
+ * Phantom type helpers
+ * --------------------------------------- */
+/**
+ * Attach or override phantom metadata while preserving
+ * the original runtime type.
+ */
+export type WithMetadata<T, Change extends object> = Phantom.StripPhantom<T> & {
+    __Phantom: Prettify<Merge<IfNever<Phantom.PhantomOf<T>>, Omit<IfNever<Phantom.PhantomOf<Change>>, '__Base'> & SetType<T>>>;
+};
+/**
+ * Patch phantom metadata without touching the original type.
+ * Used when mutating metadata declarations themselves.
+ */
+export type PatchMetadata<T, Change extends object> = {
+    __Phantom: Prettify<Merge<IfNever<Phantom.PhantomOf<T>>, IfNever<Phantom.PhantomOf<Change>>>>;
+};
+/**
+ * Remove a metadata dimension while preserving the original type.
+ */
+export type WithoutMetadata<T, S extends string> = Phantom.StripPhantom<T> & {
+    __Phantom: Prettify<Omit<IfNever<Phantom.PhantomOf<T>>, S> & SetType<T>>;
+};
+/**
+ * Remove metadata without preserving original type information.
+ * Intended for internal cleanup.
+ */
+export type StripMetadata<T, S extends string> = {
+    __Phantom: Prettify<Omit<IfNever<Phantom.PhantomOf<T>>, S>>;
+};
+/**
+ * Update '__OriginalType' if the passed type is changed.
+ */
+export type HandleOriginalType<T> = Equals<Omit<Phantom.StripPhantom<T>, never>, Omit<T, '__Phantom'>> extends true ? T : Omit<T, '__Phantom'> & PatchMetadata<T, {
+    __Phantom: {
+        __OriginalType?: Omit<T, '__Phantom'>;
+    };
+}>;
+/**
+ * Attaches or updates the original runtime type metadata
+ * for a nominal value.
+ *
+ * If the type already carries an `__OriginalType`, it is preserved.
+ * Otherwise, the provided type is stored as the original type.
+ *
+ * This is used to maintain a stable runtime type while layering
+ * additional phantom metadata.
+ */
+type SetType<T> = T extends {
+    __Phantom: {
+        __OriginalType?: infer O;
+    };
+} ? {
+    __OriginalType?: O;
+} : {
+    __OriginalType?: T;
+};
+/** --------------------------------------
+ * Generic helpers
+ * --------------------------------------- */
+/** Prettify type */
+export type Prettify<T> = {
+    [K in keyof T]: K extends '__Phantom' | '__Traits' ? Prettify<T[K]> : T[K];
+} & {};
+/** Check equality and returns true or false */
+export type Equals<A1 extends any, A2 extends any> = (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false;
+/** Type to replace 'never' with another type */
+export type IfNever<T, R = {}> = [T] extends [never] ? R : T;
+/** Get intersection from union */
+export type IntersectOf<U extends any> = (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>;
+export {};
+//# sourceMappingURL=helpers.d.ts.map

package/dist/types/composed/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../../src/types/composed/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAEvC;;6CAE6C;AAE7C;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG;IAC7E,SAAS,EAAE,QAAQ,CACjB,KAAK,CACH,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAC7B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAChE,CACF,CAAC;CACH,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI;IACpD,SAAS,EAAE,QAAQ,CACjB,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CACzE,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG;IAC3E,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;CAC1E,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IAC/C,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAC9B,MAAM,CACJ,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EACpC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,CACrB,SAAS,IAAI,GACV,CAAC,GACD,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GAClB,aAAa,CACX,CAAC,EACD;IACE,SAAS,EAAE;QACT,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;KACvC,CAAC;CACH,CACF,CAAC;AAEV;;;;;;;;;GASG;AACH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,SAAS,EAAE;QAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GACnE;IAAE,cAAc,CAAC,EAAE,CAAC,CAAA;CAAE,GACtB;IAAE,cAAc,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAE3B;;6CAE6C;AAE7C,oBAAoB;AACpB,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI;KACvB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,WAAW,GAAG,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC3E,GAAG,EAAE,CAAC;AAEP,+CAA+C;AAC/C,MAAM,MAAM,MAAM,CAAC,EAAE,SAAS,GAAG,EAAE,EAAE,SAAS,GAAG,IAC/C,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,GAChE,IAAI,GACJ,KAAK,GACL,IAAI,GACJ,KAAK,CAAC;AAEZ,gDAAgD;AAChD,MAAM,MAAM,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAE7D,kCAAkC;AAClC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,GAAG,IAAI,CACvC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAC3C,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAC1B,CAAC,GACD,KAAK,CAAC;AAEV,wGAAwG;AACxG,KAAK,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,SAAS,MAAM,IAAI,QAAQ,CACzD,IAAI,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,CACxB,CAAC"}

package/dist/types/composed/helpers.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=helpers.js.map

package/dist/types/composed/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../../src/types/composed/helpers.ts"],"names":[],"mappings":""}