@papyruslabsai/seshat-mcp 0.4.0 → 0.4.2

package/dist/bootstrap.js

@@ -97,10 +97,13 @@ export async function bootstrap(projectDir) {
     const projectName = inferProjectName(projectDir);
     process.stderr.write(`[seshat-mcp] Auto-bootstrap: extracting ${projectName} from ${projectDir}\n`);
     return new Promise((resolve) => {
-        // On Windows, npx is npx.cmd
+        // On Windows, npx is npx.cmd and must run through shell.
+        // shell: true concatenates args into a command string, so paths with
+        // spaces must be double-quoted to survive CMD parsing.
         const isWindows = process.platform === 'win32';
         const npxCmd = isWindows ? 'npx.cmd' : 'npx';
-        const child = spawn(npxCmd, ['-y', '@papyruslabsai/seshat-extract', projectDir, seshatDir, projectName], {
+        const q = (s) => isWindows && s.includes(' ') ? `"${s}"` : s;
+        const child = spawn(npxCmd, ['-y', '@papyruslabsai/seshat-extract', q(projectDir), q(seshatDir), projectName], {
             cwd: projectDir,
             shell: isWindows, // Windows needs shell: true for .cmd files
             stdio: ['pipe', 'pipe', 'pipe'],

package/dist/graph.d.ts

@@ -1,9 +1,11 @@
 /**
  * Call Graph Construction & Blast Radius Computation
  *
- * Ported from seshat-pipeline/src/incremental/blast-radius.mjs
- * Implements Theorem 9.4 (Incrementality):
+ * Computes the set of entities affected by a change:
  *   affected(e) = ancestors(e) ∪ descendants(e) ∪ {e}
+ *
+ * Ancestors = all transitive callers (upstream).
+ * Descendants = all transitive callees (downstream).
  */
 import type { JstfEntity } from './types.js';
 export interface CallGraph {
@@ -18,7 +20,7 @@ export interface BlastRadiusResult {
     descendants: string[];
 }
 /**
- * Build a bidirectional call graph from entities' ε (edges) dimension.
+ * Build a bidirectional call graph from entities' dependency data.
  */
 export declare function buildCallGraph(entities: JstfEntity[]): CallGraph;
 /**

package/dist/graph.js

@@ -1,12 +1,14 @@
 /**
  * Call Graph Construction & Blast Radius Computation
  *
- * Ported from seshat-pipeline/src/incremental/blast-radius.mjs
- * Implements Theorem 9.4 (Incrementality):
+ * Computes the set of entities affected by a change:
  *   affected(e) = ancestors(e) ∪ descendants(e) ∪ {e}
+ *
+ * Ancestors = all transitive callers (upstream).
+ * Descendants = all transitive callees (downstream).
  */
 /**
- * Build a bidirectional call graph from entities' ε (edges) dimension.
+ * Build a bidirectional call graph from entities' dependency data.
  */
 export function buildCallGraph(entities) {
     const callers = new Map();
@@ -27,7 +29,7 @@ export function buildCallGraph(entities) {
             entityByModule.get(mod).push(entity);
         }
     }
-    // Build call edges from ε dimension
+    // Build call edges from dependency data
     for (const caller of entities) {
         if (!caller.id || !caller.edges?.calls)
             continue;

package/dist/index.d.ts

@@ -1,9 +1,9 @@
 #!/usr/bin/env node
 /**
- * @papyruslabs/seshat-mcp — Semantic MCP Server
+ * @papyruslabs/seshat-mcp — Semantic Code Analysis MCP Server
  *
- * Exposes a codebase's 9D JSTF-T coordinate space as queryable MCP tools.
- * Reads .seshat/_bundle.json from project directories.
+ * Exposes a codebase's structure, dependencies, and constraints as queryable
+ * MCP tools. Reads pre-extracted analysis data from .seshat/_bundle.json.
  *
  * Multi-project mode:
  *   Set SESHAT_PROJECTS env var to comma-separated paths or a glob pattern.
@@ -13,25 +13,12 @@
  * Single-project mode (default):
  *   When SESHAT_PROJECTS is not set, loads from CWD. No `project` param needed.
  *
- * Tools (8 core + 9 interpretation functors + 1 meta):
- *   list_projects       — Show loaded projects with entity counts
- *   query_entities      — Search entities by name, layer, module, language
- *   get_entity          — Full 9D coordinate dump for one entity
- *   get_dependencies    — ε edge traversal (callers/callees with depth control)
- *   get_data_flow       — δ dimension: inputs, outputs, mutations
- *   find_by_constraint  — κ dimension search (AUTH, THROWS, DB_ACCESS, etc.)
- *   get_blast_radius    — Theorem 9.4: affected set for given entity IDs
- *   list_modules        — Group entities by layer, module, file, or language
- *   get_topology        — API topology (routes, plugins, auth, tables)
- *   find_dead_code      — Unreachable entities via ε-graph BFS
- *   find_layer_violations — ε edges violating architectural layer ordering
- *   get_coupling_metrics  — Module coupling/cohesion/instability from ε-graph
- *   get_auth_matrix       — Auth coverage across API-facing entities from κ
- *   find_error_gaps       — Fallible callees whose callers lack try/catch
- *   get_test_coverage     — Entities exercised by tests vs uncovered
- *   get_optimal_context   — Greedy knapsack: max relevance per token for LLM context
- *   estimate_task_cost    — Pre-work token burn projection from blast radius + source tokens
- *   report_actual_burn    — Close calibration loop: actual tokens vs prediction, drift stats
+ * 18 tools across 3 categories:
+ *   Discovery:  list_projects, query_entities, get_entity, list_modules, get_topology
+ *   Graph:      get_dependencies, get_data_flow, find_by_constraint, get_blast_radius
+ *   Analysis:   find_dead_code, find_layer_violations, get_coupling_metrics,
+ *               get_auth_matrix, find_error_gaps, get_test_coverage,
+ *               get_optimal_context, estimate_task_cost, report_actual_burn
  *
  * Usage:
  *   npx @papyruslabs/seshat-mcp                           # single project (CWD)

package/dist/index.js

@@ -1,9 +1,9 @@
 #!/usr/bin/env node
 /**
- * @papyruslabs/seshat-mcp — Semantic MCP Server
+ * @papyruslabs/seshat-mcp — Semantic Code Analysis MCP Server
  *
- * Exposes a codebase's 9D JSTF-T coordinate space as queryable MCP tools.
- * Reads .seshat/_bundle.json from project directories.
+ * Exposes a codebase's structure, dependencies, and constraints as queryable
+ * MCP tools. Reads pre-extracted analysis data from .seshat/_bundle.json.
  *
  * Multi-project mode:
  *   Set SESHAT_PROJECTS env var to comma-separated paths or a glob pattern.
@@ -13,25 +13,12 @@
  * Single-project mode (default):
  *   When SESHAT_PROJECTS is not set, loads from CWD. No `project` param needed.
  *
- * Tools (8 core + 9 interpretation functors + 1 meta):
- *   list_projects       — Show loaded projects with entity counts
- *   query_entities      — Search entities by name, layer, module, language
- *   get_entity          — Full 9D coordinate dump for one entity
- *   get_dependencies    — ε edge traversal (callers/callees with depth control)
- *   get_data_flow       — δ dimension: inputs, outputs, mutations
- *   find_by_constraint  — κ dimension search (AUTH, THROWS, DB_ACCESS, etc.)
- *   get_blast_radius    — Theorem 9.4: affected set for given entity IDs
- *   list_modules        — Group entities by layer, module, file, or language
- *   get_topology        — API topology (routes, plugins, auth, tables)
- *   find_dead_code      — Unreachable entities via ε-graph BFS
- *   find_layer_violations — ε edges violating architectural layer ordering
- *   get_coupling_metrics  — Module coupling/cohesion/instability from ε-graph
- *   get_auth_matrix       — Auth coverage across API-facing entities from κ
- *   find_error_gaps       — Fallible callees whose callers lack try/catch
- *   get_test_coverage     — Entities exercised by tests vs uncovered
- *   get_optimal_context   — Greedy knapsack: max relevance per token for LLM context
- *   estimate_task_cost    — Pre-work token burn projection from blast radius + source tokens
- *   report_actual_burn    — Close calibration loop: actual tokens vs prediction, drift stats
+ * 18 tools across 3 categories:
+ *   Discovery:  list_projects, query_entities, get_entity, list_modules, get_topology
+ *   Graph:      get_dependencies, get_data_flow, find_by_constraint, get_blast_radius
+ *   Analysis:   find_dead_code, find_layer_violations, get_coupling_metrics,
+ *               get_auth_matrix, find_error_gaps, get_test_coverage,
+ *               get_optimal_context, estimate_task_cost, report_actual_burn
  *
  * Usage:
  *   npx @papyruslabs/seshat-mcp                           # single project (CWD)
@@ -104,7 +91,7 @@ const TOOLS = [
     },
     {
         name: 'query_entities',
-        description: 'Search entities in the 9D semantic coordinate space. Filter by name, architectural layer (route/service/repository/component), module, or source language. Returns entity summaries with constraint tags.',
+        description: 'Search code entities by name, architectural layer (route/service/repository/component), module, or source language. Returns entity summaries with constraint tags.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -115,11 +102,11 @@ const TOOLS = [
                 },
                 layer: {
                     type: 'string',
-                    description: 'Filter by χ (context) layer: route, controller, service, repository, utility, hook, component, schema',
+                    description: 'Filter by architectural layer: route, controller, service, repository, utility, hook, component, schema',
                 },
                 module: {
                     type: 'string',
-                    description: 'Filter by χ.module (partial match)',
+                    description: 'Filter by module (partial match)',
                 },
                 language: {
                     type: 'string',
@@ -134,7 +121,7 @@ const TOOLS = [
     },
     {
         name: 'get_entity',
-        description: 'Get the full 9D semantic coordinate dump for a specific entity. Returns all dimensions: σ (struct), ε (edges), δ (data), κ (constraints), χ (context), λ (ownership), τ (traits), ρ (runtime), Σ (semantics).',
+        description: 'Get complete details for a specific code entity. Returns structure, call graph, data flow, constraints, context, ownership, type info, runtime, and logic.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -149,7 +136,7 @@ const TOOLS = [
     },
     {
         name: 'get_dependencies',
-        description: 'Traverse the ε (edges) call graph for an entity. Shows callers (who calls this), callees (what this calls), and imports. Supports depth-limited traversal for exploring transitive dependencies.',
+        description: 'Traverse the call graph for an entity. Shows callers (who calls this), callees (what this calls), and imports. Supports depth-limited traversal for exploring transitive dependencies.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -173,7 +160,7 @@ const TOOLS = [
     },
     {
         name: 'get_data_flow',
-        description: 'Get the δ (data) dimension for an entity: what data flows in (inputs/sources), what flows out (outputs/returns), and what gets mutated (database writes, state changes).',
+        description: 'Get data flow for an entity: what data flows in (inputs/sources), what flows out (outputs/returns), and what gets mutated (database writes, state changes).',
         inputSchema: {
             type: 'object',
             properties: {
@@ -188,7 +175,7 @@ const TOOLS = [
     },
     {
         name: 'find_by_constraint',
-        description: 'Search the κ (constraints) dimension across all entities. Find functions by security properties (AUTH, VALIDATED), behavioral properties (PURE, THROWS, DB_ACCESS, NETWORK_IO), or performance characteristics.',
+        description: 'Search entities by behavioral properties. Find functions by security properties (AUTH, VALIDATED), behavioral properties (PURE, THROWS, DB_ACCESS, NETWORK_IO), or performance characteristics.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -203,7 +190,7 @@ const TOOLS = [
     },
     {
         name: 'get_blast_radius',
-        description: 'Compute the blast radius for a set of entities (Theorem 9.4). Returns all transitively affected entities — both upstream (callers) and downstream (callees) — with depth annotations showing distance from the change.',
+        description: 'Compute the blast radius for a set of entities. Returns all transitively affected entities — both upstream (callers) and downstream (callees) — with depth annotations showing distance from the change.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -219,7 +206,7 @@ const TOOLS = [
     },
     {
         name: 'list_modules',
-        description: 'List and count entities grouped by a dimension. See the architectural structure (by layer), module organization (by module), file distribution (by file), or language breakdown (by language).',
+        description: 'List and count entities grouped by a property. See the architectural structure (by layer), module organization (by module), file distribution (by file), or language breakdown (by language).',
         inputSchema: {
             type: 'object',
             properties: {
@@ -234,7 +221,7 @@ const TOOLS = [
     },
     {
         name: 'get_topology',
-        description: 'Get the API topology: routes, plugins, auth patterns, and database tables. Built from the χ (context) and ε (edges) dimensions across all entities.',
+        description: 'Get the API topology: routes, plugins, auth patterns, and database tables. Built from architectural context and dependency analysis across all entities.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -242,10 +229,10 @@ const TOOLS = [
             },
         },
     },
-    // ─── Interpretation Functor Tools ────────────────────────────────
+    // ─── Analysis Tools ─────────────────────────────────────────────
     {
         name: 'find_dead_code',
-        description: 'Find unreachable entities (dead code candidates). BFS from entry points (routes, exported functions, tests, plugins) through the ε call graph. Entities not reachable from any entry point are flagged.',
+        description: 'Find unreachable entities (dead code candidates). BFS from entry points (routes, exported functions, tests, plugins) through the call graph. Entities not reachable from any entry point are flagged.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -259,7 +246,7 @@ const TOOLS = [
     },
     {
         name: 'find_layer_violations',
-        description: 'Detect architectural layer violations in the ε call graph. Finds backward calls (lower layer calling higher layer, e.g. repository → route) and skip-layer calls (jumping over multiple layers). Uses χ.layer for classification.',
+        description: 'Detect architectural layer violations in the call graph. Finds backward calls (lower layer calling higher layer, e.g. repository → route) and skip-layer calls (jumping over multiple layers). Uses architectural layer classification.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -269,7 +256,7 @@ const TOOLS = [
     },
     {
         name: 'get_coupling_metrics',
-        description: 'Compute coupling, cohesion, and instability metrics for modules or layers. Analyzes ε edges between and within groups. High coupling + low cohesion = candidates for refactoring.',
+        description: 'Compute coupling, cohesion, and instability metrics for modules or layers. Analyzes dependency edges between and within groups. High coupling + low cohesion = candidates for refactoring.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -284,7 +271,7 @@ const TOOLS = [
     },
     {
         name: 'get_auth_matrix',
-        description: 'Analyze authentication coverage across all API-facing entities. Shows which routes/controllers have auth requirements (from κ.auth) and which don\'t. Detects inconsistencies like DB access without auth.',
+        description: 'Analyze authentication coverage across all API-facing entities. Shows which routes/controllers have auth requirements and which don\'t. Detects inconsistencies like DB access without auth.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -294,7 +281,7 @@ const TOOLS = [
     },
     {
         name: 'find_error_gaps',
-        description: 'Find error handling gaps: fallible entities (κ.throws, network/db side effects) whose callers lack try/catch (κ.errorHandling). These are crash risk points where exceptions can propagate unhandled.',
+        description: 'Find error handling gaps: entities that throw or have network/db side effects whose callers lack try/catch. These are crash risk points where exceptions can propagate unhandled.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -304,7 +291,7 @@ const TOOLS = [
     },
     {
         name: 'get_test_coverage',
-        description: 'Compute semantic test coverage: which production entities are exercised by test entities via the ε call graph. Optionally weight uncovered entities by blast radius to prioritize what to test first.',
+        description: 'Compute semantic test coverage: which production entities are exercised by test entities via the call graph. Optionally weight uncovered entities by blast radius to prioritize what to test first.',
         inputSchema: {
             type: 'object',
             properties: {
@@ -454,7 +441,7 @@ async function main() {
     }
     const server = new Server({
         name: serverLabel,
-        version: '0.4.0',
+        version: '0.4.2',
     }, {
         capabilities: {
             tools: {},
@@ -516,7 +503,7 @@ async function main() {
                 case 'get_topology':
                     result = getTopology(args);
                     break;
-                // Interpretation Functors
+                // Analysis Tools
                 case 'find_dead_code':
                     result = findDeadCode(args);
                     break;

package/dist/loader.d.ts

@@ -1,5 +1,5 @@
 /**
- * JSTF-T Bundle Loader
+ * Bundle Loader
  *
  * Discovers and loads .seshat/_bundle.json from the current working directory.
  * Falls back to checking common alternative locations.

package/dist/loader.js

@@ -1,5 +1,5 @@
 /**
- * JSTF-T Bundle Loader
+ * Bundle Loader
  *
  * Discovers and loads .seshat/_bundle.json from the current working directory.
  * Falls back to checking common alternative locations.
@@ -28,8 +28,8 @@ export class BundleLoader {
         const bundle = JSON.parse(raw);
         this.entities = bundle.entities || [];
         // Remap bundle field names to internal _ prefixed names.
-        // The extraction pipeline outputs `sourceFile`, `sourceLanguage`, `_jstfFilename`
-        // but our JstfEntity type expects `_sourceFile`, `_sourceLanguage`.
+        // The extraction pipeline outputs `sourceFile`, `sourceLanguage`
+        // but the entity type expects `_sourceFile`, `_sourceLanguage`.
         for (const e of this.entities) {
             const raw = e;
             if (raw.sourceFile && !e._sourceFile) {

package/dist/tools/functors.d.ts

@@ -1,15 +1,15 @@
 /**
- * Interpretation Functor Tools
+ * Analysis Tools
  *
- * Each functor is I: J -> D — projecting the 9D JSTF-T coordinate space
- * onto a domain-specific judgment. These are composite analyses built
- * from the primitive dimensions (sigma, epsilon, delta, kappa, chi, tau, rho).
+ * Composite analyses built from the extracted code entity graph.
+ * Each tool computes derived insights (dead code, layer violations,
+ * coupling metrics, auth coverage, etc.) from the entity data.
  */
 import type { JstfEntity } from '../types.js';
 /**
  * Estimate the token cost of loading an entity's source code into an LLM context.
  * Uses real sourceTokens from the extraction pipeline when available (v0.3.2+),
- * falls back to heuristic estimation from 9D coordinates for older bundles.
+ * falls back to heuristic estimation for older bundles.
  */
 export declare function estimateTokens(e: JstfEntity): number;
 export declare function findDeadCode(args: {

package/dist/tools/functors.js

@@ -1,9 +1,9 @@
 /**
- * Interpretation Functor Tools
+ * Analysis Tools
  *
- * Each functor is I: J -> D — projecting the 9D JSTF-T coordinate space
- * onto a domain-specific judgment. These are composite analyses built
- * from the primitive dimensions (sigma, epsilon, delta, kappa, chi, tau, rho).
+ * Composite analyses built from the extracted code entity graph.
+ * Each tool computes derived insights (dead code, layer violations,
+ * coupling metrics, auth coverage, etc.) from the entity data.
  */
 import { computeBlastRadius } from '../graph.js';
 import { getLoader, getGraph, validateProject, entityLayer, entitySummary, } from './index.js';
@@ -25,7 +25,7 @@ const LAYER_ORDER = {
 /**
  * Estimate the token cost of loading an entity's source code into an LLM context.
  * Uses real sourceTokens from the extraction pipeline when available (v0.3.2+),
- * falls back to heuristic estimation from 9D coordinates for older bundles.
+ * falls back to heuristic estimation for older bundles.
  */
 export function estimateTokens(e) {
     // Use real source token count from extraction pipeline
@@ -33,7 +33,7 @@ export function estimateTokens(e) {
     const st = raw.sourceTokens;
     if (st?.estimated)
         return st.estimated;
-    // Fallback: heuristic from 9D coordinates (pre-v0.3.2 bundles)
+    // Fallback: heuristic estimation (pre-v0.3.2 bundles)
     let tokens = 50; // Base: name, id, layer
     if (e.struct && typeof e.struct !== 'string') {
         tokens += 20; // signature
@@ -53,7 +53,7 @@ export function estimateTokens(e) {
 /**
  * Detect which estimator was used for an entity.
  * Returns 'syntactic' if tree-sitter leaf node count was used,
- * 'charDiv4' if chars/4 heuristic was used, 'heuristic' for 9D fallback.
+ * 'charDiv4' if chars/4 heuristic was used, 'heuristic' for legacy fallback.
  */
 function detectEstimator(e) {
     const raw = e;
@@ -80,7 +80,7 @@ function dominantEstimator(entities) {
         return 'charDiv4';
     return 'heuristic';
 }
-// ─── Functor 1: find_dead_code ───────────────────────────────────
+// ─── Tool: find_dead_code ────────────────────────────────────────
 export function findDeadCode(args) {
     const projErr = validateProject(args.project);
     if (projErr)
@@ -150,7 +150,7 @@ export function findDeadCode(args) {
         dead: deadEntities.slice(0, 100).map(entitySummary),
     };
 }
-// ─── Functor 2: find_layer_violations ────────────────────────────
+// ─── Tool: find_layer_violations ─────────────────────────────────
 export function findLayerViolations(args) {
     const projErr = validateProject(args?.project);
     if (projErr)
@@ -206,7 +206,7 @@ export function findLayerViolations(args) {
         violations: violations.slice(0, 100),
     };
 }
-// ─── Functor 3: get_coupling_metrics ─────────────────────────────
+// ─── Tool: get_coupling_metrics ──────────────────────────────────
 export function getCouplingMetrics(args) {
     const projErr = validateProject(args.project);
     if (projErr)
@@ -278,7 +278,7 @@ export function getCouplingMetrics(args) {
         metrics: metrics.slice(0, 50),
     };
 }
-// ─── Functor 4: get_auth_matrix ──────────────────────────────────
+// ─── Tool: get_auth_matrix ───────────────────────────────────────
 export function getAuthMatrix(args) {
     const projErr = validateProject(args?.project);
     if (projErr)
@@ -336,7 +336,7 @@ export function getAuthMatrix(args) {
         issues: inconsistencies.slice(0, 50),
     };
 }
-// ─── Functor 5: find_error_gaps ──────────────────────────────────
+// ─── Tool: find_error_gaps ───────────────────────────────────────
 export function findErrorGaps(args) {
     const projErr = validateProject(args?.project);
     if (projErr)
@@ -349,13 +349,13 @@ export function findErrorGaps(args) {
     for (const e of entities) {
         if (!e.id)
             continue;
-        // Check kappa.throws
+        // Check constraints.throws
         const constraints = e.constraints;
         if (constraints && !Array.isArray(constraints) && constraints.throws) {
             fallibleIds.add(e.id);
             continue;
         }
-        // Check tau.self.fallible
+        // Check traits.self.fallible
         const traits = e.traits;
         if (traits && !Array.isArray(traits) && traits.self?.fallible) {
             fallibleIds.add(e.id);
@@ -403,7 +403,7 @@ export function findErrorGaps(args) {
         gaps: gaps.slice(0, 100),
     };
 }
-// ─── Functor 6: get_test_coverage ────────────────────────────────
+// ─── Tool: get_test_coverage ─────────────────────────────────────
 export function getTestCoverage(args) {
     const projErr = validateProject(args.project);
     if (projErr)
@@ -482,7 +482,7 @@ export function getTestCoverage(args) {
     }
     return result;
 }
-// ─── Functor 7: get_optimal_context ──────────────────────────────
+// ─── Tool: get_optimal_context ───────────────────────────────────
 export function getOptimalContext(args) {
     const projErr = validateProject(args.project);
     if (projErr)
@@ -598,7 +598,7 @@ export function getOptimalContext(args) {
         context: selected,
     };
 }
-// ─── Functor 8: estimate_task_cost ───────────────────────────────
+// ─── Tool: estimate_task_cost ────────────────────────────────────
 /**
  * Estimate token cost of a code change BEFORE starting work.
  * Computes blast radius, sums source token counts, and projects total burn.
@@ -763,7 +763,7 @@ export async function estimateTaskCost(args) {
     }
     return result;
 }
-// ─── Functor 9: report_actual_burn ───────────────────────────────
+// ─── Tool: report_actual_burn ────────────────────────────────────
 /**
  * Close the calibration feedback loop by reporting actual token usage
  * against a prior prediction from estimate_task_cost.

package/dist/tools/index.d.ts

@@ -1,7 +1,7 @@
 /**
  * Semantic MCP Tool Implementations
  *
- * Each tool exposes a dimension or computation over the 9D JSTF-T coordinate space.
+ * Each tool exposes a query or computation over the extracted code entity graph.
  * Tools operate on the in-memory entity bundle loaded from .seshat/_bundle.json.
  *
  * Multi-project: when multiple projects are loaded, each tool accepts an optional

package/dist/tools/index.js

@@ -1,7 +1,7 @@
 /**
  * Semantic MCP Tool Implementations
  *
- * Each tool exposes a dimension or computation over the 9D JSTF-T coordinate space.
+ * Each tool exposes a query or computation over the extracted code entity graph.
  * Tools operate on the in-memory entity bundle loaded from .seshat/_bundle.json.
  *
  * Multi-project: when multiple projects are loaded, each tool accepts an optional
@@ -208,25 +208,21 @@ export function getEntity(args) {
     if (!entity) {
         return { error: `Entity not found: ${args.id}` };
     }
-    // Return the full 9D coordinate dump
     return {
         id: entity.id,
         name: entityName(entity),
         ...(entity._project ? { project: entity._project } : {}),
         sourceFile: entity._sourceFile,
         sourceLanguage: entity._sourceLanguage,
-        jstfFilename: entity._jstfFilename,
-        dimensions: {
-            sigma_struct: entity.struct,
-            epsilon_edges: entity.edges,
-            delta_data: entity.data,
-            kappa_constraints: entity.constraints,
-            chi_context: entity.context,
-            lambda_ownership: entity.ownership,
-            tau_traits: entity.traits,
-            rho_runtime: entity.runtime,
-            sigma_semantics: entity.semantics,
-        },
+        structure: entity.struct,
+        call_graph: entity.edges,
+        data_flow: entity.data,
+        constraints: entity.constraints,
+        context: entity.context,
+        ownership: entity.ownership,
+        type_info: entity.traits,
+        runtime: entity.runtime,
+        logic: entity.semantics,
     };
 }
 // ─── Tool: get_dependencies ───────────────────────────────────────
@@ -258,7 +254,7 @@ export function getDependencies(args) {
             return e ? entitySummary(e) : { id: cId };
         });
     }
-    // Also include direct imports from ε
+    // Also include direct imports
     if (entity.edges?.imports) {
         result.imports = entity.edges.imports;
     }

package/dist/types.d.ts

@@ -1,10 +1,9 @@
 /**
- * JSTF-T Entity — 9D Semantic Coordinate
+ * Code Entity — the core unit of analysis
  *
  * Each entity represents a code unit (function, class, module, schema)
- * positioned in the 9-dimensional semantic space 𝕁:
- *   σ (struct), ε (edges), δ (data), κ (constraints),
- *   χ (context), λ (ownership), τ (traits), ρ (runtime), Σ (semantics)
+ * with extracted properties: structure, call graph, data flow, constraints,
+ * context, ownership, type info, runtime, and logic.
  */
 export interface JstfEntity {
     id: string;
@@ -12,7 +11,7 @@ export interface JstfEntity {
     _sourceFile?: string | null;
     _sourceLanguage?: string;
     _project?: string;
-    /** σ — Structure: function shape, signature, modifiers */
+    /** Structure: function shape, signature, modifiers */
     struct?: {
         name?: string;
         type?: string;
@@ -25,7 +24,7 @@ export interface JstfEntity {
         returnType?: string;
         [key: string]: unknown;
     } | string;
-    /** ε — Edges: call graph, dependencies, imports */
+    /** Call graph: dependencies, imports, callers */
     edges?: {
         calls?: Array<{
             target: string;
@@ -41,7 +40,7 @@ export interface JstfEntity {
         }>;
         [key: string]: unknown;
     };
-    /** δ — Data: data flow, sources, sinks, mutations */
+    /** Data flow: inputs, outputs, mutations */
     data?: {
         inputs?: Array<{
             name: string;
@@ -61,7 +60,7 @@ export interface JstfEntity {
         returns?: unknown[];
         [key: string]: unknown;
     };
-    /** κ — Constraints: behavioral contracts, validation, purity */
+    /** Constraints: behavioral contracts, validation, purity */
     constraints?: {
         security?: string[];
         performance?: Record<string, unknown>;
@@ -82,7 +81,7 @@ export interface JstfEntity {
         };
         [key: string]: unknown;
     } | string[];
-    /** χ — Context: architectural position, visibility, layer */
+    /** Context: architectural position, visibility, layer */
     context?: {
         layer?: string;
         layerSource?: string;
@@ -94,9 +93,9 @@ export interface JstfEntity {
         criticality?: string;
         [key: string]: unknown;
     };
-    /** λ — Ownership: memory ownership, lifetimes, borrowing */
+    /** Ownership: memory management, lifetimes, borrowing (Rust/C++) */
     ownership?: Record<string, unknown>;
-    /** τ — Traits: type capabilities, bounds, markers */
+    /** Type info: type capabilities, bounds, markers */
     traits?: string[] | {
         self?: {
             asyncContext?: boolean;
@@ -109,14 +108,14 @@ export interface JstfEntity {
         }>;
         [key: string]: unknown;
     };
-    /** ρ — Runtime: reactive model, async platform, framework */
+    /** Runtime: async model, platform, framework */
     runtime?: {
         async?: string;
         framework?: string;
         platform?: string;
         [key: string]: unknown;
     };
-    /** Σ — Semantics: operational content, normalized logic tree */
+    /** Logic: operational content, normalized logic tree */
     semantics?: unknown[];
     [key: string]: unknown;
 }

package/dist/types.js

@@ -1,9 +1,8 @@
 /**
- * JSTF-T Entity — 9D Semantic Coordinate
+ * Code Entity — the core unit of analysis
  *
  * Each entity represents a code unit (function, class, module, schema)
- * positioned in the 9-dimensional semantic space 𝕁:
- *   σ (struct), ε (edges), δ (data), κ (constraints),
- *   χ (context), λ (ownership), τ (traits), ρ (runtime), Σ (semantics)
+ * with extracted properties: structure, call graph, data flow, constraints,
+ * context, ownership, type info, runtime, and logic.
  */
 export {};

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@papyruslabsai/seshat-mcp",
-  "version": "0.4.0",
-  "description": "Semantic MCP server — exposes a codebase's 9D JSTF-T coordinate space as queryable tools",
+  "version": "0.4.2",
+  "description": "Semantic MCP server — exposes a codebase's structure, dependencies, and constraints as queryable tools",
   "type": "module",
   "bin": {
     "seshat-mcp": "./dist/index.js"
@@ -30,6 +30,6 @@
     "url": "https://github.com/papyruslabs-ai/seshat.git",
     "directory": "packages/seshat-mcp"
   },
-  "keywords": ["mcp", "jstf", "semantic", "code-analysis", "seshat"],
+  "keywords": ["mcp", "semantic", "code-analysis", "seshat", "static-analysis"],
   "license": "MIT"
 }