@vicin/sigil 3.0.0 → 3.1.0

package/dist/index.d.mts

@@ -25,29 +25,25 @@ interface ISigilStatic<L extends string = 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.
@@ -57,20 +53,17 @@ interface ISigilStatic<L extends string = string> {
      * @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 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 T;
+    isExactType<T extends ISigilStatic>(this: T, other: unknown): other is GetPrototype<T>;
 }
 /**
  * Instance-side interface describing properties present on sigil instances.
@@ -80,14 +73,10 @@ interface ISigilStatic<L extends string = string> {
  * @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]: Prettify<IfNever<SigilOf<P>, {}> & {
+    /** 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;
     }>;
     /** Returns identity sigil label of the class constructor. */
@@ -99,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.
@@ -113,18 +101,15 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
      */
     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 T;
+    isExactType<T extends ISigilInstance>(this: T, other: unknown): other is T;
 }
 /**
  * Combined constructor + static interface for a sigil class.
@@ -133,15 +118,15 @@ interface ISigilInstance<L extends string = string, P extends Function = never>
  * @template P - Optinal parent to extend its '[sigil]'.
  */
 type ISigil<L extends string = string, P extends Function = never> = ConstructorAbstract<ISigilInstance<L, P>> & ISigilStatic<L>;
-/** Update '[sigil]' field when manual typing is used. */
+/** Update '[sigil]' field for nominal typing */
 type ExtendSigil<L extends string, P extends ISigilInstance> = Prettify<IfNever<SigilOf<P>, {}> & {
     [K in L]: true;
 }>;
 /**
- * Extract the compile-time brand map from a sigil instance `S`.
+ * Extract the compile-time label map from a sigil instance `S`.
  *
  * @typeParam S - A sigil instance type.
- * @returns The sigil brand record (e.g. `{ User: true, Admin: true }`) or never if not Sigil class instance.
+ * @returns The sigil label record (e.g. `{ User: true, Admin: true }`) or never if not Sigil class instance.
  */
 type SigilOf<S> = S extends {
     readonly [sigil]: infer Sigil;
@@ -175,6 +160,10 @@ type Prettify<T> = {
 } & {};
 /** 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.
@@ -184,8 +173,8 @@ type IfNever<T, R = {}> = [T] extends [never] ? R : T;
  */
 declare const Sigil: {
     new (...args: any[]): {
-        isOfType<T>(this: T, other: unknown): other is T;
-        isOfTypeStrict<T>(this: T, other: unknown): other is 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[];
@@ -198,9 +187,9 @@ declare const 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 T;
-    isOfTypeStrict<T>(this: T, other: unknown): other is 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 (): {};
 };
@@ -214,8 +203,8 @@ type Sigil = InstanceType<typeof Sigil>;
  */
 declare const SigilError: {
     new (...args: any[]): {
-        isOfType<T>(this: T, other: unknown): other is T;
-        isOfTypeStrict<T>(this: T, other: unknown): other is 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[];
@@ -229,9 +218,9 @@ declare const 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 T;
-    isOfTypeStrict<T>(this: T, other: unknown): other is 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 = InstanceType<typeof SigilError>;
 
@@ -251,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).
@@ -297,32 +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;
+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.
  *
@@ -338,36 +304,6 @@ declare function isSigilCtor(ctor: unknown): ctor is ISigil;
  * @returns `true` if `obj` is an instance produced by a sigil constructor.
  */
 declare function isSigilInstance(inst: unknown): inst is ISigilInstance;
-/**
- * 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 ISigilInstance;
-/**
- * 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;
 
 /**
  * Mixin factory that augments an existing class with Sigil runtime metadata and helpers.
@@ -376,43 +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[]): {
         /**
-         * 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>(this: T, other: unknown): other is T;
+        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>(this: T, other: unknown): other is T;
+        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;
         /**
@@ -422,17 +359,13 @@ 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 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]: {
             Sigil: true;
@@ -447,7 +380,7 @@ declare function Sigilify<B extends Constructor, L extends string>(Base: B, labe
      */
     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.
      *
@@ -455,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.
      */
@@ -468,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 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 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.
@@ -503,37 +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[]) => {
     /**
-     * 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>(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>(this: T, other: unknown): other is T;
+    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;
     /**
@@ -543,17 +478,13 @@ 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]: {
         Sigil: true;
@@ -568,7 +499,7 @@ declare function SigilifyAbstract<B extends ConstructorAbstract, L extends strin
      */
     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.
      *
@@ -576,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.
      */
@@ -589,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 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 T;
+    isExactType<T>(this: T, other: unknown): other is GetPrototype<T>;
 }) & B;
 
-export { DEFAULT_LABEL_REGEX, type ExtendSigil, type ISigil, type ISigilInstance, type ISigilStatic, Sigil, SigilError, type SigilOf, type SigilOptions, Sigilify, SigilifyAbstract, WithSigil, isDecorated, isInheritanceChecked, isSigilBaseCtor, isSigilBaseInstance, isSigilCtor, isSigilInstance, sigil, updateSigilOptions, withSigil };
+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 };