@neat.is/types 0.6.4 → 0.7.0

package/dist/index.cjs

@@ -106,6 +106,9 @@ __export(index_exports, {
   StaleEventSchema: () => StaleEventSchema,
   StaleEventsResponseSchema: () => StaleEventsResponseSchema,
   StructuralRuleSchema: () => StructuralRuleSchema,
+  SymbolKindSchema: () => SymbolKindSchema,
+  SymbolNodeSchema: () => SymbolNodeSchema,
+  SymbolSpanSchema: () => SymbolSpanSchema,
   TransitiveDependenciesResultSchema: () => TransitiveDependenciesResultSchema,
   TransitiveDependencySchema: () => TransitiveDependencySchema,
   VersionMismatchDivergenceSchema: () => VersionMismatchDivergenceSchema,
@@ -134,10 +137,12 @@ __export(index_exports, {
   parseInfraId: () => parseInfraId,
   parseRouteId: () => parseRouteId,
   parseServiceId: () => parseServiceId,
+  parseSymbolId: () => parseSymbolId,
   parseWebsocketChannelId: () => parseWebsocketChannelId,
   passesExtractedFloor: () => passesExtractedFloor,
   routeId: () => routeId,
   serviceId: () => serviceId,
+  symbolId: () => symbolId,
   websocketChannelId: () => websocketChannelId
 });
 module.exports = __toCommonJS(index_exports);
@@ -166,7 +171,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",
@@ -216,7 +230,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 = import_zod.z.enum([
   NodeType.ServiceNode,
@@ -228,7 +253,8 @@ var NodeTypeSchema = import_zod.z.enum([
   NodeType.RouteNode,
   NodeType.GraphQLOperationNode,
   NodeType.GrpcMethodNode,
-  NodeType.WebSocketChannelNode
+  NodeType.WebSocketChannelNode,
+  NodeType.SymbolNode
 ]);
 
 // src/nodes.ts
@@ -419,6 +445,21 @@ var WebSocketChannelNodeSchema = import_zod2.z.object({
   line: import_zod2.z.number().int().nonnegative().optional(),
   discoveredVia: DiscoveredViaSchema.optional()
 });
+var SymbolKindSchema = import_zod2.z.enum(["function", "method", "constructor", "class"]);
+var SymbolSpanSchema = import_zod2.z.object({
+  startLine: import_zod2.z.number().int().nonnegative(),
+  endLine: import_zod2.z.number().int().nonnegative()
+});
+var SymbolNodeSchema = import_zod2.z.object({
+  id: import_zod2.z.string(),
+  type: import_zod2.z.literal(NodeType.SymbolNode),
+  kind: SymbolKindSchema,
+  qualname: import_zod2.z.string(),
+  span: SymbolSpanSchema,
+  service: import_zod2.z.string(),
+  relPath: import_zod2.z.string(),
+  discoveredVia: DiscoveredViaSchema.optional()
+});
 var GraphNodeSchema = import_zod2.z.discriminatedUnion("type", [
   ServiceNodeSchema,
   DatabaseNodeSchema,
@@ -429,7 +470,8 @@ var GraphNodeSchema = import_zod2.z.discriminatedUnion("type", [
   RouteNodeSchema,
   GraphQLOperationNodeSchema,
   GrpcMethodNodeSchema,
-  WebSocketChannelNodeSchema
+  WebSocketChannelNodeSchema,
+  SymbolNodeSchema
 ]);
 
 // src/edges.ts
@@ -449,7 +491,9 @@ var EdgeTypeSchema = import_zod3.z.enum([
   EdgeType.CONSUMES_FROM,
   EdgeType.RUNS_ON,
   EdgeType.CONTAINS,
-  EdgeType.IMPORTS
+  EdgeType.IMPORTS,
+  EdgeType.INHERITS,
+  EdgeType.IMPLEMENTS
 ]);
 var EdgeEvidenceSchema = import_zod3.z.object({
   file: import_zod3.z.string(),
@@ -637,6 +681,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}`;
@@ -756,6 +801,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}`;
@@ -1319,6 +1392,9 @@ function passesExtractedFloor(confidence) {
   StaleEventSchema,
   StaleEventsResponseSchema,
   StructuralRuleSchema,
+  SymbolKindSchema,
+  SymbolNodeSchema,
+  SymbolSpanSchema,
   TransitiveDependenciesResultSchema,
   TransitiveDependencySchema,
   VersionMismatchDivergenceSchema,
@@ -1347,10 +1423,12 @@ function passesExtractedFloor(confidence) {
   parseInfraId,
   parseRouteId,
   parseServiceId,
+  parseSymbolId,
   parseWebsocketChannelId,
   passesExtractedFloor,
   routeId,
   serviceId,
+  symbolId,
   websocketChannelId
 });
 //# sourceMappingURL=index.cjs.map