@happyvertical/smrt-scanner 0.45.3 → 0.47.0

package/dist/cli.js

@@ -1,5 +1,5 @@
 #!/usr/bin/env node
-import { n as ManifestAdapter, t as OxcScanner } from "./chunks/scanner-C3VqXyzB.js";
+import { n as ManifestAdapter, t as OxcScanner } from "./chunks/scanner-9p-PUN-X.js";
 import { readFileSync, writeFileSync } from "node:fs";
 import { dirname, resolve } from "node:path";
 import { fileURLToPath } from "node:url";

package/dist/index.d.ts

@@ -863,11 +863,19 @@ declare interface MethodDefinition {
         type: string;
         optional: boolean;
         default?: unknown;
+        /** See `RawParameterDefinition.typeUnresolved` (#2686). */
+        typeUnresolved?: boolean;
+        /** See `RawParameterDefinition.memberTypes` (#2686). */
+        memberTypes?: string[];
+        /** See `RawParameterDefinition.unionBranches` (#2686). */
+        unionBranches?: ParameterTypeBranch[];
     }>;
     returnType: string;
     description?: string;
     isStatic: boolean;
     isPublic: boolean;
+    /** Config of an `@method()` decorator on this method (#2686). */
+    decoratorConfig?: Record<string, unknown>;
 }
 
 declare interface MethodDefinition_2 extends BaseNode {
@@ -878,6 +886,7 @@ declare interface MethodDefinition_2 extends BaseNode {
     computed: boolean;
     static: boolean;
     accessibility?: 'public' | 'private' | 'protected';
+    decorators?: Decorator[];
 }
 
 declare interface NewExpression extends BaseNode {
@@ -1218,6 +1227,14 @@ export declare interface OxcScannerOptions {
     agentSurfaceInclude?: string[];
 }
 
+/** One branch of a top-level union parameter type (#2686). */
+export declare interface ParameterTypeBranch {
+    /** The branch's own type name, e.g. `string` or `object`. */
+    type: string;
+    /** Inline object members declared by THIS branch only. */
+    memberTypes?: string[];
+}
+
 /**
  * Read one file for agent-surface declarations ONLY (#2591).
  *
@@ -1456,6 +1473,17 @@ export declare interface RawMethodDefinition {
     returnType: string | null;
     /** JSDoc description if present */
     description: string | null;
+    /**
+     * Config object of an `@method()` decorator on this method, when one is
+     * present. `{}` for a bare `@method()`; `undefined` when the method carries
+     * no `@method()` decorator at all — the two are distinct, because an
+     * explicit bare decorator still marks the method as deliberately reviewed.
+     *
+     * Values are extracted with the same literal-only rules the class-level
+     * `@smrt()` config uses, so an expression the scanner cannot resolve becomes
+     * a scan error rather than a silently dropped `expose: false`.
+     */
+    decoratorConfig?: Record<string, unknown>;
     /** Start line in source */
     line: number;
 }
@@ -1472,6 +1500,45 @@ export declare interface RawParameterDefinition {
     optional: boolean;
     /** Default value as string */
     defaultValue: string | null;
+    /**
+     * True when the parameter carries a type annotation the scanner could not
+     * express as a string — an intersection, tuple, conditional, mapped,
+     * `typeof`, or indexed-access type — or when an inline object literal
+     * contains such a member.
+     *
+     * This is the provenance that separates "the author wrote `any`" from "the
+     * scanner gave up": both previously reached the manifest as the string
+     * `'any'`. Consumers that must fail closed on an uncertain type (the API
+     * wire-ability gate) read this rather than trusting `type`.
+     *
+     * `type: null` with `typeUnresolved` absent means the parameter simply has
+     * no annotation, which is an implicit — and genuinely authored — `any`.
+     */
+    typeUnresolved?: boolean;
+    /**
+     * Resolved member types of an INLINE object-literal annotation
+     * (`{ onDone: () => void; target: Content }` → `['Function', 'Content']`),
+     * flattened across nested literals, arrays, and unions.
+     *
+     * `extractTypeName` collapses every inline literal to the single string
+     * `'object'`, which erases exactly the members a caller needs to judge
+     * whether the bag can cross a wire. NAMED bags (an interface, type alias,
+     * `Partial<>`/`Pick<>`) are deliberately NOT expanded — resolving them needs
+     * cross-file type resolution this AST layer does not do, and they are
+     * accepted heuristically by the consumers that care.
+     */
+    memberTypes?: string[];
+    /**
+     * For a top-level UNION, each branch with the inline members IT declared.
+     *
+     * `memberTypes` above flattens across branches, which lets one branch veto
+     * another: `{ callback: () => void } | string` is wire-able through its
+     * string branch, but the flattened `Function` rejected the whole parameter.
+     * A consumer that understands this field MUST prefer it over `memberTypes`
+     * for unions. Absent on a non-union parameter and on manifests generated
+     * before #2686.
+     */
+    unionBranches?: ParameterTypeBranch[];
 }
 
 /** Preserve relative glob escapes; normalize separators only after rewriting. */
@@ -1659,6 +1726,10 @@ declare interface TSArrayType extends BaseNode {
     elementType: TSType;
 }
 
+declare interface TSBigIntKeyword extends BaseNode {
+    type: 'TSBigIntKeyword';
+}
+
 declare interface TSBooleanKeyword extends BaseNode {
     type: 'TSBooleanKeyword';
 }
@@ -1702,6 +1773,10 @@ declare interface TSMethodSignature extends BaseNode {
     returnType?: TSTypeAnnotation;
 }
 
+declare interface TSNeverKeyword extends BaseNode {
+    type: 'TSNeverKeyword';
+}
+
 declare interface TSNullKeyword extends BaseNode {
     type: 'TSNullKeyword';
 }
@@ -1710,6 +1785,10 @@ declare interface TSNumberKeyword extends BaseNode {
     type: 'TSNumberKeyword';
 }
 
+declare interface TSObjectKeyword extends BaseNode {
+    type: 'TSObjectKeyword';
+}
+
 declare interface TSPropertySignature extends BaseNode {
     type: 'TSPropertySignature';
     key: Expression;
@@ -1728,7 +1807,15 @@ declare interface TSStringKeyword extends BaseNode {
     type: 'TSStringKeyword';
 }
 
-declare type TSType = TSStringKeyword | TSNumberKeyword | TSBooleanKeyword | TSAnyKeyword | TSVoidKeyword | TSNullKeyword | TSUndefinedKeyword | TSTypeReference | TSArrayType | TSUnionType | TSTypeLiteral | TSLiteralType | TSFunctionType;
+declare interface TSSymbolKeyword extends BaseNode {
+    type: 'TSSymbolKeyword';
+}
+
+declare interface TSThisType extends BaseNode {
+    type: 'TSThisType';
+}
+
+declare type TSType = TSStringKeyword | TSNumberKeyword | TSBooleanKeyword | TSAnyKeyword | TSUnknownKeyword | TSNeverKeyword | TSObjectKeyword | TSBigIntKeyword | TSSymbolKeyword | TSVoidKeyword | TSNullKeyword | TSUndefinedKeyword | TSThisType | TSTypeReference | TSArrayType | TSUnionType | TSTypeLiteral | TSLiteralType | TSFunctionType;
 
 declare interface TSTypeAliasDeclaration extends BaseNode {
     type: 'TSTypeAliasDeclaration';
@@ -1769,6 +1856,10 @@ declare interface TSUnionType extends BaseNode {
     types: TSType[];
 }
 
+declare interface TSUnknownKeyword extends BaseNode {
+    type: 'TSUnknownKeyword';
+}
+
 declare interface TSVoidKeyword extends BaseNode {
     type: 'TSVoidKeyword';
 }

package/dist/index.js

@@ -1,4 +1,4 @@
-import { _ as sourceMayDeclareAgentSurface, a as parseFile, c as discoverSourceFiles, d as emptyAgentSurface, f as extractAgentSurface, g as scanSvelteAgentSurface, h as mergeAgentSurfaces, i as parseAgentSurfaceFile, l as normalizeGlobSeparators, m as isPrunedAgentSurfacePath, n as ManifestAdapter, o as parseSource, p as isAgentSurfaceSourcePath, r as extractSmrtImports, s as InheritanceResolver, t as OxcScanner, u as relativeGlobToCwd } from "./chunks/scanner-C3VqXyzB.js";
+import { _ as sourceMayDeclareAgentSurface, a as parseFile, c as discoverSourceFiles, d as emptyAgentSurface, f as extractAgentSurface, g as scanSvelteAgentSurface, h as mergeAgentSurfaces, i as parseAgentSurfaceFile, l as normalizeGlobSeparators, m as isPrunedAgentSurfacePath, n as ManifestAdapter, o as parseSource, p as isAgentSurfaceSourcePath, r as extractSmrtImports, s as InheritanceResolver, t as OxcScanner, u as relativeGlobToCwd } from "./chunks/scanner-9p-PUN-X.js";
 import "./types.js";
 import { existsSync, readFileSync } from "node:fs";
 import { basename, resolve } from "node:path";

package/dist/types.d.ts

@@ -250,6 +250,14 @@ export declare interface OxcScannerOptions {
     agentSurfaceInclude?: string[];
 }
 
+/** One branch of a top-level union parameter type (#2686). */
+export declare interface ParameterTypeBranch {
+    /** The branch's own type name, e.g. `string` or `object`. */
+    type: string;
+    /** Inline object members declared by THIS branch only. */
+    memberTypes?: string[];
+}
+
 /**
  * Type definitions for OXC-based SMRT scanner
  *
@@ -377,6 +385,17 @@ export declare interface RawMethodDefinition {
     returnType: string | null;
     /** JSDoc description if present */
     description: string | null;
+    /**
+     * Config object of an `@method()` decorator on this method, when one is
+     * present. `{}` for a bare `@method()`; `undefined` when the method carries
+     * no `@method()` decorator at all — the two are distinct, because an
+     * explicit bare decorator still marks the method as deliberately reviewed.
+     *
+     * Values are extracted with the same literal-only rules the class-level
+     * `@smrt()` config uses, so an expression the scanner cannot resolve becomes
+     * a scan error rather than a silently dropped `expose: false`.
+     */
+    decoratorConfig?: Record<string, unknown>;
     /** Start line in source */
     line: number;
 }
@@ -393,6 +412,45 @@ export declare interface RawParameterDefinition {
     optional: boolean;
     /** Default value as string */
     defaultValue: string | null;
+    /**
+     * True when the parameter carries a type annotation the scanner could not
+     * express as a string — an intersection, tuple, conditional, mapped,
+     * `typeof`, or indexed-access type — or when an inline object literal
+     * contains such a member.
+     *
+     * This is the provenance that separates "the author wrote `any`" from "the
+     * scanner gave up": both previously reached the manifest as the string
+     * `'any'`. Consumers that must fail closed on an uncertain type (the API
+     * wire-ability gate) read this rather than trusting `type`.
+     *
+     * `type: null` with `typeUnresolved` absent means the parameter simply has
+     * no annotation, which is an implicit — and genuinely authored — `any`.
+     */
+    typeUnresolved?: boolean;
+    /**
+     * Resolved member types of an INLINE object-literal annotation
+     * (`{ onDone: () => void; target: Content }` → `['Function', 'Content']`),
+     * flattened across nested literals, arrays, and unions.
+     *
+     * `extractTypeName` collapses every inline literal to the single string
+     * `'object'`, which erases exactly the members a caller needs to judge
+     * whether the bag can cross a wire. NAMED bags (an interface, type alias,
+     * `Partial<>`/`Pick<>`) are deliberately NOT expanded — resolving them needs
+     * cross-file type resolution this AST layer does not do, and they are
+     * accepted heuristically by the consumers that care.
+     */
+    memberTypes?: string[];
+    /**
+     * For a top-level UNION, each branch with the inline members IT declared.
+     *
+     * `memberTypes` above flattens across branches, which lets one branch veto
+     * another: `{ callback: () => void } | string` is wire-able through its
+     * string branch, but the flattened `Function` rejected the whole parameter.
+     * A consumer that understands this field MUST prefer it over `memberTypes`
+     * for unions. Absent on a non-union parameter and on manifests generated
+     * before #2686.
+     */
+    unionBranches?: ParameterTypeBranch[];
 }
 
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@happyvertical/smrt-scanner",
-  "version": "0.45.3",
+  "version": "0.47.0",
   "description": "High-performance TypeScript scanner using OXC for SMRT manifest generation",
   "author": "HappyVertical",
   "type": "module",