@bleedingdev/modern-js-code-tools 3.9.0-ultramodern.23 → 3.9.0-ultramodern.24

package/dist/esm-node/source-analysis.js

@@ -4,9 +4,13 @@ import traverse, { Hub, NodePath } from "@babel/traverse";
 import * as __rspack_external__babel_types_6e8337dd from "@babel/types";
 const consumerParserPlugins = (filePath)=>/\.[jt]sx$/u.test(filePath) ? [
         "typescript",
+        'decorators',
+        'decoratorAutoAccessors',
         'jsx'
     ] : [
-        "typescript"
+        "typescript",
+        'decorators',
+        'decoratorAutoAccessors'
     ];
 class SourceSyntaxError extends Error {
 }
@@ -39,7 +43,7 @@ function traverseSource(file, visitor) {
     traverse(file, visitor, program.scope, void 0, program);
 }
 function unwrapExpression(node, includeAssertions = false) {
-    while(__rspack_external__babel_types_6e8337dd.isTSAsExpression(node) || __rspack_external__babel_types_6e8337dd.isParenthesizedExpression(node) || __rspack_external__babel_types_6e8337dd.isTSSatisfiesExpression(node) || includeAssertions && (__rspack_external__babel_types_6e8337dd.isTSTypeAssertion(node) || __rspack_external__babel_types_6e8337dd.isTSNonNullExpression(node)))node = node.expression;
+    while(__rspack_external__babel_types_6e8337dd.isTSAsExpression(node) || __rspack_external__babel_types_6e8337dd.isParenthesizedExpression(node) || __rspack_external__babel_types_6e8337dd.isTSSatisfiesExpression(node) || includeAssertions && (__rspack_external__babel_types_6e8337dd.isTSTypeAssertion(node) || __rspack_external__babel_types_6e8337dd.isTSNonNullExpression(node) || __rspack_external__babel_types_6e8337dd.isTSInstantiationExpression(node)))node = node.expression;
     return node;
 }
 export { SourceSyntaxError, consumerParserPlugins, parseSource, traverseSource, unwrapExpression };

package/dist/types/microvertical-api-boundary.d.ts

@@ -1,7 +1,7 @@
-import { type ModuleGraph } from './module-graph.js';
+import { type ModuleGraph, type SourceModule } from './module-graph.js';
 export type { MicroVerticalApiBaselineExpectation, MicroVerticalTopologyEntry, } from './microvertical-api-baseline.js';
 export { configuredMicroVerticalApiStem, microVerticalApiBaselineViolation, } from './microvertical-api-baseline.js';
-export type { ModuleGraph, ModuleGraphHop, ResolvedBinding, SourceModule, } from './module-graph.js';
+export type { GraphValue, ModuleGraph, ModuleGraphHop, ResolvedBinding, SourceModule, } from './module-graph.js';
 export { createModuleGraph } from './module-graph.js';
 export interface MicroVerticalConfiguredApp {
     readonly path: string;
@@ -18,22 +18,22 @@ export interface MicroVerticalConfiguredApp {
         readonly additionalPaths?: Readonly<Record<string, string>>;
     };
 }
