@neat.is/types 0.6.4 → 0.7.0

package/dist/index.js

@@ -22,7 +22,16 @@ var EdgeType = {
   // Static module dependency between two FileNodes within a service (ADR-092,
   // file-awareness.md §10). Compile-time, not runtime — represents one file
   // importing another. Distinct from CALLS which records runtime invocations.
-  IMPORTS: "IMPORTS"
+  IMPORTS: "IMPORTS",
+  // Static heritage between two SymbolNodes (ADR-158 §3). `INHERITS` records a
+  // class's `extends` clause (`class ──INHERITS──▶ superclass`); `IMPLEMENTS`
+  // records an `implements` clause (`class ──IMPLEMENTS──▶ implemented`). Both
+  // are symbol→symbol, EXTRACTED, minted only when the parent name resolves to
+  // exactly one known SymbolNode — same-file or through the import graph — never
+  // fuzzy-matched. A parent that resolves to nothing (external package,
+  // re-export chain, an interface, which is not a SymbolNode) emits no edge.
+  INHERITS: "INHERITS",
+  IMPLEMENTS: "IMPLEMENTS"
 };
 var NodeType = {
   ServiceNode: "ServiceNode",
@@ -72,7 +81,18 @@ var NodeType = {
   // edge that carries `lastObserved` and decays OBSERVED → STALE on CONNECTS_TO's
   // own staleness threshold when the channel goes quiet. See
   // docs/contracts/otel-ingest.md.
-  WebSocketChannelNode: "WebSocketChannelNode"
+  WebSocketChannelNode: "WebSocketChannelNode",
+  // A symbol under a file — a function, method, constructor, or class
+  // definition — at definition-span granularity (ADR-158). Static-first: the
+  // extractor mints one per definition and the file owns it through a
+  // `file ──CONTAINS──▶ symbol` edge, one containment level below
+  // `service ──CONTAINS──▶ file`. It carries its `{ startLine, endLine }`
+  // definition span, which is the fusion key ingest joins a span's `code.line`
+  // against to land an OBSERVED edge on the calling symbol rather than only its
+  // file (observed-first edges, one grain finer than §4 file grain). The node is
+  // language-neutral; the per-language tree-sitter extractor is the adapter. See
+  // docs/contracts/static-extraction.md and docs/contracts/file-awareness.md §1.
+  SymbolNode: "SymbolNode"
 };
 var NodeTypeSchema = z.enum([
   NodeType.ServiceNode,
@@ -84,7 +104,8 @@ var NodeTypeSchema = z.enum([
   NodeType.RouteNode,
   NodeType.GraphQLOperationNode,
   NodeType.GrpcMethodNode,
-  NodeType.WebSocketChannelNode
+  NodeType.WebSocketChannelNode,
+  NodeType.SymbolNode
 ]);
 
 // src/nodes.ts
@@ -275,6 +296,21 @@ var WebSocketChannelNodeSchema = z2.object({
   line: z2.number().int().nonnegative().optional(),
   discoveredVia: DiscoveredViaSchema.optional()
 });
+var SymbolKindSchema = z2.enum(["function", "method", "constructor", "class"]);
+var SymbolSpanSchema = z2.object({
+  startLine: z2.number().int().nonnegative(),
+  endLine: z2.number().int().nonnegative()
+});
+var SymbolNodeSchema = z2.object({
+  id: z2.string(),
+  type: z2.literal(NodeType.SymbolNode),
+  kind: SymbolKindSchema,
+  qualname: z2.string(),
+  span: SymbolSpanSchema,
+  service: z2.string(),
+  relPath: z2.string(),
+  discoveredVia: DiscoveredViaSchema.optional()
+});
 var GraphNodeSchema = z2.discriminatedUnion("type", [
   ServiceNodeSchema,
   DatabaseNodeSchema,
@@ -285,7 +321,8 @@ var GraphNodeSchema = z2.discriminatedUnion("type", [
   RouteNodeSchema,
   GraphQLOperationNodeSchema,
   GrpcMethodNodeSchema,
-  WebSocketChannelNodeSchema
+  WebSocketChannelNodeSchema,
+  SymbolNodeSchema
 ]);
 
 // src/edges.ts
@@ -305,7 +342,9 @@ var EdgeTypeSchema = z3.enum([
   EdgeType.CONSUMES_FROM,
   EdgeType.RUNS_ON,
   EdgeType.CONTAINS,
-  EdgeType.IMPORTS
+  EdgeType.IMPORTS,
+  EdgeType.INHERITS,
+  EdgeType.IMPLEMENTS
 ]);
 var EdgeEvidenceSchema = z3.object({
   file: z3.string(),
@@ -493,6 +532,7 @@ var ROUTE_PREFIX = "route:";
 var GRAPHQL_OP_PREFIX = "graphql:";
 var GRPC_METHOD_PREFIX = "grpc:";
 var WEBSOCKET_CHANNEL_PREFIX = "ws:";
+var SYMBOL_PREFIX = "symbol:";
 var ENV_UNKNOWN = "unknown";
 function serviceId(name, env) {
   if (env === void 0 || env === ENV_UNKNOWN) return `${SERVICE_PREFIX}${name}`;
@@ -612,6 +652,34 @@ function parseWebsocketChannelId(id) {
   if (service.length === 0 || channel.length === 0) return null;
   return { service, channel };
 }
+function symbolId(service, relPath, qualname, disambiguator) {
+  const base = `${SYMBOL_PREFIX}${service}:${relPath}#${qualname}`;
+  return disambiguator === void 0 ? base : `${base}~${disambiguator}`;
+}
+function parseSymbolId(id) {
+  if (!id.startsWith(SYMBOL_PREFIX)) return null;
+  const rest = id.slice(SYMBOL_PREFIX.length);
+  const colon = rest.indexOf(":");
+  if (colon === -1) return null;
+  const service = rest.slice(0, colon);
+  const tail = rest.slice(colon + 1);
+  const hash = tail.lastIndexOf("#");
+  if (hash === -1) return null;
+  const relPath = tail.slice(0, hash);
+  let qualname = tail.slice(hash + 1);
+  if (service.length === 0 || relPath.length === 0 || qualname.length === 0) return null;
+  let disambiguator;
+  const tilde = qualname.lastIndexOf("~");
+  if (tilde !== -1) {
+    const suffix = qualname.slice(tilde + 1);
+    if (suffix.length > 0 && /^\d+$/.test(suffix)) {
+      disambiguator = Number(suffix);
+      qualname = qualname.slice(0, tilde);
+    }
+  }
+  if (qualname.length === 0) return null;
+  return { service, relPath, qualname, ...disambiguator !== void 0 ? { disambiguator } : {} };
+}
 var EDGE_ARROW = "->";
 function extractedEdgeId(source, target, type) {
   return `${type}:${source}${EDGE_ARROW}${target}`;
@@ -1174,6 +1242,9 @@ export {
   StaleEventSchema,
   StaleEventsResponseSchema,
   StructuralRuleSchema,
+  SymbolKindSchema,
+  SymbolNodeSchema,
+  SymbolSpanSchema,
   TransitiveDependenciesResultSchema,
   TransitiveDependencySchema,
   VersionMismatchDivergenceSchema,
@@ -1202,10 +1273,12 @@ export {
   parseInfraId,
   parseRouteId,
   parseServiceId,
+  parseSymbolId,
   parseWebsocketChannelId,
   passesExtractedFloor,
   routeId,
   serviceId,
+  symbolId,
   websocketChannelId
 };
 //# sourceMappingURL=index.js.map