Output schema

The artifact codeanalyzer-typescript emits is a single TSApplication. Every model below is a TypeScript interface defined in src/schema/schema.ts; the JSON and msgpack outputs are serializations of the same schema. All field names are snake_case so the keys match the CLDK SDK’s models. Line/column fields default to -1 when unknown.

flowchart TB
    APP[TSApplication] --> ST["symbol_table: {path: TSModule}"]
    APP --> CG["call_graph: [TSCallEdge]"]
    APP --> EX["external_symbols: {sig: TSExternalSymbol}"]
    APP --> EP["entrypoints: {framework: [TSEntrypoint]}"]
    ST --> MOD[TSModule]
    MOD --> CLS[TSClass]
    MOD --> IF[TSInterface]
    MOD --> EN[TSEnum]
    MOD --> TA[TSTypeAlias]
    MOD --> FN[TSCallable]
    MOD --> NS[TSNamespace]
    CLS --> M[TSCallable]
    CLS --> ATTR[TSClassAttribute]
    FN --> CALL[TSCallsite]
    FN --> PARAM[TSCallableParameter]

TSApplication

The root object.

Field	Type	Description
`symbol_table`	`Record<string, TSModule>`	File path → module model. The whole-project inventory.
`call_graph`	`TSCallEdge[]`	Identity-keyed call edges.
`external_symbols`	`Record<string, TSExternalSymbol>`	Phantom stubs for call targets outside the project.
`entrypoints`	`Record<string, TSEntrypoint[]>`	Framework name → detected roots. Empty at level 1.

TSModule

One per source file.

Field	Type	Description
`file_path`	`string`	Path to the file.
`module_name`	`string`	The file key minus extension (== signature prefix).
`imports`	`TSImport[]`	Import statements.
`exports`	`TSExport[]`	Export statements and re-exports.
`comments`	`TSComment[]`	Comments and JSDoc.
`classes`	`Record<string, TSClass>`	Top-level classes by name.
`interfaces`	`Record<string, TSInterface>`	Top-level interfaces by name.
`enums`	`Record<string, TSEnum>`	Top-level enums by name.
`type_aliases`	`Record<string, TSTypeAlias>`	Top-level type aliases by name.
`functions`	`Record<string, TSCallable>`	Top-level functions by name.
`namespaces`	`Record<string, TSNamespace>`	Top-level namespaces by name.
`variables`	`TSVariableDeclaration[]`	Module-level variables.
`is_tsx`	`boolean`	Whether the file is `.tsx`/`.jsx`.
`is_declaration_file`	`boolean`	Whether it’s a `.d.ts` file.
`content_hash`, `last_modified`, `file_size`	`string` / `number` / `number`	Cache-invalidation metadata (nullable).

TSClass

Field	Type	Description
`name`	`string`	Class short name.
`signature`	`string`	Fully-qualified identity (e.g. `src/user.UserService`).
`base_classes`	`string[]`	Spine: union of `extends` + `implements` as signature strings.
`implements_types`	`string[]`	Typed split: just the implemented interfaces.
`type_parameters`	`TSTypeParameter[]`	Generic parameters.
`decorators`	`TSDecorator[]`	Class decorators.
`methods`	`Record<string, TSCallable>`	Methods by name.
`attributes`	`Record<string, TSClassAttribute>`	Class attributes by name.
`inner_classes`	`Record<string, TSClass>`	Nested classes.
`is_abstract`, `is_exported`, `is_ambient`	`boolean`	Class modifiers (`abstract`, `export`, `declare`).
`comments`, `code`	`TSComment[]` / `string`	JSDoc/comments and source.
`start_line`, `end_line`	`number`	Source span.

TSInterface

A TypeScript node kind with no analog in the Python/Java schema.

