@vicin/sigil 1.2.6 → 1.2.7

package/CHANGELOG.md

@@ -2,6 +2,12 @@
 
 All notable changes to this project will be documented in this file.
 
+## [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`

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,7 +414,7 @@ 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.
  */
@@ -468,6 +464,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];
@@ -684,16 +690,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.
@@ -812,5 +815,131 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      */
     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;
+    /**
+     * 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>`.
+     *
+     * - 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.
+     *
+     * Implementation detail:
+     * - Uses the other instance's `__TYPE_SET__` for O(1) membership test.
+     * - O(1) and reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     *
+     * 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.
+     *
+     * 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.
+     * @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;
 
-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,7 +414,7 @@ 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.
  */
@@ -468,6 +464,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];
@@ -684,16 +690,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.
@@ -812,5 +815,131 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      */
     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;
+    /**
+     * 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>`.
+     *
+     * - 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.
+     *
+     * Implementation detail:
+     * - Uses the other instance's `__TYPE_SET__` for O(1) membership test.
+     * - O(1) and reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+     *
+     * 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.
+     *
+     * 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.
+     * @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;
 
-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.global.js

@@ -608,6 +608,193 @@
     markSigilBase(Sigilified);
     return Sigilified;
   }
+  function SigilifyAbstract(Base, label, opts) {
+    if (isSigilCtor(Base))
+      throw new Error(`[Sigil Error] 'Sigilify(${label})' already siglified.`);
+    let l;
+    if (label) {
+      verifyLabel(label, opts);
+      l = label;
+    } else l = generateRandomLabel();
+    class Sigilified extends Base {
+      /**
+       * Class-level human-readable label constant for this sigil constructor.
+       */
+      static get SigilLabel() {
+        return this[__LABEL__];
+      }
+      /**
+       * 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.
+       */
+      static get SigilType() {
+        return this[__TYPE__];
+      }
+      /**
+       * 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.
+       */
+      static get SigilTypeLineage() {
+        var _a;
+        return [...(_a = this[__TYPE_LINEAGE__]) != null ? _a : []];
+      }
+      /**
+       * 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.
+       */
+      static get SigilTypeSet() {
+        const set = /* @__PURE__ */ new Set();
+        for (const s of this[__TYPE_SET__]) set.add(s);
+        return set;
+      }
+      constructor(...args) {
+        var _a;
+        super(...args);
+        if (Object.getPrototypeOf(this) !== new.target.prototype)
+          Object.setPrototypeOf(this, new.target.prototype);
+        const ctor = getConstructor(this);
+        if (!ctor) {
+          if ((_a = opts == null ? void 0 : opts.devMarker) != null ? _a : OPTIONS.devMarker)
+            throw new Error(
+              `[Sigil Error] 'Sigilify(${label})' instance without constructor`
+            );
+          return;
+        }
+        checkInheritance(ctor);
+      }
+      /**
+       * 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.
+       */
+      static isSigilified(obj) {
+        return isSigilInstance(obj);
+      }
+      /**
+       * Check whether `other` is (or inherits from) the type represented by the calling constructor.
+       *
+       * Implementation detail:
+       * - Uses the other instance's `__TYPE_SET__` for O(1) membership test.
+       * - O(1) and reliable as long as `OPTIONS.skipLabelInheritanceCheck` is `false`.
+       *
+       * 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.
+       */
+      static isOfType(other) {
+        if (!isSigilInstance(other)) return false;
+        const otherCtor = getConstructor(other);
+        if (!otherCtor) return false;
+        const otherSet = otherCtor[__TYPE_SET__];
+        return !!otherSet && otherSet.has(this.SigilType);
+      }
+      /**
+       * Strict lineage check: compares the type symbol lineage arrays element-by-element.
+       *
+       * 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.
+       * @param other - The object to test.
+       * @returns `true` if `other` has an identical lineage up to the length of this constructor's lineage.
+       */
+      static isOfTypeStrict(other) {
+        if (!isSigilInstance(other)) return false;
+        const otherCtor = getConstructor(other);
+        if (!otherCtor) return false;
+        const otherLineage = otherCtor[__TYPE_LINEAGE__];
+        const thisLineage = this[__TYPE_LINEAGE__];
+        return !!otherLineage && thisLineage.every((s, i) => s === otherLineage[i]);
+      }
+      /**
+       * 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() {
+        var _a;
+        const ctor = getConstructor(this);
+        if (!ctor) {
+          if ((_a = opts == null ? void 0 : opts.devMarker) != null ? _a : OPTIONS.devMarker)
+            throw new Error(
+              `[Sigil Error] 'Sigilify(${label})' instance without constructor`
+            );
+          return "@Sigil.unknown";
+        }
+        return ctor.SigilLabel;
+      }
+      /**
+       * Returns the runtime sigil type symbol of this instance's constructor.
+       *
+       * @returns The symbol that identifies this type at runtime.
+       */
+      getSigilType() {
+        var _a;
+        const ctor = getConstructor(this);
+        if (!ctor) {
+          if ((_a = opts == null ? void 0 : opts.devMarker) != null ? _a : OPTIONS.devMarker)
+            throw new Error(
+              `[Sigil Error] 'Sigilify(${label})' instance without constructor`
+            );
+          return /* @__PURE__ */ Symbol.for("@Sigil.unknown");
+        }
+        return ctor.SigilType;
+      }
+      /**
+       * Returns a copy of the sigil type symbol lineage for this instance's constructor.
+       *
+       * @returns readonly array of symbols representing the type lineage.
+       */
+      getSigilTypeLineage() {
+        var _a;
+        const ctor = getConstructor(this);
+        if (!ctor) {
+          if ((_a = opts == null ? void 0 : opts.devMarker) != null ? _a : OPTIONS.devMarker)
+            throw new Error(
+              `[Sigil Error] 'Sigilify(${label})' instance without constructor`
+            );
+          return [/* @__PURE__ */ Symbol.for("@Sigil.unknown")];
+        }
+        return ctor.SigilTypeLineage;
+      }
+      /**
+       * 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() {
+        var _a;
+        const ctor = getConstructor(this);
+        if (!ctor) {
+          if ((_a = opts == null ? void 0 : opts.devMarker) != null ? _a : OPTIONS.devMarker)
+            throw new Error(
+              `[Sigil Error] 'Sigilify(${label})' instance without constructor`
+            );
+          return /* @__PURE__ */ new Set([/* @__PURE__ */ Symbol.for("@Sigil.unknown")]);
+        }
+        return ctor.SigilTypeSet;
+      }
+    }
+    decorateCtor(Sigilified, l, opts, true);
+    markSigil(Sigilified);
+    markSigilBase(Sigilified);
+    return Sigilified;
+  }
 
   // src/core/classes.ts
   var Sigil = Sigilify(class {
@@ -687,6 +874,7 @@
   exports.SigilError = SigilError;
   exports.SigilRegistry = SigilRegistry;
   exports.Sigilify = Sigilify;
+  exports.SigilifyAbstract = SigilifyAbstract;
   exports.WithSigil = WithSigil;
   exports.getActiveRegistry = getActiveRegistry;
   exports.isDecorated = isDecorated;