@vicin/sigil 1.2.6 → 1.3.0

package/CHANGELOG.md

@@ -2,6 +2,18 @@
 
 All notable changes to this project will be documented in this file.
 
+## [1.3.0] - 2026-02-18
+
+### Added
+
+- `isOfType()` & `isOfTypeStrict()` now can be called from instances.
+
+## [1.2.7] - 2026-02-13
+
+### Added
+
+- Support for `abstract` classes using `SigilifyAbstract` factory.
+
 ## [1.2.6] - 2026-02-11
 
 ### Changed

package/README.md

@@ -86,6 +86,18 @@ class User extends Sigil {}
 const MyClass = Sigilify(class {}, '@myorg/mypkg.MyClass');
 ```
 
+If your class is marked with `abstract`:
+
+```ts
+import { Sigil, SigilifyAbstract } from '@vicin/sigil';
+
+// Using the pre-sigilified base class:
+abstract class User extends Sigil {}
+
+// Or use Sigilify when you want an ad-hoc class:
+const MyClass = SigilifyAbstract(abstract class {}, '@myorg/mypkg.MyClass');
+```
+
 This adds runtime metadata to the constructor and allows you to use runtime helpers, see [API reference](#api-reference).
 
 #### Extend `Sigil` classes
@@ -351,8 +363,9 @@ class X extends Sigil {
 
 ### Primary Exports
 
-- **Mixin:**
+- **Mixins:**
   - `Sigilify(Base, label?, opts?)`
+  - `SigilifyAbstract(Base, label?, opts?)`
 
 - **Classes:**
   - `Sigil`
@@ -421,6 +434,8 @@ Instances of sigilified classes expose instance helpers:
 - `getSigilType()` — runtime symbol.
 - `getSigilTypeLineage()` — returns lineage array.
 - `getSigilTypeSet()` — returns readonly Set.
+- `isOfType(other)` — O(1) membership test using `other`'s `__TYPE_SET__`.
+- `isOfTypeStrict(other)` — strict lineage comparison element-by-element.
 
 ---
 

package/dist/index.d.mts

@@ -400,14 +400,10 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
 /**
  * Combined constructor + static interface for a sigil class.
  *
- * This composes the instance-side shape (Constructor<ISigilInstance<L>>) with
- * the static-side interface (ISigilStatic<L>), matching the runtime shape added
- * by `Sigilify`.
- *
  * @template L - Narrow string literal type for the label.
  * @template P - Optinal parent to extend its '__SIGIL_BRAND__'.
  */
-type ISigil<L extends string = string, P extends Function = never> = Constructor<ISigilInstance<L, P>> & ISigilStatic<L, P>;
+type ISigil<L extends string = string, P extends Function = never> = ConstructorAbstract<ISigilInstance<L, P>> & ISigilStatic<L, P>;
 /** -----------------------------------------
  *  HOF pattern types
  * ----------------------------------------- */
@@ -418,15 +414,16 @@ type ISigil<L extends string = string, P extends Function = never> = Constructor
  * @template S - The original Untyped Sigil constructor type being augmented.
  * @template L - The new label literal to associate with the resulting constructor.
  */
-type TypedSigil<S extends Function, L extends string = string> = S & AppendLabel<L> & Constructor<AppendLabel<L>>;
+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>;
-}> : never;
+}> : T;
 /** Helper to append label into a class. */
 type AppendLabel<L extends string> = {
     readonly __SIGIL_BRAND__: Prettify<{
@@ -468,6 +465,16 @@ type SigilBrandOf<S> = IfNever<S extends {
  * @template P - Parameter tuple type for the constructor.
  */
 type Constructor<T = object, P extends any[] = any[]> = new (...args: P) => T;
+/**
+ * Generic type for class constructors used by the Sigil utilities. for 'abstract classes'.
+ *
+ * - `T` is the instance type produced by the constructor.
+ * - `P` is the tuple of parameter types accepted by the constructor.
+ *
+ * @template T - Instance type produced by the constructor (defaults to `object`).
+ * @template P - Parameter tuple type for the constructor.
+ */
+type ConstructorAbstract<T = object, P extends any[] = any[]> = abstract new (...args: P) => T;
 /** Helper type to prettify value */
 type Prettify<T> = {
     [K in keyof T]: T[K];
@@ -490,6 +497,8 @@ declare const Sigil: {
         readonly __SIGIL_BRAND__: {
             Sigil: true;
         };
+        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfTypeStrict<T>(this: T, other: unknown): other is /*elided*/ any;
         getSigilLabel(): string;
         getSigilType(): symbol;
         getSigilTypeLineage(): readonly symbol[];
@@ -522,6 +531,8 @@ declare const SigilError: {
             Sigil: true;
             SigilError: true;
         };
+        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfTypeStrict<T>(this: T, other: unknown): other is /*elided*/ any;
         getSigilLabel(): string;
         getSigilType(): symbol;
         getSigilTypeLineage(): readonly symbol[];
@@ -684,16 +695,13 @@ declare function isInheritanceChecked(ctor: Function): boolean;
 
 /**
  * Mixin factory that augments an existing class with Sigil runtime metadata and
- * helpers. The returned class:
+ * helpers.
+ *
+ * The returned class:
  * - registers a stable symbol for the provided `label` (via `WithSigil`)
  * - exposes static helpers such as `SigilLabel`, `SigilType`, `isOfType`, and `isOfTypeStrict`
  * - exposes instance helpers such as `getSigilLabel`, `getSigilType`, etc.
  *
- * Notes:
- * - Uses `Symbol.for(label)` internally so symbols are stable across bundles/realms
- *   that share the global symbol registry.
- * - Throws if `Base` is already a sigil constructor.
- *
  * @param Base - The base constructor to extend.
  * @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.
@@ -713,6 +721,28 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
         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.
+         *
+         * @typeParam T - The instance type.
+         * @param this - The instance performing the check.
+         * @param other - The object to test.
+         * @returns `true` if `other` is the same instance of this type or a subtype.
+         */
+        isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+        /**
+         * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+         *
+         * Allows 'instanceof' like checks but in instances.
+         *
+         * @typeParam T - The instance type.
+         * @param this - The instance performing the check.
+         * @param other - The object to test.
+         * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+         */
+        isOfTypeStrict<T_1>(this: T_1, other: unknown): other is /*elided*/ any;
         /**
          * Returns the human-readable sigil label of this instance's constructor.
          *
@@ -738,6 +768,146 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
          */
         getSigilTypeSet(): Readonly<Set<symbol>>;
     };
+    /**
+     * 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 human-readable label constant for this sigil constructor.
+     */
+    get SigilLabel(): string;
+    /**
+     * Class-level unique runtime symbol used as the type identifier.
+     *
+     * This symbol is created with `Symbol.for(label)` during decoration so it is
+     * stable across realms that share the same global symbol registry.
+     */
+    get SigilType(): symbol;
+    /**
+     * Copy of the linearized sigil type symbol chain for the current constructor.
+     *
+     * Useful for debugging and performing strict lineage comparisons.
+     *
+     * @returns An array of symbols representing parent → child type symbols.
+     */
+    get SigilTypeLineage(): readonly symbol[];
+    /**
+     * Copy of the sigil type symbol set for the current constructor.
+     *
+     * Useful for quick membership checks (O(1) lookups) and debugging.
+     *
+     * @returns A Readonly Set of symbols that represent the type lineage.
+     */
+    get SigilTypeSet(): Readonly<Set<symbol>>;
+    /**
+     * Runtime predicate indicating whether `obj` is an instance produced by a sigil class.
+     *
+     * @param obj - The value to test.
+     * @returns `true` if `obj` is a sigil instance.
+     */
+    isSigilified(obj: unknown): obj is ISigil;
+    /**
+     * Check whether `other` is (or inherits from) the type 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.
+     * @param other - The object to test.
+     * @returns `true` if `other` is an instance of this type or a subtype.
+     */
+    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+    /**
+     * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+     *
+     * @typeParam T - The calling constructor type.
+     * @param this - The constructor performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
+     */
+    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+} & B;
+/**
+ * Mixin factory that augments an existing class with Sigil runtime metadata and
+ * helpers. Accept and return 'abstract' class.
+ *
+ * The returned class:
+ * - registers a stable symbol for the provided `label` (via `WithSigil`)
+ * - exposes static helpers such as `SigilLabel`, `SigilType`, `isOfType`, and `isOfTypeStrict`
+ * - exposes instance helpers such as `getSigilLabel`, `getSigilType`, etc.
+ *
+ * @param Base - The base constructor to extend.
+ * @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.
+ * @throws Error if `Base` is already sigilized.
+ */
+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>`.
+     *
+     * - 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.
+     *
+     * @typeParam T - The instance type.
+     * @param this - The instance performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` is the same instance of this type or a subtype.
+     */
+    isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+    /**
+     * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+     *
+     * Allows 'instanceof' like checks but in instances.
+     *
+     * @typeParam T - The instance type.
+     * @param this - The instance performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+     */
+    isOfTypeStrict<T_1>(this: T_1, other: unknown): other is /*elided*/ any;
+    /**
+     * Returns the human-readable sigil label of this instance's constructor.
+     *
+     * @returns The label string (e.g. '@scope/pkg.ClassName') or '@Sigil.unknown' in DEV when constructor is missing.
+     */
+    getSigilLabel(): string;
+    /**
+     * Returns the runtime sigil type symbol of this instance's constructor.
+     *
+     * @returns The symbol that identifies this type at runtime.
+     */
+    getSigilType(): symbol;
+    /**
+     * Returns a copy of the sigil type symbol lineage for this instance's constructor.
+     *
+     * @returns readonly array of symbols representing the type lineage.
+     */
+    getSigilTypeLineage(): readonly symbol[];
+    /**
+     * Returns a readonly copy of the sigil type symbol set for this instance's constructor.
+     *
+     * @returns A Readonly Set of symbols representing the type lineage for O(1) membership tests.
+     */
+    getSigilTypeSet(): Readonly<Set<symbol>>;
+}) & {
     /**
      * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
      *
@@ -811,6 +981,6 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
      */
     isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
-} & B;
+}) & B;
 
-export { DEFAULT_LABEL_REGEX, type GetInstance, type ISigil, type ISigilInstance, type ISigilStatic, REGISTRY, Sigil, type SigilBrandOf, SigilError, type SigilOptions, SigilRegistry, Sigilify, type TypedSigil, type UpdateSigilBrand, WithSigil, getActiveRegistry, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, typed, updateOptions, withSigil, withSigilTyped };
+export { DEFAULT_LABEL_REGEX, type GetInstance, type ISigil, type ISigilInstance, type ISigilStatic, REGISTRY, Sigil, type SigilBrandOf, SigilError, type SigilOptions, SigilRegistry, Sigilify, SigilifyAbstract, type TypedSigil, type UpdateSigilBrand, WithSigil, getActiveRegistry, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, typed, updateOptions, withSigil, withSigilTyped };

package/dist/index.d.ts

@@ -400,14 +400,10 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
 /**
  * Combined constructor + static interface for a sigil class.
  *
- * This composes the instance-side shape (Constructor<ISigilInstance<L>>) with
- * the static-side interface (ISigilStatic<L>), matching the runtime shape added
- * by `Sigilify`.
- *
  * @template L - Narrow string literal type for the label.
  * @template P - Optinal parent to extend its '__SIGIL_BRAND__'.
  */
-type ISigil<L extends string = string, P extends Function = never> = Constructor<ISigilInstance<L, P>> & ISigilStatic<L, P>;
+type ISigil<L extends string = string, P extends Function = never> = ConstructorAbstract<ISigilInstance<L, P>> & ISigilStatic<L, P>;
 /** -----------------------------------------
  *  HOF pattern types
  * ----------------------------------------- */
@@ -418,15 +414,16 @@ type ISigil<L extends string = string, P extends Function = never> = Constructor
  * @template S - The original Untyped Sigil constructor type being augmented.
  * @template L - The new label literal to associate with the resulting constructor.
  */
-type TypedSigil<S extends Function, L extends string = string> = S & AppendLabel<L> & Constructor<AppendLabel<L>>;
+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>;
-}> : never;
+}> : T;
 /** Helper to append label into a class. */
 type AppendLabel<L extends string> = {
     readonly __SIGIL_BRAND__: Prettify<{
@@ -468,6 +465,16 @@ type SigilBrandOf<S> = IfNever<S extends {
  * @template P - Parameter tuple type for the constructor.
  */
 type Constructor<T = object, P extends any[] = any[]> = new (...args: P) => T;
+/**
+ * Generic type for class constructors used by the Sigil utilities. for 'abstract classes'.
+ *
+ * - `T` is the instance type produced by the constructor.
+ * - `P` is the tuple of parameter types accepted by the constructor.
+ *
+ * @template T - Instance type produced by the constructor (defaults to `object`).
+ * @template P - Parameter tuple type for the constructor.
+ */
+type ConstructorAbstract<T = object, P extends any[] = any[]> = abstract new (...args: P) => T;
 /** Helper type to prettify value */
 type Prettify<T> = {
     [K in keyof T]: T[K];
@@ -490,6 +497,8 @@ declare const Sigil: {
         readonly __SIGIL_BRAND__: {
             Sigil: true;
         };
+        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfTypeStrict<T>(this: T, other: unknown): other is /*elided*/ any;
         getSigilLabel(): string;
         getSigilType(): symbol;
         getSigilTypeLineage(): readonly symbol[];
@@ -522,6 +531,8 @@ declare const SigilError: {
             Sigil: true;
             SigilError: true;
         };
+        isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+        isOfTypeStrict<T>(this: T, other: unknown): other is /*elided*/ any;
         getSigilLabel(): string;
         getSigilType(): symbol;
         getSigilTypeLineage(): readonly symbol[];
@@ -684,16 +695,13 @@ declare function isInheritanceChecked(ctor: Function): boolean;
 
 /**
  * Mixin factory that augments an existing class with Sigil runtime metadata and
- * helpers. The returned class:
+ * helpers.
+ *
+ * The returned class:
  * - registers a stable symbol for the provided `label` (via `WithSigil`)
  * - exposes static helpers such as `SigilLabel`, `SigilType`, `isOfType`, and `isOfTypeStrict`
  * - exposes instance helpers such as `getSigilLabel`, `getSigilType`, etc.
  *
- * Notes:
- * - Uses `Symbol.for(label)` internally so symbols are stable across bundles/realms
- *   that share the global symbol registry.
- * - Throws if `Base` is already a sigil constructor.
- *
  * @param Base - The base constructor to extend.
  * @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.
@@ -713,6 +721,28 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
         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.
+         *
+         * @typeParam T - The instance type.
+         * @param this - The instance performing the check.
+         * @param other - The object to test.
+         * @returns `true` if `other` is the same instance of this type or a subtype.
+         */
+        isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+        /**
+         * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+         *
+         * Allows 'instanceof' like checks but in instances.
+         *
+         * @typeParam T - The instance type.
+         * @param this - The instance performing the check.
+         * @param other - The object to test.
+         * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+         */
+        isOfTypeStrict<T_1>(this: T_1, other: unknown): other is /*elided*/ any;
         /**
          * Returns the human-readable sigil label of this instance's constructor.
          *
@@ -738,6 +768,146 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
          */
         getSigilTypeSet(): Readonly<Set<symbol>>;
     };
+    /**
+     * 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 human-readable label constant for this sigil constructor.
+     */
+    get SigilLabel(): string;
+    /**
+     * Class-level unique runtime symbol used as the type identifier.
+     *
+     * This symbol is created with `Symbol.for(label)` during decoration so it is
+     * stable across realms that share the same global symbol registry.
+     */
+    get SigilType(): symbol;
+    /**
+     * Copy of the linearized sigil type symbol chain for the current constructor.
+     *
+     * Useful for debugging and performing strict lineage comparisons.
+     *
+     * @returns An array of symbols representing parent → child type symbols.
+     */
+    get SigilTypeLineage(): readonly symbol[];
+    /**
+     * Copy of the sigil type symbol set for the current constructor.
+     *
+     * Useful for quick membership checks (O(1) lookups) and debugging.
+     *
+     * @returns A Readonly Set of symbols that represent the type lineage.
+     */
+    get SigilTypeSet(): Readonly<Set<symbol>>;
+    /**
+     * Runtime predicate indicating whether `obj` is an instance produced by a sigil class.
+     *
+     * @param obj - The value to test.
+     * @returns `true` if `obj` is a sigil instance.
+     */
+    isSigilified(obj: unknown): obj is ISigil;
+    /**
+     * Check whether `other` is (or inherits from) the type 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.
+     * @param other - The object to test.
+     * @returns `true` if `other` is an instance of this type or a subtype.
+     */
+    isOfType<T>(this: T, other: unknown): other is GetInstance<T>;
+    /**
+     * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+     *
+     * @typeParam T - The calling constructor type.
+     * @param this - The constructor performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
+     */
+    isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
+} & B;
+/**
+ * Mixin factory that augments an existing class with Sigil runtime metadata and
+ * helpers. Accept and return 'abstract' class.
+ *
+ * The returned class:
+ * - registers a stable symbol for the provided `label` (via `WithSigil`)
+ * - exposes static helpers such as `SigilLabel`, `SigilType`, `isOfType`, and `isOfTypeStrict`
+ * - exposes instance helpers such as `getSigilLabel`, `getSigilType`, etc.
+ *
+ * @param Base - The base constructor to extend.
+ * @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.
+ * @throws Error if `Base` is already sigilized.
+ */
+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>`.
+     *
+     * - 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.
+     *
+     * @typeParam T - The instance type.
+     * @param this - The instance performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` is the same instance of this type or a subtype.
+     */
+    isOfType<T_1>(this: T_1, other: unknown): other is GetInstance<T_1>;
+    /**
+     * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+     *
+     * Allows 'instanceof' like checks but in instances.
+     *
+     * @typeParam T - The instance type.
+     * @param this - The instance performing the check.
+     * @param other - The object to test.
+     * @returns `true` if `other` has an identical lineage up to the length of this instance's lineage.
+     */
+    isOfTypeStrict<T_1>(this: T_1, other: unknown): other is /*elided*/ any;
+    /**
+     * Returns the human-readable sigil label of this instance's constructor.
+     *
+     * @returns The label string (e.g. '@scope/pkg.ClassName') or '@Sigil.unknown' in DEV when constructor is missing.
+     */
+    getSigilLabel(): string;
+    /**
+     * Returns the runtime sigil type symbol of this instance's constructor.
+     *
+     * @returns The symbol that identifies this type at runtime.
+     */
+    getSigilType(): symbol;
+    /**
+     * Returns a copy of the sigil type symbol lineage for this instance's constructor.
+     *
+     * @returns readonly array of symbols representing the type lineage.
+     */
+    getSigilTypeLineage(): readonly symbol[];
+    /**
+     * Returns a readonly copy of the sigil type symbol set for this instance's constructor.
+     *
+     * @returns A Readonly Set of symbols representing the type lineage for O(1) membership tests.
+     */
+    getSigilTypeSet(): Readonly<Set<symbol>>;
+}) & {
     /**
      * Compile-time nominal brand that encodes the class label `L` plus parent's brand keys `BrandOf<P>`.
      *
@@ -811,6 +981,6 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
      */
     isOfTypeStrict<T>(this: T, other: unknown): other is GetInstance<T>;
-} & B;
+}) & B;
 
-export { DEFAULT_LABEL_REGEX, type GetInstance, type ISigil, type ISigilInstance, type ISigilStatic, REGISTRY, Sigil, type SigilBrandOf, SigilError, type SigilOptions, SigilRegistry, Sigilify, type TypedSigil, type UpdateSigilBrand, WithSigil, getActiveRegistry, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, typed, updateOptions, withSigil, withSigilTyped };
+export { DEFAULT_LABEL_REGEX, type GetInstance, type ISigil, type ISigilInstance, type ISigilStatic, REGISTRY, Sigil, type SigilBrandOf, SigilError, type SigilOptions, SigilRegistry, Sigilify, SigilifyAbstract, type TypedSigil, type UpdateSigilBrand, WithSigil, getActiveRegistry, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, typed, updateOptions, withSigil, withSigilTyped };