@quolu/lattice 0.69.5 → 0.71.0

package/sensor/dist/ui-server/api/steps.js

@@ -0,0 +1,1544 @@
+"use strict";
+/**
+ * `GET /api/steps` — what happens from here: a screen, a handler or any
+ * symbol as the ANCHOR, and everything it sets in motion drawn as typed steps.
+ *
+ * The Screens view (`screens.ts`) is already a picture of steps with one step
+ * type: it folds `HomeScreen → ItemsGrid → ItemCard → openObjectDetail` into
+ * one arrow labelled with its condition, because the reader wants the
+ * transition, not the plumbing. This endpoint keeps that fold and widens the
+ * set of things worth a box. Walking FORWARD from the anchor over calls,
+ * renders, handler bindings and navigations, a node is a step when it is:
+ *
+ * - a **screen** (a route reached over a `navigates` edge),
+ * - a **trigger** — a function wired as a value (`onPress={handleX}`,
+ *   `addListener('x', handleX)`), the user's or the platform's way in,
+ * - a **bridge** call — the language changes under the call, JS → native
+ *   (the React Native bridge resolver's edges, or any family crossing),
+ * - a native **event** landing back in JS (`sendEvent(withName:)` → the
+ *   listener, via the RN event channel),
+ * - a **store** action — a function in a store file, the state it writes,
+ * - an **effect** — a call that leaves the index into the network, storage,
+ *   the device or telemetry, drawn as its own box beside the function that
+ *   makes it.
+ *
+ * Everything else — hooks, helpers, services, the components between a
+ * screen and its handlers — is `via`: listed on the link, never a box. The
+ * branch conditions along the folded chain join into the link's `when`, read
+ * from the source at request time exactly as the Screens view reads them.
+ *
+ * The picture is finite because it is ANCHORED and CAPPED, not because the
+ * graph is small: a bounded depth in steps, a bounded fan-out per node, a
+ * bounded number of nodes folded per step, and hubs and shared chrome (a top
+ * bar rendered on ten screens) are dead ends rather than paths. Every cap
+ * that fired is reported on the step it fired at, so a short picture never
+ * reads as "nothing else happens here".
+ *
+ * Read from the graph at request time, never cached: the `when` labels and
+ * the effect sites are read from the source as it stands.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.STORE_FILE = exports.MAX_LIMIT = exports.DEFAULT_LIMIT = exports.MAX_DEPTH = exports.DEFAULT_DEPTH = void 0;
+exports.crossing = crossing;
+exports.isStoreFile = isStoreFile;
+exports.effectCategory = effectCategory;
+exports.buildSteps = buildSteps;
+exports.projectKind = projectKind;
+const respond_1 = require("./respond");
+const when_1 = require("./when");
+const program_1 = require("./program");
+const effects_1 = require("./effects");
+const branch_guards_1 = require("../../graph/branch-guards");
+const route_roots_1 = require("./route-roots");
+const nextjs_1 = require("../../resolution/frameworks/nextjs");
+const routes_1 = require("./routes");
+const wire_1 = require("./wire");
+const query_utils_1 = require("../../search/query-utils");
+// =============================================================================
+// Caps
+// =============================================================================
+exports.DEFAULT_DEPTH = 8;
+exports.MAX_DEPTH = 14;
+exports.DEFAULT_LIMIT = 120;
+exports.MAX_LIMIT = 400;
+/** Nodes folded while exploring from ONE step before the walk stops. */
+const MAX_FOLDED_PER_STEP = 300;
+/** Hops of folded plumbing between two steps. */
+const MAX_FOLD_DEPTH = 7;
+/** Outgoing edges followed from one node; past this the node is a god function and the rest is announced. */
+const MAX_FANOUT = 80;
+/** Unresolved-reference scans (for effects) per request. */
+const MAX_EFFECT_SCANS = 800;
+/** Call sites read for conditions and arguments per request. */
+const MAX_WHEN_SITES = 1600;
+/** Call sites read for the callee as written (effect classification) per request — lookups on trees the guards parsed anyway. */
+const MAX_CALL_SITES = 4000;
+/** Longest effect-box label before its argument list is cut. */
+const MAX_EFFECT_LABEL = 56;
+/**
+ * A component rendered by this many distinct parents is chrome (a top bar, a
+ * button), not a screen's own behaviour. Higher than the Screens view's 3: that
+ * one attributes navigations, where three screens sharing a link is already
+ * chrome; this one decides what to WALK INTO, and a capture component shared
+ * by three capture flows is the screen's whole body.
+ */
+const SHARED_CHROME_MIN = 5;
+/** Edges walked forward. `contains` only function → function (a hook's handlers); `references` only function-as-value. */
+const WALK_KINDS = ['calls', 'instantiates', 'navigates', 'references', 'contains'];
+// =============================================================================
+// Classification
+// =============================================================================
+const JS_FAMILY = new Set(['javascript', 'typescript', 'tsx', 'jsx']);
+const NATIVE_FAMILY = new Set(['swift', 'objc', 'java', 'kotlin']);
+/**
+ * JS → native is a bridge call; native → JS is an event. Anything else is one
+ * family — unless the edge itself says which way it crosses: a synthesized
+ * channel (`resolution/tier-synthesizer.ts`) marks a client's request onto its
+ * own route `client→server`, a socket message back `server→client`, and a
+ * queue job or a bus event as a `channel` whose landing is an arrival; a
+ * server action called from a client file is marked `client→server` at
+ * request time, by its directive.
+ */
+function crossing(from, to, meta = {}) {
+    if (meta.tier === 'client→server')
+        return 'bridge';
+    if (meta.tier === 'server→client')
+        return 'event';
+    if (meta.channel === 'queue' || meta.channel === 'event' || meta.channel === 'socket')
+        return 'event';
+    if (JS_FAMILY.has(from) && NATIVE_FAMILY.has(to))
+        return 'bridge';
+    if (NATIVE_FAMILY.has(from) && JS_FAMILY.has(to))
+        return 'event';
+    return null;
+}
+/**
+ * A file that holds state: a store, a slice, a reducer. The graph has no
+ * "store" kind — a Zustand action is an ordinary function node — so the file
+ * is the evidence, and the legend says so.
+ */
+exports.STORE_FILE = /(?:^|\/)(?:stores?|storage|state|slices?|reducers?)\/|\.(?:store|storage|slice|reducer)\.[cm]?[jt]sx?$/i;
+function isStoreFile(file) {
+    return exports.STORE_FILE.test(file.replace(/\\/g, '/'));
+}
+/**
+ * What a call is when it leaves the index, by the reference text alone — the
+ * mobile app's table, kept for callers that have no language in hand. The
+ * Steps walk itself classifies on the call AS WRITTEN with the language and
+ * the project kind (`effects.ts`).
+ */
+function effectCategory(referenceName) {
+    return (0, effects_1.classifyEffect)({ text: referenceName, kind: 'calls' })?.category ?? null;
+}
+/** A method of a repository / DAO / mapper, by the container's name — the ORM boundary in a project that types it. */
+const REPOSITORY_CONTAINER = /(?:Repository|Repositories|Repo|Dao|DAO|Mapper|Store|Datastore)$/;
+/** Decorators that gate a handler: guards, interceptors, pipes, roles, auth, validation, transactions, throttles. */
+const GUARD_DECORATOR = /^(?:UseGuards|UseInterceptors|UsePipes|UseFilters|Roles|Auth|Public|Permissions|Throttle|SkipThrottle|Authorize|AllowAnonymous|PreAuthorize|PostAuthorize|Secured|RolesAllowed|PermitAll|DenyAll|Transactional|Validated|login_required|permission_required|user_passes_test|staff_member_required|require_http_methods|require_POST|require_GET|csrf_exempt|csrf_protect|ratelimit|throttle_classes|permission_classes|authentication_classes|cache_page|ValidateAntiForgeryToken|RequireAuthorization|RequireRole|RequireHttps|EnableCors|CrossOrigin|Cacheable|CacheEvict|CachePut|RateLimiter|CircuitBreaker|Retry|Timeout|Bulkhead|jwt_required|Security|ApiBearerAuth|ApiKeyAuth|BearerAuth|OAuth|Scopes|Roles|HasRole|HasPermission|Idempotent|Lock|Locked|Retryable|Recover)$|Guard|Interceptor|Pipe$|Filter$|Auth|Role|Permission|Throttle|Valid|Transaction|Csrf|Limit/i;
+/** Decorators that ARE the route, the DI wiring, or documentation — never a guard. */
+const NOT_A_GUARD = /^(?:Get|Post|Put|Patch|Delete|Head|Options|All|Controller|RestController|Resolver|Query|Mutation|Subscription|Injectable|Module|Api\w*|Http(?:Get|Post|Put|Patch|Delete|Head|Options)|Route|RequestMapping|\w+Mapping|Component|Service|Repository|Bean|Autowired|Override|Inject|Param|Body|Res|Req|Headers|Ip|HostParam|Session|UploadedFiles?|HttpCode|Header|Redirect|Render|Version|SerializeOptions|ResponseBody|ResponseStatus|Produces|Consumes|FromBody|FromRoute|FromQuery|FromForm|FromHeader|FromServices|Path|PathVariable|RequestParam|RequestBody|RequestHeader|ModelAttribute|Valid|Args|Context|Parent|Info|Field|ObjectType|InputType|ArgsType|Entity|Column|PrimaryGeneratedColumn|OneToMany|ManyToOne|Prop|Schema|Type|Expose|Exclude|Transform|IsString|IsNumber|IsOptional|Length|Min|Max|Deprecated|SuppressWarnings|FunctionalInterface|Slf4j|Data|Builder|Getter|Setter|NoArgsConstructor|AllArgsConstructor|RequiredArgsConstructor|Value|ConfigurationProperties|Configuration|EnableScheduling|SpringBootApplication|Profile|Order|Primary|Qualifier|Lazy|Scope|JsonProperty|JsonIgnore|Nullable|NonNull|NotNull|Size|Pattern|Email|Positive|router\.\w+|app\.\w+|api\.\w+|bp\.\w+|blueprint\.\w+|\w+\.(?:route|get|post|put|patch|delete))$/;
+/** Decorators that fire a function from outside a request: a job, an event, a message, a schedule. */
+const CONSUMER_DECORATOR = /^(?:Process|Processor|OnEvent|OnQueueEvent|OnWorkerEvent|OnGlobalQueueEvent|Cron|Interval|Timeout|MessagePattern|EventPattern|SubscribeMessage|Scheduled|Schedules?|KafkaListener|RabbitListener|RabbitSubscribe|RabbitRPC|JmsListener|SqsListener|SqsMessageHandler|EventListener|TransactionalEventListener|StreamListener|ServiceActivator|receiver|shared_task|task|periodic_task|app\.task|celery\.task|on|hears|command|event|listen|listener|Consume|Consumer|Subscribe|Subscriber|CapSubscribe|Function|FunctionName|TimerTrigger|QueueTrigger|ServiceBusTrigger|EventGridTrigger|BlobTrigger|CosmosDBTrigger|Job|job|Worker|worker|EventHandler|CommandHandler|QueryHandler|OnMessage|MessageHandler|GrpcMethod|GrpcStreamMethod|WebSocketGateway|dramatiq\.actor|actor|huey\.task|db_task|Signal|signal|hook|Hook|OnModuleInit|OnApplicationBootstrap|PostConstruct|PreDestroy|Bean|Startup|Shutdown)$/;
+/** The name of a decorator, before its arguments. */
+function decoratorName(text) {
+    return text.replace(/\(.*$/s, '').trim();
+}
+/** The first string literal in a decorator's arguments — `'email'` of `@Process('email')`. */
+function decoratorLiteral(text) {
+    const m = /\(\s*(['"`])((?:(?!\1).)*)\1/.exec(text);
+    return m ? `'${m[2]}'` : null;
+}
+function isGuardDecorator(text) {
+    const name = decoratorName(text);
+    if (NOT_A_GUARD.test(name))
+        return false;
+    return GUARD_DECORATOR.test(name);
+}
+/** FastAPI: `dependencies=[Depends(auth), Depends(rate_limit)]` inside the route decorator. */
+function dependenciesIn(text) {
+    const m = /dependencies\s*=\s*\[([^\]]*)\]/.exec(text);
+    if (!m)
+        return [];
+    return m[1].split(/,(?![^()]*\))/).map((x) => x.trim()).filter(Boolean);
+}
+/**
+ * The string a Java / Kotlin return expression builds, when it starts with a
+ * literal: `"owners/ownerDetails"`, `"redirect:/owners/" + owner.getId()` →
+ * `redirect:/owners/${…}`. Null for anything else — a variable, a call.
+ */
+function springViewString(expression) {
+    let out = '';
+    let rest = expression.trim();
+    let first = true;
+    while (rest.length > 0) {
+        const lit = /^"((?:[^"\\]|\\.)*)"/.exec(rest);
+        if (lit) {
+            out += lit[1].replace(/\$\{[^}]*\}|\$\w+/g, '${…}');
+            rest = rest.slice(lit[0].length).trim();
+        }
+        else {
+            if (first)
+                return null;
+            const operand = /^[^+]+/.exec(rest);
+            out += '${…}';
+            rest = rest.slice(operand ? operand[0].length : rest.length).trim();
+        }
+        first = false;
+        if (rest.startsWith('+'))
+            rest = rest.slice(1).trim();
+        else
+            break;
+    }
+    return first ? null : out;
+}
+async function buildSteps(cg, projectRoot, query) {
+    const started = Date.now();
+    const depthCap = (0, respond_1.intParam)(query, 'depth', { min: 1, max: exports.MAX_DEPTH, default: exports.DEFAULT_DEPTH });
+    const limit = (0, respond_1.intParam)(query, 'limit', { min: 20, max: exports.MAX_LIMIT, default: exports.DEFAULT_LIMIT });
+    const through = query.get('through') === '1';
+    const stats = cg.getStats();
+    const index = { lastIndexedAt: cg.getLastIndexedAt() ?? null, edges: stats.edgeCount, files: stats.fileCount };
+    const { anchor, ambiguous } = resolveAnchor(cg, query);
+    // Route → where its code starts: the handler a resolver named, the page a
+    // screen file exports, or the route itself standing in for an inline
+    // handler (`route-roots.ts`) — and what kind of project this is, for the
+    // words the viewer uses.
+    const routes = cg.getNodesByKind('route');
+    const roots = (0, route_roots_1.routeRoots)(cg, routes);
+    const project = projectKind(routes, stats.edgesByKind?.navigates ?? 0);
+    const reader = (0, when_1.createSiteReader)(cg, projectRoot, MAX_WHEN_SITES);
+    const calls = (0, when_1.createSiteReader)(cg, projectRoot, MAX_CALL_SITES);
+    /** The conditions a site runs under, structured — one read, joined where a string is wanted. */
+    const guardsAt = (caller, site) => reader.guards(caller, site);
+    /** The loops a site is written inside — a run of calls that happens once per item. */
+    const loopsAt = (caller, site) => reader.loops(caller, site);
+    const argsAt = (caller, site) => reader.args(caller, site);
+    const withArgs = async (site, caller, at) => {
+        const args = await argsAt(caller, at);
+        return args === null ? site : { ...site, args };
+    };
+    /** The call as written at a site, and what it passes — one read for both. */
+    const callAt = (caller, site) => calls.callSite(caller, site);
+    /** A hop's position with its call's span and enclosing call, read from the tree; the bare position when unreadable. */
+    const hopAt = async (caller, at, callee) => {
+        const line = at.line ?? caller.startLine;
+        const column = at.column ?? 0;
+        const read = at.line ? await callAt(caller, { ...at, ...(callee ? { callee } : {}) }) : null;
+        // The read must be THIS call. An inline handler's edges carry the ROUTE's
+        // line (`router.post('/users/login', async (req, res) => {`), where the
+        // only call is the registration itself — and taking its span would make
+        // every call in the handler read as written inside it, and so as running
+        // first. A miss is a bare position: no span to nest by, no `within`.
+        const last = (n) => n.replace(/\([^()]*\)/g, '').split(/[.:]/).pop() ?? n;
+        const usable = read !== null && (!callee || last(read.callee) === last(callee));
+        if (!usable)
+            return { file: caller.filePath, line, column, end: { line, column }, within: null };
+        return {
+            file: caller.filePath,
+            line: read.span?.start.line ?? line,
+            column: read.span?.start.column ?? column,
+            end: read.span?.end ?? { line, column },
+            within: read.within ?? null,
+        };
+    };
+    const pointHop = (caller, at) => {
+        const line = at.line ?? caller.startLine;
+        const column = at.column ?? 0;
+        return { file: caller.filePath, line, column, end: { line, column }, within: null };
+    };
+    // The declared type of a receiver: `OwnerRepository owners` in a Spring
+    // controller makes `owners.save` the database; `private readonly
+    // usersService: UsersService` in a Nest controller says where
+    // `this.usersService.findByEmail` goes. The index keeps the first in a
+    // field's signature and nothing of the second, so the class body is read
+    // from the tree at request time, once per class.
+    const fileTypes = new Map();
+    const classTypes = new Map();
+    const receiverTypeFor = async (caller, callee) => {
+        const first = callee.replace(/^(?:this|self)\./, '').split(/[.:(]/)[0] ?? '';
+        if (!first || /^[A-Z]/.test(first))
+            return null;
+        const declared = await memberTypesOf(caller);
+        const own = declared.get(first) ?? declared.get(first.replace(/^_/, '')) ?? null;
+        if (own)
+            return own;
+        let types = fileTypes.get(caller.filePath);
+        if (!types) {
+            types = new Map();
+            for (const n of cg.getNodesInFile(caller.filePath)) {
+                if ((n.kind !== 'field' && n.kind !== 'property' && n.kind !== 'variable' && n.kind !== 'parameter') || !n.signature)
+                    continue;
+                const sig = n.signature.replace(/\s+/g, ' ').trim();
+                // `OwnerRepository owners`, `private final OwnerRepository owners`, `owners: OwnerRepository`, `val owners: OwnerRepository`.
+                const typed = new RegExp(`(?:^|\\s)([A-Z][\\w<>,?. ]*?)\\s+${n.name}\\b`).exec(sig) ?? new RegExp(`\\b${n.name}\\s*:\\s*([A-Z][\\w<>,?. ]*)`).exec(sig);
+                if (typed && !types.has(n.name))
+                    types.set(n.name, typed[1].trim());
+            }
+            fileTypes.set(caller.filePath, types);
+        }
+        return types.get(first) ?? null;
+    };
+    const memberTypesOf = async (node) => {
+        const key = `${node.filePath}:${node.startLine}`;
+        let types = classTypes.get(key);
+        if (!types) {
+            types = await calls.memberTypes(node);
+            classTypes.set(key, types);
+        }
+        return types;
+    };
+    // Where a member call really goes, by the receiver's declared type: the
+    // class named by the type, and its method of the call's name. Null when the
+    // type names nothing in the index (an ORM's `Repository<Cat>`) — then the
+    // call leaves the index, and the effect table says as what.
+    const classByName = new Map();
+    /** The class / interface / struct a declared type names in the index, or null for a library's. */
+    const classOfType = async (type) => {
+        const typeName = type.replace(/<.*$/, '').replace(/^[*&]+/, '').replace(/[?!]$/, '').split(/[.:]/).pop()?.trim() ?? '';
+        if (!typeName || /^(?:string|number|boolean|any|unknown|object|void|String|Integer|Long|Boolean|int|long|bool|var|dynamic|Object|List|Map|Set|Array|Promise|Optional|Task|IEnumerable|Iterable)$/.test(typeName))
+            return null;
+        let cls = classByName.get(typeName);
+        if (cls === undefined) {
+            const found = cg.getNodesByName(typeName).filter((n) => n.kind === 'class' || n.kind === 'interface' || n.kind === 'struct');
+            cls = found.find((n) => !(0, query_utils_1.isTestPath)(n.filePath)) ?? found[0] ?? null;
+            classByName.set(typeName, cls);
+        }
+        return cls;
+    };
+    // Swift has no per-symbol imports: a type the project declares shadows the
+    // SDK name the effect table keys on — IceCubesApp's `Notifications`
+    // endpoint enum is not expo-notifications. An `extension Timer {}` declares
+    // nothing, so it does not count.
+    const projectTypes = new Map();
+    const declaresSwiftType = async (callee) => {
+        const root = callee.replace(/^(?:self|Self)\./, '').split(/[.(:<]/)[0] ?? '';
+        if (!/^[A-Z]\w*$/.test(root))
+            return false;
+        let known = projectTypes.get(root);
+        if (known === undefined) {
+            known = false;
+            for (const n of cg.getNodesByName(root)) {
+                if (n.language !== 'swift' || !['class', 'struct', 'enum', 'interface', 'protocol'].includes(n.kind))
+                    continue;
+                if (!(await reader.swiftExtension(n))) {
+                    known = true;
+                    break;
+                }
+            }
+            projectTypes.set(root, known);
+        }
+        return known;
+    };
+    const resolveByReceiver = async (caller, callee) => {
+        const segments = callee.replace(/\([^()]*\)/g, '').split(/[.:]+/).filter(Boolean);
+        if (segments.length < 2)
+            return null;
+        const type = await receiverTypeFor(caller, callee);
+        if (!type)
+            return null;
+        const cls = await classOfType(type);
+        if (!cls)
+            return null;
+        const method = segments[segments.length - 1];
+        const members = cg.getNodesInFile(cls.filePath).filter((n) => (n.kind === 'method' || n.kind === 'function') && n.name === method && n.startLine >= cls.startLine && n.endLine <= cls.endLine);
+        return members[0] ?? null;
+    };
+    /**
+     * A name-match that the call as written disproves: the target is a method of
+     * the CALLER's own class, but the call names a receiver that is not `this` —
+     * and in the JS family a method of your own class cannot be called any other
+     * way. Only there: `self.` is a convention elsewhere, not a rule.
+     */
+    const ownMethodWithoutReceiver = (caller, target, written) => {
+        if (!JS_FAMILY.has(caller.language) || target.kind !== 'method')
+            return false;
+        if (/^(?:this|self)[.?]/.test(written))
+            return false;
+        const container = (q) => q.replace(/[.:]+[^.:]*$/, '');
+        return caller.filePath === target.filePath && container(caller.qualifiedName) === container(target.qualifiedName);
+    };
+    /** A method the walk cannot enter (an interface's, an ORM's) on a repository-shaped container. */
+    const repositoryMethod = (target) => {
+        if (target.kind !== 'method' && target.kind !== 'function')
+            return false;
+        if ((0, query_utils_1.isTestPath)(target.filePath))
+            return false;
+        const container = target.qualifiedName.replace(/[.:]+[^.:]*$/, '').split(/[.:]+/).pop() ?? '';
+        if (!REPOSITORY_CONTAINER.test(container) && !/(?:^|\/)(?:repositories|repository|dao|daos|mappers)\//i.test(posix(target.filePath)))
+            return false;
+        return cg.getOutgoingEdgesFrom([target.id], WALK_KINDS).length === 0;
+    };
+    /** What runs before a route's handler: the middleware arguments at the registration, or the guard decorators on it. */
+    const chainFor = async (route, root) => {
+        const after = [];
+        if (JS_FAMILY.has(route.language)) {
+            const site = await calls.callSite(route, { line: route.startLine, column: 0 });
+            if (site && /\.(?:get|post|put|patch|delete|all|use|head|options|route)$/i.test(site.callee)) {
+                const args = site.argList.slice(1);
+                if (args.length > 0 && !/^\{/.test(args[args.length - 1]))
+                    args.pop();
+                for (const a of args)
+                    if (a && !/^\{ ?…? ?\}$/.test(a))
+                        after.push(a);
+            }
+        }
+        if (root && root.id !== route.id) {
+            const decs = await calls.decorators(root);
+            if (decs) {
+                for (const d of [...decs.class, ...decs.own]) {
+                    if (!JS_FAMILY.has(root.language) && !/^(?:python)$/.test(root.language)) {
+                        if (isGuardDecorator(d))
+                            after.push(d);
+                        continue;
+                    }
+                    for (const dep of dependenciesIn(d))
+                        after.push(dep);
+                    if (isGuardDecorator(d))
+                        after.push(d);
+                }
+            }
+        }
+        return [...new Set(after)];
+    };
+    /** The request a route's handler serves, as its trigger; a Next page's own work fires from its load. */
+    const requestTrigger = async (route, root) => {
+        const { method, path } = (0, routes_1.splitRouteName)(route.name);
+        if (method === null) {
+            if ((0, nextjs_1.nextRouteForFile)(route.filePath)?.kind === 'page')
+                return { kind: 'load', name: 'GET', of: path, in: basename(route.filePath) };
+            return null;
+        }
+        const after = await chainFor(route, root);
+        return { kind: 'request', name: method, of: path, in: basename(route.filePath), ...(after.length > 0 ? { after } : {}) };
+    };
+    /** A job, an event, a message or a schedule that fires a function, from its decorators. */
+    const consumerTrigger = async (node) => {
+        if (node.kind !== 'function' && node.kind !== 'method')
+            return null;
+        const decs = await calls.decorators(node);
+        if (!decs)
+            return null;
+        for (const d of decs.own) {
+            const name = decoratorName(d);
+            const last = name.split('.').pop() ?? name;
+            if (!CONSUMER_DECORATOR.test(name) && !CONSUMER_DECORATOR.test(last))
+                continue;
+            const guards = [...decs.class, ...decs.own].filter((x) => x !== d && isGuardDecorator(x));
+            return { kind: 'decorator', name, of: decoratorLiteral(d), in: basename(node.filePath), ...(guards.length > 0 ? { after: guards } : {}) };
+        }
+        return null;
+    };
+    /**
+     * The decision a site's innermost condition belongs to. The innermost guard
+     * is the one decided AT the call — the ternary whose two arms return two
+     * different routes — while the ones outside it are the context both arms
+     * share, so it is the innermost that says which way this site went.
+     */
+    const decisionOf = (guards) => {
+        const g = guards[guards.length - 1];
+        if (!g || !g.branch)
+            return null;
+        // A one-sided guard (`if (!product) throw`) is a guard clause, not a
+        // choice with two drawn ways; it keeps its condition on the line.
+        if (g.form === 'guard')
+            return null;
+        return {
+            branch: g.branch,
+            on: (0, branch_guards_1.guardLabel)([{ ...g, negated: false }]),
+            arm: (0, branch_guards_1.guardLabel)([g]),
+            form: g.form === 'case' ? 'switch' : g.form === 'ternary' ? 'ternary' : g.form === 'catch' ? 'try' : 'if',
+            ...(g.negated ? { not: true } : {}),
+        };
+    };
+    const steps = new Map();
+    const links = new Map();
+    /**
+     * What happens in each function, in the code's own order — the rail's
+     * material, recorded by the SAME pass that makes the links so the two
+     * readings can never hold different steps. Keyed by the function's node id,
+     * then by the site's position and what it reaches: a helper folded from two
+     * different steps is walked twice and must not be written twice.
+     */
+    const programs = new Map();
+    const record = (fn, hop, guards, what, trigger = null, loops = []) => {
+        let sites = programs.get(fn.id);
+        if (!sites) {
+            sites = new Map();
+            programs.set(fn.id, sites);
+        }
+        const key = `${hop.line}:${hop.column}:${what.step ?? what.into ?? ''}`;
+        if (sites.has(key))
+            return;
+        sites.set(key, {
+            ...what,
+            at: { line: hop.line, column: hop.column, end: hop.end },
+            ...(hop.within ? { within: hop.within } : {}),
+            guards: [...guards],
+            ...(loops.length > 0 ? { loops: [...loops] } : {}),
+            ...(trigger ? { trigger } : {}),
+        });
+    };
+    const truncated = { steps: 0, hubs: 0, chrome: 0 };
+    let effectScans = 0;
+    const fanIn = new Map();
+    const chromeParents = new Map();
+    const fileScopeRefs = new Map();
+    const fileScopeUnresolved = new Map();
+    /**
+     * The spans of the calls that became effect steps, per function — and the
+     * step a binding written inside one arrives from. `Alert.prompt('Add
+     * Folder', …, [{ onPress: (name) => createBackgroundFolder(name) }])` is
+     * two facts: the prompt is a device box, and the prompt's button FIRES the
+     * handler — so the handler's line belongs to the prompt, not to the screen
+     * the prompt is written on, which fires everything and says nothing. A site
+     * is rewired only when its own trigger names the call (`onPress ·
+     * Alert.prompt(…)`) and its position falls inside that call's span in the
+     * same function; the innermost such span wins. An `onSubmit · useFormik(…)`
+     * names no effect and stays where it was.
+     */
+    const firedSpans = new Map();
+    const firedByEffect = (fnId, at, of) => {
+        if (at.line === undefined)
+            return null;
+        const spans = firedSpans.get(fnId);
+        if (!spans)
+            return null;
+        const last = (n) => n.replace(/\([^()]*\)/g, '').split(/[.:]/).pop() ?? n;
+        const want = last(of);
+        const line = at.line;
+        const column = at.column ?? 0;
+        let best = null;
+        for (const s of spans) {
+            if (line < s.start.line || line > s.end.line)
+                continue;
+            if (line === s.start.line && column < s.start.column)
+                continue;
+            if (line === s.end.line && column > s.end.column)
+                continue;
+            if (!s.step.effect?.apis.some((api) => last(api) === want))
+                continue;
+            if (best === null || s.start.line > best.start.line || (s.start.line === best.start.line && s.start.column > best.start.column)) {
+                best = s;
+            }
+        }
+        return best?.step ?? null;
+    };
+    const stepFor = (node, kind, depth, extra = {}) => {
+        const existing = steps.get(node.id);
+        if (existing) {
+            // A listener the screen registers is a handler when first met, and the
+            // native event's landing when the walk arrives from the other side —
+            // the second is the fuller fact, and it names the event.
+            if (existing.kind === 'trigger' && kind === 'event') {
+                existing.kind = 'event';
+                if (extra.event)
+                    existing.event = extra.event;
+            }
+            if (kind === 'event' && extra.event) {
+                existing.events = existing.events ?? (existing.event ? [existing.event] : []);
+                if (!existing.events.includes(extra.event))
+                    existing.events.push(extra.event);
+            }
+            return existing;
+        }
+        if (steps.size >= limit) {
+            truncated.steps++;
+            return null;
+        }
+        const isRoute = node.kind === 'route';
+        const routeRoot = isRoute ? (roots.get(node.id) ?? null) : null;
+        const record = {
+            id: node.id,
+            // A route is a screen or an endpoint — except one reached across a
+            // tier (`fetch('/api/users')` onto its own route), which is the crossing.
+            kind: isRoute && kind !== 'bridge' ? 'screen' : kind,
+            anchor: false,
+            node: (0, wire_1.toNodeRef)(node),
+            label: node.name,
+            // A screen says its component, an endpoint its handler; a route the
+            // graph bound to nothing says only where it is registered.
+            sub: isRoute
+                ? routeRoot === null
+                    ? basename(node.filePath)
+                    : routeRoot.inline
+                        ? `inline handler · ${basename(node.filePath)}`
+                        : routeRoot.node.name
+                : posix(node.filePath),
+            depth,
+            cut: null,
+            ...extra,
+            root: isRoute ? (routeRoot?.node ?? null) : node,
+        };
+        if (kind === 'event' && extra.event)
+            record.events = [extra.event];
+        if (isRoute) {
+            record.screen = {
+                path: node.name,
+                component: routeRoot !== null && !routeRoot.inline ? (0, wire_1.toNodeRef)(routeRoot.node) : null,
+                endpoint: (0, routes_1.splitRouteName)(node.name).method !== null,
+                inline: routeRoot?.inline ?? false,
+            };
+        }
+        steps.set(node.id, record);
+        return record;
+    };
+    // One box per (function, category): `uploadARCapture` makes one network
+    // call, three storage calls and three telemetry calls — three boxes, each
+    // listing its calls, not seven. A reply is the exception: its identity is
+    // the outcome, so `authUser` answering 200 or 401 is two boxes — each
+    // line into them then carries its own condition on the picture, the
+    // Screens view's idiom — and the sites whose status cannot be read share
+    // one `response` box labelled by the call.
+    const effectSub = (e, by) => [e.category, e.model, e.access, by.name].filter((x) => !!x).join(' · ');
+    const effectStep = (by, ref, effect, depth, status = null) => {
+        const category = effect.category;
+        const id = status !== null ? `effect:${by.id}:${category}:${status}` : `effect:${by.id}:${category}`;
+        const existing = steps.get(id);
+        if (existing) {
+            const e = existing.effect;
+            if (!e.apis.includes(ref.referenceName)) {
+                e.apis.push(ref.referenceName);
+                existing.label = `${e.apis[0]} +${e.apis.length - 1}`;
+            }
+            // Several models behind one box: list them; several accesses: say both.
+            if (effect.model && e.model !== effect.model) {
+                const models = new Set((e.model ?? '').split(', ').filter(Boolean));
+                models.add(effect.model);
+                e.model = [...models].slice(0, 3).join(', ') + (models.size > 3 ? ', …' : '');
+            }
+            if (effect.access && e.access && e.access !== effect.access)
+                e.access = undefined;
+            existing.sub = effectSub(e, by);
+            return existing;
+        }
+        if (steps.size >= limit) {
+            truncated.steps++;
+            return null;
+        }
+        const e = {
+            api: ref.referenceName,
+            apis: [ref.referenceName],
+            category,
+            by: (0, wire_1.toNodeRef)(by),
+            line: ref.line,
+            ...(effect.model ? { model: effect.model } : {}),
+            ...(effect.access ? { access: effect.access } : {}),
+        };
+        const record = {
+            id,
+            kind: 'effect',
+            anchor: false,
+            node: null,
+            label: ref.referenceName,
+            sub: effectSub(e, by),
+            depth,
+            cut: null,
+            effect: e,
+            root: null,
+        };
+        steps.set(id, record);
+        return record;
+    };
+    /**
+     * How a Spring MVC handler answers: each `return` of a view name — a string,
+     * or a same-class constant holding one (`VIEWS_OWNER_CREATE_OR_UPDATE_FORM`)
+     * — renders that view (200); `"redirect:/owners/" + id` sends a 302 and
+     * `"forward:/x"` hands the request on. Only for a mapped method of a class
+     * that renders views: a `@RestController` or `@ResponseBody` method returns
+     * its body, and a returned value that is not a literal is not guessed at.
+     */
+    const springMvcReplies = async (node) => {
+        if ((node.language !== 'java' && node.language !== 'kotlin') || node.kind !== 'method')
+            return [];
+        const decs = await calls.decorators(node);
+        if (!decs || !decs.own.some((d) => /^(?:Get|Post|Put|Patch|Delete|Request)Mapping\b/.test(d)))
+            return [];
+        if (decs.class.some((d) => /^RestController\b/.test(d)) || decs.own.some((d) => /^ResponseBody\b/.test(d)))
+            return [];
+        const out = [];
+        for (const r of await calls.returns(node)) {
+            const view = r.value ?? springViewString(r.expression);
+            if (view === null)
+                continue;
+            const redirect = /^redirect:(.*)$/.exec(view);
+            const forward = /^forward:(.*)$/.exec(view);
+            out.push({
+                text: redirect ? `redirect:${redirect[1]}` : forward ? `forward:${forward[1]}` : `view ${view}`,
+                status: redirect ? 302 : forward ? null : 200,
+                line: r.line,
+                column: r.column,
+            });
+        }
+        return out;
+    };
+    /** One effect site: the call as written, what it passes, when, what fires it, and — for a response — the status. */
+    const effectLink = async (step, fold, ref, trigger, fallbackArgs = null, requireReceiver = false, 
+    /** A site that is no call — a handler's `return "redirect:/x"` — arrives already classified. */
+    preset = null) => {
+        const at = { line: ref.line, column: ref.column };
+        const site = preset ? null : await callAt(fold.node, { ...at, callee: ref.referenceName });
+        // The site read must be THIS call: its last segment is the reference's.
+        const last = (n) => n.replace(/\([^()]*\)/g, '').split(/[.:]/).pop() ?? n;
+        const usable = !!site && site.callee !== '' && last(site.callee) === last(ref.referenceName);
+        const text = usable ? site.callee : ref.referenceName;
+        if (requireReceiver && !/[.:>]/.test(text))
+            return false;
+        const args = usable ? site.args : fallbackArgs;
+        // The receiver's declared type counts only when the call leaves the
+        // index through it: a library's `Repository<Cat>`, or the project's own
+        // `OwnerRepository` interface whose `save` comes from Spring Data — never
+        // a project class that declares the method, which is a place to walk into.
+        let effect = preset?.effect ?? null;
+        if (!preset) {
+            const declared = await receiverTypeFor(fold.node, text);
+            const receiverType = declared && (await resolveByReceiver(fold.node, text)) === null ? declared : null;
+            effect = (0, effects_1.classifyEffect)({
+                text,
+                kind: ref.referenceKind,
+                language: fold.node.language,
+                project,
+                receiverType,
+                args,
+                projectType: fold.node.language === 'swift' && (await declaresSwiftType(text)),
+            });
+        }
+        if (effect === null)
+            return false;
+        // A reply's status, read before its box exists — the box is per outcome.
+        // `NextResponse.json(user, { status: 201 })`: the code sits in an object
+        // the abbreviation reduced to its keys; the site reader kept it. And a
+        // body-sending reply that sets none is a 200, so a success has a box of
+        // its own beside the 401's.
+        const status = preset
+            ? preset.status
+            : effect.category === 'response'
+                ? ((0, effects_1.responseStatus)(text, args, ref.referenceKind) ?? (usable && typeof site.status === 'number' ? site.status : null) ?? (0, effects_1.implicitResponseStatus)(text))
+                : null;
+        // What fires this call, read before its box is made: a call bound inside
+        // ANOTHER effect's arguments — the axios.delete in a confirm dialog's
+        // button — hangs off that box, one step deeper, not off the screen.
+        const fired = trigger ?? (await triggerAt(fold.node, at));
+        const from = fired?.of ? (firedByEffect(fold.node.id, at, fired.of) ?? step) : step;
+        const target = effectStep(fold.node, { referenceName: text, line: ref.line }, effect, from.depth + 1, status);
+        if (target === null)
+            return true;
+        const guards = await guardsAt(fold.node, at);
+        const when = (0, branch_guards_1.guardLabel)(guards);
+        const wireSite = { file: posix(fold.node.filePath), line: ref.line, text, when: '' };
+        if (args !== null)
+            wireSite.args = args;
+        if (status !== null)
+            wireSite.status = status;
+        const effectDecision = decisionOf(guards);
+        if (effectDecision)
+            wireSite.decision = effectDecision;
+        // Where the call is written HERE — in this function, at this line. The
+        // rail places the step by it; the tree's row order uses the hop out of the
+        // step's root, which is the same position when nothing was folded.
+        const local = {
+            file: fold.node.filePath,
+            line: site?.span?.start.line ?? ref.line,
+            column: site?.span?.start.column ?? ref.column ?? 0,
+            end: site?.span?.end ?? { line: ref.line, column: ref.column ?? 0 },
+            within: site?.within ?? null,
+        };
+        // This call's own span, for the bindings written inside its arguments.
+        if (usable && site?.span) {
+            const list = firedSpans.get(fold.node.id) ?? [];
+            list.push({ start: { line: local.line, column: local.column }, end: local.end, step: target });
+            firedSpans.set(fold.node.id, list);
+        }
+        const hop = fold.first ?? local;
+        if (!target.first)
+            target.first = hop;
+        if (!target.region)
+            target.region = regionOf(from, fold.chain);
+        const id = link(from, target, 'effect', fold.chain, [...fold.whens, when], wireSite, null, fired, hop.within);
+        record(fold.node, local, guards, { step: target.id, link: id }, fired, await loopsAt(fold.node, at));
+        return true;
+    };
+    const link = (from, to, kind, chain, whens, site, edge, trigger = null, within = null) => {
+        const meta = (edge?.metadata ?? {});
+        const synthesized = edge?.provenance === 'heuristic';
+        const confidence = typeof meta.confidence === 'number' ? meta.confidence : null;
+        const via = chain.map(wire_1.toNodeRef);
+        const viaKey = via.map((v) => v.id).join('>');
+        const id = `${from.id} ${to.id} ${viaKey}`;
+        const when = whens.filter((w, i) => w && whens.indexOf(w) === i).join(' && ');
+        const stamped = { ...site, when, ...(trigger ? { trigger } : {}) };
+        // A `contains` edge is how a nested handler is FOUND, not a place it is
+        // called from: its row stays only while no call site has been seen.
+        const structural = (s) => s.text.startsWith('defines ');
+        const existing = links.get(id);
+        if (existing) {
+            if (structural(stamped) && existing.sites.some((s) => !structural(s)))
+                return id;
+            if (!structural(stamped) && existing.sites.every(structural))
+                existing.sites.length = 0;
+            // One statement, two references (`res.status(201)` and its `.json(…)`):
+            // the outer call is the site, the inner one folds into it.
+            const sameLine = existing.sites.findIndex((s) => s.file === site.file && s.line === site.line);
+            if (sameLine < 0)
+                existing.sites.push(stamped);
+            else if (stamped.text.startsWith(existing.sites[sameLine].text) && stamped.text.length > existing.sites[sameLine].text.length) {
+                existing.sites[sameLine] = stamped;
+            }
+            if (!existing.trigger && trigger)
+                existing.trigger = trigger;
+            if (!existing.within && within)
+                existing.within = within;
+            if (when !== existing.when) {
+                if (!when || !existing.when)
+                    existing.when = '';
+                else if (!existing.when.split(' || ').includes(when))
+                    existing.when = `${existing.when} || ${when}`;
+            }
+            return id;
+        }
+        links.set(id, {
+            id,
+            from: from.id,
+            to: to.id,
+            kind,
+            via,
+            when,
+            label: hopLabel(meta, synthesized),
+            synthesized,
+            uncertain: confidence !== null && confidence < wire_1.UNCERTAIN_BELOW,
+            sites: [stamped],
+            ...(trigger ? { trigger } : {}),
+            ...(within ? { within } : {}),
+        });
+        if (trigger && to.kind === 'trigger' && !to.trigger)
+            to.trigger = trigger;
+        return id;
+    };
+    /** What fires a site, with the function it is written in. */
+    const triggerAt = async (caller, at) => {
+        const t = await reader.trigger(caller, at);
+        return t ? { ...t, in: caller.name } : null;
+    };
+    // The anchor: a screen keeps its kind and explores from its component; an
+    // endpoint says the request that fires it and what runs before its handler;
+    // a function says the job, event or schedule written on it.
+    const first = stepFor(anchor, 'anchor', 0);
+    first.anchor = true;
+    if (anchor.kind === 'route') {
+        const t = await requestTrigger(anchor, first.root);
+        if (t)
+            first.trigger = t;
+    }
+    else {
+        const t = await consumerTrigger(anchor);
+        if (t)
+            first.trigger = t;
+    }
+    // A screen's picture is laid out by REGION — the part of the screen each
+    // step belongs to. The evidence is the walk's own: a step reached out of the
+    // anchor descends through the fold's chain, whose FIRST node is the
+    // top-level component (or hook) of the screen's tree; a chain of nothing is
+    // a call written in the screen body itself; and a step reached from any
+    // other step belongs where its first-reaching parent does. First reach wins,
+    // as `first` does — a shared store is one box, in the region that got there
+    // first, and every other region's way in is a link. An endpoint or a
+    // function reads in the code's order and carries none of this.
+    const regions = first.kind === 'screen' && !first.screen?.endpoint;
+    const regionOf = (from, chain) => {
+        if (!regions)
+            return undefined;
+        if (!from.anchor)
+            return from.region;
+        const head = chain[0];
+        if (head)
+            return { id: head.id, label: head.name };
+        return { id: from.root?.id ?? from.id, label: from.root?.name ?? from.label };
+    };
+    const queue = [first];
+    /** Steps whose exploration has been queued — each is explored once, from the first row it appears on. */
+    const explored = new Set([first.id]);
+    while (queue.length > 0) {
+        const step = queue.shift();
+        if (step.root === null)
+            continue;
+        // Another screen is a chapter of its own: the Screens view draws the way
+        // between screens, and a picture that walked on through Home would be the
+        // whole app. Drawn as a boundary, entered on request.
+        // An endpoint reached across a tier is the same kind of boundary: the
+        // request's own picture starts at its handler, entered on request.
+        if ((step.kind === 'screen' || (step.kind === 'bridge' && step.node?.kind === 'route')) && !step.anchor && !through) {
+            step.cut = 'screen';
+            continue;
+        }
+        // A native event that lands in a COMPONENT — the capture overlay taking
+        // `onCaptureProgress` — lands on another screen's body: its picture is
+        // that screen's, not this one's. A boundary too, entered on request.
+        if (step.kind === 'event' && !step.anchor && !through && (0, route_roots_1.looksLikeComponent)(step.root)) {
+            step.cut = 'component';
+            continue;
+        }
+        if (step.depth >= depthCap) {
+            // Something to explore, and no room in the picture for it.
+            if (cg.getOutgoingEdgesFrom([step.root.id], WALK_KINDS).length > 0)
+                step.cut = 'depth';
+            continue;
+        }
+        // Breadth-first through the plumbing until the next steps.
+        const visited = new Set([step.root.id]);
+        let frontier = [{ node: step.root, chain: [], whens: [], first: null }];
+        for (let hop = 0; hop <= MAX_FOLD_DEPTH && frontier.length > 0; hop++) {
+            const next = [];
+            const ids = frontier.map((f) => f.node.id);
+            const outgoing = cg.getOutgoingEdgesFrom(ids, WALK_KINDS);
+            const bySource = new Map();
+            for (const e of outgoing) {
+                const list = bySource.get(e.source) ?? [];
+                list.push(e);
+                bySource.set(e.source, list);
+            }
+            // `const Memoized = memo(CaptureComponent)`: the wrapper is a component
+            // node with no edges of its own — the inner component is referenced
+            // from the FILE scope, at the wrapper's line. Lend the wrapper those
+            // references, so the screen that renders `<Memoized/>` walks on into
+            // what the component does.
+            // The same for a value a registration is written inside — `const
+            // worker = new Worker('q', async (job) => { … })`: the arrow's calls
+            // belong to the file scope and the constant spans them; a queue job
+            // lands on the constant, and the walk goes on into what the handler does.
+            for (const fold of frontier) {
+                const value = fold.node.kind === 'constant' || fold.node.kind === 'variable';
+                // Edges the walk would follow as BEHAVIOUR. `const signIn =
+                // validatedAction(schema, async (data) => { … })` holds a plain
+                // `references` edge to its schema and nothing else: counting that as
+                // "it has edges of its own" left the whole handler body unlent, and the
+                // picture showed one call out of nine.
+                const behaviour = (bySource.get(fold.node.id) ?? []).filter((e) => e.kind !== 'references' || e.metadata?.fnRef === true).length;
+                if ((fold.node.kind !== 'component' && !value) || behaviour > 0)
+                    continue;
+                for (const e of fileScopeEdgesWithin(cg, fold.node, fileScopeRefs, value)) {
+                    const list = bySource.get(fold.node.id) ?? [];
+                    list.push({ ...e, source: fold.node.id });
+                    bySource.set(fold.node.id, list);
+                }
+            }
+            const targetIds = new Set();
+            for (const list of bySource.values())
+                for (const e of list)
+                    targetIds.add(e.target);
+            const targets = targetIds.size === 0 ? new Map() : cg.getNodesByIds([...targetIds]);
+            // Hubs and chrome are judged on the nodes about to be entered.
+            const unknownFanIn = [...targetIds].filter((id) => !fanIn.has(id));
+            if (unknownFanIn.length > 0)
+                for (const [id, n] of cg.getFanIn(unknownFanIn))
+                    fanIn.set(id, n);
+            for (const fold of frontier) {
+                // A call a synthesized channel already follows — the `fetch` that
+                // reaches its own route, the `queue.add` its consumer picks up — is
+                // the crossing, not also a call outside the index.
+                const channelLines = new Set();
+                /** Per line, the last segment of each call a channel follows there (`add` of `emailQueue.add`). */
+                const channelCalls = new Map();
+                for (const e of bySource.get(fold.node.id) ?? []) {
+                    const m = e.metadata;
+                    if (typeof m?.channel !== 'string' || typeof e.line !== 'number')
+                        continue;
+                    channelLines.add(e.line);
+                    if (typeof m.callee === 'string') {
+                        const set = channelCalls.get(e.line) ?? new Set();
+                        set.add(m.callee.split(/[.:]/).pop() ?? m.callee);
+                        channelCalls.set(e.line, set);
+                    }
+                }
+                // Effects made by this node, folded or not. A value a handler is
+                // written inside (`const authUser = asyncHandler(async (req, res) =>
+                // …)`) made none itself — the arrow's calls belong to the file scope —
+                // so it is lent the file's, within its lines, as its call edges are.
+                if (effectScans < MAX_EFFECT_SCANS) {
+                    effectScans++;
+                    let refs = [];
+                    try {
+                        refs = cg.getUnresolvedReferencesFrom(fold.node.id);
+                        if (refs.length === 0 && (fold.node.kind === 'constant' || fold.node.kind === 'variable'))
+                            refs = fileScopeRefsWithin(cg, fold.node, fileScopeUnresolved);
+                    }
+                    catch {
+                        refs = [];
+                    }
+                    for (const ref of [...refs].sort((a, b) => a.line - b.line || a.column - b.column)) {
+                        if (ref.referenceKind !== 'calls' && ref.referenceKind !== 'instantiates')
+                            continue;
+                        if (channelLines.has(ref.line))
+                            continue;
+                        await effectLink(step, fold, { referenceName: ref.referenceName, referenceKind: ref.referenceKind, line: ref.line, column: ref.column }, null);
+                    }
+                    // A Spring MVC handler answers by what it returns, which is no call.
+                    for (const reply of await springMvcReplies(fold.node)) {
+                        await effectLink(step, fold, { referenceName: reply.text, referenceKind: 'calls', line: reply.line, column: reply.column }, null, null, false, { effect: { category: 'response' }, status: reply.status });
+                    }
+                }
+                let edges = (bySource.get(fold.node.id) ?? []).slice();
+                edges = edges.filter((e) => {
+                    const meta = (e.metadata ?? {});
+                    if (e.kind === 'references')
+                        return meta.fnRef === true;
+                    if (e.kind === 'contains') {
+                        // A function's nested handlers; and, when the walk STARTS at a
+                        // class (a ViewSet, a class-based view bound to a route), its
+                        // methods — never a class met on the way, whose methods are not
+                        // what the caller reached.
+                        const t = targets.get(e.target);
+                        const fromFunction = fold.node.kind === 'function' || fold.node.kind === 'method';
+                        const fromRootClass = fold.node.kind === 'class' && fold.chain.length === 0 && fold.node.id === step.root?.id;
+                        return (fromFunction || fromRootClass) && !!t && (t.kind === 'function' || t.kind === 'method');
+                    }
+                    return true;
+                });
+                edges.sort((a, b) => (a.line ?? 0) - (b.line ?? 0) || a.target.localeCompare(b.target));
+                if (edges.length > MAX_FANOUT) {
+                    step.cut = 'fan-out';
+                    edges = edges.slice(0, MAX_FANOUT);
+                }
+                const arrivals = [];
+                const fromTest = (0, query_utils_1.isTestPath)(fold.node.filePath);
+                for (const e of edges) {
+                    const found = targets.get(e.target);
+                    if (!found || found.kind === 'file')
+                        continue;
+                    const meta = (e.metadata ?? {});
+                    // A member call the index kept only the last segment of (`create`
+                    // for `prisma.user.create`) resolves by name alone — a guess, and
+                    // often the wrong one. The call AS WRITTEN decides first: an effect
+                    // is drawn as one and the guessed edge is not walked. A call through
+                    // a project-made value (`client.post` on the axios instance) is the
+                    // same case with the constant as the target.
+                    let target = targets.get(e.target);
+                    let retargeted = false;
+                    // `api.get('/users')` resolves to the `api` constant — and
+                    // `this.audioQueue.add('transcode')` to some `add` by name — AND,
+                    // on the same line, a channel follows the call: the channel is the story.
+                    if (typeof meta.channel !== 'string' && e.kind === 'calls' && channelLines.has(e.line ?? -1)) {
+                        const written = typeof meta.refName === 'string' ? meta.refName : target.name;
+                        const last = written.split(/[.:]/).pop() ?? written;
+                        if (target.kind === 'constant' || target.kind === 'variable' || channelCalls.get(e.line)?.has(last))
+                            continue;
+                    }
+                    if (e.kind === 'calls' && typeof meta.synthesizedBy !== 'string' && e.provenance !== 'heuristic') {
+                        const refName = typeof meta.refName === 'string' ? meta.refName : target.name;
+                        const bare = !refName.includes('.');
+                        // A member call whose receiver is declared as a type the index
+                        // holds no class for (`DataStore<UserPreferences>`) leaves the
+                        // index too, whatever name-matched — an `updateData` on a test
+                        // double, say.
+                        let external = false;
+                        if (!bare && target.kind !== 'constant' && target.kind !== 'variable') {
+                            const declared = await receiverTypeFor(fold.node, refName);
+                            external = !!declared && (await classOfType(declared)) === null;
+                        }
+                        if (bare || external || target.kind === 'constant' || target.kind === 'variable') {
+                            const drawn = await effectLink(step, fold, { referenceName: refName, referenceKind: 'calls', line: e.line ?? fold.node.startLine, column: e.column }, null, null, true);
+                            if (drawn)
+                                continue;
+                            // Not an effect: does the receiver's declared type say where the
+                            // call goes? A class in the index wins over the name-only guess.
+                            if (bare) {
+                                const written = await callAt(fold.node, { line: e.line, column: e.column, callee: refName });
+                                if (written && /[.:]/.test(written.callee) && (written.callee.split(/[.:]/).pop() ?? '') === refName) {
+                                    const real = await resolveByReceiver(fold.node, written.callee);
+                                    if (real && real.id !== target.id) {
+                                        target = real;
+                                        retargeted = true;
+                                    }
+                                    else if (real === null && ownMethodWithoutReceiver(fold.node, target, written.callee)) {
+                                        // `crypto.createHash('sha256').update(…)` in a method of a
+                                        // class that happens to have an `update`: the index kept
+                                        // only `update` and matched it by name. In this family a
+                                        // method of your own class is written `this.update(…)`, so
+                                        // a receiver that is not `this` proves the guess wrong. The
+                                        // call leaves the index — say nothing rather than the wrong thing.
+                                        continue;
+                                    }
+                                }
+                            }
+                        }
+                    }
+                    if (target.id === fold.node.id)
+                        continue;
+                    // A production walk never enters a test double: an interface's
+                    // dispatch into `TestUserDataRepository`, or a `DataStore` name-matched
+                    // to the in-memory one, is the test suite's story. Judged after the
+                    // call as written had its chance to be an effect.
+                    if (!fromTest && (0, query_utils_1.isTestPath)(target.filePath))
+                        continue;
+                    const site = {
+                        file: posix(fold.node.filePath),
+                        line: e.line ?? fold.node.startLine,
+                        text: siteText(e, meta, target),
+                        when: '',
+                    };
+                    // What fires this hop, when the site is written under an event:
+                    // the JSX prop, the `on*` option, the runs-later call. Read for
+                    // every call-shaped hop, so a store action or an effect fired by
+                    // a tap says so on its link too.
+                    const isCall = e.kind === 'calls' || e.kind === 'instantiates' || (e.kind === 'references' && meta.fnRef === true);
+                    const trigger = isCall ? await triggerAt(fold.node, { line: e.line, column: e.column }) : null;
+                    // A server action, by its directive: a function in a `'use server'`
+                    // file (or opening with the directive) called from a file that is
+                    // not — the call crosses to the server, whatever the import says.
+                    if (e.provenance !== 'heuristic' &&
+                        (e.kind === 'calls' || (e.kind === 'references' && meta.fnRef === true)) &&
+                        (target.kind === 'function' || target.kind === 'method') &&
+                        JS_FAMILY.has(target.language) &&
+                        JS_FAMILY.has(fold.node.language)) {
+                        const callee = await calls.directive(target);
+                        if ((callee.file === 'server' || callee.own) && (await calls.directive(fold.node)).file !== 'server') {
+                            meta.tier = 'client→server';
+                            meta.channel = 'server-action';
+                        }
+                    }
+                    // What kind of step, if any, this edge arrives at.
+                    let kind = null;
+                    let linkKind = 'calls';
+                    const extra = {};
+                    if (target.kind === 'route' && meta.tier !== 'client→server') {
+                        kind = 'screen';
+                        linkKind = 'navigates';
+                    }
+                    else {
+                        // A language change under the code is a step only on evidence: a
+                        // bridge resolver's edge (`bridge`, or a framework resolution), or
+                        // a synthesized channel's. A plain name-matched call across the
+                        // families (`arr.flat()` landing on a Swift `flat`) is noise, and
+                        // is neither drawn nor walked.
+                        const cross = crossing(fold.node.language, target.language, meta);
+                        const evidenced = e.provenance === 'heuristic' || meta.bridge === 'react-native' || meta.resolvedBy === 'framework' || meta.channel === 'server-action';
+                        if (cross !== null && !evidenced)
+                            continue;
+                        if (cross === 'event') {
+                            kind = 'event';
+                            linkKind = 'event';
+                            if (typeof meta.event === 'string')
+                                extra.event = meta.event;
+                        }
+                        else if (cross === 'bridge') {
+                            kind = 'bridge';
+                            linkKind = 'bridge';
+                        }
+                        else if ((target.kind === 'function' || target.kind === 'method') &&
+                            isStoreFile(target.filePath) &&
+                            !isStoreFile(fold.node.filePath)) {
+                            // A store action fired straight from a tap stays a store
+                            // action; the tap is on its link.
+                            kind = 'store';
+                            linkKind = 'store';
+                        }
+                        else if ((target.kind === 'function' || target.kind === 'method') &&
+                            !(0, route_roots_1.looksLikeComponent)(target) &&
+                            ((e.kind === 'references' && meta.fnRef === true) || trigger !== null)) {
+                            // A handler: a function passed as a value (`onPress={handleX}`,
+                            // `addListener('x', handleX)`), or one called from under an
+                            // event binding (`onPress={() => handleLogin(values)}`,
+                            // `useFormik({ onSubmit: (v) => handleLogin(v) })`). A
+                            // component passed as a value (`memo(CaptureComponent)`) is a
+                            // render hop and folds like one.
+                            kind = 'trigger';
+                            linkKind = 'handler';
+                            if (trigger)
+                                extra.trigger = trigger;
+                        }
+                    }
+                    if (retargeted)
+                        meta.resolvedBy = 'receiver-type';
+                    arrivals.push({ e, target, meta, site, kind, linkKind, extra, trigger });
+                }
+                for (const a of arrivals) {
+                    if (a.kind === null)
+                        continue;
+                    const at = { line: a.e.line, column: a.e.column };
+                    // A binding written inside an effect call's arguments — the dialog's
+                    // `onPress` — arrives from that box, not from the step that owns
+                    // the fold: the prompt fires it.
+                    const firedBy = a.trigger?.of ? firedByEffect(fold.node.id, at, a.trigger.of) : null;
+                    const from = firedBy ?? step;
+                    const fresh = !steps.has(a.target.id);
+                    const to = stepFor(a.target, a.kind, from.depth + 1, a.extra);
+                    if (to === null)
+                        continue;
+                    if (fresh && !to.trigger) {
+                        const t = a.target.kind === 'route' ? await requestTrigger(a.target, to.root) : await consumerTrigger(a.target);
+                        if (t)
+                            to.trigger = t;
+                    }
+                    const guards = await guardsAt(fold.node, at);
+                    const when = (0, branch_guards_1.guardLabel)(guards);
+                    // A call-shaped hop says what it passes; a navigation already says
+                    // its href, a handler binding and a native event channel pass
+                    // nothing. A hop over a synthesized channel is a call in the source
+                    // — `fetch('/api/users', {…})`, `emailQueue.add('welcome', {…})` —
+                    // and its site reads as written.
+                    let site = a.site;
+                    if (typeof a.meta.channel === 'string' && a.meta.channel !== 'server-action') {
+                        const written = await callAt(fold.node, at);
+                        site = written && written.callee ? { ...a.site, text: written.callee, args: written.args } : await withArgs(a.site, fold.node, at);
+                    }
+                    else if (a.linkKind === 'bridge' ||
+                        a.linkKind === 'store' ||
+                        a.linkKind === 'calls' ||
+                        // A handler BOUND passes nothing (`onPress={handleX}`), but a
+                        // handler CALLED from under a binding is a call like any other —
+                        // and `tryCatchSync(onClosePress)`'s argument is the whole answer
+                        // to what a wrapper wraps.
+                        (a.linkKind === 'handler' && (a.e.kind === 'calls' || a.e.kind === 'instantiates'))) {
+                        site = await withArgs(a.site, fold.node, at);
+                    }
+                    // Where this step is first reached from: the hop out of the root
+                    // this fold descends from, else this site — its position orders the row.
+                    const isCallHop = a.e.kind === 'calls' || a.e.kind === 'instantiates' || a.e.kind === 'navigates';
+                    const local = isCallHop ? await hopAt(fold.node, at, a.target.name) : pointHop(fold.node, at);
+                    const hop = fold.first ?? local;
+                    if (!to.first)
+                        to.first = hop;
+                    if (!to.region)
+                        to.region = regionOf(from, fold.chain);
+                    const decision = decisionOf(guards);
+                    if (decision)
+                        site = { ...site, decision };
+                    const id = link(from, to, a.linkKind, fold.chain, [...fold.whens, when], site, a.e, a.trigger, hop.within);
+                    record(fold.node, local, guards, { step: to.id, link: id }, a.trigger, await loopsAt(fold.node, at));
+                    if (to.root !== null && !explored.has(to.id)) {
+                        explored.add(to.id);
+                        queue.push(to);
+                    }
+                }
+                for (const a of arrivals) {
+                    if (a.kind !== null)
+                        continue;
+                    const { e, target, meta } = a;
+                    // A call through a VALUE the effect table knows — `client.post` on
+                    // the axios instance the project made itself resolves to the
+                    // `client` constant, not to anything outside the index. The call
+                    // text is the evidence: the call is the effect, the constant is not
+                    // a place to walk into.
+                    // A thrown exception the framework answers with (`throw new
+                    // NotFoundException(…)` on a class the project defines) is a
+                    // response, not a place to walk into; a repository's method the
+                    // walk cannot enter (an interface's, the ORM's) is the database.
+                    if (e.kind === 'instantiates' && target.kind === 'class') {
+                        if (await effectLink(step, fold, { referenceName: target.name, referenceKind: 'instantiates', line: e.line ?? fold.node.startLine, column: e.column }, a.trigger))
+                            continue;
+                    }
+                    if (e.kind === 'calls' && repositoryMethod(target)) {
+                        const container = target.qualifiedName.replace(/[.:]+[^.:]*$/, '').split(/[.:]+/).pop() ?? '';
+                        const api = typeof meta.refName === 'string' && meta.refName.includes('.') ? meta.refName : `${container}.${target.name}`;
+                        if (await effectLink(step, fold, { referenceName: api, referenceKind: 'calls', line: e.line ?? fold.node.startLine, column: e.column }, a.trigger))
+                            continue;
+                    }
+                    // Already a step, reached here by a plain call: a link, not a fold.
+                    const known = steps.get(target.id);
+                    if (known) {
+                        if (known.id !== step.id) {
+                            const at = { line: e.line, column: e.column };
+                            const firedBy = a.trigger?.of ? firedByEffect(fold.node.id, at, a.trigger.of) : null;
+                            const guards = await guardsAt(fold.node, at);
+                            const local = await hopAt(fold.node, at, target.name);
+                            const hop = fold.first ?? local;
+                            const knownDecision = decisionOf(guards);
+                            const knownSite = await withArgs(a.site, fold.node, at);
+                            const id = link(firedBy ?? step, known, 'calls', fold.chain, [...fold.whens, (0, branch_guards_1.guardLabel)(guards)], knownDecision ? { ...knownSite, decision: knownDecision } : knownSite, e, a.trigger, hop.within);
+                            record(fold.node, local, guards, { step: known.id, link: id }, a.trigger, await loopsAt(fold.node, at));
+                        }
+                        continue;
+                    }
+                    // Plumbing: fold it and keep walking, unless it is a dead end.
+                    if (visited.has(target.id))
+                        continue;
+                    if ((fanIn.get(target.id) ?? 0) >= wire_1.HUB_THRESHOLD) {
+                        truncated.hubs++;
+                        continue;
+                    }
+                    if (meta.synthesizedBy === 'jsx-render' && isSharedChrome(cg, target, chromeParents)) {
+                        truncated.chrome++;
+                        continue;
+                    }
+                    if (visited.size >= MAX_FOLDED_PER_STEP) {
+                        step.cut = step.cut ?? 'folded';
+                        continue;
+                    }
+                    visited.add(target.id);
+                    const at = { line: e.line, column: e.column };
+                    const guards = await guardsAt(fold.node, at);
+                    const local = e.kind === 'calls' || e.kind === 'instantiates' ? await hopAt(fold.node, at, target.name) : pointHop(fold.node, at);
+                    const first = fold.first ?? local;
+                    // The helper is drawn where it is CALLED: its own records are its
+                    // body, and this is the site the rail nests them under.
+                    record(fold.node, local, guards, { into: target.id }, a.trigger, await loopsAt(fold.node, at));
+                    next.push({ node: target, chain: [...fold.chain, target], whens: [...fold.whens, (0, branch_guards_1.guardLabel)(guards)], first });
+                }
+            }
+            frontier = next;
+        }
+    }
+    // An effect box with ONE call behind it says what that call passes —
+    // `axios.post('/auth/login', { email, password })` is the fact a reader
+    // scans for; several calls list themselves in the panel instead.
+    const sitesByStep = new Map();
+    for (const l of links.values()) {
+        const list = sitesByStep.get(l.to) ?? [];
+        list.push(...l.sites);
+        sitesByStep.set(l.to, list);
+    }
+    for (const step of steps.values()) {
+        if (step.kind !== 'effect' || !step.effect)
+            continue;
+        const sites = sitesByStep.get(step.id) ?? [];
+        // A response box is one outcome of the endpoint's contract: its status,
+        // when literal, is its label (one per box by construction); the rows say
+        // when. The box of unreadable statuses holds none and is labelled by its
+        // call below.
+        if (step.effect.category === 'response') {
+            const statuses = [...new Set(sites.map((s) => s.status).filter((x) => typeof x === 'number'))].sort((a, b) => a - b);
+            if (statuses.length > 0) {
+                step.effect.statuses = statuses;
+                step.label = statuses.join(' · ');
+                continue;
+            }
+        }
+        if (step.effect.apis.length !== 1)
+            continue;
+        if (sites.length !== 1 || sites[0].args === undefined)
+            continue;
+        const label = `${step.effect.api}(${sites[0].args})`;
+        step.label = label.length > MAX_EFFECT_LABEL ? `${label.slice(0, MAX_EFFECT_LABEL - 2)}…)` : label;
+    }
+    // A row reads in the code's order: by the position of the hop that first
+    // reached each step, a hop written inside another site's arguments before
+    // that site — `generateToken(…)` in `res.json({ token: generateToken(…) })`
+    // signs the token before the 200 is sent, so it comes first.
+    const byDepth = new Map();
+    for (const s of steps.values())
+        byDepth.set(s.depth, [...(byDepth.get(s.depth) ?? []), s]);
+    for (const row of byDepth.values()) {
+        row.sort((a, b) => hopCompare(a.first, b.first) || a.label.localeCompare(b.label) || a.id.localeCompare(b.id));
+        row.forEach((s, i) => {
+            s.order = i;
+        });
+    }
+    const ordered = [...steps.values()].sort((a, b) => a.depth - b.depth || (a.order ?? 0) - (b.order ?? 0) || a.id.localeCompare(b.id));
+    // The second reading: the same steps in the code's order. A step the walk
+    // ENTERED reads on into its own body; a boundary (another screen, an
+    // endpoint across a tier) does not — it is a chapter of its own, exactly as
+    // on the picture.
+    const nodesById = new Map();
+    for (const s of steps.values())
+        if (s.root)
+            nodesById.set(s.root.id, s.root);
+    const program = (0, program_1.buildProgram)({
+        sites: new Map([...programs].map(([fn, sites]) => [fn, [...sites.values()]])),
+        root: first.root?.id ?? null,
+        node: (id) => {
+            const found = nodesById.get(id) ?? cg.getNode(id);
+            return found ? (0, wire_1.toNodeRef)(found) : null;
+        },
+        step: (id) => {
+            const s = steps.get(id);
+            if (!s)
+                return null;
+            return { reply: s.effect?.category === 'response', into: s.cut === null && s.root ? s.root.id : null };
+        },
+    });
+    return {
+        anchor: (0, wire_1.toNodeRef)(anchor),
+        ambiguous,
+        project,
+        steps: ordered.map(({ root: _root, first: _first, ...step }) => step),
+        links: [...links.values()].sort((a, b) => a.id.localeCompare(b.id)),
+        program,
+        // A screen is a set of handlers with no order between them; anything with a
+        // body — a handler, an endpoint, any function — reads in the code's order.
+        defaultView: program !== null && !(first.kind === 'screen' && !first.screen?.endpoint) ? 'order' : 'tree',
+        depth: depthCap,
+        limit,
+        through,
+        truncated,
+        index,
+        timing: { elapsedMs: Date.now() - started },
+    };
+}
+// =============================================================================
+// Helpers
+// =============================================================================
+/**
+ * The anchor: `anchor=<id>`, or `symbol=<name>` resolved to the most
+ * screen-like symbol of that name — a route first, then a component or
+ * function, then a method — with the rest reported as `ambiguous`.
+ */
+function resolveAnchor(cg, query) {
+    const id = query.get('anchor');
+    if (id !== null && id.trim() !== '') {
+        const node = cg.getNode(id);
+        if (!node)
+            throw (0, respond_1.notFound)(`No symbol with id "${id}" in this index.`, 'It may have moved in a re-index; open it from search or the Screens view.');
+        return { anchor: node, ambiguous: [] };
+    }
+    const name = query.get('symbol');
+    if (name === null || name.trim() === '')
+        throw (0, respond_1.badRequest)('Give the picture an anchor: ?anchor=<node id> or ?symbol=<name>.');
+    const rank = { route: 0, component: 1, function: 2, method: 3, class: 4, constant: 5, variable: 6 };
+    const matches = cg
+        .getNodesByName(name.trim())
+        .filter((n) => n.kind !== 'file' && n.kind !== 'import' && n.kind !== 'export')
+        .sort((a, b) => (rank[a.kind] ?? 9) - (rank[b.kind] ?? 9) || a.filePath.localeCompare(b.filePath) || a.startLine - b.startLine);
+    const anchor = matches[0];
+    if (!anchor)
+        throw (0, respond_1.notFound)(`Nothing in this index is named "${name}".`, 'Try the search box; names are matched exactly.');
+    return { anchor, ambiguous: matches.slice(1, 9).map(wire_1.toNodeRef) };
+}
+/** How many distinct parents render this node as a JSX child. Memoised per request. */
+function renderParents(cg, node, memo) {
+    let parents = memo.get(node.id);
+    if (parents === undefined) {
+        const incoming = cg.getIncomingEdgesTo([node.id], ['calls']);
+        const sources = new Set();
+        for (const e of incoming) {
+            if (e.metadata?.synthesizedBy === 'jsx-render')
+                sources.add(e.source);
+        }
+        parents = sources.size;
+        memo.set(node.id, parents);
+    }
+    return parents;
+}
+/** A component rendered by several distinct parents is chrome. */
+function isSharedChrome(cg, component, memo) {
+    return renderParents(cg, component, memo) >= SHARED_CHROME_MIN;
+}
+/**
+ * What kind of project the picture is of, by what its routes are: endpoints
+ * (`POST /users`) make an API; screens with navigation between them make an
+ * app; both — pages and the endpoints behind them — make a web app.
+ */
+function projectKind(routes, navigates) {
+    let endpoints = 0;
+    let pages = 0;
+    for (const r of routes) {
+        if ((0, routes_1.splitRouteName)(r.name).method !== null)
+            endpoints++;
+        else if (r.name.startsWith('/')) {
+            pages++;
+            // A Next page is a web page whatever else the index holds.
+            if ((0, nextjs_1.nextRouteForFile)(r.filePath)?.kind === 'page')
+                return 'web';
+        }
+    }
+    if (endpoints === 0)
+        return 'app';
+    return navigates > 0 || pages > 0 ? 'web' : 'api';
+}
+function basename(p) {
+    const s = posix(p);
+    return s.slice(s.lastIndexOf('/') + 1);
+}
+/**
+ * Function-as-value references — and, for a value, calls — made at a file's
+ * top level within a node's lines: what `const Memoized = memo(CaptureComponent)`
+ * leaves behind (the reference belongs to the file scope, the wrapper node
+ * spans the line), and what `const worker = new Worker('q', async (job) =>
+ * { … })` leaves behind (the handler's calls belong to the file scope, the
+ * constant spans them).
+ */
+function fileScopeEdgesWithin(cg, node, memo, calls) {
+    let refs = memo.get(node.filePath);
+    if (refs === undefined) {
+        const file = cg.getNodesInFile(node.filePath).find((n) => n.kind === 'file');
+        refs = file
+            ? cg
+                .getOutgoingEdgesFrom([file.id], ['references', 'calls', 'navigates'])
+                .filter((e) => e.kind !== 'references' || e.metadata?.fnRef === true)
+            : [];
+        memo.set(node.filePath, refs);
+    }
+    return refs.filter((e) => (calls || e.kind === 'references') && typeof e.line === 'number' && e.line >= node.startLine && e.line <= node.endLine);
+}
+/** The file scope's unresolved calls within a value's lines — what a wrapped handler's arrow body leaves on the file node. */
+function fileScopeRefsWithin(cg, node, memo) {
+    let refs = memo.get(node.filePath);
+    if (refs === undefined) {
+        const file = cg.getNodesInFile(node.filePath).find((n) => n.kind === 'file');
+        try {
+            refs = file ? cg.getUnresolvedReferencesFrom(file.id) : [];
+        }
+        catch {
+            refs = [];
+        }
+        memo.set(node.filePath, refs);
+    }
+    return refs.filter((r) => r.line >= node.startLine && r.line <= node.endLine);
+}
+/** `push /capture`, `renders <Button>`, `via rn-event-channel`, `calls`. */
+function siteText(edge, meta, target) {
+    if (edge.kind === 'navigates') {
+        const method = edge.provenance === 'heuristic' ? 'returns' : typeof meta.navMethod === 'string' ? meta.navMethod : 'push';
+        return `${method} ${typeof meta.href === 'string' ? meta.href : target.name}`;
+    }
+    if (meta.synthesizedBy === 'jsx-render')
+        return `renders <${target.name}>`;
+    if (edge.kind === 'references')
+        return `passes ${target.name}`;
+    if (edge.kind === 'contains')
+        return `defines ${target.name}`;
+    if (edge.kind === 'instantiates')
+        return `new ${target.name}`;
+    if (meta.bridge === 'react-native')
+        return `bridge ${typeof meta.module === 'string' ? meta.module + '.' : ''}${target.name}`;
+    if (meta.channel === 'http')
+        return `${typeof meta.method === 'string' ? meta.method : 'GET'} ${typeof meta.href === 'string' ? meta.href : target.name}`;
+    if (typeof meta.synthesizedBy === 'string')
+        return `via ${meta.synthesizedBy}`;
+    return `calls ${target.name}`;
+}
+/** The words on a hop that was not a plain call — the Flow strip's connector label, in short. */
+function hopLabel(meta, synthesized) {
+    const parts = [];
+    if (typeof meta.synthesizedBy === 'string')
+        parts.push(`via ${meta.synthesizedBy}`);
+    else if (synthesized)
+        parts.push('inferred');
+    if (meta.channel === 'server-action')
+        parts.push('server action');
+    if (meta.channel === 'http' && typeof meta.method === 'string')
+        parts.push(`${meta.method} ${typeof meta.href === 'string' ? meta.href : ''}`.trim());
+    if (meta.tier === 'client→server')
+        parts.push('to the server');
+    else if (meta.tier === 'server→client')
+        parts.push('from the server');
+    if (meta.resolvedBy === 'receiver-type')
+        parts.push('by the receiver’s declared type');
+    if (typeof meta.event === 'string')
+        parts.push(`${meta.channel === 'queue' ? 'job' : meta.channel === 'socket' ? 'message' : 'event'} ${meta.event}`);
+    if (typeof meta.queue === 'string')
+        parts.push(`queue ${meta.queue}`);
+    if (meta.bridge === 'react-native')
+        parts.push(`React Native bridge${typeof meta.module === 'string' ? ` · ${meta.module}` : ''}`);
+    if (typeof meta.registeredAt === 'string')
+        parts.push(`registered at ${meta.registeredAt}`);
+    return parts.join(' · ');
+}
+/** Source order of two hops: a hop written inside the other's call runs first; else by position; another file sorts after. */
+function hopCompare(a, b) {
+    if (!a || !b)
+        return a ? -1 : b ? 1 : 0;
+    if (a.file !== b.file)
+        return a.file.localeCompare(b.file);
+    if (hopInside(a, b))
+        return -1;
+    if (hopInside(b, a))
+        return 1;
+    return a.line - b.line || a.column - b.column;
+}
+/** `x` starts strictly after `y` starts and before `y` ends. */
+function hopInside(x, y) {
+    const afterStart = x.line > y.line || (x.line === y.line && x.column > y.column);
+    const beforeEnd = x.line < y.end.line || (x.line === y.end.line && x.column < y.end.column);
+    return afterStart && beforeEnd;
+}
+function posix(p) {
+    return p.replace(/\\/g, '/');
+}
+//# sourceMappingURL=steps.js.map