Field	Type	Description
`name`, `signature`	`string`	Short name and fully-qualified identity.
`base_classes`	`string[]`	Extended interfaces (signature strings).
`type_parameters`	`TSTypeParameter[]`	Generic parameters.
`methods`	`Record<string, TSCallable>`	Method members (bodiless).
`properties`	`Record<string, TSClassAttribute>`	Property members.
`call_signatures`	`string[]`	Raw text of call/construct signatures.
`index_signatures`	`string[]`	Raw text of `[key: string]: T`.
`is_exported`, `is_ambient`	`boolean`	Modifiers.
`comments`, `code`, `start_line`, `end_line`		JSDoc, source, span.

TSEnum

Field	Type	Description
`name`, `signature`	`string`	Short name and identity.
`members`	`TSEnumMember[]`	Each member’s `name` and `value` (initializer text or computed const value).
`is_const`	`boolean`	`const enum`.
`is_exported`, `is_ambient`	`boolean`	Modifiers.
`comments`, `code`, `start_line`, `end_line`		JSDoc, source, span.

TSTypeAlias

Field	Type	Description
`name`, `signature`	`string`	Short name and identity.
`aliased_type`	`string`	The right-hand-side type text.
`type_parameters`	`TSTypeParameter[]`	Generic parameters.
`is_exported`, `is_ambient`	`boolean`	Modifiers.
`comments`, `code`, `start_line`, `end_line`		JSDoc, source, span.

TSNamespace

A recursive container with the same declaration buckets as a module.

Field	Type	Description
`name`, `signature`	`string`	Short name and identity.
`classes`, `interfaces`, `enums`, `type_aliases`, `functions`, `namespaces`	`Record<string, …>`	Nested declarations by name.
`variables`	`TSVariableDeclaration[]`	Namespace-level variables.
`is_exported`, `is_ambient`, `comments`, `start_line`, `end_line`		Modifiers, JSDoc, span.

TSCallable

A function, method, constructor, accessor, or arrow. The richest model in the artifact.

Field	Type	Description
`name`	`string`	Callable short name.
`path`	`string`	File the callable is defined in.
`signature`	`string`	Fully-qualified identity (e.g. `src/user.UserService.getUser`). The call-graph node key.
`kind`	`TSCallableKind`	`function` \| `method` \| `constructor` \| `getter` \| `setter` \| `arrow` \| `function_expression`.
`parameters`	`TSCallableParameter[]`	Declared parameters.
`type_parameters`	`TSTypeParameter[]`	Generic parameters.
`return_type`	`string \| null`	Resolved return type, if known.
`decorators`	`TSDecorator[]`	Applied decorators.
`code`	`string \| null`	The source body.
`call_sites`	`TSCallsite[]`	Calls made from this callable.
`accessed_symbols`	`TSSymbol[]`	Symbols read/written in the body.
`local_variables`	`TSVariableDeclaration[]`	Locals.
`inner_callables`, `inner_classes`	`Record<string, …>`	Nested definitions.
`cyclomatic_complexity`	`number`	Computed complexity.
`is_entrypoint`	`boolean`	Whether a finder marked this an entrypoint (level 2).
`entrypoint_framework`	`string \| null`	The framework, if so.
`accessibility`	`string \| null`	`public` \| `private` \| `protected` \| `null`.
`is_static`, `is_abstract`, `is_async`, `is_generator`, `is_optional`, `is_readonly`, `is_exported`, `is_ambient`, `is_implicit`	`boolean`	TypeScript modifiers (`is_implicit` = synthesized default constructor).
`accessor_kind`	`string \| null`	`getter` \| `setter` \| `null`.
`overload_signatures`	`TSOverloadSignature[]`	Overload signatures preceding the implementation.
`start_line`, `end_line`, `code_start_line`	`number`	Source spans.

TSCallsite

A single call made from within a callable — the rich per-call metadata behind a graph edge.

Field	Type	Description
`method_name`	`string`	The invoked name as written.
`receiver_expr`, `receiver_type`	`string \| null`	The receiver expression and its resolved type.
`argument_types`	`string[]`	Resolved argument types.
`type_arguments`	`string[]`	Explicit call type args, `foo<T>()`.
`return_type`	`string \| null`	Resolved return type.
`callee_signature`	`string \| null`	The resolved target’s signature (backfilled by the resolver call graph).
`is_constructor_call`	`boolean`	Whether the call is `new X()`.
`is_optional_chain`	`boolean`	Whether the call is `a?.b()`.
`start_line`, `start_column`, `end_line`, `end_column`	`number`	Source location.