-export interface MicroVerticalApiContractRuleContext {
-    /** Workspace-relative app directory. */
-    readonly appPath: string;
-    readonly protocol: 'rest' | 'rpc';
-    /** Graph rooted at the app's shared contract (`graph.root`). */
+export interface MicroVerticalApiSourceRuleContext {
+    /** Workspace-relative path of `module`. */
+    readonly file: string;
+    readonly module: SourceModule;
+    /** One graph per check, shared by every rule and source file. */
     readonly graph: ModuleGraph;
 }
-/** A consumer-owned contract rule; each returned message is a violation. */
-export type MicroVerticalApiContractRule = (context: MicroVerticalApiContractRuleContext) => readonly string[];
+/** A consumer-owned source rule; each returned message is a violation. */
+export type MicroVerticalApiSourceRule = (context: MicroVerticalApiSourceRuleContext) => readonly string[];
 export interface MicroVerticalApiCheckOptions {
     readonly workspaceRoot: string;
     readonly configuredApps?: readonly MicroVerticalConfiguredApp[];
     /** Explicit expected installed owner, useful for isolated/non-hoisted installations. */
     readonly baselinePackageDirectory?: string;
-    /** Rules run once per API app against its shared contract's module graph. */
-    readonly contractRules?: readonly MicroVerticalApiContractRule[];
+    /** Rules run once per workspace TypeScript/JavaScript source file. */
+    readonly sourceRules?: readonly MicroVerticalApiSourceRule[];
 }
 export interface MicroVerticalApiCheckResult {
     readonly diagnostics: readonly string[];

package/dist/types/module-graph.d.ts

@@ -1,11 +1,16 @@
 import * as t from '@babel/types';
-/** A parsed consumer module and the package directory it may traverse privately. */
+/** A parsed workspace module and the package directory it may traverse privately. */
 export interface SourceModule {
     readonly file: t.File;
     /** Real absolute path. */
     readonly path: string;
     /** Real package directory; relative imports may not leave it. */
     readonly boundary: string;
+    /**
+     * Every assignment, update and namespace merge in the module. Validation
+     * that reads initializers directly must reject a module that has any.
+     */
+    readonly mutations: readonly t.Node[];
 }
 /** One `name` looked up in the module at `path`, in traversal order. */
 export interface ModuleGraphHop {
@@ -29,24 +34,59 @@ export type ResolvedBinding = {
     readonly name: string;
     readonly chain: readonly ModuleGraphHop[];
 };
+/**
+ * One value an expression can evaluate to.
+ * - `external`: `name` imported from package `specifier`, then `members`
+ *   accessed on it (`Schema.Unknown` is `effect` / `Schema` / `['Unknown']`;
+ *   a namespace import of the package itself is `name: '*'`).
+ * - `node`: a workspace expression, function or class the source spells out
+ *   (a call to an external factory, a literal, a function).
+ * - `unresolved`: a parameter, global, dynamic access or anything beyond the
+ *   analysis budget. Rules that must be sound treat it as a violation.
+ */
+export type GraphValue = {
+    readonly kind: 'external';
+    readonly specifier: string;
+    readonly name: string;
+    readonly members: readonly string[];
+} | {
+    readonly kind: 'node' | 'unresolved';
+    readonly node: t.Node;
+    readonly module: SourceModule;
+};
 export interface ModuleGraph {
-    readonly root: SourceModule;
+    /**
+     * The parsed workspace module at `filePath`, parsed once per graph. Throws
+     * `SourceSyntaxError` when the file is not readable consumer source.
+     */
+    module(filePath: string): SourceModule;
     /**
      * Follow a local binding (`scope: 'local'`) or an export (`'export'`) of
      * `module` through relative imports, re-exports and public workspace
-     * package exports. Unresolvable, cyclic or over-budget bindings return
-     * undefined so callers fail closed.
+     * package exports to an unmutated `const`. Unresolvable, mutated, cyclic or
+     * over-budget bindings return undefined so callers fail closed.
      */
     resolve(module: SourceModule, name: string, scope: 'export' | 'local'): ResolvedBinding | undefined;
+    /**
+     * Every value `expression` (a node of `module`) can evaluate to, following
+     * any binding kind, destructuring, member access into object literals,
+     * member assignments (`obj.key = value`), reassignments, conditional
+     * branches, and calls into workspace functions through their returns.
+     */
+    evaluate(module: SourceModule, expression: t.Node): readonly GraphValue[];
+    /**
+     * Every `external` and `unresolved` value reachable from `expression`: each
+     * reference inside it is evaluated, and every workspace node it evaluates
+     * to is walked in turn, across modules. `Schema.Struct({ a: shared })`
+     * reaches `Schema.Struct` plus whatever `shared` is built from.
+     */
+    reachable(module: SourceModule, expression: t.Node): readonly GraphValue[];
 }
-/** Resolution follows `const` bindings, so a module that mutates them is unreadable. */
-export declare function parseConsumer(filePath: string): t.File;
 export declare const propertyName: (node: t.Node | undefined) => string | undefined;
 export declare const localConst: (sourceFile: t.File, name: string) => t.VariableDeclarator | undefined;
 export declare const exportedConst: (sourceFile: t.File, name: string) => t.VariableDeclarator | undefined;
 /**
- * The module graph rooted at `filePath`. Each module is parsed once per graph;
- * an unreadable module stays unresolved instead of assumed valid. Throws
- * `SourceSyntaxError` when the root itself is not a readable consumer module.
+ * The workspace module graph. Each module is parsed once per graph; an
+ * unreadable module stays unresolved instead of assumed valid.
  */
-export declare function createModuleGraph(filePath: string): ModuleGraph;
+export declare function createModuleGraph(): ModuleGraph;

package/dist/types/source-analysis.d.ts

@@ -1,7 +1,10 @@
 import { type Visitor } from '@babel/traverse';
 import * as t from '@babel/types';
-/** Only JSX extensions enable JSX: generic arrows in .ts must remain valid. */
-export declare const consumerParserPlugins: (filePath: string) => ('typescript' | 'jsx')[];
+/**
+ * Only JSX extensions enable JSX: generic arrows in .ts must remain valid.
+ * Decorators are standard TypeScript syntax.
+ */
+export declare const consumerParserPlugins: (filePath: string) => ('typescript' | 'jsx' | 'decorators' | 'decoratorAutoAccessors')[];
 /** Only parser/binder diagnostics are policy violations; tool failures escape. */
 export declare class SourceSyntaxError extends Error {
 }

package/package.json

@@ -23,7 +23,7 @@
   "engines": {
     "node": ">=20"
   },
-  "version": "3.9.0-ultramodern.23",
+  "version": "3.9.0-ultramodern.24",
   "types": "./dist/types/index.d.ts",
   "main": "./dist/esm-node/index.js",
   "typesVersions": {