@happyvertical/smrt-scanner 0.51.32 → 0.51.33

package/dist/numeric-precision-lint.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Numeric-precision lint for money and rate fields (#2361).
+ *
+ * SMRT infers a `number` field's column type from the *initializer literal*:
+ * `= 0` compiles to INTEGER and `= 0.0` compiles to DECIMAL
+ * (`manifest-adapter.ts`, inference steps 3 and 3.5). The rule is silent, and
+ * SQLite's type affinity happily stores a REAL in an INTEGER column — so a
+ * mistyped field passes every SQLite suite and then behaves differently in
+ * production on PostgreSQL.
+ *
+ * Two vocabularies, opposite answers:
+ *
+ * - **Money is exact**, so it is stored as *integer minor units* — cents,
+ *   satoshis. `$19.99` is `1999`. A money field declared `= 0.0` becomes a
+ *   float column, which reintroduces binary-fraction error into amounts that
+ *   must balance, and invites callers to write major units.
+ * - **Rates are inherently fractional** — `taxRate`, `confidence`, a percentage
+ *   — so they must be DECIMAL. INTEGER would truncate every meaningful value
+ *   (a confidence in `[0, 1]` collapses to 0 or 1) and PostgreSQL rejects the
+ *   write outright with `22P02`.
+ *
+ * Matching is head-noun based rather than substring based, which is what keeps
+ * it usable as a repo-wide gate: `amountCents` and `totalTokensUsed` name a
+ * unit or a count as their head and are left alone, while `totalAmount`,
+ * `amountPaid` and a bare `total` are money. JSDoc prose is deliberately NOT
+ * matched — the head-noun signal is precise, and scanning prose for the same
+ * vocabulary would make the gate fire on documentation wording.
+ */
+import type { RawClassDefinition } from './types.js';
+/** Which rule a field falls under, if any. */
+export type NumericPrecisionKind = 'money' | 'rate';
+/** One field whose declared precision contradicts its name. */
+export interface NumericPrecisionFinding {
+    /** `money` wants INTEGER minor units; `rate` wants DECIMAL. */
+    kind: NumericPrecisionKind;
+    /** Declaring class, e.g. `Invoice`. */
+    className: string;
+    /** Field name, e.g. `totalAmount`. */
+    fieldName: string;
+    /** File the class was scanned from. */
+    filePath: string;
+    /**
+     * 1-based line of the field declaration, or `0` when it could not be
+     * resolved. The OXC AST nodes this scanner consumes do not carry `loc`, so
+     * the line is recovered from the source text when a caller passes it to
+     * {@link lintNumericPrecision}.
+     */
+    line: number;
+    /** The initializer that triggered the finding. */
+    initializer: string;
+    /** Human-readable explanation naming the rule. */
+    message: string;
+    /** The accepted fixes. */
+    remedy: string;
+}
+/**
+ * Split an identifier into lowercase words on camelCase, PascalCase, digits,
+ * and underscores. `totalAmountCents` → `['total', 'amount', 'cents']`.
+ */
+export declare function splitIdentifierWords(name: string): string[];
+/**
+ * Classify an identifier as money, a rate, or neither.
+ *
+ * The head noun is the last word, or the last word before a trailing qualifier
+ * such as `Paid`. A rate word anywhere in the name wins outright: `taxRate` is
+ * a rate even though `tax` is money, and that precedence is what stops the two
+ * vocabularies from fighting over the same field.
+ */
+export declare function classifyNumericFieldName(name: string): NumericPrecisionKind | undefined;
+/**
+ * Cheap pre-filter so callers can skip parsing files that cannot produce a
+ * finding.
+ *
+ * Conservative by construction: every condition here is textually implied by a
+ * finding. A reported field lives in a class carrying `@smrt` or
+ * `extends Smrt…`, is initialized to a number, and has a money or rate word at
+ * one of the boundaries the head-noun splitter cuts on. It may still return
+ * `true` for a file the AST pass then clears — that is the intended direction.
+ *
+ * @param source - Full file contents.
+ * @returns `false` only when the file provably cannot produce a finding.
+ */
+export declare function sourceMayContainNumericPrecisionIssue(source: string): boolean;
+/**
+ * Report every persisted `number` field whose declared precision contradicts
+ * its name — money declared decimal, or a rate declared integer.
+ *
+ * @param classes - Raw class definitions from `parseFile` / `OxcScanner`.
+ * @param sourceText - Optional contents of the scanned file, used only to
+ *   recover declaration line numbers the AST does not carry.
+ * @returns One finding per offending field, in declaration order.
+ */
+export declare function lintNumericPrecision(classes: RawClassDefinition[], sourceText?: string): NumericPrecisionFinding[];
+//# sourceMappingURL=numeric-precision-lint.d.ts.map

package/dist/numeric-precision-lint.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"numeric-precision-lint.d.ts","sourceRoot":"","sources":["../src/numeric-precision-lint.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,YAAY,CAAC;AA2EzE,8CAA8C;AAC9C,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,MAAM,CAAC;AAEpD,+DAA+D;AAC/D,MAAM,WAAW,uBAAuB;IACtC,+DAA+D;IAC/D,IAAI,EAAE,oBAAoB,CAAC;IAC3B,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,OAAO,EAAE,MAAM,CAAC;IAChB,0BAA0B;IAC1B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAO3D;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,IAAI,EAAE,MAAM,GACX,oBAAoB,GAAG,SAAS,CASlC;AAwCD;;;;;;;;;;;;GAYG;AACH,wBAAgB,qCAAqC,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAM7E;AA8HD;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,kBAAkB,EAAE,EAC7B,UAAU,CAAC,EAAE,MAAM,GAClB,uBAAuB,EAAE,CA6B3B"}

package/dist/oxc-parser.d.ts

@@ -0,0 +1,505 @@
+/**
+ * OXC-based TypeScript parser for SMRT class extraction
+ *
+ * Uses oxc-parser for high-performance syntactic parsing of TypeScript files.
+ * Extracts @smrt() decorated classes with their fields, methods, and inheritance.
+ *
+ * @see https://oxc.rs/docs/guide/usage/parser.html
+ */
+import { getLineColumn } from './source-location.js';
+import type { AgentSurface, FileScanResult } from './types.js';
+export { getLineColumn };
+interface Position {
+    line: number;
+    column: number;
+}
+interface SourceLocation {
+    start: Position;
+    end: Position;
+}
+interface BaseNode {
+    type: string;
+    loc?: SourceLocation;
+    range?: [number, number];
+    start?: number;
+    end?: number;
+}
+interface ImportDeclaration extends BaseNode {
+    type: 'ImportDeclaration';
+    specifiers?: ImportSpecifierLike[];
+    source: Literal;
+}
+type ImportSpecifierLike = ImportSpecifier | ImportNamespaceSpecifier | ImportDefaultSpecifier;
+interface ImportSpecifier extends BaseNode {
+    type: 'ImportSpecifier';
+    imported: Identifier;
+    local: Identifier;
+}
+interface ImportNamespaceSpecifier extends BaseNode {
+    type: 'ImportNamespaceSpecifier';
+    local: Identifier;
+}
+interface ImportDefaultSpecifier extends BaseNode {
+    type: 'ImportDefaultSpecifier';
+    local: Identifier;
+}
+type Statement = ClassDeclaration | ExportNamedDeclaration | ExportDefaultDeclaration | ImportDeclaration | TSTypeAliasDeclaration | TSEnumDeclaration | VariableDeclaration;
+interface VariableDeclaration extends BaseNode {
+    type: 'VariableDeclaration';
+    kind: 'const' | 'let' | 'var';
+    declarations: VariableDeclarator[];
+}
+interface VariableDeclarator extends BaseNode {
+    type: 'VariableDeclarator';
+    id: Identifier | Pattern;
+    init: Expression | null;
+}
+interface ClassDeclaration extends BaseNode {
+    type: 'ClassDeclaration';
+    id: Identifier | null;
+    superClass: Expression | null;
+    superTypeParameters?: TSTypeParameterInstantiation;
+    superTypeArguments?: TSTypeParameterInstantiation;
+    body: ClassBody;
+    decorators?: Decorator[];
+}
+interface TSTypeAliasDeclaration extends BaseNode {
+    type: 'TSTypeAliasDeclaration';
+    id: Identifier;
+    typeAnnotation: TSType;
+}
+interface TSEnumDeclaration extends BaseNode {
+    type: 'TSEnumDeclaration';
+    id: Identifier;
+    body?: TSEnumBody;
+    members?: TSEnumMember[];
+}
+interface TSEnumBody extends BaseNode {
+    type: 'TSEnumBody';
+    members: TSEnumMember[];
+}
+interface TSEnumMember extends BaseNode {
+    type: 'TSEnumMember';
+    initializer?: Expression;
+}
+interface ClassBody extends BaseNode {
+    type: 'ClassBody';
+    body: ClassElement[];
+}
+type ClassElement = PropertyDefinition | MethodDefinition;
+interface PropertyDefinition extends BaseNode {
+    type: 'PropertyDefinition';
+    key: Expression;
+    value: Expression | null;
+    computed: boolean;
+    static: boolean;
+    readonly?: boolean;
+    optional?: boolean;
+    accessibility?: 'public' | 'private' | 'protected';
+    typeAnnotation?: TSTypeAnnotation;
+    decorators?: Decorator[];
+}
+interface MethodDefinition extends BaseNode {
+    type: 'MethodDefinition';
+    key: Expression;
+    value: FunctionExpression;
+    kind: 'constructor' | 'method' | 'get' | 'set';
+    computed: boolean;
+    static: boolean;
+    accessibility?: 'public' | 'private' | 'protected';
+    decorators?: Decorator[];
+}
+interface FunctionExpression extends BaseNode {
+    type: 'FunctionExpression';
+    async: boolean;
+    params: Pattern[];
+    returnType?: TSTypeAnnotation;
+    body: BlockStatement;
+}
+interface BlockStatement extends BaseNode {
+    type: 'BlockStatement';
+    body: Statement[];
+}
+type Pattern = Identifier | AssignmentPattern | RestElement | ObjectPattern | ArrayPattern;
+interface Identifier extends BaseNode {
+    type: 'Identifier';
+    name: string;
+    typeAnnotation?: TSTypeAnnotation;
+    optional?: boolean;
+}
+interface AssignmentPattern extends BaseNode {
+    type: 'AssignmentPattern';
+    left: Pattern;
+    right: Expression;
+}
+interface RestElement extends BaseNode {
+    type: 'RestElement';
+    argument: Pattern;
+    typeAnnotation?: TSTypeAnnotation;
+}
+interface ObjectPattern extends BaseNode {
+    type: 'ObjectPattern';
+    properties: (Property | RestElement)[];
+    typeAnnotation?: TSTypeAnnotation;
+}
+interface ArrayPattern extends BaseNode {
+    type: 'ArrayPattern';
+    elements: (Pattern | null)[];
+    typeAnnotation?: TSTypeAnnotation;
+}
+interface Property extends BaseNode {
+    type: 'Property';
+    key: Expression;
+    value: Expression | Pattern;
+    kind: 'init' | 'get' | 'set';
+    method: boolean;
+    shorthand: boolean;
+    computed: boolean;
+}
+type Expression = Identifier | Literal | CallExpression | MemberExpression | ObjectExpression | ArrayExpression | NewExpression | UnaryExpression;
+interface Literal extends BaseNode {
+    type: 'Literal';
+    value: string | number | boolean | null | RegExp | bigint;
+    raw?: string;
+}
+interface UnaryExpression extends BaseNode {
+    type: 'UnaryExpression';
+    operator: string;
+    argument: Expression;
+}
+interface CallExpression extends BaseNode {
+    type: 'CallExpression';
+    callee: Expression;
+    arguments: Expression[];
+    typeParameters?: TSTypeParameterInstantiation;
+}
+interface MemberExpression extends BaseNode {
+    type: 'MemberExpression';
+    object: Expression;
+    property: Expression;
+    computed: boolean;
+}
+interface ObjectExpression extends BaseNode {
+    type: 'ObjectExpression';
+    properties: (Property | SpreadElement)[];
+}
+interface SpreadElement extends BaseNode {
+    type: 'SpreadElement';
+    argument: Expression;
+}
+interface ArrayExpression extends BaseNode {
+    type: 'ArrayExpression';
+    elements: (Expression | SpreadElement | null)[];
+}
+interface NewExpression extends BaseNode {
+    type: 'NewExpression';
+    callee: Expression;
+    arguments: Expression[];
+}
+interface Decorator extends BaseNode {
+    type: 'Decorator';
+    expression: Expression;
+}
+interface ExportNamedDeclaration extends BaseNode {
+    type: 'ExportNamedDeclaration';
+    declaration: Statement | null;
+    specifiers: ExportSpecifier[];
+}
+interface ExportDefaultDeclaration extends BaseNode {
+    type: 'ExportDefaultDeclaration';
+    declaration: Statement | Expression;
+}
+interface ExportSpecifier extends BaseNode {
+    type: 'ExportSpecifier';
+    local: Identifier;
+    exported: Identifier;
+}
+interface TSTypeAnnotation extends BaseNode {
+    type: 'TSTypeAnnotation';
+    typeAnnotation: TSType;
+}
+type TSType = TSStringKeyword | TSNumberKeyword | TSBooleanKeyword | TSAnyKeyword | TSUnknownKeyword | TSNeverKeyword | TSObjectKeyword | TSBigIntKeyword | TSSymbolKeyword | TSVoidKeyword | TSNullKeyword | TSUndefinedKeyword | TSThisType | TSTypeReference | TSArrayType | TSUnionType | TSTypeLiteral | TSLiteralType | TSFunctionType;
+interface TSLiteralType extends BaseNode {
+    type: 'TSLiteralType';
+    literal?: Literal;
+}
+interface TSFunctionType extends BaseNode {
+    type: 'TSFunctionType';
+}
+interface TSStringKeyword extends BaseNode {
+    type: 'TSStringKeyword';
+}
+interface TSNumberKeyword extends BaseNode {
+    type: 'TSNumberKeyword';
+}
+interface TSBooleanKeyword extends BaseNode {
+    type: 'TSBooleanKeyword';
+}
+interface TSAnyKeyword extends BaseNode {
+    type: 'TSAnyKeyword';
+}
+interface TSUnknownKeyword extends BaseNode {
+    type: 'TSUnknownKeyword';
+}
+interface TSNeverKeyword extends BaseNode {
+    type: 'TSNeverKeyword';
+}
+interface TSObjectKeyword extends BaseNode {
+    type: 'TSObjectKeyword';
+}
+interface TSBigIntKeyword extends BaseNode {
+    type: 'TSBigIntKeyword';
+}
+interface TSSymbolKeyword extends BaseNode {
+    type: 'TSSymbolKeyword';
+}
+interface TSVoidKeyword extends BaseNode {
+    type: 'TSVoidKeyword';
+}
+interface TSNullKeyword extends BaseNode {
+    type: 'TSNullKeyword';
+}
+interface TSUndefinedKeyword extends BaseNode {
+    type: 'TSUndefinedKeyword';
+}
+interface TSThisType extends BaseNode {
+    type: 'TSThisType';
+}
+interface TSTypeReference extends BaseNode {
+    type: 'TSTypeReference';
+    typeName: Identifier | TSQualifiedName;
+    typeParameters?: TSTypeParameterInstantiation;
+    typeArguments?: TSTypeParameterInstantiation;
+}
+interface TSQualifiedName extends BaseNode {
+    type: 'TSQualifiedName';
+    left: Identifier | TSQualifiedName;
+    right: Identifier;
+}
+interface TSArrayType extends BaseNode {
+    type: 'TSArrayType';
+    elementType: TSType;
+}
+interface TSUnionType extends BaseNode {
+    type: 'TSUnionType';
+    types: TSType[];
+}
+interface TSTypeLiteral extends BaseNode {
+    type: 'TSTypeLiteral';
+    members: TSTypeElement[];
+}
+type TSTypeElement = TSPropertySignature | TSMethodSignature | TSIndexSignature;
+interface TSPropertySignature extends BaseNode {
+    type: 'TSPropertySignature';
+    key: Expression;
+    typeAnnotation?: TSTypeAnnotation;
+    optional?: boolean;
+    readonly?: boolean;
+}
+interface TSMethodSignature extends BaseNode {
+    type: 'TSMethodSignature';
+    key: Expression;
+    params: Pattern[];
+    returnType?: TSTypeAnnotation;
+}
+interface TSIndexSignature extends BaseNode {
+    type: 'TSIndexSignature';
+    parameters: Identifier[];
+    typeAnnotation?: TSTypeAnnotation;
+}
+interface TSTypeParameterInstantiation extends BaseNode {
+    type: 'TSTypeParameterInstantiation';
+    params: TSType[];
+}
+/**
+ * Parse a single TypeScript file and extract SMRT class definitions.
+ *
+ * Reads the file from disk, runs oxc-parser on it, and returns all class
+ * definitions found, any parse errors, accumulated type aliases, and
+ * `@happyvertical/smrt-*` import metadata.
+ *
+ * @param filePath - Absolute path to the `.ts` or `.tsx` file to parse.
+ * @returns A {@link FileScanResult} containing classes, errors, type aliases,
+ *   SMRT imports, and timing information for the file.
+ *
+ * @example
+ * ```typescript
+ * import { parseFile } from '@happyvertical/smrt-scanner';
+ *
+ * const result = parseFile('/project/src/models/Product.ts');
+ * console.log(result.classes.map((c) => c.className));
+ * // ['Product', 'ProductCollection']
+ * ```
+ *
+ * @see {@link parseSource} to parse a source string directly (e.g. in tests).
+ */
+export declare function parseFile(filePath: string): FileScanResult;
+/**
+ * Read one file for agent-surface declarations ONLY (#2591).
+ *
+ * Exists because the agent surface must not be confined to the class scan's
+ * `include` glob: an application that scans `src/lib/objects/**` for its models
+ * — the shipped template does exactly that — would otherwise never see a
+ * `src/lib/agent/Foo.intents.ts` sidecar, and the declaration would vanish from
+ * every artifact with no diagnostic. Silent omission is the one failure this
+ * matcher exists to prevent, so declarations are discovered on their own terms.
+ *
+ * The token pre-filter runs before the parse, so a file that declares nothing
+ * costs one read and one `String.includes`.
+ *
+ * @returns The file's surface, or `undefined` when it declares nothing or
+ *   cannot be read.
+ */
+export declare function parseAgentSurfaceFile(filePath: string): AgentSurface | undefined;
+/**
+ * Parse TypeScript source text directly and extract SMRT class definitions.
+ *
+ * Identical to {@link parseFile} but accepts a source string instead of a
+ * file path. Primarily used in tests and tooling that constructs source
+ * programmatically.
+ *
+ * @param sourceText - Raw TypeScript source code to parse.
+ * @param filename - Virtual filename used to determine the parser language
+ *   mode (`.ts`, `.tsx`, `.js`, `.jsx`) and to populate `filePath` fields in
+ *   the result. Defaults to `'test.ts'`.
+ * @returns A {@link FileScanResult} containing classes, errors, type aliases,
+ *   and SMRT import metadata extracted from the source text.
+ *
+ * @example
+ * ```typescript
+ * import { parseSource } from '@happyvertical/smrt-scanner';
+ *
+ * const src = `
+ *   import { smrt } from '@happyvertical/smrt-core';
+ *   @smrt()
+ *   export class Widget extends SmrtObject {
+ *     label: string = '';
+ *   }
+ * `;
+ * const result = parseSource(src, 'Widget.ts');
+ * console.log(result.classes[0].className); // 'Widget'
+ * ```
+ *
+ * @see {@link parseFile} to parse a file from disk.
+ */
+export declare function parseSource(sourceText: string, filename?: string): FileScanResult;
+/**
+ * Whether a key is safe to assign as an own property on a plain object built
+ * from parsed AST. See {@link FORBIDDEN_OBJECT_KEYS}.
+ *
+ * @internal Exported for testing.
+ */
+export declare function isSafeObjectKey(key: string): boolean;
+/**
+ * Extract `@happyvertical/smrt-*` import declarations from an OXC program body.
+ *
+ * Scans the top-level AST statements for `ImportDeclaration` nodes whose
+ * module specifier begins with `@happyvertical/smrt-` and collects the
+ * PascalCase identifiers being imported.  The result is used for tree-shaking:
+ * only externally imported SMRT classes that appear in project source are
+ * included in the generated manifest.
+ *
+ * Handles all import forms:
+ * - Side-effect imports — `import '@happyvertical/smrt-messages'` (recorded as `'*'`)
+ * - Named imports — `import { Person, Organization } from '@happyvertical/smrt-profiles'`
+ * - Renamed named imports — `import { Person as PersonBase } from '...'` (records original name `Person`)
+ * - Namespace imports — `import * as Profiles from '@happyvertical/smrt-profiles'` (recorded as `'*'`)
+ * - Default imports — `import SomeClass from '@happyvertical/smrt-profiles'`
+ *
+ * Only PascalCase identifiers are recorded; utility function names (lowercase)
+ * are ignored.
+ *
+ * @param body - The top-level statement array from the OXC-parsed `Program` node.
+ * @returns A `Map` keyed by package name (e.g. `'@happyvertical/smrt-profiles'`)
+ *   whose values are `Set`s of the imported PascalCase class names (or `'*'`
+ *   for namespace imports).
+ *
+ * @example
+ * ```typescript
+ * import { parseSource, extractSmrtImports } from '@happyvertical/smrt-scanner';
+ * import { parseSync } from 'oxc-parser';
+ *
+ * const src = `import { Person, Organization } from '@happyvertical/smrt-profiles';`;
+ * const { program } = parseSync('file.ts', src, { lang: 'ts' });
+ * const imports = extractSmrtImports(program.body);
+ * // Map { '@happyvertical/smrt-profiles' => Set { 'Person', 'Organization' } }
+ * ```
+ *
+ * @internal Exported for testing; use {@link OxcScanner.scanSmrtImports} for
+ *   production use cases.
+ */
+export declare function extractSmrtImports(body: Statement[]): Map<string, Set<string>>;
+/**
+ * Extract type alias declarations from program body.
+ * Maps alias names to their resolved type strings.
+ * e.g., `type Status = 'active' | 'inactive'` → { Status: "'active' | 'inactive'" }
+ * @internal Exported for testing
+ */
+export declare function extractTypeAliases(body: Statement[]): Record<string, string>;
+/**
+ * A spread inside an `@smrt()` or `@method()` config that could not be
+ * resolved statically.
+ *
+ * Recorded rather than silently dropped: an unresolvable spread may carry
+ * `api`/`mcp`/`cli` keys, and because an absent surface key means *default
+ * open* (full CRUD), dropping it silently turns a deliberate lockdown into a
+ * public surface. The same reasoning covers `@method({ expose: false })`,
+ * where a dropped key restores the default-routed behavior the author was
+ * withholding. See issues #2100 and #2686.
+ */
+interface UnresolvedSpread {
+    /** Source text of the spread, e.g. `...IMPORTED_SURFACE`. */
+    expression: string;
+    /** Byte offset of the spread node, for line/column resolution. */
+    start?: number;
+    /**
+     * Decorator whose config the expression appeared in, for the diagnostic.
+     * Defaults to `@smrt()` when omitted.
+     */
+    decorator?: string;
+}
+/**
+ * A module-scope `const` object literal available for spread resolution.
+ *
+ * `unresolved` carries any spread inside the constant's OWN initializer that
+ * could not be resolved (e.g. `const CFG = { ...IMPORTED }`). Such a constant
+ * is "tainted": `value` is only a partial view of what it holds at runtime.
+ * Resolving a decorator spread against it silently would reintroduce the
+ * silent-drop failure mode one level removed, so the taint is replayed into the
+ * use site's diagnostics instead.
+ */
+interface ModuleConstant {
+    value: Record<string, unknown>;
+    unresolved: UnresolvedSpread[];
+    unsafeReferences: UnresolvedSpread[];
+    dependencies: Array<{
+        name: string;
+        start?: number;
+    }>;
+}
+/**
+ * Collect module-scope `const NAME = { ... }` object literals so that
+ * `@smrt({ ...NAME })` can be resolved at scan time.
+ *
+ * Declaration order is honoured: a constant may spread an earlier constant, and
+ * each is extracted against the map built so far. Only `const` is considered —
+ * `let`/`var` could be reassigned between declaration and decorator evaluation,
+ * so treating them as static would be unsound.
+ *
+ * Imported constants are intentionally NOT resolved (that would require
+ * cross-file resolution); they surface as unresolved spreads and are reported
+ * as scan errors instead of being silently dropped.
+ *
+ * A constant whose own initializer contains an unresolvable spread is recorded
+ * as TAINTED rather than dropped: its extracted value is only partial, so any
+ * decorator that spreads it replays the taint into its own diagnostics. Without
+ * that, `const CFG = { ...IMPORTED }` followed by `@smrt({ ...CFG })` would
+ * resolve cleanly against a partial object and report nothing — the exact
+ * silent-drop failure mode this guard exists to prevent, one level removed.
+ *
+ * @param body - Top-level statement array from the OXC-parsed `Program` node.
+ * @param sourceText - Full source text, used for nested value reconstruction.
+ * @returns Map of constant name to its extracted value plus any taint.
+ */
+export declare function extractModuleObjectConstants(body: Statement[], sourceText: string): Map<string, ModuleConstant>;
+//# sourceMappingURL=oxc-parser.d.ts.map

package/dist/oxc-parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oxc-parser.d.ts","sourceRoot":"","sources":["../src/oxc-parser.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAQH,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EACV,YAAY,EACZ,cAAc,EAQf,MAAM,YAAY,CAAC;AAYpB,OAAO,EAAE,aAAa,EAAE,CAAC;AAMzB,UAAU,QAAQ;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,UAAU,cAAc;IACtB,KAAK,EAAE,QAAQ,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC;CACf;AAED,UAAU,QAAQ;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,cAAc,CAAC;IACrB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAgCD,UAAU,iBAAkB,SAAQ,QAAQ;IAC1C,IAAI,EAAE,mBAAmB,CAAC;IAC1B,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;IACnC,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,KAAK,mBAAmB,GACpB,eAAe,GACf,wBAAwB,GACxB,sBAAsB,CAAC;AAE3B,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,UAAU,CAAC;IACrB,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,UAAU,wBAAyB,SAAQ,QAAQ;IACjD,IAAI,EAAE,0BAA0B,CAAC;IACjC,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,UAAU,sBAAuB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,wBAAwB,CAAC;IAC/B,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,KAAK,SAAS,GACV,gBAAgB,GAChB,sBAAsB,GACtB,wBAAwB,GACxB,iBAAiB,GACjB,sBAAsB,GACtB,iBAAiB,GACjB,mBAAmB,CAAC;AAExB,UAAU,mBAAoB,SAAQ,QAAQ;IAC5C,IAAI,EAAE,qBAAqB,CAAC;IAC5B,IAAI,EAAE,OAAO,GAAG,KAAK,GAAG,KAAK,CAAC;IAC9B,YAAY,EAAE,kBAAkB,EAAE,CAAC;CACpC;AAED,UAAU,kBAAmB,SAAQ,QAAQ;IAC3C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC;IACzB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACzB;AAkBD,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,EAAE,EAAE,UAAU,GAAG,IAAI,CAAC;IACtB,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,mBAAmB,CAAC,EAAE,4BAA4B,CAAC;IAEnD,kBAAkB,CAAC,EAAE,4BAA4B,CAAC;IAClD,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,UAAU,sBAAuB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,wBAAwB,CAAC;IAC/B,EAAE,EAAE,UAAU,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,UAAU,iBAAkB,SAAQ,QAAQ;IAC1C,IAAI,EAAE,mBAAmB,CAAC;IAC1B,EAAE,EAAE,UAAU,CAAC;IAGf,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,OAAO,CAAC,EAAE,YAAY,EAAE,CAAC;CAC1B;AAED,UAAU,UAAW,SAAQ,QAAQ;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,OAAO,EAAE,YAAY,EAAE,CAAC;CACzB;AAED,UAAU,YAAa,SAAQ,QAAQ;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,WAAW,CAAC,EAAE,UAAU,CAAC;CAC1B;AAED,UAAU,SAAU,SAAQ,QAAQ;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,YAAY,EAAE,CAAC;CACtB;AAED,KAAK,YAAY,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;AAE1D,UAAU,kBAAmB,SAAQ,QAAQ;IAC3C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,GAAG,EAAE,UAAU,CAAC;IAChB,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACzB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,aAAa,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC;IACnD,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,GAAG,EAAE,UAAU,CAAC;IAChB,KAAK,EAAE,kBAAkB,CAAC;IAC1B,IAAI,EAAE,aAAa,GAAG,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;IAC/C,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,CAAC,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC;IACnD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;CAC1B;AAED,UAAU,kBAAmB,SAAQ,QAAQ;IAC3C,IAAI,EAAE,oBAAoB,CAAC;IAC3B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B,IAAI,EAAE,cAAc,CAAC;CACtB;AAED,UAAU,cAAe,SAAQ,QAAQ;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,IAAI,EAAE,SAAS,EAAE,CAAC;CACnB;AAED,KAAK,OAAO,GACR,UAAU,GACV,iBAAiB,GACjB,WAAW,GACX,aAAa,GACb,YAAY,CAAC;AAEjB,UAAU,UAAW,SAAQ,QAAQ;IACnC,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,UAAU,iBAAkB,SAAQ,QAAQ;IAC1C,IAAI,EAAE,mBAAmB,CAAC;IAC1B,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,UAAU,WAAY,SAAQ,QAAQ;IACpC,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,CAAC,EAAE,gBAAgB,CAAC;CACnC;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,UAAU,EAAE,CAAC,QAAQ,GAAG,WAAW,CAAC,EAAE,CAAC;IACvC,cAAc,CAAC,EAAE,gBAAgB,CAAC;CACnC;AAED,UAAU,YAAa,SAAQ,QAAQ;IACrC,IAAI,EAAE,cAAc,CAAC;IACrB,QAAQ,EAAE,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC;IAC7B,cAAc,CAAC,EAAE,gBAAgB,CAAC;CACnC;AAED,UAAU,QAAS,SAAQ,QAAQ;IACjC,IAAI,EAAE,UAAU,CAAC;IACjB,GAAG,EAAE,UAAU,CAAC;IAChB,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC;IAC5B,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC;IAC7B,MAAM,EAAE,OAAO,CAAC;IAChB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,KAAK,UAAU,GACX,UAAU,GACV,OAAO,GACP,cAAc,GACd,gBAAgB,GAChB,gBAAgB,GAChB,eAAe,GACf,aAAa,GACb,eAAe,CAAC;AAEpB,UAAU,OAAQ,SAAQ,QAAQ;IAChC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,MAAM,GAAG,MAAM,CAAC;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,UAAU,CAAC;CACtB;AAED,UAAU,cAAe,SAAQ,QAAQ;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,UAAU,EAAE,CAAC;IACxB,cAAc,CAAC,EAAE,4BAA4B,CAAC;CAC/C;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,MAAM,EAAE,UAAU,CAAC;IACnB,QAAQ,EAAE,UAAU,CAAC;IACrB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,CAAC,QAAQ,GAAG,aAAa,CAAC,EAAE,CAAC;CAC1C;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,UAAU,CAAC;CACtB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,CAAC,UAAU,GAAG,aAAa,GAAG,IAAI,CAAC,EAAE,CAAC;CACjD;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,UAAU,CAAC;IACnB,SAAS,EAAE,UAAU,EAAE,CAAC;CACzB;AAED,UAAU,SAAU,SAAQ,QAAQ;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,UAAU,EAAE,UAAU,CAAC;CACxB;AAED,UAAU,sBAAuB,SAAQ,QAAQ;IAC/C,IAAI,EAAE,wBAAwB,CAAC;IAC/B,WAAW,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAED,UAAU,wBAAyB,SAAQ,QAAQ;IACjD,IAAI,EAAE,0BAA0B,CAAC;IACjC,WAAW,EAAE,SAAS,GAAG,UAAU,CAAC;CACrC;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,QAAQ,EAAE,UAAU,CAAC;CACtB;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;CACxB;AAED,KAAK,MAAM,GACP,eAAe,GACf,eAAe,GACf,gBAAgB,GAChB,YAAY,GACZ,gBAAgB,GAChB,cAAc,GACd,eAAe,GACf,eAAe,GACf,eAAe,GACf,aAAa,GACb,aAAa,GACb,kBAAkB,GAClB,UAAU,GACV,eAAe,GACf,WAAW,GACX,WAAW,GACX,aAAa,GACb,aAAa,GACb,cAAc,CAAC;AAEnB,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;IAEtB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,UAAU,cAAe,SAAQ,QAAQ;IACvC,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AAED,UAAU,YAAa,SAAQ,QAAQ;IACrC,IAAI,EAAE,cAAc,CAAC;CACtB;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;CAC1B;AAED,UAAU,cAAe,SAAQ,QAAQ;IACvC,IAAI,EAAE,gBAAgB,CAAC;CACxB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;CACvB;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;CACvB;AAED,UAAU,kBAAmB,SAAQ,QAAQ;IAC3C,IAAI,EAAE,oBAAoB,CAAC;CAC5B;AAED,UAAU,UAAW,SAAQ,QAAQ;IACnC,IAAI,EAAE,YAAY,CAAC;CACpB;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,UAAU,GAAG,eAAe,CAAC;IACvC,cAAc,CAAC,EAAE,4BAA4B,CAAC;IAE9C,aAAa,CAAC,EAAE,4BAA4B,CAAC;CAC9C;AAED,UAAU,eAAgB,SAAQ,QAAQ;IACxC,IAAI,EAAE,iBAAiB,CAAC;IACxB,IAAI,EAAE,UAAU,GAAG,eAAe,CAAC;IACnC,KAAK,EAAE,UAAU,CAAC;CACnB;AAED,UAAU,WAAY,SAAQ,QAAQ;IACpC,IAAI,EAAE,aAAa,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,UAAU,WAAY,SAAQ,QAAQ;IACpC,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,UAAU,aAAc,SAAQ,QAAQ;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED,KAAK,aAAa,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AAEhF,UAAU,mBAAoB,SAAQ,QAAQ;IAC5C,IAAI,EAAE,qBAAqB,CAAC;IAC5B,GAAG,EAAE,UAAU,CAAC;IAChB,cAAc,CAAC,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,UAAU,iBAAkB,SAAQ,QAAQ;IAC1C,IAAI,EAAE,mBAAmB,CAAC;IAC1B,GAAG,EAAE,UAAU,CAAC;IAChB,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,UAAU,CAAC,EAAE,gBAAgB,CAAC;CAC/B;AAED,UAAU,gBAAiB,SAAQ,QAAQ;IACzC,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,UAAU,EAAE,CAAC;IACzB,cAAc,CAAC,EAAE,gBAAgB,CAAC;CACnC;AAED,UAAU,4BAA6B,SAAQ,QAAQ;IACrD,IAAI,EAAE,8BAA8B,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAMD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,cAAc,CA+E1D;AA4BD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,MAAM,GACf,YAAY,GAAG,SAAS,CAoB1B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,WAAW,CACzB,UAAU,EAAE,MAAM,EAClB,QAAQ,SAAY,GACnB,cAAc,CA4EhB;AAuBD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAEpD;AAyBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,SAAS,EAAE,GAChB,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAiD1B;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CA4D5E;AA4BD;;;;;;;;;;GAUG;AACH,UAAU,gBAAgB;IACxB,6DAA6D;IAC7D,UAAU,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;GASG;AACH,UAAU,cAAc;IACtB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,UAAU,EAAE,gBAAgB,EAAE,CAAC;IAC/B,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;IACrC,YAAY,EAAE,KAAK,CAAC;QAClB,IAAI,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,CAAC,CAAC;CACJ;AAyBD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,SAAS,EAAE,EACjB,UAAU,EAAE,MAAM,GACjB,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAiD7B"}