@groma/scanner-vue 0.2.3 → 0.2.5

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@groma/scanner-vue",
-  "version": "0.2.3",
+  "version": "0.2.5",
   "description": "Complementary Vue framework evidence; a dependency declaration does not verify runtime use.",
   "private": false,
   "type": "module",

package/types/template-helpers.d.ts

@@ -1,5 +1,5 @@
 declare global {
-	const __VLS_directiveBindingRestFields: { instance: null; oldValue: null; modifiers: any; dir: any };
+	const __VLS_directiveBindingRestFields: { instance: null; oldValue: null; value: null; modifiers: any; dir: any };
 
 	type __VLS_Elements = __VLS_SpreadMerge<SVGElementTagNameMap, HTMLElementTagNameMap>;
 	type __VLS_IsAny<T> = 0 extends 1 & T ? true : false;
@@ -23,7 +23,7 @@ declare global {
 		: {};
 	type __VLS_ExtractComponentContext<T, K> = __VLS_PickNotAny<
 		'__ctx' extends keyof __VLS_PickNotAny<K, {}> ? K extends { __ctx?: infer Ctx } ? NonNullable<Ctx> : never : any,
-		T extends (props: any, ctx: infer Ctx) => any ? Ctx : any
+		T extends (props: any, ctx: infer Ctx) => any ? (unknown extends Ctx ? any : Ctx) : any
 	>;
 	type __VLS_ExtractComponentProps<T, K> = '__ctx' extends keyof __VLS_PickNotAny<K, {}>
 		? K extends { __ctx?: { props?: infer P } } ? NonNullable<P> : never
@@ -47,12 +47,12 @@ declare global {
 	type __VLS_ResolveEvent<
 		Props,
 		Emits,
-		onEvent extends keyof Props,
-		Event extends keyof Emits,
-		CamelizedEvent extends keyof Emits,
-	> = __VLS_IsFunction<Props, onEvent> extends true ? Props
-		: __VLS_IsFunction<Emits, Event> extends true ? { [K in onEvent]?: Emits[Event] }
-		: __VLS_IsFunction<Emits, CamelizedEvent> extends true ? { [K in onEvent]?: Emits[CamelizedEvent] }
+		onEvent extends string,
+		Event extends string,
+		CamelizedEvent extends string,
+	> = __VLS_IsFunction<Props, onEvent> extends true ? { [K in onEvent]?: Props[K & keyof Props] }
+		: __VLS_IsFunction<Emits, Event> extends true ? { [K in onEvent]?: Emits[Event & keyof Emits] }
+		: __VLS_IsFunction<Emits, CamelizedEvent> extends true ? { [K in onEvent]?: Emits[CamelizedEvent & keyof Emits] }
 		: Props;
 	// fix https://github.com/vuejs/language-tools/issues/926
 	type __VLS_UnionToIntersection<U> = (U extends unknown ? (arg: U) => unknown : never) extends
@@ -99,20 +99,37 @@ declare global {
 	};
 	type __VLS_PrettifyGlobal<T> = (T extends any ? { [K in keyof T]: T[K] } : { [K in keyof T as K]: T[K] }) & {};
 
+	// Vue invokes hooks with all four args regardless of the declared arity
+	// make the generated 4-arg call legal for short hooks while their declared params stay checked.
+	type __VLS_IsRebuildable<A, B> = (<G>() => G extends A ? 1 : 2) extends (<G>() => G extends B ? 1 : 2) ? true : false;
+	type __VLS_PadDirectiveHook<F> = F extends (...args: infer A) => infer R
+		// full arity: nothing to pad
+		? A extends [any, any, any, any, ...any[]] ? F
+			// losslessly rebuildable: pad with a trailing `any` rest
+		: __VLS_IsRebuildable<F, (...args: A) => R> extends true ? (...args: [...A, ...any[]]) => R
+			// not rebuildable (generic/overloaded): add a permissive overload for the call
+		: F & ((...args: any[]) => R)
+		: F;
+
 	function __VLS_vFor<const T>(source: T): T extends number ? [number, number][]
 		: T extends string ? [string, number][]
 		: T extends readonly any[] ? (T extends readonly (infer U)[] ? [U, number] : never)[]
 		: T extends Iterable<any> ? (T extends Iterable<infer V> ? [V, number] : never)[]
 		: [T[keyof T], keyof T extends string ? keyof T : `${keyof T & (string | number)}`, number][];
 	function __VLS_vSlot<S, D extends S>(slot: S, decl?: D): D extends (...args: infer P) => any ? P : any[];
+	function __VLS_nonNull<T>(value: T): NonNullable<T>;
 	function __VLS_asFunctionalDirective<T, ObjectDirective>(
 		dir: T,
 		od: ObjectDirective,
-	): T extends ObjectDirective ? NonNullable<
-			T[keyof T & ('created' | 'beforeMount' | 'mounted' | 'beforeUpdate' | 'updated' | 'beforeUnmount' | 'unmounted')]
-		>
-		: T extends (...args: any) => any ? T
-		: (arg1: unknown, arg2: unknown, arg3: unknown, arg4: unknown) => void;
+	): __VLS_PadDirectiveHook<
+		T extends ObjectDirective ? NonNullable<
+				T[
+					keyof T & ('created' | 'beforeMount' | 'mounted' | 'beforeUpdate' | 'updated' | 'beforeUnmount' | 'unmounted')
+				]
+			>
+			: T extends (...args: any) => any ? T
+			: (arg1: unknown, arg2: unknown, arg3: unknown, arg4: unknown) => void
+	>;
 	function __VLS_asFunctionalComponent0<T, K>(
 		t: T,
 		instance: K,
@@ -127,14 +144,31 @@ declare global {
 		: T extends () => any ? (props: {}, ctx?: any) => ReturnType<T>
 		: T extends (...args: any) => any ? T
 		: __VLS_FunctionalComponent<{}, Record<string, unknown>>;
+	type __VLS_PadArgs<A extends any[]> = A extends [any, ...infer Rest] ? [any, ...__VLS_PadArgs<Rest>] : [];
 	function __VLS_functionalComponentArgsRest<T extends (...args: any) => any>(
 		t: T,
-	): 2 extends Parameters<T>['length'] ? [any] : [];
+	): __VLS_PadArgs<Parameters<T> extends [any, ...infer Rest] ? Rest : []>;
 	function __VLS_asFunctionalElement0<T>(tag: T, endTag?: T): (attrs: T) => void;
 	function __VLS_asFunctionalElement1<T>(tag: T, endTag?: T): (attrs: T & Record<string, unknown>) => void;
-	function __VLS_asFunctionalSlot<S>(slot: S): S extends () => infer R ? (props: {}) => R : NonNullable<S>;
+	function __VLS_asFunctionalSlot<S>(
+		slot: S,
+	): S extends (...args: any) => any ? (S extends () => infer R ? (props: {}) => R : S)
+		: (S extends null | undefined ? never : (props: S) => any);
 	function __VLS_omit<T, K>(target: T, props: K): Omit<T, keyof K>;
 	function __VLS_tryAsConstant<const T>(t: T): T;
+	// Rewrites the binding so codegen's appended `.value` resolves with the
+	// unwrapped type: a wholly-ref type stays as-is; anything else gains a
+	// `Ref` conjunct (passed by the caller — this file cannot import vue) that
+	// doubles as the idempotency marker for re-assertion. The tuple form keeps
+	// every branch assignable to `T` (TS2677); distributing the intersection
+	// would turn nullish union members into `never`.
+	function __VLS_withDotValue<T, Ref>(
+		t: T,
+		ref: Ref,
+	): asserts t is [T] extends [Ref] ? T
+		: NonNullable<T> & Ref & { value: T extends Ref & { value: infer V } ? V : T };
+	function __VLS_unwrap<T, Ref>(t: T, ref: Ref): T extends Ref & { value: infer V } ? V
+		: T;
 }
 
 export {};

package/validation.md

@@ -50,7 +50,7 @@ Scanner source/build/smoke lint and repository type checking passed.
 bun install --frozen-lockfile --ignore-scripts
 bun plugins/scanners/vue/build.ts
 bun test --timeout 20000 test-bun/vue-scanner.test.ts
-bunx biome lint plugins/scanners/vue/src plugins/scanners/vue/build.ts test-bun/vue-scanner.test.ts
+bun run biome lint plugins/scanners/vue/src plugins/scanners/vue/build.ts test-bun/vue-scanner.test.ts
 bun run typecheck
 ```