codesift-mcp 0.3.0 → 0.5.0

package/dist/parser/extractors/hono-inline-analyzer.js

@@ -0,0 +1,465 @@
+/**
+ * HonoInlineAnalyzer — shared body-analysis for inline handlers and middleware.
+ *
+ * Walks a tree-sitter syntax node (expected: arrow_function / function_expression)
+ * and extracts:
+ *   - c.json/text/html/body/redirect/newResponse emissions with status
+ *   - throw new HTTPException/Error with status
+ *   - Database calls (prisma.*, db.*, knex.*, drizzle*, .query, .execute)
+ *   - Fetch calls (fetch, axios.*)
+ *   - c.set/get/var/env context access
+ *   - Inline validator references (zValidator, vValidator, etc.)
+ *   - has_try_catch presence flag
+ *
+ * Used by HonoExtractor.walkHttpRoutes (Phase 2 T3) and consumed by
+ * analyze_inline_handler, extract_response_types, audit_hono_security.
+ *
+ * Defensive: accepts any node. Non-function nodes return an empty analysis
+ * (no throws). Nested functions inside the handler body ARE walked — that is
+ * intentional so closures over request context are captured.
+ */
+const MAX_WALK_DEPTH = 500;
+const MAX_SHAPE_HINT_LEN = 200;
+/** Default status code for c.redirect when second arg is omitted. */
+const REDIRECT_DEFAULT_STATUS = 302;
+/** Default status code for c.json/text/html/body/newResponse without explicit status. */
+const RESPONSE_DEFAULT_STATUS = 200;
+/** Default status code for `throw new Error(...)` when no HTTPException wrapper. */
+const GENERIC_ERROR_STATUS = 500;
+const RESPONSE_METHODS = new Set([
+    "json",
+    "text",
+    "html",
+    "body",
+    "redirect",
+    "newResponse",
+]);
+/**
+ * DB call prefixes — first token of a member expression chain. Matches
+ * `prisma.user.findMany`, `db.select`, `knex("users").where`, `drizzle.query.*`.
+ * Suffix-only matching was dropped — it produced false positives on
+ * non-DB code like `app.insert`, `array.delete`, `config.from`.
+ */
+const DB_ROOT_IDENTIFIERS = new Set([
+    "prisma",
+    "db",
+    "knex",
+    "drizzle",
+    "mongoose",
+    "supabase",
+    "pg",
+    "sql",
+]);
+const FETCH_ROOTS = new Set(["fetch", "axios"]);
+const VALIDATOR_NAMES = new Set([
+    "zValidator",
+    "vValidator",
+    "validator",
+    "tbValidator",
+    "arkValidator",
+]);
+export class HonoInlineAnalyzer {
+    /**
+     * Analyze a handler/middleware body. The caller (HonoExtractor) owns the
+     * file path — line numbers here are node-relative (1-based), file-agnostic.
+     *
+     * The Hono context parameter name is extracted from the first function
+     * parameter, so handlers written as `(ctx) => ...` or `(context) => ...`
+     * are recognized as well as the canonical `(c) => ...`.
+     */
+    analyze(handlerNode) {
+        const result = {
+            responses: [],
+            errors: [],
+            db_calls: [],
+            fetch_calls: [],
+            context_access: [],
+            validators_inline: [],
+            has_try_catch: false,
+            truncated: false,
+        };
+        if (!isFunctionLike(handlerNode)) {
+            return result;
+        }
+        const ctxBinding = firstParamName(handlerNode) ?? "c";
+        const validatorsSet = new Set();
+        const cursor = handlerNode.walk();
+        const state = { truncated: false };
+        walk(cursor, state, (node) => {
+            switch (node.type) {
+                case "try_statement": {
+                    if (hasCatchClause(node))
+                        result.has_try_catch = true;
+                    return;
+                }
+                case "throw_statement": {
+                    const err = extractThrownError(node);
+                    if (err)
+                        result.errors.push(err);
+                    return;
+                }
+                case "call_expression": {
+                    const resp = extractResponseEmission(node, ctxBinding);
+                    if (resp) {
+                        result.responses.push(resp);
+                        return;
+                    }
+                    const ext = extractExternalCall(node);
+                    if (ext) {
+                        if (ext.kind === "db")
+                            result.db_calls.push(ext);
+                        else if (ext.kind === "fetch")
+                            result.fetch_calls.push(ext);
+                        return;
+                    }
+                    const ctx = extractContextCall(node, ctxBinding);
+                    if (ctx) {
+                        result.context_access.push(ctx);
+                        return;
+                    }
+                    const validator = extractValidatorRef(node);
+                    if (validator)
+                        validatorsSet.add(validator);
+                    return;
+                }
+                case "member_expression": {
+                    // ctx.var.X / ctx.env.X — handled as member access, not call
+                    const ctx = extractContextMember(node, ctxBinding);
+                    if (ctx)
+                        result.context_access.push(ctx);
+                    return;
+                }
+                default:
+                    return;
+            }
+        });
+        result.validators_inline = [...validatorsSet];
+        result.truncated = state.truncated;
+        return result;
+    }
+}
+/* ======================================================================
+ * Pure functions — extraction helpers. Kept private (not exported) to
+ * preserve encapsulation and avoid coupling from tool files.
+ * ====================================================================== */
+function isFunctionLike(node) {
+    return (node.type === "arrow_function" ||
+        node.type === "function_expression" ||
+        node.type === "function_declaration" ||
+        node.type === "function" ||
+        node.type === "method_definition");
+}
+/**
+ * Extract the first formal parameter name from a function-like node. Returns
+ * null for parameterless functions or destructured/complex parameters.
+ * Used to resolve the Hono context binding (`c` / `ctx` / `context`).
+ */
+function firstParamName(fnNode) {
+    const params = fnNode.childForFieldName("parameters");
+    if (!params) {
+        // Arrow with single bare param: (c) => ... — tree-sitter uses "parameter" field
+        const singleParam = fnNode.childForFieldName("parameter");
+        if (singleParam?.type === "identifier")
+            return singleParam.text;
+        return null;
+    }
+    const first = params.namedChildren[0];
+    if (!first)
+        return null;
+    if (first.type === "identifier")
+        return first.text;
+    // `required_parameter` wraps the pattern in TS; dig one level
+    if (first.type === "required_parameter" || first.type === "optional_parameter") {
+        const pattern = first.childForFieldName("pattern");
+        if (pattern?.type === "identifier")
+            return pattern.text;
+    }
+    return null;
+}
+function hasCatchClause(tryNode) {
+    for (let i = 0; i < tryNode.childCount; i++) {
+        const c = tryNode.child(i);
+        if (c?.type === "catch_clause")
+            return true;
+    }
+    return false;
+}
+function extractResponseEmission(node, ctxBinding) {
+    const fn = node.childForFieldName("function");
+    if (fn?.type !== "member_expression")
+        return null;
+    const obj = fn.childForFieldName("object");
+    const prop = fn.childForFieldName("property");
+    if (obj?.text !== ctxBinding || !prop)
+        return null;
+    const methodName = prop.text;
+    if (!isResponseMethod(methodName))
+        return null;
+    const args = node.childForFieldName("arguments");
+    const firstArg = args?.namedChildren[0];
+    const secondArg = args?.namedChildren[1];
+    const status = parseStatusArg(secondArg ?? null, methodName);
+    const shape = shapeHintOf(firstArg ?? null);
+    const emission = {
+        kind: methodName,
+        status,
+        line: node.startPosition.row + 1,
+    };
+    if (shape !== null)
+        emission.shape_hint = shape;
+    return emission;
+}
+function isResponseMethod(name) {
+    return RESPONSE_METHODS.has(name);
+}
+function parseStatusArg(node, method) {
+    if (!node) {
+        return method === "redirect"
+            ? REDIRECT_DEFAULT_STATUS
+            : RESPONSE_DEFAULT_STATUS;
+    }
+    if (node.type === "number") {
+        const n = Number(node.text);
+        if (Number.isFinite(n))
+            return n;
+    }
+    // Fall back to default when status arg is an identifier/expression we can't statically resolve.
+    return method === "redirect"
+        ? REDIRECT_DEFAULT_STATUS
+        : RESPONSE_DEFAULT_STATUS;
+}
+function shapeHintOf(node) {
+    if (!node)
+        return null;
+    const text = node.text;
+    if (!text)
+        return null;
+    return text.length > MAX_SHAPE_HINT_LEN
+        ? text.slice(0, MAX_SHAPE_HINT_LEN)
+        : text;
+}
+function extractThrownError(node) {
+    // throw_statement → contains new_expression as first child, OR an arbitrary
+    // expression (throw err / throw getError() / throw await f()). The former
+    // yields a structured emission; the latter produces an "UnknownThrow" entry
+    // so error-path analysis isn't blind to rethrows.
+    let newExpr = null;
+    let firstNamedChild = null;
+    for (let i = 0; i < node.childCount; i++) {
+        const c = node.child(i);
+        if (!c || !c.isNamed)
+            continue;
+        if (!firstNamedChild)
+            firstNamedChild = c;
+        if (c.type === "new_expression") {
+            newExpr = c;
+            break;
+        }
+    }
+    if (!newExpr) {
+        if (!firstNamedChild)
+            return null;
+        const emission = {
+            status: GENERIC_ERROR_STATUS,
+            exception_class: "UnknownThrow",
+            line: node.startPosition.row + 1,
+        };
+        const hint = shapeHintOf(firstNamedChild);
+        if (hint !== null)
+            emission.message_hint = hint;
+        return emission;
+    }
+    const constructor = newExpr.childForFieldName("constructor");
+    const className = constructor?.text ?? "Error";
+    const args = newExpr.childForFieldName("arguments");
+    const firstArg = args?.namedChildren[0];
+    const secondArg = args?.namedChildren[1];
+    // HTTPException(status, options) — first arg is status
+    if (className === "HTTPException") {
+        const status = firstArg?.type === "number" && Number.isFinite(Number(firstArg.text))
+            ? Number(firstArg.text)
+            : GENERIC_ERROR_STATUS;
+        const emission = {
+            status,
+            exception_class: className,
+            line: node.startPosition.row + 1,
+        };
+        const hint = shapeHintOf(secondArg ?? null);
+        if (hint !== null)
+            emission.message_hint = hint;
+        return emission;
+    }
+    const emission = {
+        status: GENERIC_ERROR_STATUS,
+        exception_class: className,
+        line: node.startPosition.row + 1,
+    };
+    const hint = shapeHintOf(firstArg ?? null);
+    if (hint !== null)
+        emission.message_hint = hint;
+    return emission;
+}
+function extractExternalCall(node) {
+    const fn = node.childForFieldName("function");
+    if (!fn)
+        return null;
+    // fetch() / axios() — bare identifier
+    if (fn.type === "identifier") {
+        const name = fn.text;
+        if (FETCH_ROOTS.has(name)) {
+            return {
+                callee: name,
+                line: node.startPosition.row + 1,
+                kind: "fetch",
+            };
+        }
+        return null;
+    }
+    if (fn.type === "member_expression") {
+        const chain = memberChain(fn);
+        if (chain.length === 0)
+            return null;
+        const root = chain[0];
+        if (root && FETCH_ROOTS.has(root)) {
+            return {
+                callee: chain.join("."),
+                line: node.startPosition.row + 1,
+                kind: "fetch",
+            };
+        }
+        if (root && DB_ROOT_IDENTIFIERS.has(root)) {
+            return {
+                callee: chain.join("."),
+                line: node.startPosition.row + 1,
+                kind: "db",
+            };
+        }
+    }
+    return null;
+}
+/**
+ * Walk a member_expression chain left-to-right. For `prisma.user.findMany`
+ * returns `["prisma", "user", "findMany"]`. Returns empty array when the
+ * chain contains non-identifier nodes (e.g. computed access `obj[key]`).
+ */
+function memberChain(node) {
+    const parts = [];
+    let current = node;
+    while (current) {
+        if (current.type === "member_expression") {
+            const prop = current.childForFieldName("property");
+            if (prop?.type === "property_identifier" || prop?.type === "identifier") {
+                parts.unshift(prop.text);
+            }
+            else {
+                return [];
+            }
+            current = current.childForFieldName("object");
+        }
+        else if (current.type === "identifier") {
+            parts.unshift(current.text);
+            current = null;
+        }
+        else {
+            return [];
+        }
+    }
+    return parts;
+}
+function extractContextCall(node, ctxBinding) {
+    const fn = node.childForFieldName("function");
+    if (fn?.type !== "member_expression")
+        return null;
+    const obj = fn.childForFieldName("object");
+    const prop = fn.childForFieldName("property");
+    if (obj?.text !== ctxBinding || !prop)
+        return null;
+    if (prop.text === "set" || prop.text === "get") {
+        const args = node.childForFieldName("arguments");
+        const key = args?.namedChildren[0];
+        const keyText = key ? stringOrTemplateValue(key) : null;
+        if (keyText !== null) {
+            return {
+                type: prop.text,
+                key: keyText,
+                line: node.startPosition.row + 1,
+            };
+        }
+    }
+    return null;
+}
+function extractContextMember(node, ctxBinding) {
+    // ctx.var.X  →  (ctx.var).X
+    // ctx.env.X  →  (ctx.env).X
+    const obj = node.childForFieldName("object");
+    const prop = node.childForFieldName("property");
+    if (!prop || obj?.type !== "member_expression")
+        return null;
+    const innerObj = obj.childForFieldName("object");
+    const innerProp = obj.childForFieldName("property");
+    if (innerObj?.text !== ctxBinding || !innerProp)
+        return null;
+    if (innerProp.text === "var") {
+        return {
+            type: "var",
+            key: prop.text,
+            line: node.startPosition.row + 1,
+        };
+    }
+    if (innerProp.text === "env") {
+        return {
+            type: "env",
+            key: prop.text,
+            line: node.startPosition.row + 1,
+        };
+    }
+    return null;
+}
+function extractValidatorRef(node) {
+    const fn = node.childForFieldName("function");
+    if (fn?.type === "identifier" && VALIDATOR_NAMES.has(fn.text)) {
+        return fn.text;
+    }
+    return null;
+}
+/**
+ * Extracts the underlying string value of a literal argument. Handles both
+ * plain strings (`"key"`) and no-substitution template literals (`` `key` ``).
+ * Returns `"<dynamic>"` for interpolated templates so analyzers still record
+ * that a context access happened at an unknown key.
+ */
+function stringOrTemplateValue(node) {
+    if (node.type === "string") {
+        const raw = node.text;
+        return raw.length < 2 ? null : raw.slice(1, -1);
+    }
+    if (node.type === "template_string") {
+        // No interpolations → return the literal text; else flag as dynamic
+        const hasSubstitution = (() => {
+            for (let i = 0; i < node.childCount; i++) {
+                if (node.child(i)?.type === "template_substitution")
+                    return true;
+            }
+            return false;
+        })();
+        if (hasSubstitution)
+            return "<dynamic>";
+        const raw = node.text;
+        return raw.length < 2 ? null : raw.slice(1, -1);
+    }
+    return null;
+}
+function walk(cursor, state, visit, depth = 0) {
+    if (depth > MAX_WALK_DEPTH) {
+        state.truncated = true;
+        return;
+    }
+    visit(cursor.currentNode);
+    if (cursor.gotoFirstChild()) {
+        do {
+            walk(cursor, state, visit, depth + 1);
+        } while (cursor.gotoNextSibling());
+        cursor.gotoParent();
+    }
+}
+//# sourceMappingURL=hono-inline-analyzer.js.map

