septum 0.1.4 → 0.1.6

package/src/core/parser/extractors/laravel-semantic.ts

@@ -1,901 +1,1045 @@
-import * as fs from "node:fs";
-import * as path from "node:path";
-import type { ExecutionChainNode, VerticalSliceRecord } from "../../../types/index.ts";
-import { BehavioralAnalyzer } from "../behavioral-analyzer.ts";
-import { SchemaProviderRegistry } from "../schema/schema-provider-registry.ts";
-import type {
-  SemanticSliceExtractor,
-  VerticalSliceCandidate,
-} from "./semantic-extractor.interface.ts";
-
-export interface ParsedRoute {
-  httpMethod: string;
-  uri: string;
-  routeName?: string;
-  controllerClass: string;
-  actionName: string;
-  file?: string;
-}
-
-export type LaravelSemanticExtractionResult = VerticalSliceCandidate[] & {
-  slices: VerticalSliceCandidate[];
-};
-
-export class LaravelSemanticExtractor implements SemanticSliceExtractor {
-  public readonly id = "laravel";
-  public readonly name = "Laravel MVC Semantic Extractor";
-
-  constructor(private projectRoot: string = process.cwd()) {}
-
-  public canHandle(projectRoot: string, framework?: string): boolean {
-    if (framework === "laravel") return true;
-    return (
-      fs.existsSync(path.join(projectRoot, "artisan")) ||
-      fs.existsSync(path.join(projectRoot, "routes/web.php")) ||
-      fs.existsSync(path.join(projectRoot, "routes/api.php"))
-    );
-  }
-
-  /**
-   * Scan route files and extract complete vertical slices.
-   */
-  public extractSlices(
-    projectRootOrDomainId?: string | number,
-    maybeDomainId?: number
-  ): LaravelSemanticExtractionResult {
-    let root = this.projectRoot;
-    let domainId: number | undefined;
-
-    if (typeof projectRootOrDomainId === "string") {
-      root = projectRootOrDomainId;
-      domainId = maybeDomainId;
-    } else if (typeof projectRootOrDomainId === "number") {
-      domainId = projectRootOrDomainId;
-    }
-
-    const routeFiles = [
-      path.join(root, "routes/web.php"),
-      path.join(root, "routes/api.php"),
-    ].filter((f) => fs.existsSync(f));
-
-    const parsedRoutes: ParsedRoute[] = [];
-
-    for (const routeFile of routeFiles) {
-      const content = fs.readFileSync(routeFile, "utf-8");
-      parsedRoutes.push(...this.parseRoutesContent(content));
-    }
-
-    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
-
-    for (const route of parsedRoutes) {
-      const controllerInfo = this.resolveController(route.controllerClass, route.actionName);
-
-      let formRequestInfo: {
-        className: string;
-        filePath?: string;
-        rules: Record<string, string>;
-      } | null = null;
-
-      let modelInfo: {
-        className: string;
-        filePath?: string;
-        fillable: string[];
-        casts: Record<string, string>;
-      } | null = null;
-
-      let frontendInfo: {
-        target: string;
-        props: string[];
-      } | null = null;
-
-      let behavioralInfo: import("../behavioral-analyzer.ts").MethodBehavioralSummary | null = null;
-      if (controllerInfo.filePath && fs.existsSync(controllerInfo.filePath)) {
-        const controllerCode = fs.readFileSync(controllerInfo.filePath, "utf-8");
-        const actionBody = this.extractActionBody(controllerCode, route.actionName);
-        behavioralInfo = BehavioralAnalyzer.analyzeMethod(actionBody);
-
-        // 1. Detect FormRequest in method signature
-        const requestClassName = this.detectFormRequestClass(controllerCode, route.actionName);
-        if (requestClassName) {
-          const reqFile = this.findClassFile("Requests", requestClassName);
-          const rules = reqFile && fs.existsSync(reqFile) ? this.extractValidationRules(fs.readFileSync(reqFile, "utf-8")) : {};
-          formRequestInfo = {
-            className: requestClassName,
-            filePath: reqFile ? path.relative(this.projectRoot, reqFile) : undefined,
-            rules,
-          };
-        }
-
-        // 2. Detect Model referenced in parameters or action body
-        const modelClassName = this.detectModelClass(controllerCode, route.actionName, actionBody);
-        if (modelClassName) {
-          const modFile = this.findClassFile("Models", modelClassName);
-          const modMetadata = modFile && fs.existsSync(modFile) ? this.extractModelMetadata(fs.readFileSync(modFile, "utf-8")) : { fillable: [], casts: {} };
-          modelInfo = {
-            className: modelClassName,
-            filePath: modFile ? path.relative(this.projectRoot, modFile) : undefined,
-            fillable: modMetadata.fillable,
-            casts: modMetadata.casts,
-          };
-        }
-
-        // 3. Detect Inertia Render / View Target
-        frontendInfo = this.detectFrontendTarget(actionBody);
-      }
-
-      const chain: ExecutionChainNode[] = [
-        {
-          stage: "ingress",
-          symbol: `${route.httpMethod.toUpperCase()} ${route.uri.startsWith("/") ? route.uri : `/${route.uri}`}`,
-          file: route.file,
-          description: `HTTP Route: ${route.routeName || route.uri}`,
-        },
-      ];
-
-      if (behavioralInfo && behavioralInfo.guards.length > 0) {
-        chain.push({
-          stage: "guard",
-          symbol: behavioralInfo.guards.join(", "),
-          description: "Authorization / Security Guard",
-          guards: behavioralInfo.guards,
-        });
-      }
-
-      if (formRequestInfo) {
-        chain.push({
-          stage: "validation",
-          symbol: formRequestInfo.className,
-          file: formRequestInfo.filePath,
-          description: "Form Request Validation",
-        });
-      }
-
-      chain.push({
-        stage: "controller",
-        symbol: `${route.controllerClass}::${route.actionName}`,
-        file: controllerInfo.filePath ? path.relative(this.projectRoot, controllerInfo.filePath) : undefined,
-        line: controllerInfo.line,
-        description: `Controller Action`,
-        guards: behavioralInfo && behavioralInfo.guards.length > 0 ? behavioralInfo.guards : undefined,
-        mutations: behavioralInfo && behavioralInfo.mutations.length > 0 ? behavioralInfo.mutations : undefined,
-        transactions: behavioralInfo?.hasTransaction,
-      });
-
-      if (behavioralInfo && behavioralInfo.hasTransaction) {
-        chain.push({
-          stage: "transaction",
-          symbol: "DB::transaction",
-          description: "Database Transaction Scope",
-          transactions: true,
-        });
-      }
-
-      if (modelInfo) {
-        const schema = SchemaProviderRegistry.resolveSchema(
-          root,
-          modelInfo.className,
-          modelInfo.filePath
-        );
-
-        const columnsSummary =
-          schema && schema.fields.length > 0
-            ? schema.fields.map((f) => `${f.name}:${f.type}${f.nullable ? "?" : ""}`).join(", ")
-            : undefined;
-
-        chain.push({
-          stage: "entity",
-          symbol: modelInfo.className,
-          file: modelInfo.filePath,
-          description: schema?.tableName ? `Eloquent Model (${schema.tableName})` : "Eloquent Model",
-          table: schema?.tableName,
-          schema_file: schema?.schemaSourceFile,
-          columns_summary: columnsSummary,
-          mutations: behavioralInfo && behavioralInfo.mutations.length > 0 ? behavioralInfo.mutations : undefined,
-        });
-      }
-
-      if (behavioralInfo && behavioralInfo.dispatchedJobs.length > 0) {
-        for (const job of behavioralInfo.dispatchedJobs) {
-          const jobFile = this.findClassFile("Jobs", job);
-          chain.push({
-            stage: "job",
-            symbol: job,
-            file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
-            description: "Background Queue Job Dispatched",
-            dispatches: [job],
-          });
-        }
-      }
-
-      if (behavioralInfo && behavioralInfo.emittedEvents.length > 0) {
-        for (const evt of behavioralInfo.emittedEvents) {
-          const evtFile = this.findClassFile("Events", evt);
-          chain.push({
-            stage: "event",
-            symbol: evt,
-            file: evtFile ? path.relative(this.projectRoot, evtFile) : undefined,
-            description: "Domain Event Emitted",
-            emits: [evt],
-          });
-        }
-      }
-
-      if (frontendInfo) {
-        chain.push({
-          stage: "egress",
-          symbol: frontendInfo.target,
-          description: "Inertia / Frontend Target",
-        });
-      }
-
-      slices.push({
-        domain_id: domainId ?? null,
-        feature_key: route.routeName || null,
-        http_method: route.httpMethod.toUpperCase(),
-        route_uri: route.uri.startsWith("/") ? route.uri : `/${route.uri}`,
-        route_name: route.routeName || null,
-        controller_class: route.controllerClass,
-        action_name: route.actionName,
-        controller_file: controllerInfo.filePath ? path.relative(this.projectRoot, controllerInfo.filePath) : null,
-        controller_line: controllerInfo.line,
-        architecture_style: "mvc",
-        entry_kind: "http_route",
-        execution_chain_json: JSON.stringify(chain),
-      });
-    }
-
-    // Also discover Omni-Trigger slices (Jobs, Console Commands, Event Listeners)
-    slices.push(...this.extractJobSlices(root, domainId));
-    slices.push(...this.extractCommandSlices(root, domainId));
-    slices.push(...this.extractListenerSlices(root, domainId));
-
-    return Object.assign(slices, { slices });
-  }
-
-  /**
-   * Parse Laravel Route declarations.
-   */
-  public parseRoutesContent(content: string): ParsedRoute[] {
-    const routes: ParsedRoute[] = [];
-
-    // 1. Process Route::resource
-    const resourceRegex = /Route::resource\s*\(\s*['"]([^'"]+)['"]\s*,\s*([\\A-Za-z0-9_]+)::class\s*\)/gi;
-    let resMatch;
-    while ((resMatch = resourceRegex.exec(content)) !== null) {
-      const baseUri = resMatch[1].replace(/^\//, "");
-      const controllerClass = resMatch[2];
-      const resourceActions = [
-        { method: "GET", sub: "", action: "index" },
-        { method: "GET", sub: "/create", action: "create" },
-        { method: "POST", sub: "", action: "store" },
-        { method: "GET", sub: "/{id}", action: "show" },
-        { method: "GET", sub: "/{id}/edit", action: "edit" },
-        { method: "PUT", sub: "/{id}", action: "update" },
-        { method: "DELETE", sub: "/{id}", action: "destroy" },
-      ];
-
-      for (const res of resourceActions) {
-        routes.push({
-          httpMethod: res.method,
-          uri: `/${baseUri}${res.sub}`,
-          routeName: `${baseUri}.${res.action}`,
-          controllerClass,
-          actionName: res.action,
-        });
-      }
-    }
-
-    // 2. Parse routes with group context tracking (prefix, controller, name prefix)
-    const lines = content.split(/\r?\n/);
-    interface GroupContext {
-      prefix: string;
-      controller: string;
-      namePrefix: string;
-      braceDepth: number;
-    }
-
-    const groupStack: GroupContext[] = [];
-    let currentBraceDepth = 0;
-    let statementBuffer = "";
-    let inStatement = false;
-
-    for (let i = 0; i < lines.length; i++) {
-      const line = lines[i];
-      const trimmed = line.trim();
-
-      // Check group opens: Route::...group(
-      if (trimmed.includes("Route::") && trimmed.includes("group(") && trimmed.includes("function")) {
-        const prefixMatch = /prefix\s*\(\s*['"]([^'"]+)['"]\s*\)/.exec(trimmed);
-        const controllerMatch = /controller\s*\(\s*([\\A-Za-z0-9_]+)::class\s*\)/.exec(trimmed);
-        const nameMatch = /name\s*\(\s*['"]([^'"]+)['"]\s*\)/.exec(trimmed);
-
-        const currentCtx = groupStack[groupStack.length - 1];
-        const newPrefix = [currentCtx?.prefix, prefixMatch ? prefixMatch[1] : ""]
-          .filter(Boolean)
-          .join("/");
-        const newController = controllerMatch ? controllerMatch[1] : (currentCtx?.controller || "");
-        const newNamePrefix = [currentCtx?.namePrefix, nameMatch ? nameMatch[1] : ""]
-          .filter(Boolean)
-          .join("");
-
-        groupStack.push({
-          prefix: newPrefix,
-          controller: newController,
-          namePrefix: newNamePrefix,
-          braceDepth: currentBraceDepth,
-        });
-      }
-
-      // Track brace depth
-      for (const char of line) {
-        if (char === "{") currentBraceDepth++;
-        if (char === "}") {
-          currentBraceDepth--;
-          if (groupStack.length > 0) {
-            const top = groupStack[groupStack.length - 1];
-            if (currentBraceDepth <= top.braceDepth) {
-              groupStack.pop();
-            }
-          }
-        }
-      }
-
-      // Route statement accumulation across lines
-      if (!inStatement && trimmed.startsWith("Route::") && !trimmed.includes("Route::resource") && !trimmed.includes("Route::group")) {
-        statementBuffer = trimmed;
-        inStatement = true;
-      } else if (inStatement) {
-        statementBuffer += " " + trimmed;
-      }
-
-      if (inStatement && statementBuffer.includes(";")) {
-        inStatement = false;
-        const stmt = statementBuffer;
-        statementBuffer = "";
-
-        const currentCtx = groupStack[groupStack.length - 1];
-        const parsed = this.parseSingleRouteStatement(stmt, currentCtx);
-        if (parsed) {
-          routes.push(parsed);
-        }
-      }
-    }
-
-    return routes;
-  }
-
-  private parseSingleRouteStatement(
-    stmt: string,
-    ctx?: { prefix: string; controller: string; namePrefix: string }
-  ): ParsedRoute | null {
-    const methodMatch = /Route::(get|post|put|patch|delete|any|options)\s*\(\s*['"]([^'"]+)['"]([\s\S]*)/i.exec(stmt);
-    if (!methodMatch) {
-      const viewMatch = /Route::view\s*\(\s*['"]([^'"]+)['"]\s*,\s*['"]([^'"]+)['"]/i.exec(stmt);
-      if (viewMatch) {
-        const rawUri = viewMatch[1];
-        const viewTarget = viewMatch[2];
-        const nameMatch = /->name\s*\(\s*['"]([^'"]+)['"]\s*\)/i.exec(stmt);
-        const fullUri = ctx?.prefix ? `/${ctx.prefix.replace(/^\/|\/$/g, "")}/${rawUri.replace(/^\//, "")}` : rawUri;
-        return {
-          httpMethod: "GET",
-          uri: fullUri.startsWith("/") ? fullUri : `/${fullUri}`,
-          routeName: (ctx?.namePrefix || "") + (nameMatch ? nameMatch[1] : ""),
-          controllerClass: "View",
-          actionName: viewTarget,
-        };
-      }
-      return null;
-    }
-
-    const httpMethod = methodMatch[1].toUpperCase();
-    let uri = methodMatch[2];
-    const rest = methodMatch[3];
-
-    if (ctx?.prefix) {
-      const cleanPrefix = ctx.prefix.replace(/^\/|\/$/g, "");
-      const cleanUri = uri.replace(/^\//, "");
-      uri = cleanUri ? `/${cleanPrefix}/${cleanUri}` : `/${cleanPrefix}`;
-    }
-    if (!uri.startsWith("/")) uri = `/${uri}`;
-
-    const nameMatch = /->name\s*\(\s*['"]([^'"]+)['"]\s*\)/i.exec(stmt);
-    const rawRouteName = nameMatch ? nameMatch[1] : undefined;
-    const fullRouteName = rawRouteName
-      ? (ctx?.namePrefix || "") + rawRouteName
-      : undefined;
-
-    // [Controller::class, 'action']
-    const arrayMatch = /\[\s*([\\A-Za-z0-9_]+)::class\s*,\s*['"]([A-Za-z0-9_]+)['"]\s*\]/.exec(rest);
-    if (arrayMatch) {
-      return {
-        httpMethod,
-        uri,
-        routeName: fullRouteName,
-        controllerClass: arrayMatch[1],
-        actionName: arrayMatch[2],
-      };
-    }
-
-    // 'Controller@action'
-    const stringActionMatch = /['"]([\\A-Za-z0-9_]+)@([A-Za-z0-9_]+)['"]/.exec(rest);
-    if (stringActionMatch) {
-      return {
-        httpMethod,
-        uri,
-        routeName: fullRouteName,
-        controllerClass: stringActionMatch[1],
-        actionName: stringActionMatch[2],
-      };
-    }
-
-    // Action inside controller group
-    if (ctx?.controller) {
-      const singleActionMatch = /,\s*['"]([A-Za-z0-9_]+)['"]/.exec(rest);
-      if (singleActionMatch) {
-        return {
-          httpMethod,
-          uri,
-          routeName: fullRouteName,
-          controllerClass: ctx.controller,
-          actionName: singleActionMatch[1],
-        };
-      }
-    }
-
-    // Invokable controller
-    const invokableMatch = /,\s*([\\A-Za-z0-9_]+)::class/.exec(rest);
-    if (invokableMatch) {
-      return {
-        httpMethod,
-        uri,
-        routeName: fullRouteName,
-        controllerClass: invokableMatch[1],
-        actionName: "__invoke",
-      };
-    }
-
-    // Closure
-    if (rest.includes("function")) {
-      return {
-        httpMethod,
-        uri,
-        routeName: fullRouteName,
-        controllerClass: "Closure",
-        actionName: "handle",
-      };
-    }
-
-    return null;
-  }
-
-  private resolveController(controllerClass: string, actionName: string): { filePath?: string; line: number } {
-    const simpleName = controllerClass.split(/\\|\//).pop() || controllerClass;
-    const candidates = [
-      path.join(this.projectRoot, `app/Http/Controllers/${simpleName}.php`),
-      path.join(this.projectRoot, `app/Http/Controllers/Api/${simpleName}.php`),
-      path.join(this.projectRoot, `app/Http/Controllers/Admin/${simpleName}.php`),
-    ];
-
-    for (const c of candidates) {
-      if (fs.existsSync(c)) {
-        const lines = fs.readFileSync(c, "utf-8").split("\n");
-        let targetLine = 1;
-        for (let i = 0; i < lines.length; i++) {
-          if (new RegExp(`function\\s+${actionName}\\s*\\(`, "i").test(lines[i])) {
-            targetLine = i + 1;
-            break;
-          }
-        }
-        return { filePath: c, line: targetLine };
-      }
-    }
-
-    return { line: 0 };
-  }
-
-  private extractActionBody(controllerCode: string, actionName: string): string {
-    const fnRegex = new RegExp(`public\\s+function\\s+${actionName}\\s*\\([^{]*\\)\\s*\\{`, "i");
-    const match = fnRegex.exec(controllerCode);
-    if (!match) return "";
-
-    const startIndex = match.index + match[0].length;
-    let braceDepth = 1;
-    let endIndex = startIndex;
-
-    while (braceDepth > 0 && endIndex < controllerCode.length) {
-      const char = controllerCode[endIndex];
-      if (char === "{") braceDepth++;
-      else if (char === "}") braceDepth--;
-      endIndex++;
-    }
-
-    return controllerCode.substring(startIndex, endIndex - 1);
-  }
-
-  private detectFormRequestClass(controllerCode: string, actionName: string): string | null {
-    const paramRegex = new RegExp(`public\\s+function\\s+${actionName}\\s*\\(([^)]*)\\)`, "i");
-    const match = paramRegex.exec(controllerCode);
-    if (!match) return null;
-
-    const params = match[1];
-    // Find class names ending with Request
-    const reqMatch = params.match(/([A-Za-z0-9_]+Request)\s+\$/);
-    if (reqMatch && reqMatch[1] !== "Request") {
-      return reqMatch[1];
-    }
-    return null;
-  }
-
-  private detectModelClass(controllerCode: string, actionName: string, actionBody: string): string | null {
-    // 1. Method signature type-hints: (Order $order)
-    const paramRegex = new RegExp(`public\\s+function\\s+${actionName}\\s*\\(([^)]*)\\)`, "i");
-    const match = paramRegex.exec(controllerCode);
-    if (match) {
-      const parts = match[1].split(",");
-      for (const p of parts) {
-        const pMatch = p.trim().match(/^([A-Z][A-Za-z0-9_]+)\s+\$/);
-        if (pMatch && !pMatch[1].endsWith("Request") && pMatch[1] !== "Request") {
-          return pMatch[1];
-        }
-      }
-    }
-
-    // 2. Action body static calls: Order::find(), Order::create(), Order::query()
-    const staticModelMatch = actionBody.match(/([A-Z][A-Za-z0-9_]+)::(?:find|findOrFail|create|where|query)\s*\(/);
-    if (staticModelMatch && !["Inertia", "Route", "DB", "Auth", "Log", "Response"].includes(staticModelMatch[1])) {
-      return staticModelMatch[1];
-    }
-
-    return null;
-  }
-
-  private detectFrontendTarget(actionBody: string): { target: string; props: string[] } | null {
-    // 1. Inertia::render('Orders/Show', ['order' => $order])
-    const inertiaMatch = actionBody.match(/Inertia::render\s*\(\s*['"]([^'"]+)['"](?:\s*,\s*\[([^\]]*)\])?\s*\)/);
-    if (inertiaMatch) {
-      const pageComponent = inertiaMatch[1]; // e.g. "Orders/Show"
-      const rawProps = inertiaMatch[2] || "";
-
-      // Extract prop keys: 'order' => ...
-      const propMatches = rawProps.matchAll(/['"]([A-Za-z0-9_]+)['"]\s*=>/g);
-      const props: string[] = [];
-      for (const pm of propMatches) {
-        props.push(pm[1]);
-      }
-
-      // Check for Vue, TSX, JSX files in resources/js/Pages
-      const possibleExtensions = [".vue", ".tsx", ".jsx", ".svelte"];
-      let frontendPath = `resources/js/Pages/${pageComponent}`;
-      for (const ext of possibleExtensions) {
-        const fullCandidate = path.join(this.projectRoot, `resources/js/Pages/${pageComponent}${ext}`);
-        if (fs.existsSync(fullCandidate)) {
-          frontendPath = `resources/js/Pages/${pageComponent}${ext}`;
-          break;
-        }
-      }
-      if (!frontendPath.includes(".")) {
-        frontendPath += ".vue"; // Default inertia convention
-      }
-
-      return {
-        target: frontendPath,
-        props,
-      };
-    }
-
-    // 2. view('orders.show', compact('order'))
-    const viewMatch = actionBody.match(/view\s*\(\s*['"]([^'"]+)['"]/);
-    if (viewMatch) {
-      const viewPath = viewMatch[1].replace(/\./g, "/");
-      return {
-        target: `resources/views/${viewPath}.blade.php`,
-        props: [],
-      };
-    }
-
-    return null;
-  }
-
-  private findClassFile(
-    subDir: "Requests" | "Models" | "Jobs" | "Events" | "Listeners" | "Console/Commands",
-    className: string
-  ): string | null {
-    const directPath = path.join(this.projectRoot, `app/${subDir}/${className}.php`);
-    if (fs.existsSync(directPath)) return directPath;
-
-    // Direct app/ fallback for older Laravel
-    const flatPath = path.join(this.projectRoot, `app/${className}.php`);
-    if (fs.existsSync(flatPath)) return flatPath;
-
-    return null;
-  }
-
-  private extractValidationRules(requestCode: string): Record<string, string> {
-    const rules: Record<string, string> = {};
-    const rulesMatch = requestCode.match(/function\s+rules\s*\(\s*\)[^{]*\{([^}]*)\}/i);
-    if (!rulesMatch) return rules;
-
-    const body = rulesMatch[1];
-    // Match 'status' => 'in:pending,paid' or 'status' => ['required', 'string']
-    const rulePairRegex = /['"]([A-Za-z0-9_]+)['"]\s*=>\s*(?:['"]([^'"]+)['"]|\[([^\]]+)\])/g;
-    let rm;
-    while ((rm = rulePairRegex.exec(body)) !== null) {
-      const field = rm[1];
-      const singleRule = rm[2];
-      const arrayRules = rm[3];
-      if (singleRule) {
-        rules[field] = singleRule;
-      } else if (arrayRules) {
-        rules[field] = arrayRules.replace(/['"\s]/g, "").replace(/,/g, "|");
-      }
-    }
-
-    return rules;
-  }
-
-  private extractModelMetadata(modelCode: string): { fillable: string[]; casts: Record<string, string> } {
-    const fillable: string[] = [];
-    const casts: Record<string, string> = {};
-
-    // Match protected $fillable = [...]
-    const fillableMatch = modelCode.match(/\$fillable\s*=\s*\[([^\]]*)\]/);
-    if (fillableMatch) {
-      const items = fillableMatch[1].matchAll(/['"]([A-Za-z0-9_]+)['"]/g);
-      for (const it of items) {
-        fillable.push(it[1]);
-      }
-    }
-
-    // Match protected $casts = [...]
-    const castsMatch = modelCode.match(/\$casts\s*=\s*\[([^\]]*)\]/);
-    if (castsMatch) {
-      const castItems = castsMatch[1].matchAll(/['"]([A-Za-z0-9_]+)['"]\s*=>\s*(?:['"]([^'"]+)['"]|([A-Za-z0-9_]+)::class)/g);
-      for (const ci of castItems) {
-        casts[ci[1]] = ci[2] || ci[3];
-      }
-    }
-
-    return { fillable, casts };
-  }
-
-  private extractJobSlices(
-    root: string,
-    domainId?: number
-  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
-    const jobsDir = path.join(root, "app/Jobs");
-    if (!fs.existsSync(jobsDir)) return [];
-
-    const jobFiles = fs.readdirSync(jobsDir).filter((f) => f.endsWith(".php"));
-    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
-
-    for (const file of jobFiles) {
-      const fullPath = path.join(jobsDir, file);
-      const content = fs.readFileSync(fullPath, "utf-8");
-      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
-      if (!classMatch) continue;
-
-      const className = classMatch[1];
-      const actionBody = this.extractActionBody(content, "handle");
-      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
-
-      const chain: ExecutionChainNode[] = [
-        {
-          stage: "ingress",
-          symbol: `JOB ${className}`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: `Queue Worker Trigger: ${className}`,
-        },
-        {
-          stage: "controller",
-          symbol: `${className}::handle`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: "Queue Job Handler",
-          mutations: behavior.mutations.length ? behavior.mutations : undefined,
-          transactions: behavior.hasTransaction,
-        },
-      ];
-
-      if (behavior.hasTransaction) {
-        chain.push({
-          stage: "transaction",
-          symbol: "DB::transaction",
-          description: "Database Transaction Scope",
-          transactions: true,
-        });
-      }
-
-      for (const evt of behavior.emittedEvents) {
-        const evtFile = this.findClassFile("Events", evt);
-        chain.push({
-          stage: "event",
-          symbol: evt,
-          file: evtFile ? path.relative(this.projectRoot, evtFile) : undefined,
-          description: "Domain Event Emitted",
-          emits: [evt],
-        });
-      }
-
-      slices.push({
-        domain_id: domainId ?? null,
-        feature_key: `job:${className}`,
-        http_method: "JOB",
-        route_uri: `job:${className}`,
-        route_name: `queue.${this.toSnakeCase(className)}`,
-        controller_class: className,
-        action_name: "handle",
-        controller_file: path.relative(this.projectRoot, fullPath),
-        controller_line: 1,
-        architecture_style: "clean",
-        entry_kind: "queue_job",
-        execution_chain_json: JSON.stringify(chain),
-      });
-    }
-
-    return slices;
-  }
-
-  private extractCommandSlices(
-    root: string,
-    domainId?: number
-  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
-    const commandsDir = path.join(root, "app/Console/Commands");
-    if (!fs.existsSync(commandsDir)) return [];
-
-    const files = fs.readdirSync(commandsDir).filter((f) => f.endsWith(".php"));
-    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
-
-    for (const file of files) {
-      const fullPath = path.join(commandsDir, file);
-      const content = fs.readFileSync(fullPath, "utf-8");
-      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
-      if (!classMatch) continue;
-
-      const className = classMatch[1];
-      const sigMatch = content.match(/protected\s+\$signature\s*=\s*['"]([^'"]+)['"]/);
-      const commandSignature = sigMatch ? sigMatch[1].split(/\s+/)[0] : this.toSnakeCase(className);
-
-      const actionBody = this.extractActionBody(content, "handle");
-      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
-
-      const chain: ExecutionChainNode[] = [
-        {
-          stage: "ingress",
-          symbol: `CLI ${commandSignature}`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: `Console Command: ${commandSignature}`,
-        },
-        {
-          stage: "controller",
-          symbol: `${className}::handle`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: "Command Execution Handler",
-          mutations: behavior.mutations.length ? behavior.mutations : undefined,
-          transactions: behavior.hasTransaction,
-        },
-      ];
-
-      if (behavior.hasTransaction) {
-        chain.push({
-          stage: "transaction",
-          symbol: "DB::transaction",
-          description: "Database Transaction Scope",
-          transactions: true,
-        });
-      }
-
-      for (const job of behavior.dispatchedJobs) {
-        const jobFile = this.findClassFile("Jobs", job);
-        chain.push({
-          stage: "job",
-          symbol: job,
-          file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
-          description: "Dispatched Background Worker",
-          dispatches: [job],
-        });
-      }
-
-      slices.push({
-        domain_id: domainId ?? null,
-        feature_key: `command:${commandSignature}`,
-        http_method: "CLI",
-        route_uri: `command:${commandSignature}`,
-        route_name: `cli.${commandSignature}`,
-        controller_class: className,
-        action_name: "handle",
-        controller_file: path.relative(this.projectRoot, fullPath),
-        controller_line: 1,
-        architecture_style: "clean",
-        entry_kind: "scheduled_command",
-        execution_chain_json: JSON.stringify(chain),
-      });
-    }
-
-    return slices;
-  }
-
-  private extractListenerSlices(
-    root: string,
-    domainId?: number
-  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
-    const listenersDir = path.join(root, "app/Listeners");
-    if (!fs.existsSync(listenersDir)) return [];
-
-    const files = fs.readdirSync(listenersDir).filter((f) => f.endsWith(".php"));
-    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
-
-    for (const file of files) {
-      const fullPath = path.join(listenersDir, file);
-      const content = fs.readFileSync(fullPath, "utf-8");
-      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
-      if (!classMatch) continue;
-
-      const className = classMatch[1];
-      const actionBody = this.extractActionBody(content, "handle");
-      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
-
-      const eventParamMatch = content.match(/public\s+function\s+handle\s*\(\s*([A-Za-z0-9_]+)\s+\$event\s*\)/i);
-      const listenedEvent = eventParamMatch ? eventParamMatch[1] : undefined;
-
-      const chain: ExecutionChainNode[] = [
-        {
-          stage: "ingress",
-          symbol: `EVENT ${listenedEvent || className}`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: `Event Listener Trigger${listenedEvent ? ` for [${listenedEvent}]` : ""}`,
-        },
-        {
-          stage: "controller",
-          symbol: `${className}::handle`,
-          file: path.relative(this.projectRoot, fullPath),
-          description: "Event Listener Handler",
-          mutations: behavior.mutations.length ? behavior.mutations : undefined,
-          transactions: behavior.hasTransaction,
-        },
-      ];
-
-      if (behavior.hasTransaction) {
-        chain.push({
-          stage: "transaction",
-          symbol: "DB::transaction",
-          description: "Database Transaction Scope",
-          transactions: true,
-        });
-      }
-
-      for (const job of behavior.dispatchedJobs) {
-        const jobFile = this.findClassFile("Jobs", job);
-        chain.push({
-          stage: "job",
-          symbol: job,
-          file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
-          description: "Dispatched Background Worker",
-          dispatches: [job],
-        });
-      }
-
-      slices.push({
-        domain_id: domainId ?? null,
-        feature_key: `listener:${className}`,
-        http_method: "EVENT",
-        route_uri: `event:${className}`,
-        route_name: `event.${this.toSnakeCase(className)}`,
-        controller_class: className,
-        action_name: "handle",
-        controller_file: path.relative(this.projectRoot, fullPath),
-        controller_line: 1,
-        architecture_style: "clean",
-        entry_kind: "event_listener",
-        execution_chain_json: JSON.stringify(chain),
-      });
-    }
-
-    return slices;
-  }
-
-  private toSnakeCase(str: string): string {
-    return str
-      .replace(/([a-z0-9])([A-Z])/g, "$1_$2")
-      .replace(/([A-Z]+)([A-Z][a-z])/g, "$1_$2")
-      .toLowerCase();
-  }
-}
+import * as fs from "node:fs";
+import * as path from "node:path";
+import type { ExecutionChainNode, VerticalSliceRecord } from "../../../types/index.ts";
+import { BehavioralAnalyzer } from "../behavioral-analyzer.ts";
+import { blankCommentsAndStrings } from "../boundary-tracker.ts";
+import { SchemaProviderRegistry } from "../schema/schema-provider-registry.ts";
+import type {
+  SemanticSliceExtractor,
+  VerticalSliceCandidate,
+} from "./semantic-extractor.interface.ts";
+
+export interface ParsedRoute {
+  httpMethod: string;
+  uri: string;
+  routeName?: string;
+  controllerClass: string;
+  actionName: string;
+  file?: string;
+}
+
+export type LaravelSemanticExtractionResult = VerticalSliceCandidate[] & {
+  slices: VerticalSliceCandidate[];
+};
+
+export class LaravelSemanticExtractor implements SemanticSliceExtractor {
+  public readonly id = "laravel";
+  public readonly name = "Laravel MVC Semantic Extractor";
+
+  constructor(private projectRoot: string = process.cwd()) {}
+
+  public canHandle(projectRoot: string, framework?: string): boolean {
+    if (framework === "laravel") return true;
+    return (
+      fs.existsSync(path.join(projectRoot, "artisan")) ||
+      fs.existsSync(path.join(projectRoot, "routes/web.php")) ||
+      fs.existsSync(path.join(projectRoot, "routes/api.php"))
+    );
+  }
+
+  /**
+   * Scan route files and extract complete vertical slices.
+   */
+  public extractSlices(
+    projectRootOrDomainId?: string | number,
+    maybeDomainId?: number
+  ): LaravelSemanticExtractionResult {
+    let root = this.projectRoot;
+    let domainId: number | undefined;
+
+    if (typeof projectRootOrDomainId === "string") {
+      root = projectRootOrDomainId;
+      domainId = maybeDomainId;
+    } else if (typeof projectRootOrDomainId === "number") {
+      domainId = projectRootOrDomainId;
+    }
+
+    const routeFiles = [
+      path.join(root, "routes/web.php"),
+      path.join(root, "routes/api.php"),
+    ].filter((f) => fs.existsSync(f));
+
+    const parsedRoutes: ParsedRoute[] = [];
+
+    for (const routeFile of routeFiles) {
+      const content = fs.readFileSync(routeFile, "utf-8");
+      parsedRoutes.push(...this.parseRoutesContent(content));
+    }
+
+    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
+
+    for (const route of parsedRoutes) {
+      const controllerInfo = this.resolveController(route.controllerClass, route.actionName);
+
+      let formRequestInfo: {
+        className: string;
+        filePath?: string;
+        rules: Record<string, string>;
+      } | null = null;
+
+      let modelInfo: {
+        className: string;
+        filePath?: string;
+        fillable: string[];
+        casts: Record<string, string>;
+      } | null = null;
+
+      let frontendInfo: {
+        target: string;
+        props: string[];
+      } | null = null;
+
+      let actionServices: Array<{
+        className: string;
+        filePath?: string;
+        isService: boolean;
+      }> = [];
+
+      let behavioralInfo: import("../behavioral-analyzer.ts").MethodBehavioralSummary | null = null;
+      if (controllerInfo.filePath && fs.existsSync(controllerInfo.filePath)) {
+        const controllerCode = fs.readFileSync(controllerInfo.filePath, "utf-8");
+        const actionBody = this.extractActionBody(controllerCode, route.actionName);
+        behavioralInfo = BehavioralAnalyzer.analyzeMethod(actionBody);
+
+        // 1. Detect FormRequest in method signature
+        const requestClassName = this.detectFormRequestClass(controllerCode, route.actionName);
+        if (requestClassName) {
+          const reqFile = this.findClassFile("Requests", requestClassName);
+          const rules = reqFile && fs.existsSync(reqFile) ? this.extractValidationRules(fs.readFileSync(reqFile, "utf-8")) : {};
+          formRequestInfo = {
+            className: requestClassName,
+            filePath: reqFile ? path.relative(this.projectRoot, reqFile) : undefined,
+            rules,
+          };
+        }
+
+        // 2. Detect Model referenced in parameters or action body
+        const modelClassName = this.detectModelClass(controllerCode, route.actionName, actionBody);
+        if (modelClassName) {
+          const modFile = this.findClassFile("Models", modelClassName);
+          const modMetadata = modFile && fs.existsSync(modFile) ? this.extractModelMetadata(fs.readFileSync(modFile, "utf-8")) : { fillable: [], casts: {} };
+          modelInfo = {
+            className: modelClassName,
+            filePath: modFile ? path.relative(this.projectRoot, modFile) : undefined,
+            fillable: modMetadata.fillable,
+            casts: modMetadata.casts,
+          };
+        }
+
+        // 3. Detect Inertia Render / View Target
+        frontendInfo = this.detectFrontendTarget(actionBody);
+
+        // 4. Detect Action & Service invocations
+        actionServices = this.detectActionAndServiceInvocations(
+          controllerCode,
+          route.actionName,
+          actionBody
+        );
+      }
+
+      const chain: ExecutionChainNode[] = [
+        {
+          stage: "ingress",
+          symbol: `${route.httpMethod.toUpperCase()} ${route.uri.startsWith("/") ? route.uri : `/${route.uri}`}`,
+          file: route.file,
+          description: `HTTP Route: ${route.routeName || route.uri}`,
+        },
+      ];
+
+      if (behavioralInfo && behavioralInfo.guards.length > 0) {
+        chain.push({
+          stage: "guard",
+          symbol: behavioralInfo.guards.join(", "),
+          description: "Authorization / Security Guard",
+          guards: behavioralInfo.guards,
+        });
+      }
+
+      if (formRequestInfo) {
+        chain.push({
+          stage: "validation",
+          symbol: formRequestInfo.className,
+          file: formRequestInfo.filePath,
+          description: "Form Request Validation",
+        });
+      }
+
+      chain.push({
+        stage: "controller",
+        symbol: `${route.controllerClass}::${route.actionName}`,
+        file: controllerInfo.filePath ? path.relative(this.projectRoot, controllerInfo.filePath) : undefined,
+        line: controllerInfo.line,
+        description: `Controller Action`,
+        guards: behavioralInfo && behavioralInfo.guards.length > 0 ? behavioralInfo.guards : undefined,
+        mutations: behavioralInfo && behavioralInfo.mutations.length > 0 ? behavioralInfo.mutations : undefined,
+        transactions: behavioralInfo?.hasTransaction,
+      });
+
+      if (actionServices && actionServices.length > 0) {
+        for (const asItem of actionServices) {
+          chain.push({
+            stage: asItem.isService ? "service" : "action",
+            symbol: asItem.className,
+            file: asItem.filePath,
+            description: asItem.isService ? "Domain Service Invocation" : "Action Invocation",
+          });
+        }
+      }
+
+      if (behavioralInfo && behavioralInfo.hasTransaction) {
+        chain.push({
+          stage: "transaction",
+          symbol: "DB::transaction",
+          description: "Database Transaction Scope",
+          transactions: true,
+        });
+      }
+
+      if (modelInfo) {
+        const schema = SchemaProviderRegistry.resolveSchema(
+          root,
+          modelInfo.className,
+          modelInfo.filePath
+        );
+
+        const columnsSummary =
+          schema && schema.fields.length > 0
+            ? schema.fields.map((f) => `${f.name}:${f.type}${f.nullable ? "?" : ""}`).join(", ")
+            : undefined;
+
+        chain.push({
+          stage: "entity",
+          symbol: modelInfo.className,
+          file: modelInfo.filePath,
+          description: schema?.tableName ? `Eloquent Model (${schema.tableName})` : "Eloquent Model",
+          table: schema?.tableName,
+          schema_file: schema?.schemaSourceFile,
+          columns_summary: columnsSummary,
+          mutations: behavioralInfo && behavioralInfo.mutations.length > 0 ? behavioralInfo.mutations : undefined,
+        });
+      }
+
+      if (behavioralInfo && behavioralInfo.dispatchedJobs.length > 0) {
+        for (const job of behavioralInfo.dispatchedJobs) {
+          const jobFile = this.findClassFile("Jobs", job);
+          chain.push({
+            stage: "job",
+            symbol: job,
+            file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
+            description: "Background Queue Job Dispatched",
+            dispatches: [job],
+          });
+        }
+      }
+
+      if (behavioralInfo && behavioralInfo.emittedEvents.length > 0) {
+        for (const evt of behavioralInfo.emittedEvents) {
+          const evtFile = this.findClassFile("Events", evt);
+          chain.push({
+            stage: "event",
+            symbol: evt,
+            file: evtFile ? path.relative(this.projectRoot, evtFile) : undefined,
+            description: "Domain Event Emitted",
+            emits: [evt],
+          });
+        }
+      }
+
+      if (frontendInfo) {
+        chain.push({
+          stage: "egress",
+          symbol: frontendInfo.target,
+          description: "Inertia / Frontend Target",
+          payload_props: frontendInfo.props.length > 0 ? frontendInfo.props : undefined,
+        });
+      }
+
+      slices.push({
+        domain_id: domainId ?? null,
+        feature_key: route.routeName || null,
+        http_method: route.httpMethod.toUpperCase(),
+        route_uri: route.uri.startsWith("/") ? route.uri : `/${route.uri}`,
+        route_name: route.routeName || null,
+        controller_class: route.controllerClass,
+        action_name: route.actionName,
+        controller_file: controllerInfo.filePath ? path.relative(this.projectRoot, controllerInfo.filePath) : null,
+        controller_line: controllerInfo.line,
+        architecture_style: "mvc",
+        entry_kind: "http_route",
+        execution_chain_json: JSON.stringify(chain),
+      });
+    }
+
+    // Also discover Omni-Trigger slices (Jobs, Console Commands, Event Listeners)
+    slices.push(...this.extractJobSlices(root, domainId));
+    slices.push(...this.extractCommandSlices(root, domainId));
+    slices.push(...this.extractListenerSlices(root, domainId));
+
+    return Object.assign(slices, { slices });
+  }
+
+  /**
+   * Parse Laravel Route declarations.
+   */
+  public parseRoutesContent(content: string): ParsedRoute[] {
+    const routes: ParsedRoute[] = [];
+
+    // 1. Process Route::resource
+    const resourceRegex = /Route::resource\s*\(\s*['"]([^'"]+)['"]\s*,\s*([\\A-Za-z0-9_]+)::class\s*\)/gi;
+    let resMatch;
+    while ((resMatch = resourceRegex.exec(content)) !== null) {
+      const baseUri = resMatch[1].replace(/^\//, "");
+      const controllerClass = resMatch[2];
+      const resourceActions = [
+        { method: "GET", sub: "", action: "index" },
+        { method: "GET", sub: "/create", action: "create" },
+        { method: "POST", sub: "", action: "store" },
+        { method: "GET", sub: "/{id}", action: "show" },
+        { method: "GET", sub: "/{id}/edit", action: "edit" },
+        { method: "PUT", sub: "/{id}", action: "update" },
+        { method: "DELETE", sub: "/{id}", action: "destroy" },
+      ];
+
+      for (const res of resourceActions) {
+        routes.push({
+          httpMethod: res.method,
+          uri: `/${baseUri}${res.sub}`,
+          routeName: `${baseUri}.${res.action}`,
+          controllerClass,
+          actionName: res.action,
+        });
+      }
+    }
+
+    // 2. Parse routes with group context tracking (prefix, controller, name prefix)
+    const lines = content.split(/\r?\n/);
+    const cleanLines = blankCommentsAndStrings(content, { hashComments: true }).split(/\r?\n/);
+    interface GroupContext {
+      prefix: string;
+      controller: string;
+      namePrefix: string;
+      braceDepth: number;
+    }
+
+    const groupStack: GroupContext[] = [];
+    let currentBraceDepth = 0;
+    let statementBuffer = "";
+    let inStatement = false;
+
+    for (let i = 0; i < lines.length; i++) {
+      const line = lines[i];
+      const cleanLine = cleanLines[i] ?? "";
+      const cleanTrimmed = cleanLine.trim();
+      const trimmed = line.trim();
+
+      if (!cleanTrimmed) continue;
+
+      // Check group opens: Route::...group(
+      if (cleanTrimmed.includes("Route::") && cleanTrimmed.includes("group(") && cleanTrimmed.includes("function")) {
+        const prefixMatch = /prefix\s*\(\s*['"]([^'"]+)['"]\s*\)/.exec(trimmed);
+        const controllerMatch = /controller\s*\(\s*([\\A-Za-z0-9_]+)::class\s*\)/.exec(trimmed);
+        const nameMatch = /name\s*\(\s*['"]([^'"]+)['"]\s*\)/.exec(trimmed);
+
+        const currentCtx = groupStack[groupStack.length - 1];
+        const newPrefix = [currentCtx?.prefix, prefixMatch ? prefixMatch[1] : ""]
+          .filter(Boolean)
+          .join("/");
+        const newController = controllerMatch ? controllerMatch[1] : (currentCtx?.controller || "");
+        const newNamePrefix = [currentCtx?.namePrefix, nameMatch ? nameMatch[1] : ""]
+          .filter(Boolean)
+          .join("");
+
+        groupStack.push({
+          prefix: newPrefix,
+          controller: newController,
+          namePrefix: newNamePrefix,
+          braceDepth: currentBraceDepth,
+        });
+      }
+
+      // Track brace depth on string/comment-stripped line so '/orders/{id}' never corrupts braceDepth
+      for (const char of cleanLine) {
+        if (char === "{") currentBraceDepth++;
+        if (char === "}") {
+          currentBraceDepth--;
+          if (groupStack.length > 0) {
+            const top = groupStack[groupStack.length - 1];
+            if (currentBraceDepth <= top.braceDepth) {
+              groupStack.pop();
+            }
+          }
+        }
+      }
+
+      // Route statement accumulation across lines
+      if (!inStatement && cleanTrimmed.startsWith("Route::") && !cleanTrimmed.includes("Route::resource") && !cleanTrimmed.includes("Route::group") && !(cleanTrimmed.includes("group(") && cleanTrimmed.includes("function"))) {
+        statementBuffer = trimmed;
+        inStatement = true;
+      } else if (inStatement) {
+        statementBuffer += " " + trimmed;
+      }
+
+      if (inStatement && cleanLine.includes(";")) {
+        inStatement = false;
+        const stmt = statementBuffer;
+        statementBuffer = "";
+
+        const currentCtx = groupStack[groupStack.length - 1];
+        const parsed = this.parseSingleRouteStatement(stmt, currentCtx);
+        if (parsed) {
+          routes.push(parsed);
+        }
+      }
+    }
+
+    return routes;
+  }
+
+  private parseSingleRouteStatement(
+    stmt: string,
+    ctx?: { prefix: string; controller: string; namePrefix: string }
+  ): ParsedRoute | null {
+    const methodMatch = /Route::(get|post|put|patch|delete|any|options)\s*\(\s*['"]([^'"]+)['"]([\s\S]*)/i.exec(stmt);
+    if (!methodMatch) {
+      const viewMatch = /Route::view\s*\(\s*['"]([^'"]+)['"]\s*,\s*['"]([^'"]+)['"]/i.exec(stmt);
+      if (viewMatch) {
+        const rawUri = viewMatch[1];
+        const viewTarget = viewMatch[2];
+        const nameMatch = /->name\s*\(\s*['"]([^'"]+)['"]\s*\)/i.exec(stmt);
+        const fullUri = ctx?.prefix ? `/${ctx.prefix.replace(/^\/|\/$/g, "")}/${rawUri.replace(/^\//, "")}` : rawUri;
+        return {
+          httpMethod: "GET",
+          uri: fullUri.startsWith("/") ? fullUri : `/${fullUri}`,
+          routeName: (ctx?.namePrefix || "") + (nameMatch ? nameMatch[1] : ""),
+          controllerClass: "View",
+          actionName: viewTarget,
+        };
+      }
+      return null;
+    }
+
+    const httpMethod = methodMatch[1].toUpperCase();
+    let uri = methodMatch[2];
+    const rest = methodMatch[3];
+
+    if (ctx?.prefix) {
+      const cleanPrefix = ctx.prefix.replace(/^\/|\/$/g, "");
+      const cleanUri = uri.replace(/^\//, "");
+      uri = cleanUri ? `/${cleanPrefix}/${cleanUri}` : `/${cleanPrefix}`;
+    }
+    if (!uri.startsWith("/")) uri = `/${uri}`;
+
+    const nameMatch = /->name\s*\(\s*['"]([^'"]+)['"]\s*\)/i.exec(stmt);
+    const rawRouteName = nameMatch ? nameMatch[1] : undefined;
+    const fullRouteName = rawRouteName
+      ? (ctx?.namePrefix || "") + rawRouteName
+      : undefined;
+
+    // [Controller::class, 'action']
+    const arrayMatch = /\[\s*([\\A-Za-z0-9_]+)::class\s*,\s*['"]([A-Za-z0-9_]+)['"]\s*\]/.exec(rest);
+    if (arrayMatch) {
+      return {
+        httpMethod,
+        uri,
+        routeName: fullRouteName,
+        controllerClass: arrayMatch[1],
+        actionName: arrayMatch[2],
+      };
+    }
+
+    // 'Controller@action'
+    const stringActionMatch = /['"]([\\A-Za-z0-9_]+)@([A-Za-z0-9_]+)['"]/.exec(rest);
+    if (stringActionMatch) {
+      return {
+        httpMethod,
+        uri,
+        routeName: fullRouteName,
+        controllerClass: stringActionMatch[1],
+        actionName: stringActionMatch[2],
+      };
+    }
+
+    // Action inside controller group
+    if (ctx?.controller) {
+      const singleActionMatch = /,\s*['"]([A-Za-z0-9_]+)['"]/.exec(rest);
+      if (singleActionMatch) {
+        return {
+          httpMethod,
+          uri,
+          routeName: fullRouteName,
+          controllerClass: ctx.controller,
+          actionName: singleActionMatch[1],
+        };
+      }
+    }
+
+    // Invokable controller
+    const invokableMatch = /,\s*([\\A-Za-z0-9_]+)::class/.exec(rest);
+    if (invokableMatch) {
+      return {
+        httpMethod,
+        uri,
+        routeName: fullRouteName,
+        controllerClass: invokableMatch[1],
+        actionName: "__invoke",
+      };
+    }
+
+    // Closure
+    if (rest.includes("function")) {
+      return {
+        httpMethod,
+        uri,
+        routeName: fullRouteName,
+        controllerClass: "Closure",
+        actionName: "handle",
+      };
+    }
+
+    return null;
+  }
+
+  private resolveController(controllerClass: string, actionName: string): { filePath?: string; line: number } {
+    const simpleName = controllerClass.split(/\\|\//).pop() || controllerClass;
+    const candidates = [
+      path.join(this.projectRoot, `app/Http/Controllers/${simpleName}.php`),
+      path.join(this.projectRoot, `app/Http/Controllers/Api/${simpleName}.php`),
+      path.join(this.projectRoot, `app/Http/Controllers/Admin/${simpleName}.php`),
+    ];
+
+    for (const c of candidates) {
+      if (fs.existsSync(c)) {
+        const lines = fs.readFileSync(c, "utf-8").split("\n");
+        let targetLine = 1;
+        for (let i = 0; i < lines.length; i++) {
+          if (new RegExp(`function\\s+${actionName}\\s*\\(`, "i").test(lines[i])) {
+            targetLine = i + 1;
+            break;
+          }
+        }
+        return { filePath: c, line: targetLine };
+      }
+    }
+
+    return { line: 0 };
+  }
+
+  private extractActionBody(controllerCode: string, actionName: string): string {
+    const cleanCode = blankCommentsAndStrings(controllerCode, { hashComments: true });
+    const fnRegex = new RegExp(`(?:public\\s+)?function\\s+${actionName}\\s*\\([^{]*\\)\\s*\\{`, "i");
+    const match = fnRegex.exec(cleanCode);
+    if (!match) return "";
+
+    const startIndex = match.index + match[0].length;
+    let braceDepth = 1;
+    let endIndex = startIndex;
+
+    while (braceDepth > 0 && endIndex < cleanCode.length) {
+      const char = cleanCode[endIndex];
+      if (char === "{") braceDepth++;
+      else if (char === "}") braceDepth--;
+      endIndex++;
+    }
+
+    return controllerCode.substring(startIndex, endIndex - 1);
+  }
+
+  private detectFormRequestClass(controllerCode: string, actionName: string): string | null {
+    const paramRegex = new RegExp(`public\\s+function\\s+${actionName}\\s*\\(([^)]*)\\)`, "i");
+    const match = paramRegex.exec(controllerCode);
+    if (!match) return null;
+
+    const params = match[1];
+    // Find class names ending with Request
+    const reqMatch = params.match(/([A-Za-z0-9_]+Request)\s+\$/);
+    if (reqMatch && reqMatch[1] !== "Request") {
+      return reqMatch[1];
+    }
+    return null;
+  }
+
+  private detectModelClass(controllerCode: string, actionName: string, actionBody: string): string | null {
+    // 1. Method signature type-hints: (Order $order)
+    const paramRegex = new RegExp(`public\\s+function\\s+${actionName}\\s*\\(([^)]*)\\)`, "i");
+    const match = paramRegex.exec(controllerCode);
+    if (match) {
+      const parts = match[1].split(",");
+      for (const p of parts) {
+        const pMatch = p.trim().match(/^([A-Z][A-Za-z0-9_]+)\s+\$/);
+        if (
+          pMatch &&
+          !pMatch[1].endsWith("Request") &&
+          pMatch[1] !== "Request" &&
+          !/(Action|Service|UseCase)$/i.test(pMatch[1])
+        ) {
+          return pMatch[1];
+        }
+      }
+    }
+
+    // 2. Action body static calls: Order::find(), Order::create(), Order::query()
+    const staticModelMatch = actionBody.match(/([A-Z][A-Za-z0-9_]+)::(?:find|findOrFail|create|where|query)\s*\(/);
+    if (staticModelMatch && !["Inertia", "Route", "DB", "Auth", "Log", "Response"].includes(staticModelMatch[1])) {
+      return staticModelMatch[1];
+    }
+
+    return null;
+  }
+
+  private detectFrontendTarget(actionBody: string): { target: string; props: string[] } | null {
+    // 1. Inertia::render('Orders/Show', ['order' => $order])
+    const inertiaMatch = actionBody.match(/Inertia::render\s*\(\s*['"]([^'"]+)['"](?:\s*,\s*\[([\s\S]*?)\])?\s*\)/);
+    if (inertiaMatch) {
+      const pageComponent = inertiaMatch[1]; // e.g. "Orders/Show"
+      const rawProps = inertiaMatch[2] || "";
+
+      // Extract prop keys: 'order' => ... or "order" => ... or order => ...
+      const propMatches = rawProps.matchAll(/['"]?([A-Za-z0-9_]+)['"]?\s*=>/g);
+      const props: string[] = [];
+      for (const pm of propMatches) {
+        if (!props.includes(pm[1])) {
+          props.push(pm[1]);
+        }
+      }
+
+      // Check for Vue, TSX, JSX files in resources/js/Pages
+      const possibleExtensions = [".vue", ".tsx", ".jsx", ".svelte"];
+      let frontendPath = `resources/js/Pages/${pageComponent}`;
+      for (const ext of possibleExtensions) {
+        const fullCandidate = path.join(this.projectRoot, `resources/js/Pages/${pageComponent}${ext}`);
+        if (fs.existsSync(fullCandidate)) {
+          frontendPath = `resources/js/Pages/${pageComponent}${ext}`;
+          break;
+        }
+      }
+      if (!frontendPath.includes(".")) {
+        frontendPath += ".vue"; // Default inertia convention
+      }
+
+      return {
+        target: frontendPath,
+        props,
+      };
+    }
+
+    // 2. view('orders.show', compact('order'))
+    const viewMatch = actionBody.match(/view\s*\(\s*['"]([^'"]+)['"]/);
+    if (viewMatch) {
+      const viewPath = viewMatch[1].replace(/\./g, "/");
+      return {
+        target: `resources/views/${viewPath}.blade.php`,
+        props: [],
+      };
+    }
+
+    return null;
+  }
+
+  private detectActionAndServiceInvocations(
+    controllerCode: string,
+    actionName: string,
+    actionBody: string
+  ): Array<{
+    className: string;
+    filePath?: string;
+    isService: boolean;
+  }> {
+    const detected = new Map<string, { className: string; filePath?: string; isService: boolean }>();
+
+    // 1. Check method parameters of actionName
+    const methodRegex = new RegExp(
+      `(?:public|protected|private)?\\s*function\\s+${actionName}\\s*\\(([^)]*)\\)`,
+      "i"
+    );
+    const methodMatch = controllerCode.match(methodRegex);
+    if (methodMatch && methodMatch[1]) {
+      const params = methodMatch[1].split(",");
+      for (const param of params) {
+        const cleanParam = param.trim().replace(/^(?:public|protected|private)?\s*(?:readonly)?\s*/i, "").trim();
+        const parts = cleanParam.split(/\s+/);
+        if (parts.length >= 2) {
+          const typehint = parts[0].replace(/^\\/, "").trim();
+          if (/(Action|Service|UseCase)$/i.test(typehint)) {
+            const shortName = typehint.split("\\").pop() || typehint;
+            const isService = /Service$/i.test(shortName);
+            const folder = isService ? "Services" : "Actions";
+            const file = this.findClassFile(folder, shortName);
+            detected.set(shortName, {
+              className: shortName,
+              filePath: file ? path.relative(this.projectRoot, file) : undefined,
+              isService,
+            });
+          }
+        }
+      }
+    }
+
+    // 2. Check constructor injection
+    const ctorMatch = controllerCode.match(/function\s+__construct\s*\(([^)]*)\)/i);
+    if (ctorMatch && ctorMatch[1]) {
+      const params = ctorMatch[1].split(",");
+      for (const param of params) {
+        const cleanParam = param.trim().replace(/^(?:public|protected|private)?\s*(?:readonly)?\s*/i, "").trim();
+        const parts = cleanParam.split(/\s+/);
+        if (parts.length >= 2) {
+          const typehint = parts[0].replace(/^\\/, "").trim();
+          if (/(Action|Service|UseCase)$/i.test(typehint)) {
+            const shortName = typehint.split("\\").pop() || typehint;
+            const isService = /Service$/i.test(shortName);
+            const propName = shortName.charAt(0).toLowerCase() + shortName.slice(1);
+            if (
+              actionBody.includes(shortName) ||
+              actionBody.includes(`$this->${propName}`) ||
+              actionBody.toLowerCase().includes(propName.toLowerCase())
+            ) {
+              const folder = isService ? "Services" : "Actions";
+              const file = this.findClassFile(folder, shortName);
+              detected.set(shortName, {
+                className: shortName,
+                filePath: file ? path.relative(this.projectRoot, file) : undefined,
+                isService,
+              });
+            }
+          }
+        }
+      }
+    }
+
+    // 3. Check static calls or class instantiations inside actionBody
+    const actionServicePattern = /\b([A-Z][a-zA-Z0-9_]*(?:Action|Service|UseCase))\b(?:::|::class|\s*\(|\s*;)/g;
+    let match: RegExpExecArray | null;
+    while ((match = actionServicePattern.exec(actionBody)) !== null) {
+      const cls = match[1];
+      if (!detected.has(cls)) {
+        const isService = /Service$/i.test(cls);
+        const folder = isService ? "Services" : "Actions";
+        const file = this.findClassFile(folder, cls);
+        detected.set(cls, {
+          className: cls,
+          filePath: file ? path.relative(this.projectRoot, file) : undefined,
+          isService,
+        });
+      }
+    }
+
+    // 4. Also scan 'use' imports in controller for App\Actions\... or App\Services\...
+    const usePattern = /use\s+App\\(Actions|Services)\\(?:[a-zA-Z0-9_\\]+\\)?([A-Z][a-zA-Z0-9_]*);/g;
+    while ((match = usePattern.exec(controllerCode)) !== null) {
+      const folder = match[1];
+      const cls = match[2];
+      if (actionBody.includes(cls) && !detected.has(cls)) {
+        const isService = folder === "Services" || /Service$/i.test(cls);
+        const file = this.findClassFile(folder, cls);
+        detected.set(cls, {
+          className: cls,
+          filePath: file ? path.relative(this.projectRoot, file) : undefined,
+          isService,
+        });
+      }
+    }
+
+    return Array.from(detected.values());
+  }
+
+  private findClassFile(
+    subDir: "Requests" | "Models" | "Jobs" | "Events" | "Listeners" | "Console/Commands" | "Actions" | "Services" | string,
+    className: string
+  ): string | null {
+    const directPath = path.join(this.projectRoot, `app/${subDir}/${className}.php`);
+    if (fs.existsSync(directPath)) return directPath;
+
+    // Direct app/ fallback for older Laravel
+    const flatPath = path.join(this.projectRoot, `app/${className}.php`);
+    if (fs.existsSync(flatPath)) return flatPath;
+
+    return null;
+  }
+
+  private extractValidationRules(requestCode: string): Record<string, string> {
+    const rules: Record<string, string> = {};
+    const body = this.extractActionBody(requestCode, "rules");
+    if (!body) return rules;
+
+    // Match 'status' => 'in:pending,paid' or 'status' => ['required', 'string']
+    const rulePairRegex = /['"]([A-Za-z0-9_]+)['"]\s*=>\s*(?:['"]([^'"]+)['"]|\[([^\]]+)\])/g;
+    let rm;
+    while ((rm = rulePairRegex.exec(body)) !== null) {
+      const field = rm[1];
+      const singleRule = rm[2];
+      const arrayRules = rm[3];
+      if (singleRule) {
+        rules[field] = singleRule;
+      } else if (arrayRules) {
+        rules[field] = arrayRules.replace(/['"\s]/g, "").replace(/,/g, "|");
+      }
+    }
+
+    return rules;
+  }
+
+  private extractModelMetadata(modelCode: string): { fillable: string[]; casts: Record<string, string> } {
+    const fillable: string[] = [];
+    const casts: Record<string, string> = {};
+
+    // Match protected $fillable = [...]
+    const fillableMatch = modelCode.match(/\$fillable\s*=\s*\[([^\]]*)\]/);
+    if (fillableMatch) {
+      const items = fillableMatch[1].matchAll(/['"]([A-Za-z0-9_]+)['"]/g);
+      for (const it of items) {
+        fillable.push(it[1]);
+      }
+    }
+
+    // Match protected $casts = [...]
+    const castsMatch = modelCode.match(/\$casts\s*=\s*\[([^\]]*)\]/);
+    if (castsMatch) {
+      const castItems = castsMatch[1].matchAll(/['"]([A-Za-z0-9_]+)['"]\s*=>\s*(?:['"]([^'"]+)['"]|([A-Za-z0-9_]+)::class)/g);
+      for (const ci of castItems) {
+        casts[ci[1]] = ci[2] || ci[3];
+      }
+    }
+
+    return { fillable, casts };
+  }
+
+  private extractJobSlices(
+    root: string,
+    domainId?: number
+  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
+    const jobsDir = path.join(root, "app/Jobs");
+    if (!fs.existsSync(jobsDir)) return [];
+
+    const jobFiles = fs.readdirSync(jobsDir).filter((f) => f.endsWith(".php"));
+    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
+
+    for (const file of jobFiles) {
+      const fullPath = path.join(jobsDir, file);
+      const content = fs.readFileSync(fullPath, "utf-8");
+      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
+      if (!classMatch) continue;
+
+      const className = classMatch[1];
+      const actionBody = this.extractActionBody(content, "handle");
+      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
+
+      const chain: ExecutionChainNode[] = [
+        {
+          stage: "ingress",
+          symbol: `JOB ${className}`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: `Queue Worker Trigger: ${className}`,
+        },
+        {
+          stage: "controller",
+          symbol: `${className}::handle`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: "Queue Job Handler",
+          mutations: behavior.mutations.length ? behavior.mutations : undefined,
+          transactions: behavior.hasTransaction,
+        },
+      ];
+
+      if (behavior.hasTransaction) {
+        chain.push({
+          stage: "transaction",
+          symbol: "DB::transaction",
+          description: "Database Transaction Scope",
+          transactions: true,
+        });
+      }
+
+      for (const evt of behavior.emittedEvents) {
+        const evtFile = this.findClassFile("Events", evt);
+        chain.push({
+          stage: "event",
+          symbol: evt,
+          file: evtFile ? path.relative(this.projectRoot, evtFile) : undefined,
+          description: "Domain Event Emitted",
+          emits: [evt],
+        });
+      }
+
+      slices.push({
+        domain_id: domainId ?? null,
+        feature_key: `job:${className}`,
+        http_method: "JOB",
+        route_uri: `job:${className}`,
+        route_name: `queue.${this.toSnakeCase(className)}`,
+        controller_class: className,
+        action_name: "handle",
+        controller_file: path.relative(this.projectRoot, fullPath),
+        controller_line: 1,
+        architecture_style: "clean",
+        entry_kind: "queue_job",
+        execution_chain_json: JSON.stringify(chain),
+      });
+    }
+
+    return slices;
+  }
+
+  private extractCommandSlices(
+    root: string,
+    domainId?: number
+  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
+    const commandsDir = path.join(root, "app/Console/Commands");
+    if (!fs.existsSync(commandsDir)) return [];
+
+    const files = fs.readdirSync(commandsDir).filter((f) => f.endsWith(".php"));
+    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
+
+    for (const file of files) {
+      const fullPath = path.join(commandsDir, file);
+      const content = fs.readFileSync(fullPath, "utf-8");
+      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
+      if (!classMatch) continue;
+
+      const className = classMatch[1];
+      const sigMatch = content.match(/protected\s+\$signature\s*=\s*['"]([^'"]+)['"]/);
+      const commandSignature = sigMatch ? sigMatch[1].split(/\s+/)[0] : this.toSnakeCase(className);
+
+      const actionBody = this.extractActionBody(content, "handle");
+      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
+
+      const chain: ExecutionChainNode[] = [
+        {
+          stage: "ingress",
+          symbol: `CLI ${commandSignature}`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: `Console Command: ${commandSignature}`,
+        },
+        {
+          stage: "controller",
+          symbol: `${className}::handle`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: "Command Execution Handler",
+          mutations: behavior.mutations.length ? behavior.mutations : undefined,
+          transactions: behavior.hasTransaction,
+        },
+      ];
+
+      if (behavior.hasTransaction) {
+        chain.push({
+          stage: "transaction",
+          symbol: "DB::transaction",
+          description: "Database Transaction Scope",
+          transactions: true,
+        });
+      }
+
+      for (const job of behavior.dispatchedJobs) {
+        const jobFile = this.findClassFile("Jobs", job);
+        chain.push({
+          stage: "job",
+          symbol: job,
+          file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
+          description: "Dispatched Background Worker",
+          dispatches: [job],
+        });
+      }
+
+      slices.push({
+        domain_id: domainId ?? null,
+        feature_key: `command:${commandSignature}`,
+        http_method: "CLI",
+        route_uri: `command:${commandSignature}`,
+        route_name: `cli.${commandSignature}`,
+        controller_class: className,
+        action_name: "handle",
+        controller_file: path.relative(this.projectRoot, fullPath),
+        controller_line: 1,
+        architecture_style: "clean",
+        entry_kind: "scheduled_command",
+        execution_chain_json: JSON.stringify(chain),
+      });
+    }
+
+    return slices;
+  }
+
+  private extractListenerSlices(
+    root: string,
+    domainId?: number
+  ): Array<Omit<VerticalSliceRecord, "id" | "created_at">> {
+    const listenersDir = path.join(root, "app/Listeners");
+    if (!fs.existsSync(listenersDir)) return [];
+
+    const files = fs.readdirSync(listenersDir).filter((f) => f.endsWith(".php"));
+    const slices: Array<Omit<VerticalSliceRecord, "id" | "created_at">> = [];
+
+    for (const file of files) {
+      const fullPath = path.join(listenersDir, file);
+      const content = fs.readFileSync(fullPath, "utf-8");
+      const classMatch = content.match(/class\s+([A-Za-z0-9_]+)/);
+      if (!classMatch) continue;
+
+      const className = classMatch[1];
+      const actionBody = this.extractActionBody(content, "handle");
+      const behavior = BehavioralAnalyzer.analyzeMethod(actionBody);
+
+      const eventParamMatch = content.match(/public\s+function\s+handle\s*\(\s*([A-Za-z0-9_]+)\s+\$event\s*\)/i);
+      const listenedEvent = eventParamMatch ? eventParamMatch[1] : undefined;
+
+      const chain: ExecutionChainNode[] = [
+        {
+          stage: "ingress",
+          symbol: `EVENT ${listenedEvent || className}`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: `Event Listener Trigger${listenedEvent ? ` for [${listenedEvent}]` : ""}`,
+        },
+        {
+          stage: "controller",
+          symbol: `${className}::handle`,
+          file: path.relative(this.projectRoot, fullPath),
+          description: "Event Listener Handler",
+          mutations: behavior.mutations.length ? behavior.mutations : undefined,
+          transactions: behavior.hasTransaction,
+        },
+      ];
+
+      if (behavior.hasTransaction) {
+        chain.push({
+          stage: "transaction",
+          symbol: "DB::transaction",
+          description: "Database Transaction Scope",
+          transactions: true,
+        });
+      }
+
+      for (const job of behavior.dispatchedJobs) {
+        const jobFile = this.findClassFile("Jobs", job);
+        chain.push({
+          stage: "job",
+          symbol: job,
+          file: jobFile ? path.relative(this.projectRoot, jobFile) : undefined,
+          description: "Dispatched Background Worker",
+          dispatches: [job],
+        });
+      }
+
+      slices.push({
+        domain_id: domainId ?? null,
+        feature_key: `listener:${className}`,
+        http_method: "EVENT",
+        route_uri: `event:${className}`,
+        route_name: `event.${this.toSnakeCase(className)}`,
+        controller_class: className,
+        action_name: "handle",
+        controller_file: path.relative(this.projectRoot, fullPath),
+        controller_line: 1,
+        architecture_style: "clean",
+        entry_kind: "event_listener",
+        execution_chain_json: JSON.stringify(chain),
+      });
+    }
+
+    return slices;
+  }
+
+  private toSnakeCase(str: string): string {
+    return str
+      .replace(/([a-z0-9])([A-Z])/g, "$1_$2")
+      .replace(/([A-Z]+)([A-Z][a-z])/g, "$1_$2")
+      .toLowerCase();
+  }
+}