@saptools/service-flow 0.1.69 → 0.1.72

package/src/db/{004-package-target-invalidation.ts → package-target-invalidation.ts}

@@ -2,7 +2,7 @@ import type { Db } from './connection.js';
 import { ANALYZER_VERSION } from '../version.js';
 import {
   parsePackageImportReference,
-} from '../parsers/012-package-fact-contract.js';
+} from '../parsers/package-fact-contract.js';
 
 interface PackageCallRow {
   id: number;
@@ -10,6 +10,13 @@ interface PackageCallRow {
   evidence: Record<string, unknown>;
 }
 
+interface PackageEventCallRow {
+  id: number;
+  repoId: number;
+  unresolvedReason?: string | null;
+  evidence: Record<string, unknown>;
+}
+
 export interface PackageInvalidationBatch {
   publishingRepoIds: ReadonlySet<number>;
   affectedCallerRepoIds: Set<number>;
@@ -44,6 +51,14 @@ function packageName(evidence: Record<string, unknown>): string | undefined {
     ?.requestedPackageName ?? undefined;
 }
 
+function eventPackageName(
+  evidence: Record<string, unknown>,
+): string | undefined {
+  return parsePackageImportReference(
+    evidence.eventNameConstantImportBinding,
+  )?.requestedPackageName ?? undefined;
+}
+
 function packageCallEvidenceValid(
   evidence: Record<string, unknown>,
 ): boolean {
@@ -94,6 +109,67 @@ function pendingEvidence(evidence: Record<string, unknown>): string {
   });
 }
 
+function currentEventCalls(
+  db: Db,
+  workspaceId: number,
+  targetRepoId: number,
+): PackageEventCallRow[] {
+  const rows = db.prepare(`SELECT c.id,c.repo_id repoId,
+    c.unresolved_reason unresolvedReason,c.evidence_json evidenceJson
+    FROM outbound_calls c JOIN repositories r ON r.id=c.repo_id
+    WHERE r.workspace_id=? AND r.id<>? AND r.fact_analyzer_version=?
+      AND json_extract(c.evidence_json,
+        '$.eventNameConstantImportBinding.moduleKind')='package'
+    ORDER BY c.id`).all(workspaceId, targetRepoId, ANALYZER_VERSION);
+  return rows.flatMap((row) => {
+    const evidence = parsedEvidence(row.evidenceJson);
+    return evidence && eventPackageName(evidence)
+      && typeof row.id === 'number' && typeof row.repoId === 'number'
+      ? [{
+          id: row.id, repoId: row.repoId, evidence,
+          unresolvedReason: typeof row.unresolvedReason === 'string'
+            ? row.unresolvedReason : null,
+        }] : [];
+  });
+}
+
+function pendingEventEvidence(
+  evidence: Record<string, unknown>,
+): string {
+  const parser = { ...evidence };
+  delete parser.eventNameConstant;
+  delete parser.eventNamePackageConstantResolution;
+  parser.eventNameUnresolvedReason = 'event_name_constant_resolution_pending';
+  parser.eventNameStatus = 'dynamic';
+  parser.eventNameSourceKind = 'dynamic_expression';
+  parser.eventNamePlaceholderKeys = [];
+  return JSON.stringify(parser);
+}
+
+function resetPackageEventCalls(
+  db: Db,
+  workspaceId: number,
+  targetRepoId: number,
+  names: ReadonlySet<string>,
+  batch: PackageInvalidationBatch,
+): boolean {
+  const update = db.prepare(`UPDATE outbound_calls SET event_name_expr=?,
+    unresolved_reason=?,evidence_json=? WHERE id=?`);
+  let matched = false;
+  for (const call of currentEventCalls(db, workspaceId, targetRepoId)) {
+    if (!names.has(eventPackageName(call.evidence) ?? '')) continue;
+    const source = call.evidence.eventNameConstantSourceExpression;
+    if (typeof source !== 'string' || source.length === 0)
+      throw new Error('invalid_current_package_event_constant_evidence');
+    const reason = call.evidence.receiverClassification === 'unproven'
+      ? call.unresolvedReason : 'event_name_constant_resolution_pending';
+    update.run(source, reason, pendingEventEvidence(call.evidence), call.id);
+    batch.affectedCallerRepoIds.add(call.repoId);
+    matched = true;
+  }
+  return matched;
+}
+
 function targetWorkspace(
   db: Db,
   repoId: number,
@@ -142,6 +218,9 @@ export function invalidatePackageTargetFacts(
     batch.affectedCallerRepoIds.add(call.repoId);
     matched = true;
   }
+  matched = resetPackageEventCalls(
+    db, target.workspaceId, targetRepoId, names, batch,
+  ) || matched;
   if (matched || packageIdentityChanged(
     target.packageName, newPackageName,
   )) batch.affectedWorkspaceIds.add(target.workspaceId);

package/src/db/{008-relative-fact-semantics.ts → relative-fact-semantics.ts}

@@ -2,12 +2,12 @@ import type { Db } from './connection.js';
 import { ANALYZER_VERSION } from '../version.js';
 import {
   resolveRelativeSymbolCall,
-} from './006-relative-symbol-resolution.js';
+} from './relative-symbol-resolution.js';
 import type { SymbolCallFact } from '../types.js';
 import { parseRelativeImportReference } from
-  '../parsers/012-package-fact-contract.js';
+  '../parsers/package-fact-contract.js';
 import type { SymbolImportReference } from
-  '../parsers/002-symbol-import-bindings.js';
+  '../parsers/symbol-import-bindings.js';
 
 export interface RelativeFactCategoryCount {
   category: string;

package/src/db/{006-relative-symbol-resolution.ts → relative-symbol-resolution.ts}

@@ -1,7 +1,7 @@
 import { posix } from 'node:path';
 import type { SymbolCallFact } from '../types.js';
 import { packageModuleRequest } from
-  '../parsers/002-symbol-import-bindings.js';
+  '../parsers/symbol-import-bindings.js';
 import type { Db } from './connection.js';
 
 export interface RelativeSymbolCallResolution {

package/src/db/repositories.ts

@@ -7,15 +7,19 @@ import type {
   HandlerRegistrationFact,
   ServiceBindingFact,
   ExecutableSymbolFact,
+  GeneratedConstantFact,
 } from '../types.js';
 import {
   selectCallOwner,
   type OwnerCandidate,
-} from '../parsers/004-fact-identity.js';
+} from '../parsers/fact-identity.js';
 import {
   PreparedRepositorySnapshotError,
   type PreparedSnapshotFailureCode,
-} from './013-index-publication-failure.js';
+} from './index-publication-failure.js';
+import {
+  emptyEnvironmentDeclarations,
+} from '../parsers/environment-declarations.js';
 export interface RepoRow {
   id: number;
   name: string;
@@ -92,8 +96,8 @@ export function upsertRepository(
   db.prepare(
     `INSERT INTO repositories(workspace_id,name,absolute_path,relative_path,
       package_name,package_version,dependencies_json,
-      package_public_surface_json,kind,is_git_repo)
-    VALUES(?,?,?,?,?,?,?,?,?,?)
+      package_public_surface_json,environment_declarations_json,kind,is_git_repo)
+    VALUES(?,?,?,?,?,?,?,?,?,?,?)
     ON CONFLICT(workspace_id,absolute_path) DO UPDATE SET
       name=excluded.name,relative_path=excluded.relative_path,
       package_name=excluded.package_name,
@@ -108,6 +112,7 @@ export function upsertRepository(
     r.packageVersion,
     JSON.stringify(r.dependencies ?? {}),
     initialPackagePublicSurface(r.packageName),
+    JSON.stringify(emptyEnvironmentDeclarations()),
     r.kind ?? 'unknown',
     r.isGitRepo ? 1 : 0,
   );
@@ -152,6 +157,7 @@ export function clearRepoFacts(db: Db, repoId: number): void {
     'symbol_calls',
     'handler_registrations',
     'service_bindings',
+    'generated_constants',
     'symbols',
     'diagnostics',
     'files',
@@ -159,6 +165,26 @@ export function clearRepoFacts(db: Db, repoId: number): void {
     db.prepare(`DELETE FROM ${t} WHERE repo_id=?`).run(repoId);
   db.prepare('DELETE FROM search_index WHERE repo=?').run(String(repoId));
 }
+export function insertGeneratedConstants(
+  db: Db,
+  repoId: number,
+  rows: GeneratedConstantFact[],
+): void {
+  const stmt = db.prepare(`INSERT INTO generated_constants(
+    repo_id,source_file,source_line,name,container_name,member_name,value,
+    constant_kind,exported,stable,resolution_status,unresolved_reason,
+    declaration_start_offset,declaration_end_offset,
+    value_start_offset,value_end_offset
+  ) VALUES(?,?,?,?,?,?,?,?,?,?,?,?,?,?,?,?)`);
+  for (const row of rows) stmt.run(
+    repoId, row.sourceFile, row.sourceLine, row.name,
+    row.containerName ?? null, row.memberName ?? null, row.value ?? null,
+    row.constantKind, row.exported ? 1 : 0, row.stable ? 1 : 0,
+    row.resolutionStatus, row.unresolvedReason ?? null,
+    row.declarationStartOffset, row.declarationEndOffset,
+    row.valueStartOffset, row.valueEndOffset,
+  );
+}
 export function insertRequires(
   db: Db,
   repoId: number,
@@ -505,4 +531,4 @@ export function insertExecutableSymbols(db: Db, repoId: number, rows: Executable
   const stmt = db.prepare('INSERT INTO symbols(repo_id,file_id,kind,name,qualified_name,exported,start_line,end_line,start_offset,end_offset,source_file,exported_name,evidence_json) VALUES(?,(SELECT id FROM files WHERE repo_id=? AND relative_path=?),?,?,?,?,?,?,?,?,?,?,?)');
   for (const r of rows) stmt.run(repoId, repoId, r.sourceFile, r.kind, r.localName, r.qualifiedName, r.exported ? 1 : 0, r.startLine, r.endLine, r.startOffset, r.endOffset, r.sourceFile, r.exportedName, r.importExportEvidence ? JSON.stringify(r.importExportEvidence) : null);
 }
-export { insertCalls, insertSymbolCalls } from './000-call-fact-repository.js';
+export { insertCalls, insertSymbolCalls } from './call-fact-repository.js';

package/src/db/{005-schema-structure.ts → schema-structure.ts}

@@ -12,7 +12,8 @@ const requiredColumns = {
   repositories: [
     'id', 'workspace_id', 'name', 'absolute_path', 'relative_path',
     'package_name', 'package_version', 'dependencies_json',
-    'package_public_surface_json', 'kind', 'is_git_repo', 'last_indexed_at',
+    'package_public_surface_json', 'environment_declarations_json',
+    'kind', 'is_git_repo', 'last_indexed_at',
     'index_status', 'error_count', 'fingerprint', 'fact_generation',
     'graph_generation', 'graph_stale_reason', 'graph_stale_at',
     'fact_analyzer_version',
@@ -66,6 +67,7 @@ const requiredColumns = {
   outbound_calls: [
     'id', 'repo_id', 'source_symbol_id', 'service_binding_id', 'call_type',
     'method', 'operation_path_expr', 'query_entity', 'event_name_expr',
+    'event_skeleton_signature', 'event_skeleton_json',
     'payload_summary', 'source_file', 'source_line',
     'call_site_start_offset', 'call_site_end_offset', 'evidence_json',
     'confidence', 'unresolved_reason', 'local_service_name',
@@ -79,6 +81,13 @@ const requiredColumns = {
     'call_site_end_offset', 'call_role', 'status', 'evidence_json',
     'confidence', 'unresolved_reason',
   ],
+  generated_constants: [
+    'id', 'repo_id', 'source_file', 'source_line', 'name',
+    'container_name', 'member_name', 'value', 'constant_kind', 'exported',
+    'stable', 'resolution_status', 'unresolved_reason',
+    'declaration_start_offset', 'declaration_end_offset',
+    'value_start_offset', 'value_end_offset',
+  ],
   graph_edges: [
     'id', 'workspace_id', 'edge_type', 'status', 'from_kind', 'from_id',
     'to_kind', 'to_id', 'confidence', 'evidence_json', 'is_dynamic',
@@ -167,6 +176,33 @@ function bindingIndexInvalid(
     && metadata?.unique === unique && metadata.partial === partial ? 0 : 1;
 }
 
+function tableIndexInvalid(
+  db: Db,
+  table: string,
+  name: string,
+  columns: readonly string[],
+  unique: number,
+): number {
+  const metadata = db.prepare(`PRAGMA index_list(${table})`)
+    .all().find((item) => item.name === name);
+  return metadata?.unique === unique
+    && indexColumns(db, name).join('\0') === columns.join('\0') ? 0 : 1;
+}
+
+function eventSurfaceIndexesInvalid(db: Db): number {
+  return tableIndexInvalid(
+    db, 'outbound_calls', 'idx_outbound_event_skeleton',
+    ['event_skeleton_signature', 'call_type', 'repo_id'], 0,
+  ) + tableIndexInvalid(
+    db, 'generated_constants', 'idx_generated_constant_name',
+    ['repo_id', 'source_file', 'name'], 0,
+  ) + tableIndexInvalid(
+    db, 'generated_constants', 'uq_generated_constant_site',
+    ['repo_id', 'source_file', 'name', 'declaration_start_offset',
+      'declaration_end_offset'], 1,
+  );
+}
+
 function exactBindingIndexInvalid(db: Db): number {
   const row = db.prepare(`SELECT sql FROM sqlite_master
     WHERE type='index' AND name='uq_service_binding_exact_site'`).get();
@@ -197,5 +233,9 @@ export function invalidSchemaStructureCategories(
       exactBindingIndexInvalid(db)
         + bindingIndexInvalid(db, 'idx_service_binding_site', 0, 0),
     ),
+    ...category(
+      'schema_event_surface_index_invalid',
+      eventSurfaceIndexesInvalid(db),
+    ),
   ];
 }

package/src/db/schema.ts

@@ -1,6 +1,6 @@
 export const schemaTablesSql = `
 CREATE TABLE IF NOT EXISTS workspaces (id INTEGER PRIMARY KEY, root_path TEXT UNIQUE NOT NULL, db_path TEXT NOT NULL, created_at TEXT NOT NULL, updated_at TEXT NOT NULL);
-CREATE TABLE IF NOT EXISTS repositories (id INTEGER PRIMARY KEY, workspace_id INTEGER NOT NULL, name TEXT NOT NULL, absolute_path TEXT NOT NULL, relative_path TEXT NOT NULL, package_name TEXT, package_version TEXT, dependencies_json TEXT DEFAULT '{}', package_public_surface_json TEXT, kind TEXT NOT NULL, is_git_repo INTEGER NOT NULL, last_indexed_at TEXT, index_status TEXT DEFAULT 'pending', error_count INTEGER DEFAULT 0, fingerprint TEXT, fact_generation INTEGER NOT NULL DEFAULT 0, graph_generation INTEGER NOT NULL DEFAULT 0, graph_stale_reason TEXT, graph_stale_at TEXT, fact_analyzer_version TEXT, UNIQUE(workspace_id, absolute_path), FOREIGN KEY(workspace_id) REFERENCES workspaces(id) ON DELETE CASCADE);
+CREATE TABLE IF NOT EXISTS repositories (id INTEGER PRIMARY KEY, workspace_id INTEGER NOT NULL, name TEXT NOT NULL, absolute_path TEXT NOT NULL, relative_path TEXT NOT NULL, package_name TEXT, package_version TEXT, dependencies_json TEXT DEFAULT '{}', package_public_surface_json TEXT, environment_declarations_json TEXT DEFAULT '{"schema":"service-flow/environment-declarations@1","status":"not_applicable","reason":null,"recordCap":32,"total":0,"shown":0,"omitted":0,"declarations":[]}', kind TEXT NOT NULL, is_git_repo INTEGER NOT NULL, last_indexed_at TEXT, index_status TEXT DEFAULT 'pending', error_count INTEGER DEFAULT 0, fingerprint TEXT, fact_generation INTEGER NOT NULL DEFAULT 0, graph_generation INTEGER NOT NULL DEFAULT 0, graph_stale_reason TEXT, graph_stale_at TEXT, fact_analyzer_version TEXT, UNIQUE(workspace_id, absolute_path), FOREIGN KEY(workspace_id) REFERENCES workspaces(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS files (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, relative_path TEXT NOT NULL, extension TEXT NOT NULL, sha256 TEXT NOT NULL, size_bytes INTEGER NOT NULL, last_indexed_at TEXT NOT NULL, UNIQUE(repo_id, relative_path), FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS cds_requires (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, alias TEXT NOT NULL, kind TEXT, model TEXT, destination TEXT, service_path TEXT, request_timeout INTEGER, raw_json TEXT NOT NULL, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS cds_services (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, namespace TEXT, service_name TEXT NOT NULL, qualified_name TEXT NOT NULL, service_path TEXT NOT NULL, is_extend INTEGER NOT NULL, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, extension_local_ref TEXT, extension_imported_symbol TEXT, extension_local_alias TEXT, extension_module_specifier TEXT, extension_import_kind TEXT, extension_base_service_id INTEGER, extension_base_status TEXT, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(extension_base_service_id) REFERENCES cds_services(id) ON DELETE SET NULL);
@@ -10,7 +10,8 @@ CREATE TABLE IF NOT EXISTS handler_classes (id INTEGER PRIMARY KEY, repo_id INTE
 CREATE TABLE IF NOT EXISTS handler_methods (id INTEGER PRIMARY KEY, handler_class_id INTEGER NOT NULL, method_name TEXT NOT NULL, decorator_kind TEXT NOT NULL, decorator_value TEXT, decorator_raw_expression TEXT NOT NULL, decorator_resolution_json TEXT NOT NULL DEFAULT '{}', source_file TEXT NOT NULL, source_line INTEGER NOT NULL, FOREIGN KEY(handler_class_id) REFERENCES handler_classes(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS handler_registrations (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, handler_class_id INTEGER, class_name TEXT, import_source TEXT, registration_file TEXT NOT NULL, registration_line INTEGER NOT NULL, registration_kind TEXT NOT NULL, confidence REAL NOT NULL, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(handler_class_id) REFERENCES handler_classes(id) ON DELETE SET NULL);
 CREATE TABLE IF NOT EXISTS service_bindings (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, symbol_id INTEGER, variable_name TEXT NOT NULL, alias TEXT, alias_expr TEXT, destination_expr TEXT, service_path_expr TEXT, is_dynamic INTEGER NOT NULL, placeholders_json TEXT NOT NULL, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, binding_site_start_offset INTEGER, binding_site_end_offset INTEGER, owner_resolution TEXT NOT NULL DEFAULT 'legacy_unknown' CHECK(owner_resolution IN ('owned_exact','ownerless_file_scope','legacy_unknown')), helper_chain_json TEXT, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(symbol_id) REFERENCES symbols(id) ON DELETE SET NULL);
-CREATE TABLE IF NOT EXISTS outbound_calls (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, source_symbol_id INTEGER, call_type TEXT NOT NULL, service_binding_id INTEGER, method TEXT, operation_path_expr TEXT, query_entity TEXT, event_name_expr TEXT, payload_summary TEXT, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, call_site_start_offset INTEGER, call_site_end_offset INTEGER, confidence REAL NOT NULL, unresolved_reason TEXT, local_service_name TEXT, local_service_lookup TEXT, alias_chain_json TEXT, evidence_json TEXT, external_target_kind TEXT, external_target_id TEXT, external_target_label TEXT, external_target_dynamic INTEGER NOT NULL DEFAULT 0, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(source_symbol_id) REFERENCES symbols(id) ON DELETE SET NULL, FOREIGN KEY(service_binding_id) REFERENCES service_bindings(id) ON DELETE SET NULL);
+CREATE TABLE IF NOT EXISTS outbound_calls (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, source_symbol_id INTEGER, call_type TEXT NOT NULL, service_binding_id INTEGER, method TEXT, operation_path_expr TEXT, query_entity TEXT, event_name_expr TEXT, event_skeleton_signature TEXT, event_skeleton_json TEXT, payload_summary TEXT, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, call_site_start_offset INTEGER, call_site_end_offset INTEGER, confidence REAL NOT NULL, unresolved_reason TEXT, local_service_name TEXT, local_service_lookup TEXT, alias_chain_json TEXT, evidence_json TEXT, external_target_kind TEXT, external_target_id TEXT, external_target_label TEXT, external_target_dynamic INTEGER NOT NULL DEFAULT 0, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(source_symbol_id) REFERENCES symbols(id) ON DELETE SET NULL, FOREIGN KEY(service_binding_id) REFERENCES service_bindings(id) ON DELETE SET NULL);
+CREATE TABLE IF NOT EXISTS generated_constants (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, name TEXT NOT NULL, container_name TEXT, member_name TEXT, value TEXT, constant_kind TEXT NOT NULL, exported INTEGER NOT NULL, stable INTEGER NOT NULL, resolution_status TEXT NOT NULL CHECK(resolution_status IN ('resolved','refused')), unresolved_reason TEXT, declaration_start_offset INTEGER NOT NULL, declaration_end_offset INTEGER NOT NULL, value_start_offset INTEGER NOT NULL, value_end_offset INTEGER NOT NULL, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS symbol_calls (id INTEGER PRIMARY KEY, repo_id INTEGER NOT NULL, caller_symbol_id INTEGER NOT NULL, callee_symbol_id INTEGER, callee_expression TEXT NOT NULL, import_source TEXT, source_file TEXT NOT NULL, source_line INTEGER NOT NULL, call_site_start_offset INTEGER, call_site_end_offset INTEGER, call_role TEXT NOT NULL DEFAULT 'legacy_unknown', status TEXT NOT NULL, confidence REAL NOT NULL, evidence_json TEXT NOT NULL, unresolved_reason TEXT, FOREIGN KEY(repo_id) REFERENCES repositories(id) ON DELETE CASCADE, FOREIGN KEY(caller_symbol_id) REFERENCES symbols(id) ON DELETE CASCADE, FOREIGN KEY(callee_symbol_id) REFERENCES symbols(id) ON DELETE SET NULL);
 CREATE TABLE IF NOT EXISTS graph_edges (id INTEGER PRIMARY KEY, workspace_id INTEGER NOT NULL, edge_type TEXT NOT NULL, status TEXT NOT NULL DEFAULT 'unresolved', from_kind TEXT NOT NULL, from_id TEXT NOT NULL, to_kind TEXT NOT NULL, to_id TEXT NOT NULL, confidence REAL NOT NULL, evidence_json TEXT NOT NULL, is_dynamic INTEGER NOT NULL, unresolved_reason TEXT, generation INTEGER NOT NULL DEFAULT 0, FOREIGN KEY(workspace_id) REFERENCES workspaces(id) ON DELETE CASCADE);
 CREATE TABLE IF NOT EXISTS index_runs (id INTEGER PRIMARY KEY, workspace_id INTEGER NOT NULL, started_at TEXT NOT NULL, finished_at TEXT, status TEXT NOT NULL, repo_count INTEGER NOT NULL, file_count INTEGER NOT NULL, diagnostic_count INTEGER NOT NULL, error_message TEXT, owner_pid INTEGER, FOREIGN KEY(workspace_id) REFERENCES workspaces(id) ON DELETE CASCADE);
@@ -24,6 +25,9 @@ CREATE INDEX IF NOT EXISTS idx_extension_import ON cds_services(extension_module
 CREATE INDEX IF NOT EXISTS idx_operation_name ON cds_operations(operation_name, operation_path);
 CREATE INDEX IF NOT EXISTS idx_operation_base ON cds_operations(base_operation_id);
 CREATE INDEX IF NOT EXISTS idx_calls_repo ON outbound_calls(repo_id, call_type);
+CREATE INDEX IF NOT EXISTS idx_outbound_event_skeleton ON outbound_calls(event_skeleton_signature,call_type,repo_id);
+CREATE INDEX IF NOT EXISTS idx_generated_constant_name ON generated_constants(repo_id,source_file,name);
+CREATE UNIQUE INDEX IF NOT EXISTS uq_generated_constant_site ON generated_constants(repo_id,source_file,name,declaration_start_offset,declaration_end_offset);
 CREATE INDEX IF NOT EXISTS idx_symbol_calls_caller ON symbol_calls(repo_id, caller_symbol_id);
 CREATE INDEX IF NOT EXISTS idx_outbound_call_site ON outbound_calls(repo_id, source_file, call_site_start_offset, call_site_end_offset, call_type);
 CREATE INDEX IF NOT EXISTS idx_symbol_call_site_role ON symbol_calls(repo_id, source_file, call_site_start_offset, call_site_end_offset, call_role);

package/src/db/{011-symbol-call-semantics.ts → symbol-call-semantics.ts}

@@ -1,6 +1,6 @@
 import type { SymbolCallFact } from '../types.js';
 import { ANALYZER_VERSION } from '../version.js';
-import { resolveSymbolCallTarget } from './000-call-fact-repository.js';
+import { resolveSymbolCallTarget } from './call-fact-repository.js';
 import type { Db } from './connection.js';
 
 export interface SymbolFactCategoryCount {

package/src/index.ts

@@ -13,8 +13,8 @@ export { trace } from './trace/trace-engine.js';
 export {
   compactTrace,
   traceAndCompact,
-} from './trace/018-compact-trace.js';
-export type { CompactTraceExecution } from './trace/018-compact-trace.js';
+} from './trace/compact-trace.js';
+export type { CompactTraceExecution } from './trace/compact-trace.js';
 export type {
   CompactDecisionV1,
   CompactDiagnosticDetailsV1,
@@ -31,7 +31,7 @@ export type {
   CompactStartV1,
   CompactStatus,
   CompactStatusCountsV1,
-} from './trace/014-compact-contract.js';
+} from './trace/compact-contract.js';
 export { parseImplementationHint } from './trace/implementation-hints.js';
 export type { DynamicMode, ImplementationHint, TraceOptions } from './types.js';
 export { redactValue, redactText } from './utils/redaction.js';

package/src/indexer/repository-indexer.ts

@@ -7,6 +7,7 @@ import {
   insertCalls,
   insertExecutableSymbols,
   insertHandler,
+  insertGeneratedConstants,
   handlerMethodIsExecutable,
   insertRegistrations,
   insertSymbolCalls,
@@ -23,18 +24,21 @@ import {
   parseOutboundCalls,
 } from '../parsers/outbound-call-parser.js';
 import { parseExecutableSymbols } from '../parsers/symbol-parser.js';
+import {
+  generatedConstantFacts,
+} from '../parsers/generated-constants-parser.js';
 import {
   loadPackageJsonSnapshot,
 } from '../parsers/package-json-parser.js';
 import { parseServiceBindings } from '../parsers/service-binding-parser.js';
-import { reconcileSourceFacts } from '../parsers/007-source-fact-reconciliation.js';
+import { reconcileSourceFacts } from '../parsers/source-fact-reconciliation.js';
 import {
   analyzeRepositoryPackageSurface,
   mergePackageSymbolEvidence,
-} from '../parsers/008-package-surface-publication.js';
+} from '../parsers/package-surface-publication.js';
 import type {
   PackagePublicSurfaceFact,
-} from '../parsers/003-package-public-surface.js';
+} from '../parsers/package-public-surface.js';
 import { normalizePath } from '../utils/path-utils.js';
 import { errorMessage } from '../utils/diagnostics.js';
 import { sha256Text } from '../utils/hashing.js';
@@ -44,17 +48,29 @@ import {
   finalizePackageTargetInvalidations,
   invalidatePackageTargetFacts,
   type PackageInvalidationBatch,
-} from '../db/004-package-target-invalidation.js';
+} from '../db/package-target-invalidation.js';
 import {
   isPreparedRepositorySnapshotError,
   recordPreparedSnapshotFailure,
-} from '../db/013-index-publication-failure.js';
+} from '../db/index-publication-failure.js';
 import {
   loadRepositorySourceContext,
   type RepositorySourceContext,
   type SourceContextInstrumentation,
 } from '../parsers/ts-project.js';
-import type { CdsServiceFact, HandlerClassFact, HandlerRegistrationFact, OutboundCallFact, PackageFacts, ServiceBindingFact, ExecutableSymbolFact, SymbolCallFact } from '../types.js';
+import {
+  createImportedEventNameResolver,
+} from '../parsers/event-name-import-resolution.js';
+import {
+  collectEnvironmentDeclarations,
+  type EnvironmentDeclarationsFact,
+} from '../parsers/environment-declarations.js';
+import {
+  createEventEnvironmentReferenceResolver,
+} from '../parsers/event-environment-reference.js';
+import { invalidateEventSurfaceFacts } from
+  '../db/event-surface-invalidation.js';
+import type { CdsServiceFact, GeneratedConstantFact, HandlerClassFact, HandlerRegistrationFact, OutboundCallFact, PackageFacts, ServiceBindingFact, ExecutableSymbolFact, SymbolCallFact } from '../types.js';
 export interface IndexRepoResult {
   fileCount: number;
   diagnosticCount: number;
@@ -68,6 +84,7 @@ interface ParsedFacts {
   calls: OutboundCallFact[];
   symbols: ExecutableSymbolFact[];
   symbolCalls: SymbolCallFact[];
+  generatedConstants: GeneratedConstantFact[];
   fileRecords: Array<{ relativePath: string; extension: string; sha256: string; sizeBytes: number }>;
 }
 export interface PreparedRepositoryIndex extends IndexRepoResult {
@@ -77,6 +94,7 @@ export interface PreparedRepositoryIndex extends IndexRepoResult {
   kind?: string;
   parsed?: ParsedFacts;
   packagePublicSurface?: PackagePublicSurfaceFact;
+  environmentDeclarations?: EnvironmentDeclarationsFact;
 }
 export async function indexRepository(
   db: Db,
@@ -139,6 +157,7 @@ export async function prepareRepositoryIndex(
     kind: await classifyRepository(repo.absolute_path, packageFacts),
     parsed,
     packagePublicSurface: packageSurface.surface,
+    environmentDeclarations: collectEnvironmentDeclarations(sources),
     fileCount: sourceFiles.length,
     diagnosticCount: parsed.handlers.filter((handler) =>
       handler.hasHandlerDecorator
@@ -154,20 +173,27 @@ export function publishPreparedRepositoryIndex(
 ): void {
   if (prepared.skipped) return;
   if (!prepared.packageFacts || !prepared.parsed || !prepared.fingerprint
-    || !prepared.kind || !prepared.packagePublicSurface)
+    || !prepared.kind || !prepared.packagePublicSurface
+    || !prepared.environmentDeclarations)
     throw new Error('Prepared repository index is missing publication facts');
   const now = new Date().toISOString();
   const repoId = prepared.repo.id;
+  const environmentJson = JSON.stringify(prepared.environmentDeclarations);
   invalidatePackageTargetFacts(
     db, repoId, prepared.packageFacts.packageName, invalidations,
   );
+  invalidateEventSurfaceFacts(
+    db, repoId, prepared.parsed.calls, environmentJson,
+  );
   db.prepare(`UPDATE repositories SET package_name=?, package_version=?,
-    dependencies_json=?,package_public_surface_json=?,kind=?,index_status=?
+    dependencies_json=?,package_public_surface_json=?,
+    environment_declarations_json=?,kind=?,index_status=?
     WHERE id=?`).run(
     prepared.packageFacts.packageName,
     prepared.packageFacts.packageVersion,
     JSON.stringify(prepared.packageFacts.dependencies),
     JSON.stringify(prepared.packagePublicSurface),
+    environmentJson,
     prepared.kind,
     'indexing',
     repoId,
@@ -183,6 +209,7 @@ export function publishPreparedRepositoryIndex(
   insertRegistrations(db, repoId, prepared.parsed.registrations);
   insertBindings(db, repoId, prepared.parsed.bindings);
   insertCalls(db, repoId, prepared.parsed.calls);
+  insertGeneratedConstants(db, repoId, prepared.parsed.generatedConstants);
   db.prepare("UPDATE repositories SET last_indexed_at=?, index_status='indexed', error_count=0, fingerprint=?, fact_generation=COALESCE(fact_generation,0)+1, graph_stale_reason='facts_changed', graph_stale_at=?, fact_analyzer_version=? WHERE id=?").run(now, prepared.fingerprint, now, ANALYZER_VERSION, repoId);
 }
 
@@ -243,14 +270,21 @@ async function parseAllSourceFacts(
   root: string,
   sources: RepositorySourceContext,
 ): Promise<ParsedFacts> {
-  const facts: ParsedFacts = { services: [], handlers: [], registrations: [], bindings: [], calls: [], symbols: [], symbolCalls: [], fileRecords: [] };
+  const facts: ParsedFacts = { services: [], handlers: [], registrations: [], bindings: [], calls: [], symbols: [], symbolCalls: [], generatedConstants: [], fileRecords: [] };
   for (const snapshot of sources.entries()) {
     const file = snapshot.filePath;
     facts.fileRecords.push({ relativePath: normalizePath(file), extension: path.extname(file), sha256: sha256Text(snapshot.text), sizeBytes: snapshot.sizeBytes });
     if (file.endsWith('.cds')) facts.services.push(...(await parseCdsFile(root, file, sources)));
     if (/\.[jt]s$/.test(file)) {
       const source = snapshot.sourceFile();
-      const classified = classifyOutboundCallsInSource(source, file);
+      facts.generatedConstants.push(...generatedConstantFacts(source, file));
+      const classified = classifyOutboundCallsInSource(source, file, {
+        importedEventNameResolver: createImportedEventNameResolver(
+          sources, source, file,
+        ),
+        eventEnvironmentReferenceResolver:
+          createEventEnvironmentReferenceResolver(sources, source, file),
+      });
       facts.handlers.push(...(await parseDecorators(root, file, sources)));
       facts.registrations.push(...(await parseHandlerRegistrations(root, file, sources)));
       const bindings = await parseServiceBindings(root, file, sources);
@@ -280,12 +314,17 @@ async function findSourceFiles(root: string): Promise<string[]> {
       const rel = prefix ? `${prefix}/${e.name}` : e.name;
       if (e.isDirectory()) {
         if (!['node_modules', 'dist', 'gen', 'coverage', '.git'].includes(e.name)) await walk(path.join(dir, e.name), rel);
-      } else if (/\.(cds|ts|js)$/.test(e.name) && !isDefaultTestFile(rel)) out.push(rel);
+      } else if (isRepositoryFactInput(e.name)
+        && !isDefaultTestFile(rel)) out.push(rel);
     }
   }
   await walk(root);
   return out.sort();
 }
+function isRepositoryFactInput(name: string): boolean {
+  return /\.(cds|ts|js)$/.test(name)
+    || ['nodemon.json', '.env', 'mta.yaml', 'manifest.yml'].includes(name);
+}
 function isDefaultTestFile(relativeFile: string): boolean {
   const parts = relativeFile.split('/');
   if (parts.some((part) => ['test', 'tests', '__tests__'].includes(part))) return true;

package/src/indexer/workspace-indexer.ts

@@ -13,11 +13,11 @@ import {
   finalizePackageTargetInvalidations,
   mergePackageInvalidationEffects,
   type PackageInvalidationBatch,
-} from '../db/004-package-target-invalidation.js';
+} from '../db/package-target-invalidation.js';
 import {
   isPreparedRepositorySnapshotError,
-} from '../db/013-index-publication-failure.js';
-import { binaryCompare } from '../parsers/004-fact-identity.js';
+} from '../db/index-publication-failure.js';
+import { binaryCompare } from '../parsers/fact-identity.js';
 // Ownerless rows predate PID coordination; this matches doctor's stale-run threshold without taking over a recent legacy writer.
 const LEGACY_OWNER_RECOVERY_MS = 60 * 60 * 1_000;
 type RunningIndexRow = Record<string, unknown>;

package/src/linker/{007-call-edge-insertion.ts → call-edge-insertion.ts}

@@ -4,9 +4,9 @@ import {
   linkedCallEvidence,
   objectJson,
   objectValue,
-} from './002-call-evidence.js';
+} from './call-evidence.js';
 import { applyVariables } from './dynamic-edge-resolver.js';
-import { insertEventCallEdge } from './006-event-template-link.js';
+import { insertEventCallEdge } from './event-template-link.js';
 import { externalHttpTarget } from './external-http-target.js';
 import {
   classifyODataPathIntent,

package/src/linker/{002-call-evidence.ts → call-evidence.ts}

@@ -6,8 +6,8 @@ import {
   boundCandidateLikeEvidence,
   projectBounded,
   type BoundedProjection,
-} from '../utils/000-bounded-projection.js';
-import { extractPlaceholderKeys } from '../utils/001-placeholders.js';
+} from '../utils/bounded-projection.js';
+import { extractPlaceholderKeys } from '../utils/placeholders.js';
 
 export interface LinkedOperationResolution {
   target?: {