package/dist/parser/extractors/hono-inline-analyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hono-inline-analyzer.js","sourceRoot":"","sources":["../../../src/parser/extractors/hono-inline-analyzer.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAWH,MAAM,cAAc,GAAG,GAAG,CAAC;AAC3B,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,qEAAqE;AACrE,MAAM,uBAAuB,GAAG,GAAG,CAAC;AACpC,yFAAyF;AACzF,MAAM,uBAAuB,GAAG,GAAG,CAAC;AACpC,oFAAoF;AACpF,MAAM,oBAAoB,GAAG,GAAG,CAAC;AAEjC,MAAM,gBAAgB,GAA0C,IAAI,GAAG,CAAC;IACtE,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,UAAU;IACV,aAAa;CACd,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,QAAQ;IACR,IAAI;IACJ,MAAM;IACN,SAAS;IACT,UAAU;IACV,UAAU;IACV,IAAI;IACJ,KAAK;CACN,CAAC,CAAC;AAEH,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAErE,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC;IACnD,YAAY;IACZ,YAAY;IACZ,WAAW;IACX,aAAa;IACb,cAAc;CACf,CAAC,CAAC;AAEH,MAAM,OAAO,kBAAkB;IAC7B;;;;;;;OAOG;IACH,OAAO,CAAC,WAA8B;QACpC,MAAM,MAAM,GAA0B;YACpC,SAAS,EAAE,EAAE;YACb,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;YACZ,WAAW,EAAE,EAAE;YACf,cAAc,EAAE,EAAE;YAClB,iBAAiB,EAAE,EAAE;YACrB,aAAa,EAAE,KAAK;YACpB,SAAS,EAAE,KAAK;SACjB,CAAC;QAEF,IAAI,CAAC,cAAc,CAAC,WAAW,CAAC,EAAE,CAAC;YACjC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,MAAM,UAAU,GAAG,cAAc,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC;QACtD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;QACxC,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE;YAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,eAAe,CAAC,CAAC,CAAC;oBACrB,IAAI,cAAc,CAAC,IAAI,CAAC;wBAAE,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC;oBACtD,OAAO;gBACT,CAAC;gBACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;oBACvB,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;oBACrC,IAAI,GAAG;wBAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACjC,OAAO;gBACT,CAAC;gBACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;oBACvB,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACvD,IAAI,IAAI,EAAE,CAAC;wBACT,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;wBAC5B,OAAO;oBACT,CAAC;oBACD,MAAM,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,GAAG,EAAE,CAAC;wBACR,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI;4BAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;6BAC5C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;4BAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBAC5D,OAAO;oBACT,CAAC;oBACD,MAAM,GAAG,GAAG,kBAAkB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACjD,IAAI,GAAG,EAAE,CAAC;wBACR,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBAChC,OAAO;oBACT,CAAC;oBACD,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;oBAC5C,IAAI,SAAS;wBAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;oBAC5C,OAAO;gBACT,CAAC;gBACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;oBACzB,6DAA6D;oBAC7D,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;oBACnD,IAAI,GAAG;wBAAE,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACzC,OAAO;gBACT,CAAC;gBACD;oBACE,OAAO;YACX,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,MAAM,CAAC,iBAAiB,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC;QAC9C,MAAM,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED;;;4EAG4E;AAE5E,SAAS,cAAc,CAAC,IAAuB;IAC7C,OAAO,CACL,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAC9B,IAAI,CAAC,IAAI,KAAK,qBAAqB;QACnC,IAAI,CAAC,IAAI,KAAK,sBAAsB;QACpC,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAClC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,MAAyB;IAC/C,MAAM,MAAM,GAAG,MAAM,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACtD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,gFAAgF;QAChF,MAAM,WAAW,GAAG,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QAC1D,IAAI,WAAW,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,WAAW,CAAC,IAAI,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACnD,8DAA8D;IAC9D,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,IAAI,KAAK,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC/E,MAAM,OAAO,GAAG,KAAK,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC;QACnD,IAAI,OAAO,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,OAAO,CAAC,IAAI,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,OAA0B;IAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,CAAC,EAAE,IAAI,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAuB,EACvB,UAAkB;IAElB,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,EAAE,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,GAAG,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;IAC7B,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAE/C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,cAAc,CAAC,SAAS,IAAI,IAAI,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IAC5C,MAAM,QAAQ,GAAqB;QACjC,IAAI,EAAE,UAAU;QAChB,MAAM;QACN,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;KACjC,CAAC;IACF,IAAI,KAAK,KAAK,IAAI;QAAE,QAAQ,CAAC,UAAU,GAAG,KAAK,CAAC;IAChD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAY;IAEZ,OAAO,gBAAgB,CAAC,GAAG,CAAC,IAAgC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,cAAc,CACrB,IAA8B,EAC9B,MAAc;IAEd,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,MAAM,KAAK,UAAU;YAC1B,CAAC,CAAC,uBAAuB;YACzB,CAAC,CAAC,uBAAuB,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,gGAAgG;IAChG,OAAO,MAAM,KAAK,UAAU;QAC1B,CAAC,CAAC,uBAAuB;QACzB,CAAC,CAAC,uBAAuB,CAAC;AAC9B,CAAC;AAED,SAAS,WAAW,CAAC,IAA8B;IACjD,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,OAAO,IAAI,CAAC,MAAM,GAAG,kBAAkB;QACrC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC;QACnC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuB;IAEvB,4EAA4E;IAC5E,0EAA0E;IAC1E,4EAA4E;IAC5E,kDAAkD;IAClD,IAAI,OAAO,GAA6B,IAAI,CAAC;IAC7C,IAAI,eAAe,GAA6B,IAAI,CAAC;IACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO;YAAE,SAAS;QAC/B,IAAI,CAAC,eAAe;YAAE,eAAe,GAAG,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YAChC,OAAO,GAAG,CAAC,CAAC;YACZ,MAAM;QACR,CAAC;IACH,CAAC;IAED,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,CAAC,eAAe;YAAE,OAAO,IAAI,CAAC;QAClC,MAAM,QAAQ,GAAkB;YAC9B,MAAM,EAAE,oBAAoB;YAC5B,eAAe,EAAE,cAAc;YAC/B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,eAAe,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,WAAW,EAAE,IAAI,IAAI,OAAO,CAAC;IAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,MAAM,SAAS,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAEzC,uDAAuD;IACvD,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GACV,QAAQ,EAAE,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACnE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YACvB,CAAC,CAAC,oBAAoB,CAAC;QAC3B,MAAM,QAAQ,GAAkB;YAC9B,MAAM;YACN,eAAe,EAAE,SAAS;YAC1B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC;QACF,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;QAChD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAkB;QAC9B,MAAM,EAAE,oBAAoB;QAC5B,eAAe,EAAE,SAAS;QAC1B,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;KACjC,CAAC;IACF,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,IAAI,IAAI,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,IAAI;QAAE,QAAQ,CAAC,YAAY,GAAG,IAAI,CAAC;IAChD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuB;IAEvB,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,CAAC,EAAE;QAAE,OAAO,IAAI,CAAC;IAErB,sCAAsC;IACtC,IAAI,EAAE,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;QACrB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO;gBACL,MAAM,EAAE,IAAI;gBACZ,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;gBAChC,IAAI,EAAE,OAAO;aACd,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBACvB,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;gBAChC,IAAI,EAAE,OAAO;aACd,CAAC;QACJ,CAAC;QACD,IAAI,IAAI,IAAI,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,OAAO;gBACL,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;gBACvB,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;gBAChC,IAAI,EAAE,IAAI;aACX,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,IAAuB;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAA6B,IAAI,CAAC;IAC7C,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACnD,IAAI,IAAI,EAAE,IAAI,KAAK,qBAAqB,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;gBACxE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACzC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAuB,EACvB,UAAkB;IAElB,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,EAAE,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,GAAG,GAAG,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,GAAG,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAEnD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,GAAG,EAAE,OAAO;gBACZ,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;aACjC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAuB,EACvB,UAAkB;IAElB,4BAA4B;IAC5B,4BAA4B;IAC5B,MAAM,GAAG,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,IAAI,KAAK,mBAAmB;QAAE,OAAO,IAAI,CAAC;IAC5D,MAAM,QAAQ,GAAG,GAAG,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,GAAG,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,GAAG,GAAG,CAAC;SACjC,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAuB;IAEvB,MAAM,EAAE,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,EAAE,EAAE,IAAI,KAAK,YAAY,IAAI,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,CAAC,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,IAAuB;IACpD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,oEAAoE;QACpE,MAAM,eAAe,GAAG,CAAC,GAAG,EAAE;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;gBACzC,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,uBAAuB;oBAAE,OAAO,IAAI,CAAC;YACnE,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,EAAE,CAAC;QACL,IAAI,eAAe;YAAE,OAAO,WAAW,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;QACtB,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD,SAAS,IAAI,CACX,MAAyB,EACzB,KAAgB,EAChB,KAAoB,EACpB,KAAK,GAAG,CAAC;IAET,IAAI,KAAK,GAAG,cAAc,EAAE,CAAC;QAC3B,KAAK,CAAC,SAAS,GAAG,IAAI,CAAC;QACvB,OAAO;IACT,CAAC;IACD,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1B,IAAI,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QAC5B,GAAG,CAAC;YACF,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,QAAQ,MAAM,CAAC,eAAe,EAAE,EAAE;QACnC,MAAM,CAAC,UAAU,EAAE,CAAC;IACtB,CAAC;AACH,CAAC"}

