@vicin/sigil 2.2.1 → 3.1.0

package/dist/index.d.mts

@@ -1,3 +1,10 @@
+/** -----------------------------------------
+ *  Nominal identity symbol
+ * ----------------------------------------- */
+/**
+ * Symbol used for nominal typing
+ */
+declare const sigil: unique symbol;
 /** -----------------------------------------
  *  Class and instance
  * ----------------------------------------- */
@@ -9,48 +16,34 @@
  * predicates implemented by the `Sigilify` mixin.
  *
  * @template L - Narrow string literal type representing the label.
- * @template P - Optinal parent to extend its '__SIGIL_BRAND__'.
+ * @template P - Optinal parent to extend its '[sigil]'.
  */
-interface ISigilStatic<L extends string = string, P extends Function = never> {
-    /**
-     * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
-     *
-     * - HAVE NO RUN-TIME VALUE (undefined)
-     * - Provides a *type-only* unique marker that makes instances nominally
-     *   distinct by label and allows propagation/merging of brand keys across inheritance.
-     */
-    readonly __SIGIL_BRAND__: Prettify<{
-        [k in L]: true;
-    } & SigilBrandOf<P>>;
+interface ISigilStatic<L extends string = string> {
     /** Class-level label constant (identity). */
-    readonly SigilLabel: string;
+    readonly SigilLabel: L;
     /** Class-level label constant (human readable). */
-    readonly SigilEffectiveLabel: string;
+    readonly SigilEffectiveLabel: L;
     /**
      * Copy of the linearized sigil type label chain for the current constructor.
-     * Useful for debugging and strict lineage comparisons.
+     * Useful for debugging.
      */
     readonly SigilLabelLineage: readonly string[];
     /**
-     * Copy of the sigil type label set for the current constructor. Useful for
-     * O(1) membership checks and debugging.
+     * Copy of the sigil type label set for the current constructor.
+     * Useful for debugging.
      */
     readonly SigilLabelSet: Readonly<Set<string>>;
     /**
      * Runtime check that determines whether `obj` is an instance produced by a
      * sigil class.
      *
-     * Note: the concrete implementation provided by the mixin delegates to
-     * `isSigilInstance`.
-     *
      * @param obj - Value to test.
-     * @returns Type guard narrowing `obj` to `ISigil`.
+     * @returns Type guard narrowing `obj` to `ISigilInstance`.
      */
-    isSigilified(obj: unknown): obj is ISigil;
+    isSigilified(obj: unknown): obj is ISigilInstance;
     /**
-     * Check whether `other` is (or inherits from) the type represented by the
-     * calling constructor. Uses the other instance's `SigilLabelSet` to check
-     * membership. Works in O(1) and is reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     * Check whether `other` is (or inherits from) the instance represented by the
+     * calling constructor.
      *
      * This replaces `instanceof` so that checks remain valid across bundles/realms
      * and when subclassing.
@@ -60,39 +53,32 @@ interface ISigilStatic<L extends string = string, P extends Function = never> {
      * @param other - The object to test.
      * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfType<T extends ISigilStatic>(this: T, other: unknown): other is GetInstance<T>;
+    isOfType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
     /**
-     * Strict lineage comparison: verifies that the calling constructor's type
-     * lineage (by label) matches the `other`'s lineage element-by-element.
-     *
-     * Works in O(n) where `n` is the lineage length and is useful when order
-     * and exact ancestry must be confirmed. reliable when `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     * Check whether `other` is exactly the same instance represented by the
+     * calling constructor.
      *
      * @typeParam T - The specific sigil constructor (`this`).
-     * @param this - The constructor performing the strict check.
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns A type guard asserting `other` is an instance whose lineage matches exactly.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfTypeStrict<T extends ISigilStatic>(this: T, other: unknown): other is GetInstance<T>;
+    isExactType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
 }
 /**
  * Instance-side interface describing properties present on sigil instances.
  * The methods mirror the instance helpers injected by the mixin.
  *
  * @template L - Narrow string literal type for the label returned by `getSigilLabel`.
- * @template P - Optinal parent to extend its '__SIGIL_BRAND__'.
+ * @template P - Optinal parent to extend its '[sigil]'.
  */
 interface ISigilInstance<L extends string = string, P extends Function = never> {
-    /**
-     * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
-     *
-     * - HAVE NO RUN-TIME VALUE (undefined)
-     * - Provides a *type-only* unique marker that makes instances nominally
-     *   distinct by label and allows propagation/merging of brand keys across inheritance.
-     */
-    readonly __SIGIL_BRAND__: Prettify<{
+    /** Compile-time nominal brand that encodes the class label `L` plus parent's sigil labels `SigilOf<P>`. */
+    readonly [sigil]: Prettify<{
+        Sigil: true;
+    } & IfNever<SigilOf<P>, {}> & {
         [k in L]: true;
-    } & SigilBrandOf<P>>;
+    }>;
     /** Returns identity sigil label of the class constructor. */
     getSigilLabel(): string;
     /** Returns human-readable sigil label of the class constructor. */
@@ -102,9 +88,8 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
     /** Returns copy of sigil type label set of the class constructor. */
     getSigilLabelSet(): Readonly<Set<string>>;
     /**
-     * Check whether `other` is (or inherits from) the type represented by the
-     * calling constructor. Uses the other instance's `SigilLabelSet` to check
-     * membership. Works in O(1) and is reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     * Check whether `other` is (or inherits from) the instance represented by the
+     * calling constructor.
      *
      * This replaces `instanceof` so that checks remain valid across bundles/realms
      * and when subclassing.
@@ -114,79 +99,41 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
      * @param other - The object to test.
      * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfType<T extends ISigilInstance>(this: T, other: unknown): other is GetInstance<T>;
+    isOfType<T extends ISigilInstance>(this: T, other: unknown): other is T;
     /**
-     * Strict lineage comparison: verifies that the calling constructor's type
-     * lineage (by label) matches the `other`'s lineage element-by-element.
-     *
-     * Works in O(n) where `n` is the lineage length and is useful when order
-     * and exact ancestry must be confirmed. reliable when `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     * Check whether `other` is exactly the same instance represented by the
+     * calling constructor.
      *
      * @typeParam T - The specific sigil constructor (`this`).
-     * @param this - The constructor performing the strict check.
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns A type guard asserting `other` is an instance whose lineage matches exactly.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfTypeStrict<T extends ISigilInstance>(this: T, other: unknown): other is GetInstance<T>;
+    isExactType<T extends ISigilInstance>(this: T, other: unknown): other is T;
 }
 /**
  * Combined constructor + static interface for a sigil class.
  *
  * @template L - Narrow string literal type for the label.
- * @template P - Optinal parent to extend its '__SIGIL_BRAND__'.
+ * @template P - Optinal parent to extend its '[sigil]'.
  */
-type ISigil<L extends string = string, P extends Function = never> = ConstructorAbstract<ISigilInstance<L, P>> & ISigilStatic<L, P>;
-/** -----------------------------------------
- *  HOF pattern types
- * ----------------------------------------- */
+type ISigil<L extends string = string, P extends Function = never> = ConstructorAbstract<ISigilInstance<L, P>> & ISigilStatic<L>;
+/** Update '[sigil]' field for nominal typing */
+type ExtendSigil<L extends string, P extends ISigilInstance> = Prettify<IfNever<SigilOf<P>, {}> & {
+    [K in L]: true;
+}>;
 /**
- * Combine an existing sigil constructor type `S` with a **new** label `L`,
- * while inheriting/propagating compile-time brands from an optional parent sigil `P`.
+ * Extract the compile-time label map from a sigil instance `S`.
  *
- * @template S - The original Untyped Sigil constructor type being augmented.
- * @template L - The new label literal to associate with the resulting constructor.
+ * @typeParam S - A sigil instance type.
+ * @returns The sigil label record (e.g. `{ User: true, Admin: true }`) or never if not Sigil class instance.
  */
-type TypedSigil<S extends Function, L extends string = string> = S & AppendLabel<L> & ConstructorAbstract<AppendLabel<L>>;
-/**
- * Generic helper extract instance of the class even in protected and private constructors.
- * @remark Return same type is passed type has no 'prototype'
- */
-type GetInstance<T> = T extends {
-    prototype: infer R;
-} ? PrettifyBrand<R & {
-    __SIGIL_BRAND__: SigilBrandOf<T>;
-}> : T;
-/** Helper to append label into a class. */
-type AppendLabel<L extends string> = {
-    readonly __SIGIL_BRAND__: Prettify<{
-        [K in L]: true;
-    }>;
-};
-/** -----------------------------------------
- *  Manual pattern types
- * ----------------------------------------- */
-/** Update '__SIGIL_BRAND__' field when manual typing is used. */
-type UpdateSigilBrand<L extends string, P extends ISigilInstance> = Prettify<SigilBrandOf<P> & {
-    [K in L]: true;
-}>;
+type SigilOf<S> = S extends {
+    readonly [sigil]: infer Sigil;
+} ? Sigil : never;
 /** -----------------------------------------
  *  Generic types
  * ----------------------------------------- */
-/**
- * Extract the compile-time brand map from a sigil constructor `S`.
- *
- * @typeParam S - A sigil constructor type (e.g. `typeof SomeSigilClass`).
- * @returns The brand record carried on the constructor's instance type (e.g. `{ User: true, Admin: true }`).
- *
- * @remarks
- * - This helper is used purely at the type level to compute the set of brand keys
- *   that should be propagated to derived sigils.
- * - If `S` does not carry a `__SIGIL_BRAND__`, the resulting type is `never` and `IfNever<>`
- *   collapses it to an empty record.
- */
-type SigilBrandOf<S> = IfNever<S extends {
-    readonly __SIGIL_BRAND__: infer Brand;
-} ? Brand : never, Record<string, true>>;
 /**
  * Generic type for class constructors used by the Sigil utilities.
  *
@@ -211,12 +158,12 @@ type ConstructorAbstract<T = object, P extends any[] = any[]> = abstract new (..
 type Prettify<T> = {
     [K in keyof T]: T[K];
 } & {};
-/** Helper type to prettify value, handles nested '__SIGIL_BRAND__' field */
-type PrettifyBrand<T> = {
-    [K in keyof T]: K extends '__SIGIL_BRAND__' ? PrettifyBrand<T[K]> : T[K];
-} & {};
 /** Helper type to replace 'never' with another type */
 type IfNever<T, R = {}> = [T] extends [never] ? R : T;
+/** Helper type to get prototype of class */
+type GetPrototype<T> = T extends {
+    prototype: infer P;
+} ? P : never;
 
 /**
  * A minimal root Sigil class used by the library as a base identity.
@@ -226,30 +173,27 @@ type IfNever<T, R = {}> = [T] extends [never] ? R : T;
  */
 declare const Sigil: {
     new (...args: any[]): {
-        readonly __SIGIL_BRAND__: {
-            Sigil: true;
-        };
-        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
-        isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfType<T extends ISigilInstance>(this: T, other: unknown): other is T;
+        isExactType<T extends ISigilInstance>(this: T, other: unknown): other is T;
         getSigilLabel(): string;
         getSigilEffectiveLabel(): string;
         getSigilLabelLineage(): readonly string[];
         getSigilLabelSet(): Readonly<Set<string>>;
+        readonly [sigil]: {
+            Sigil: true;
+        };
     };
-    readonly __SIGIL_BRAND__: {
-        Sigil: true;
-    };
-    get SigilLabel(): string;
-    get SigilEffectiveLabel(): string;
+    get SigilLabel(): "Sigil";
+    get SigilEffectiveLabel(): "Sigil";
     get SigilLabelLineage(): readonly string[];
     get SigilLabelSet(): Readonly<Set<string>>;
-    isSigilified(obj: unknown): obj is ISigil;
-    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
-    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+    isSigilified(obj: unknown): obj is ISigilInstance;
+    isOfType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
+    isExactType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
 } & {
     new (): {};
 };
-type Sigil = GetInstance<typeof Sigil>;
+type Sigil = InstanceType<typeof Sigil>;
 /**
  * A sigil variant of the built-in `Error` constructor used by the library
  * to represent Sigil-specific errors.
@@ -259,30 +203,26 @@ type Sigil = GetInstance<typeof Sigil>;
  */
 declare const SigilError: {
     new (...args: any[]): {
-        readonly __SIGIL_BRAND__: {
-            Sigil: true;
-            SigilError: true;
-        };
-        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
-        isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfType<T extends ISigilInstance>(this: T, other: unknown): other is T;
+        isExactType<T extends ISigilInstance>(this: T, other: unknown): other is T;
         getSigilLabel(): string;
         getSigilEffectiveLabel(): string;
         getSigilLabelLineage(): readonly string[];
         getSigilLabelSet(): Readonly<Set<string>>;
+        readonly [sigil]: {
+            Sigil: true;
+            SigilError: true;
+        };
     };
-    readonly __SIGIL_BRAND__: {
-        Sigil: true;
-        SigilError: true;
-    };
-    get SigilLabel(): string;
-    get SigilEffectiveLabel(): string;
+    get SigilLabel(): "SigilError";
+    get SigilEffectiveLabel(): "SigilError";
     get SigilLabelLineage(): readonly string[];
     get SigilLabelSet(): Readonly<Set<string>>;
-    isSigilified(obj: unknown): obj is ISigil;
-    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
-    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+    isSigilified(obj: unknown): obj is ISigilInstance;
+    isOfType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
+    isExactType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
 } & ErrorConstructor;
-type SigilError = GetInstance<typeof SigilError>;
+type SigilError = InstanceType<typeof SigilError>;
 
 /**
  * Configuration options for the Sigil library.
@@ -300,24 +240,6 @@ interface SigilOptions {
      * Defaults to `null`.
      */
     labelValidation?: ((label: string) => boolean) | RegExp | null;
-    /**
-     * Skips the runtime check that prevents subclasses from inheriting
-     * the same sigil label as their ancestors.
-     *
-     * When `false` (default), extending a sigil class without
-     * using `WithSigil(newLabel)` decorator will throw an error if the label
-     * is reused and `OPTIONS.autofillLabels` is set to `false`.
-     *
-     * Set this to `true` only if you intentionally want subclasses to inherit labels
-     * from their ancestors (this weakens the uniqueness guarantees).
-     *
-     * WARNING:
-     * Disabling inheritanceCheck removes guaranties by 'Sigil' or unique label for
-     * each class and allow multiple child classes to use the same label which can
-     * result on false 'isOfType' result. this options should be used in debugging
-     * only to silence all errors but never in production.
-     */
-    skipLabelInheritanceCheck?: boolean;
     /**
      * When enabled, non-decorated subclasses that would otherwise inherit an ancestor's label
      * will be assigned an autogenerated random label (so that explicit labels stay unique).
@@ -346,44 +268,27 @@ declare const DEFAULT_LABEL_REGEX: RegExp;
 /**
  * Class decorator factory that attaches sigil statics to a class constructor.
  *
- * Notes:
- * - This decorator is intended to be applied to classes only. When used
- *   incorrectly (e.g. on a property), it is a no-op.
- * - Throws an error during class creation if the label validation fails (in development only).
- *
- * @typeParam L - Narrow string literal type for the provided label.
- * @param label - Optional sigil label to assign to the decorated class (e.g. `@scope/pkg.ClassName`).
- *                If not passed a random label is generated instead.
+ * @param label - Sigil label string to assign to the decorated class (e.g. `@scope/pkg.ClassName`).
  * @param opts - Options object to override any global options if needed.
  * @returns A class decorator compatible with the ECMAScript decorator context.
  */
-declare function WithSigil<L extends string>(label?: L, opts?: SigilOptions): (value: Function, context: any) => void;
+declare function WithSigil(label: string, opts?: SigilOptions): (value: Function, context: any) => void;
 
 /**
  * HOF (class inhancer) that attaches runtime sigil metadata to Sigil class.
  * Alternative to '@WithSigil' if you prefer HOFs.
  *
- * @typeParam S - Constructor type (should be an ISigil).
- * @typeParam L - Label literal to attach.
+ * @typeParam S - Constructor type (should be an instance of sigil class).
  * @param Class - The constructor (class) to enhance.
- * @param label - Optional label string. If omitted, a random label is generated.
+ * @param label - Sigil label string to assign to the decorated class (e.g. `@scope/pkg.ClassName`).
  * @param opts - Options object to override any global options if needed.
  * @returns The same constructor value, with runtime metadata ensured.
  */
-declare function withSigil<S extends Function, L extends string = string>(Class: S, label?: L, opts?: SigilOptions): S;
-/**
- * Convenience helper that combine 'withSigil' and update 'SigilBrand'.
- *
- * @typeParam S - Constructor type (should be an ISigil).
- * @typeParam L - Label literal to attach.
- * @param Class - The constructor (class) to decorate and type.
- * @param label - Optional label string. If omitted, a random label is generated.
- * @param parent - Optional parent sigil constructor (type-only).
- * @param opts - Options object to override any global options if needed.
- * @returns The same constructor value, with runtime metadata ensured and typed as `TypedSigil<S,L,P>`.
- */
-declare function withSigilTyped<S extends Function, L extends string = string>(Class: S, label?: L, opts?: SigilOptions): TypedSigil<S, L>;
+declare function withSigil<S extends Function>(Class: S, label: string, opts?: SigilOptions): S;
 
+/** -----------------------------------------
+ *  Introspection helpers
+ * ----------------------------------------- */
 /**
  * Runtime predicate that checks whether the provided value is a sigil constructor.
  *
@@ -398,37 +303,7 @@ declare function isSigilCtor(ctor: unknown): ctor is ISigil;
  * @param inst - The instanca to test.
  * @returns `true` if `obj` is an instance produced by a sigil constructor.
  */
-declare function isSigilInstance(inst: unknown): inst is GetInstance<ISigil>;
-/**
- * Check whether the provided constructor was marked as a sigil base constructor.
- *
- * @param ctor - Constructor to check.
- * @returns `true` if `ctor` is a sigil base constructor.
- */
-declare function isSigilBaseCtor(ctor: Function): ctor is ISigil;
-/**
- * Check whether the provided object is an instance of a sigil base constructor.
- *
- * @param inst - The instance to test.
- * @returns `true` if `inst` is an instance of a sigil base constructor.
- */
-declare function isSigilBaseInstance(inst: unknown): inst is GetInstance<ISigil>;
-/**
- * Returns whether the constructor has been explicitly decorated with `WithSigil`.
- *
- * @internal
- * @param ctor - Constructor to test.
- * @returns `true` if the constructor is explicitly decorated.
- */
-declare function isDecorated(ctor: Function): boolean;
-/**
- * Returns whether inheritance checks have already been performed for the constructor.
- *
- * @internal
- * @param ctor - Constructor to test.
- * @returns `true` if inheritance checks were marked as completed.
- */
-declare function isInheritanceChecked(ctor: Function): boolean;
+declare function isSigilInstance(inst: unknown): inst is ISigilInstance;
 
 /**
  * Mixin factory that augments an existing class with Sigil runtime metadata and helpers.
@@ -437,53 +312,44 @@ declare function isInheritanceChecked(ctor: Function): boolean;
  * @param label - Optional identity label to attach to the resulting class (e.g. '@scope/pkg.ClassName').
  *                If not passed a random label is generated instead.
  * @param opts - Options object to override any global options if needed.
- * @returns A new abstract constructor that extends `Base` and includes Sigil statics/instance methods.
+ * @returns A new constructor that extends `Base` and includes Sigil statics/instance methods.
  * @throws Error if `Base` is already sigilified.
  */
 declare function Sigilify<B extends Constructor, L extends string>(Base: B, label?: L, opts?: SigilOptions): {
     new (...args: any[]): {
         /**
-         * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
-         *
-         * - HAVE NO RUN-TIME VALUE (undefined)
-         * - Provides a *type-only* unique marker that makes instances nominally
-         *   distinct by label and allows propagation/merging of brand keys across inheritance.
-         */
-        readonly __SIGIL_BRAND__: {
-            Sigil: true;
-        } & { [K_1 in L]: true; } extends infer T ? { [K in keyof T]: T[K]; } : never;
-        /**
-         * Check whether `other` is (or inherits from) the type instance.
+         * Check whether `other` is (or inherits from) the instance represented by the
+         * calling constructor.
          *
-         * Allows 'instanceof' like checks but in instances.
+         * This replaces `instanceof` so that checks remain valid across bundles/realms
+         * and when subclassing.
          *
-         * @typeParam T - The instance type.
-         * @param this - The instance performing the check.
+         * @typeParam T - The specific sigil constructor (`this`).
+         * @param this - The constructor performing the type check.
          * @param other - The object to test.
-         * @returns `true` if `other` is the same instance of this type or a subtype.
+         * @returns A type guard asserting `other` is an instance of the constructor.
          */
-        isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+        isOfType<T extends ISigilInstance>(this: T, other: unknown): other is T;
         /**
-         * Strict lineage check: compares the type label lineage arrays element-by-element.
-         *
-         * Allows 'instanceof' like checks but in instances.
+         * Check whether `other` is exactly the same instance represented by the
+         * calling constructor.
          *
-         * @typeParam T - The instance type.
-         * @param this - The instance performing the check.
+         * @typeParam T - The specific sigil constructor (`this`).
+         * @param this - The constructor performing the type check.
          * @param other - The object to test.
-         * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+         * @returns A type guard asserting `other` is an instance of the constructor.
          */
-        isOfTypeStrict<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+        isExactType<T extends ISigilInstance>(this: T, other: unknown): other is T;
         /**
          * Returns the identity sigil label of this instance's constructor.
          *
-         * @returns The label string if passed (e.g. '@scope/pkg.ClassName'), random label if not passed (e.g. '@Sigil.auto-dq62ib6jnvmmlfbjhxh2937h') or '@Sigil.unknown' if constructor is missing.
+         * @returns The label string if passed (e.g. '@scope/pkg.ClassName'), random label if not passed (e.g. '@Sigil-auto:ClassName:mm2gkdwn:0:g1sq').
          */
         getSigilLabel(): string;
         /**
          * Returns the human-readable sigil label of this instance's constructor.
          *
-         * @returns The last passed label string (e.g. '@scope/pkg.ClassName') or '@Sigil.unknown' if constructor is missing.
+         * @returns The last passed label string (e.g. '@scope/pkg.ClassName').
          */
         getSigilEffectiveLabel(): string;
         /**
@@ -493,32 +359,28 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
          */
         getSigilLabelLineage(): readonly string[];
         /**
-         * Returns a readonly copy of the sigil type label set for this instance's constructor.
+         * Returns a copy of the sigil type label lineage set for this instance's constructor.
          *
-         * @returns A Readonly Set of labels representing the type lineage for O(1) membership tests.
+         * @returns readonly array of labels representing the type lineage.
          */
         getSigilLabelSet(): Readonly<Set<string>>;
+        /**
+         * Compile-time nominal brand that encodes the class sigil labels object.
+         */
+        readonly [sigil]: {
+            Sigil: true;
+        } & { [K_1 in L]: true; } extends infer T ? { [K in keyof T]: T[K]; } : never;
     };
-    /**
-     * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
-     *
-     * - HAVE NO RUN-TIME VALUE (undefined)
-     * - Provides a *type-only* unique marker that makes instances nominally
-     *   distinct by label and allows propagation/merging of brand keys across inheritance.
-     */
-    readonly __SIGIL_BRAND__: Prettify<{
-        Sigil: true;
-    } & { [K in L]: true; }>;
     /**
      * Class-level identity label constant for this sigil constructor.
      */
-    get SigilLabel(): string;
+    get SigilLabel(): L;
     /**
      * Class-level human-readable label constant for this sigil constructor, last passed label in 'Sigil' chain by developer.
      */
-    get SigilEffectiveLabel(): string;
+    get SigilEffectiveLabel(): L;
     /**
-     * Copy of the linearized sigil type label chain for the current constructor.
+     * Linearized sigil type label chain for the current constructor.
      *
      * Useful for debugging and performing strict lineage comparisons.
      *
@@ -526,9 +388,8 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      */
     get SigilLabelLineage(): readonly string[];
     /**
-     * Copy of the sigil type label set for the current constructor.
-     *
-     * Useful for quick membership checks (O(1) lookups) and debugging.
+     * Sigil type label set for the current constructor.
+     * Useful for debugging.
      *
      * @returns A Readonly Set of labels that represent the type lineage.
      */
@@ -539,28 +400,30 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      * @param obj - The value to test.
      * @returns `true` if `obj` is a sigil instance.
      */
-    isSigilified(obj: unknown): obj is ISigil;
+    isSigilified(obj: unknown): obj is ISigilInstance;
     /**
-     * Check whether `other` is (or inherits from) the type represented by the calling constructor.
+     * Check whether `other` is (or inherits from) the instance represented by the
+     * calling constructor.
      *
      * This replaces `instanceof` so that checks remain valid across bundles/realms
      * and when subclassing.
      *
-     * @typeParam T - The calling constructor type (narrowing the returned instance type).
-     * @param this - The constructor performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` is an instance of this type or a subtype.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+    isOfType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
     /**
-     * Strict lineage check: compares the type label lineage arrays element-by-element.
+     * Check whether `other` is exactly the same instance represented by the
+     * calling constructor.
      *
-     * @typeParam T - The calling constructor type.
-     * @param this - The constructor performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+    isExactType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
 } & B;
 /**
  * Mixin factory that augments an existing class with Sigil runtime metadata and helpers. Accept and return 'abstract' class.
@@ -574,47 +437,38 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
  */
 declare function SigilifyAbstract<B extends ConstructorAbstract, L extends string>(Base: B, label?: L, opts?: SigilOptions): ((abstract new (...args: any[]) => {
     /**
-     * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
+     * Check whether `other` is (or inherits from) the instance represented by the
+     * calling constructor.
      *
-     * - HAVE NO RUN-TIME VALUE (undefined)
-     * - Provides a *type-only* unique marker that makes instances nominally
-     *   distinct by label and allows propagation/merging of brand keys across inheritance.
-     */
-    readonly __SIGIL_BRAND__: {
-        Sigil: true;
-    } & { [K_1 in L]: true; } extends infer T ? { [K in keyof T]: T[K]; } : never;
-    /**
-     * Check whether `other` is (or inherits from) the type instance.
-     *
-     * Allows 'instanceof' like checks but in instances.
+     * This replaces `instanceof` so that checks remain valid across bundles/realms
+     * and when subclassing.
      *
-     * @typeParam T - The instance type.
-     * @param this - The instance performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` is the same instance of this type or a subtype.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+    isOfType<T>(this: T, other: unknown): other is T;
     /**
-     * Strict lineage check: compares the type label lineage arrays element-by-element.
+     * Check whether `other` is exactly the same instance represented by the
+     * calling constructor.
      *
-     * Allows 'instanceof' like checks but in instances.
-     *
-     * @typeParam T - The instance type.
-     * @param this - The instance performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfTypeStrict<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+    isExactType<T>(this: T, other: unknown): other is T;
     /**
      * Returns the identity sigil label of this instance's constructor.
      *
-     * @returns The label string if passed (e.g. '@scope/pkg.ClassName'), random label if not passed (e.g. '@Sigil.auto-dq62ib6jnvmmlfbjhxh2937h') or '@Sigil.unknown' if constructor is missing.
+     * @returns The label string if passed (e.g. '@scope/pkg.ClassName'), random label if not passed (e.g. '@Sigil-auto:ClassName:mm2gkdwn:0:g1sq').
      */
     getSigilLabel(): string;
     /**
      * Returns the human-readable sigil label of this instance's constructor.
      *
-     * @returns The last passed label string (e.g. '@scope/pkg.ClassName') or '@Sigil.unknown' if constructor is missing.
+     * @returns The last passed label string (e.g. '@scope/pkg.ClassName').
      */
     getSigilEffectiveLabel(): string;
     /**
@@ -624,32 +478,28 @@ declare function SigilifyAbstract<B extends ConstructorAbstract, L extends strin
      */
     getSigilLabelLineage(): readonly string[];
     /**
-     * Returns a readonly copy of the sigil type label set for this instance's constructor.
+     * Returns a copy of the sigil type label lineage set for this instance's constructor.
      *
-     * @returns A Readonly Set of labels representing the type lineage for O(1) membership tests.
+     * @returns readonly array of labels representing the type lineage.
      */
     getSigilLabelSet(): Readonly<Set<string>>;
-}) & {
     /**
-     * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
-     *
-     * - HAVE NO RUN-TIME VALUE (undefined)
-     * - Provides a *type-only* unique marker that makes instances nominally
-     *   distinct by label and allows propagation/merging of brand keys across inheritance.
+     * Compile-time nominal brand that encodes the class sigil labels object.
      */
-    readonly __SIGIL_BRAND__: Prettify<{
+    readonly [sigil]: {
         Sigil: true;
-    } & { [K in L]: true; }>;
+    } & { [K_1 in L]: true; } extends infer T ? { [K in keyof T]: T[K]; } : never;
+}) & {
     /**
      * Class-level identity label constant for this sigil constructor.
      */
-    get SigilLabel(): string;
+    get SigilLabel(): L;
     /**
      * Class-level human-readable label constant for this sigil constructor, last passed label in 'Sigil' chain by developer.
      */
-    get SigilEffectiveLabel(): string;
+    get SigilEffectiveLabel(): L;
     /**
-     * Copy of the linearized sigil type label chain for the current constructor.
+     * Linearized sigil type label chain for the current constructor.
      *
      * Useful for debugging and performing strict lineage comparisons.
      *
@@ -657,9 +507,8 @@ declare function SigilifyAbstract<B extends ConstructorAbstract, L extends strin
      */
     get SigilLabelLineage(): readonly string[];
     /**
-     * Copy of the sigil type label set for the current constructor.
-     *
-     * Useful for quick membership checks (O(1) lookups) and debugging.
+     * Sigil type label set for the current constructor.
+     * Useful for debugging.
      *
      * @returns A Readonly Set of labels that represent the type lineage.
      */
@@ -670,36 +519,30 @@ declare function SigilifyAbstract<B extends ConstructorAbstract, L extends strin
      * @param obj - The value to test.
      * @returns `true` if `obj` is a sigil instance.
      */
-    isSigilified(obj: unknown): obj is ISigil;
+    isSigilified(obj: unknown): obj is ISigilInstance;
     /**
-     * Check whether `other` is (or inherits from) the type represented by the calling constructor.
-     *
-     * Implementation detail:
-     * - Uses the other instance's `__LABEL_SET__` for O(1) membership test.
-     * - O(1) and reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     * Check whether `other` is (or inherits from) the instance represented by the
+     * calling constructor.
      *
      * This replaces `instanceof` so that checks remain valid across bundles/realms
      * and when subclassing.
      *
-     * @typeParam T - The calling constructor type (narrowing the returned instance type).
-     * @param this - The constructor performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` is an instance of this type or a subtype.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+    isOfType<T>(this: T, other: unknown): other is GetPrototype<T>;
     /**
-     * Strict lineage check: compares the type label lineage arrays element-by-element.
+     * Check whether `other` is exactly the same instance represented by the
+     * calling constructor.
      *
-     * Implementation detail:
-     * - Works in O(n) time where n is the depth of the lineage.
-     * - Reliable when `OPTIONS.skipLabelInheritanceCheck` is `false`.
-     *
-     * @typeParam T - The calling constructor type.
-     * @param this - The constructor performing the check.
+     * @typeParam T - The specific sigil constructor (`this`).
+     * @param this - The constructor performing the type check.
      * @param other - The object to test.
-     * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
+     * @returns A type guard asserting `other` is an instance of the constructor.
      */
-    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+    isExactType<T>(this: T, other: unknown): other is GetPrototype<T>;
 }) & B;
 
-export { DEFAULT_LABEL_REGEX, type GetInstance, type ISigil, type ISigilInstance, type ISigilStatic, Sigil, type SigilBrandOf, SigilError, type SigilOptions, Sigilify, SigilifyAbstract, type TypedSigil, type UpdateSigilBrand, WithSigil, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, updateSigilOptions, withSigil, withSigilTyped };
+export { DEFAULT_LABEL_REGEX, type ExtendSigil, type ISigil, type ISigilInstance, type ISigilStatic, Sigil, SigilError, type SigilOf, type SigilOptions, Sigilify, SigilifyAbstract, WithSigil, isSigilCtor, isSigilInstance, sigil, updateSigilOptions, withSigil };