TSCallEdge

An identity-only call-graph edge.

Field	Type	Description
`source`	`string`	Caller’s `TSCallable.signature`.
`target`	`string`	Callee’s `TSCallable.signature` or a `TSExternalSymbol.signature`.
`type`	`"CALL_DEP"`	Edge kind.
`weight`	`number`	Edge weight; incremented when the same call repeats.
`provenance`	`string[]`	How it was resolved: `"tsc"`, `"import"` (phantom), `"codeql"` (level 2), or an extension token. Open vocabulary.
`tags`	`Record<string, string>`	Free-form metadata. RTA-expanded edges carry `ts.dispatch=rta`.

TSExternalSymbol

A synthetic stub for a call target outside the project — an imported library member or Node builtin (WALA-style phantom node).

Field	Type	Description
`signature`	`string`	Synthetic identity, e.g. `node:fs.readFileSync`, `express.Router.get`. A call edge `target` may byte-match this.
`name`	`string`	The called member, e.g. `readFileSync`.
`module`	`string`	The import/require specifier, e.g. `node:fs`, `express`, `@scope/pkg`.
`kind`	`string`	`"function"` \| `"constructor"` \| `"unknown"`.
`is_external`	`true`	Always `true`.

TSEntrypoint

A framework-dispatched root, referencing a callable by signature. Populated by level-2 finders; entrypoints is {} at level 1.

Field	Type	Description
`signature`	`string`	The `TSCallable.signature` this entrypoint refers to.
`framework`	`string`	The dispatching framework.
`detection_source`	`string`	How it was detected — `decorator`, `base_class`, `convention`, `extension`, … Open vocabulary.
`route_path`	`string \| null`	For HTTP routes.
`http_methods`	`string[]`	For HTTP routes.
`source_file`	`string \| null`	File declaring the binding.
`tags`	`Record<string, string>`	Free-form, namespaced metadata for extensions.

Supporting models

TSImport — module specifier, name, alias, is_type_only, import_kind (named | default | namespace | side_effect), and span.
TSExport — module (re-export source, nullable), name, alias, is_type_only, export_kind (named | default | namespace | re_export), and span.
TSComment — content, is_docstring (JSDoc attached to a declaration), and span.
TSDecorator — name, checker-resolved qualified_name, raw positional_arguments and keyword_arguments (source fragments for finders to parse), and span.
TSTypeParameter — name, constraint (the extends … clause), default (the = … clause).
TSCallableParameter — name, type, default_value, is_optional, is_rest, is_readonly, accessibility (parameter-property visibility for DI), parameter decorators, and span.
TSClassAttribute — name, type, initializer, accessibility, is_static, is_readonly, is_optional, is_abstract, decorators, comments, span.
TSVariableDeclaration — name, type, initializer, value, scope, declaration_kind (const | let | var | using | unknown), is_readonly, is_exported, span.
TSSymbol — a referenced symbol: name, scope, kind, resolved type, qualified_name, is_builtin, location.
TSEnumMember — name, value, span.
TSOverloadSignature — parameters, return_type, type_parameters, span.

Identity helpers

Three pure functions in schema.ts produce every signature, so caller- and callee-side ids byte-match:

fileKeyOf(absPath, projectRoot) → { fileKey, modulePrefix } — the symbol-table key (project-relative POSIX path with extension) and the signature prefix (without extension).
signatureOf(prefix, ...members) — dot-joins a scope prefix with member names.
constructorSignatureOf(classSignature) — normalizes a constructor to <ClassSignature>.constructor.

Where to go next

Core concepts How these models relate at runtime.

Call graph & dispatch How TSCallEdge and TSExternalSymbol are produced.

CLI options The flags that control what ends up in the artifact.