package/dist/parser/extractors/hono-model.d.ts

@@ -0,0 +1,196 @@
+/**
+ * HonoAppModel — unified data model produced by HonoExtractor and consumed
+ * by trace_route, trace_middleware_chain, analyze_hono_app, trace_context_flow,
+ * extract_api_contract, trace_rpc_types, audit_hono_security, visualize_hono_routes.
+ *
+ * Spec: docs/specs/2026-04-10-hono-framework-intelligence-spec.md
+ * All Map<> fields use Record<> for JSON-serialization safety (spec HIGH-2).
+ */
+export interface HonoAppModel {
+    entry_file: string;
+    app_variables: Record<string, HonoApp>;
+    routes: HonoRoute[];
+    mounts: HonoMount[];
+    middleware_chains: MiddlewareChain[];
+    context_vars: ContextVariable[];
+    openapi_routes: OpenAPIRoute[];
+    rpc_exports: RPCExport[];
+    runtime: HonoRuntime;
+    env_bindings: string[];
+    files_used: string[];
+    extraction_status: "complete" | "partial";
+    skip_reasons: Record<string, number>;
+    /** Phase 2: logical modules clustered from routes + middleware + bindings. */
+    modules?: HonoModule[];
+}
+export type HonoRuntime = "cloudflare" | "node" | "bun" | "deno" | "lambda" | "vercel" | "netlify" | "fly" | "unknown";
+export interface HonoApp {
+    variable_name: string;
+    file: string;
+    line: number;
+    created_via: "new Hono" | "OpenAPIHono" | "factory.createApp" | "basePath";
+    base_path: string;
+    parent?: string;
+    generic_env?: string;
+}
+export type HonoMethod = "GET" | "POST" | "PUT" | "DELETE" | "PATCH" | "OPTIONS" | "ALL" | "ON";
+export interface HonoRoute {
+    method: HonoMethod;
+    methods?: string[];
+    path: string;
+    raw_path: string;
+    file: string;
+    line: number;
+    owner_var: string;
+    handler: HonoHandler;
+    inline_middleware: string[];
+    openapi_route_id?: string;
+    validators: HonoValidator[];
+    regex_constraint?: Record<string, string>;
+    /** Phase 2: populated when handler.inline is true — result of InlineHandlerAnalyzer scan. */
+    inline_analysis?: InlineHandlerAnalysis;
+}
+export interface HonoHandler {
+    name: string;
+    symbol_id?: string;
+    inline: boolean;
+    file: string;
+    line: number;
+}
+export interface HonoMount {
+    parent_var: string;
+    mount_path: string;
+    child_var: string;
+    child_file: string;
+    mount_type: "hono_route" | "hono_mount";
+    base_path?: string;
+    external_framework?: string;
+}
+export interface MiddlewareChain {
+    scope: string;
+    scope_pattern: string;
+    owner_var: string;
+    entries: MiddlewareEntry[];
+}
+export interface MiddlewareEntry {
+    name: string;
+    order: number;
+    line: number;
+    file: string;
+    inline: boolean;
+    is_third_party: boolean;
+    imported_from?: string;
+    expanded_from?: string;
+    conditional: boolean;
+    /** Phase 2: populated when middleware is applied under a runtime condition. */
+    applied_when?: ConditionalApplication;
+}
+export interface ContextVariable {
+    name: string;
+    set_points: ContextAccessPoint[];
+    get_points: ContextAccessPoint[];
+    is_env_binding: boolean;
+}
+export interface ContextAccessPoint {
+    file: string;
+    line: number;
+    containing_symbol?: string;
+    scope: "middleware" | "handler" | "service";
+    via_context_storage: boolean;
+    condition: "always" | "conditional";
+}
+export interface HonoValidator {
+    target: "json" | "form" | "query" | "param" | "header" | "cookie";
+    schema_symbol_id?: string;
+    schema_file: string;
+    line: number;
+    kind: "zValidator" | "valibot" | "typebox" | "arktype" | "custom";
+}
+export interface OpenAPIRoute {
+    id: string;
+    method: string;
+    path: string;
+    hono_path: string;
+    request_schemas: Record<string, string>;
+    response_schemas: Record<string, {
+        schema_symbol_id?: string;
+        description?: string;
+    }>;
+    middleware: string[];
+    hidden: boolean;
+    file: string;
+    line: number;
+}
+export interface RPCExport {
+    export_name: string;
+    file: string;
+    line: number;
+    shape: "full_app" | "route_group";
+    source_var: string;
+}
+/**
+ * Result of analyzing an inline handler body — `(c) => { ... }` inside
+ * `app.get/post/...` calls. Populated by InlineHandlerAnalyzer when
+ * HonoRoute.handler.inline is true. Named handlers in other files get undefined.
+ */
+export interface InlineHandlerAnalysis {
+    responses: ResponseEmission[];
+    errors: ErrorEmission[];
+    db_calls: ExternalCall[];
+    fetch_calls: ExternalCall[];
+    context_access: ContextAccess[];
+    validators_inline: string[];
+    has_try_catch: boolean;
+    /** True when the analyzer hit MAX_WALK_DEPTH and the analysis is incomplete. */
+    truncated: boolean;
+}
+export interface ResponseEmission {
+    /** Which `c.*` helper emitted the response (disambiguated from HTTP method). */
+    kind: "json" | "text" | "html" | "body" | "redirect" | "newResponse";
+    /** Defaults to 200 when status argument omitted. */
+    status: number;
+    /** Best-effort shape extraction — literal text of first arg, truncated to 200 chars. */
+    shape_hint?: string;
+    line: number;
+}
+export interface ErrorEmission {
+    status: number;
+    exception_class: string;
+    message_hint?: string;
+    line: number;
+}
+export interface ExternalCall {
+    callee: string;
+    line: number;
+    kind: "db" | "fetch" | "queue" | "email" | "other";
+}
+export interface ContextAccess {
+    type: "set" | "get" | "var" | "env";
+    key: string;
+    line: number;
+}
+/**
+ * Runtime condition under which a middleware is applied. Set by
+ * walkConditionalMiddleware ONLY when conditional — presence of `applied_when`
+ * is itself the signal, so no `always_applies` flag is needed. Unconditional
+ * middleware leave this field undefined and have `MiddlewareEntry.conditional: false`.
+ */
+export interface ConditionalApplication {
+    condition_type: "method" | "header" | "path" | "custom";
+    /** Raw source text of the condition, truncated to 200 chars by producer. */
+    condition_text: string;
+}
+/**
+ * A logical module clustered by detect_hono_modules from shared middleware
+ * chains, path prefixes, and env bindings. Purely informational; no AST cost.
+ */
+export interface HonoModule {
+    name: string;
+    /** Route ids in canonical "METHOD path" form, e.g. "GET /admin/users". */
+    routes: string[];
+    middleware: string[];
+    bindings: string[];
+    path_prefix: string;
+    files: string[];
+}
+//# sourceMappingURL=hono-model.d.ts.map