@saptools/service-flow 0.1.70 → 0.1.72

package/src/db/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/indexer/repository-indexer.ts

@@ -7,6 +7,7 @@ import {
   insertCalls,
   insertExecutableSymbols,
   insertHandler,
+  insertGeneratedConstants,
   handlerMethodIsExecutable,
   insertRegistrations,
   insertSymbolCalls,
@@ -23,6 +24,9 @@ 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';
@@ -54,7 +58,19 @@ import {
   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/linker/cross-repo-linker.ts

@@ -4,7 +4,10 @@ import { linkImplementations as linkCanonicalImplementations } from './implement
 import { linkPackageImportSymbolCalls } from './package-import-symbol-resolver.js';
 import { linkEventSubscriptionHandlers } from './event-subscription-handler-linker.js';
 import { insertCallEdge } from './call-edge-insertion.js';
+import { linkEventShapeCandidates } from './event-shape-candidate-linker.js';
 import { assertWorkspaceLinkable } from '../db/fact-lifecycle.js';
+import { linkPackageEventConstants } from
+  './package-event-constant-resolver.js';
 export interface LinkWorkspaceResult {
   edgeCount: number;
   unresolvedCount: number;
@@ -23,11 +26,13 @@ export interface LinkWorkspaceResult {
   subscriptionHandlerAmbiguousCount: number;
   subscriptionHandlerUnresolvedCount: number;
   subscriptionHandlerMissingAssociationCount: number;
+  eventShapeCandidateCount: number;
 }
 export function linkWorkspace(db: Db, workspaceId: number, vars: Record<string, string> = {}): LinkWorkspaceResult {
   return db.transaction(() => {
     assertWorkspaceLinkable(db, workspaceId);
     linkPackageImportSymbolCalls(db, workspaceId);
+    linkPackageEventConstants(db, workspaceId);
     assertWorkspaceLinkable(db, workspaceId, 'terminal');
     const generation = nextGraphGeneration(db, workspaceId);
     db.prepare('DELETE FROM graph_edges WHERE workspace_id=?').run(workspaceId);
@@ -35,10 +40,13 @@ export function linkWorkspace(db: Db, workspaceId: number, vars: Record<string,
     const subscriptions = linkEventSubscriptionHandlers(
       db, workspaceId, generation, vars,
     );
+    const eventShapes = linkEventShapeCandidates(
+      db, workspaceId, generation,
+    );
     const impl = linkCanonicalImplementations(db, workspaceId, generation);
     const callSummary = linkCalls(db, workspaceId, vars, generation);
     db.prepare("UPDATE repositories SET graph_generation=?, graph_stale_reason=NULL, graph_stale_at=NULL WHERE workspace_id=?").run(generation, workspaceId);
-    return { ...callSummary, edgeCount: deps.edgeCount + callSummary.edgeCount + impl.edgeCount + subscriptions.edgeCount, dependencyResolvedCount: deps.resolvedCount, dependencyAmbiguousCount: deps.ambiguousCount, implementationResolvedCount: impl.resolvedCount, implementationAmbiguousCount: impl.ambiguousCount, implementationUnresolvedCount: impl.unresolvedCount, subscriptionHandlerResolvedCount: subscriptions.resolvedCount, subscriptionHandlerAmbiguousCount: subscriptions.ambiguousCount, subscriptionHandlerUnresolvedCount: subscriptions.unresolvedCount, subscriptionHandlerMissingAssociationCount: subscriptions.missingAssociationCount };
+    return { ...callSummary, edgeCount: deps.edgeCount + callSummary.edgeCount + impl.edgeCount + subscriptions.edgeCount + eventShapes.edgeCount, dependencyResolvedCount: deps.resolvedCount, dependencyAmbiguousCount: deps.ambiguousCount, implementationResolvedCount: impl.resolvedCount, implementationAmbiguousCount: impl.ambiguousCount, implementationUnresolvedCount: impl.unresolvedCount, subscriptionHandlerResolvedCount: subscriptions.resolvedCount, subscriptionHandlerAmbiguousCount: subscriptions.ambiguousCount, subscriptionHandlerUnresolvedCount: subscriptions.unresolvedCount, subscriptionHandlerMissingAssociationCount: subscriptions.missingAssociationCount, eventShapeCandidateCount: eventShapes.edgeCount };
   });
 }
 function nextGraphGeneration(db: Db, workspaceId: number): number {
@@ -54,7 +62,8 @@ type CallLinkSummary = Omit<LinkWorkspaceResult,
   | 'subscriptionHandlerResolvedCount'
   | 'subscriptionHandlerAmbiguousCount'
   | 'subscriptionHandlerUnresolvedCount'
-  | 'subscriptionHandlerMissingAssociationCount'>;
+  | 'subscriptionHandlerMissingAssociationCount'
+  | 'eventShapeCandidateCount'>;
 
 function linkCalls(db: Db, workspaceId: number, vars: Record<string, string>, generation: number): CallLinkSummary {
   let edgeCount = 0;
@@ -65,7 +74,20 @@ function linkCalls(db: Db, workspaceId: number, vars: Record<string, string>, ge
   let ambiguousCount = 0;
   let dynamicCount = 0;
   let terminalCount = 0;
-  const calls = db.prepare(`SELECT c.*,r.name repoName,b.id selectedBindingId,b.alias,b.alias_expr aliasExpr,b.destination_expr destinationExpr,b.service_path_expr servicePathExpr,b.is_dynamic isDynamic,b.placeholders_json placeholdersJson,b.source_file bindingSourceFile,b.source_line bindingSourceLine,b.helper_chain_json helperChainJson,req.service_path requireServicePath,req.destination requireDestination FROM outbound_calls c JOIN repositories r ON r.id=c.repo_id LEFT JOIN service_bindings b ON b.id=c.service_binding_id LEFT JOIN cds_requires req ON req.repo_id=c.repo_id AND req.alias=b.alias WHERE r.workspace_id=?`).all(workspaceId) as Array<Record<string, unknown>>;
+  const calls = db.prepare(`SELECT c.*,r.name repoName,
+    r.environment_declarations_json environmentDeclarationsJson,
+    b.id selectedBindingId,b.alias,b.alias_expr aliasExpr,
+    b.destination_expr destinationExpr,b.service_path_expr servicePathExpr,
+    b.is_dynamic isDynamic,b.placeholders_json placeholdersJson,
+    b.source_file bindingSourceFile,b.source_line bindingSourceLine,
+    b.helper_chain_json helperChainJson,req.service_path requireServicePath,
+    req.destination requireDestination
+    FROM outbound_calls c JOIN repositories r ON r.id=c.repo_id
+    LEFT JOIN service_bindings b ON b.id=c.service_binding_id
+    LEFT JOIN cds_requires req ON req.repo_id=c.repo_id AND req.alias=b.alias
+    WHERE r.workspace_id=?`).all(
+    workspaceId,
+  ) as Array<Record<string, unknown>>;
   for (const call of calls) {
     const result = insertCallEdge(db, workspaceId, call, vars, generation);
     edgeCount += 1;

package/src/linker/event-environment-link.ts

@@ -0,0 +1,211 @@
+import type { Db } from '../db/connection.js';
+import {
+  applyEventEnvironmentTransforms,
+  type EventEnvironmentReference,
+} from '../parsers/event-environment-reference.js';
+import {
+  parseEnvironmentDeclarationsFact,
+  type EnvironmentDeclarationsFact,
+} from '../parsers/environment-declarations.js';
+import {
+  eventTemplateVariables,
+  parseEventSkeletonFact,
+} from '../utils/event-skeleton.js';
+
+export interface EventEnvironmentResolution {
+  status: 'resolved' | 'ambiguous' | 'unresolved' | 'not_applicable';
+  variables: Record<string, string>;
+  reason?: string;
+  provenance: Array<Record<string, unknown>>;
+}
+
+export interface SubscriptionEnvironmentTarget {
+  consumerRepoId?: number;
+  consumerRepoName?: string;
+  resolution: EventEnvironmentResolution;
+  collisionCount: number;
+}
+
+function record(value: unknown): Record<string, unknown> | undefined {
+  return value && typeof value === 'object' && !Array.isArray(value)
+    ? value as Record<string, unknown> : undefined;
+}
+
+function parsedJson(value: unknown): unknown {
+  if (typeof value !== 'string') return value;
+  try {
+    return JSON.parse(value) as unknown;
+  } catch {
+    return undefined;
+  }
+}
+
+function bindingEnvironmentValues(
+  binding: EventEnvironmentReference,
+  fact: EnvironmentDeclarationsFact,
+): string[] {
+  if (!binding.environmentKey) return [];
+  return [...new Set(fact.declarations
+    .filter((item) => item.key === binding.environmentKey)
+    .map((item) => item.value))];
+}
+
+function bindingResolution(
+  binding: EventEnvironmentReference,
+  fact: EnvironmentDeclarationsFact,
+): { value?: string; reason?: string; ambiguous?: boolean } {
+  if (binding.status === 'refused')
+    return { reason: binding.reason ?? 'event_environment_reference_refused' };
+  if (fact.status === 'incomplete') return {
+    reason: 'event_environment_declarations_incomplete',
+  };
+  const values = bindingEnvironmentValues(binding, fact);
+  if (fact.status === 'ambiguous' || values.length > 1) return {
+    reason: 'event_environment_declaration_ambiguous', ambiguous: true,
+  };
+  const value = values[0];
+  if (value === undefined)
+    return { reason: 'event_environment_declaration_missing' };
+  return {
+    value: applyEventEnvironmentTransforms(value, binding.transforms),
+  };
+}
+
+function provenance(
+  binding: EventEnvironmentReference,
+  fact: EnvironmentDeclarationsFact,
+): Record<string, unknown> {
+  const rank = new Map([
+    ['env_declaration_mta', 0],
+    ['env_declaration_manifest', 1],
+    ['env_declaration_dotenv', 2],
+    ['env_declaration_dev', 3],
+  ]);
+  const declaration = fact.declarations.filter((item) =>
+    item.key === binding.environmentKey).sort((left, right) =>
+    (rank.get(left.provenance) ?? 99) - (rank.get(right.provenance) ?? 99)
+    || (left.sourceFile < right.sourceFile
+      ? -1 : left.sourceFile > right.sourceFile ? 1 : 0)
+    || left.startOffset - right.startOffset)[0];
+  return {
+    sourceKey: binding.sourceKey,
+    environmentKey: binding.environmentKey,
+    transforms: binding.transforms,
+    declarationProvenance: declaration?.provenance,
+    declarationSourceFile: declaration?.sourceFile,
+    declarationStartOffset: declaration?.startOffset,
+    declarationEndOffset: declaration?.endOffset,
+  };
+}
+
+export function resolveEventEnvironment(
+  skeletonValue: unknown,
+  environmentValue: unknown,
+  variables: Record<string, string>,
+): EventEnvironmentResolution {
+  const skeleton = parseEventSkeletonFact(skeletonValue);
+  if (!skeleton || skeleton.environmentBindings.length === 0) return {
+    status: 'not_applicable',
+    variables: eventTemplateVariables(skeleton, variables),
+    provenance: [],
+  };
+  const fact = parseEnvironmentDeclarationsFact(environmentValue);
+  if (!fact) return {
+    status: 'unresolved', variables,
+    reason: 'event_environment_declarations_invalid', provenance: [],
+  };
+  const expanded = eventTemplateVariables(skeleton, variables);
+  const outcomes = skeleton.environmentBindings.map((binding) =>
+    Object.hasOwn(expanded, binding.sourceKey)
+      ? {} : bindingResolution(binding, fact));
+  for (let index = 0; index < outcomes.length; index += 1) {
+    const binding = skeleton.environmentBindings[index];
+    const outcome = outcomes[index];
+    if (binding?.sourceKey && outcome?.value !== undefined
+      && !Object.hasOwn(expanded, binding.sourceKey))
+      expanded[binding.sourceKey] = outcome.value;
+  }
+  const ambiguous = outcomes.find((outcome) => outcome.ambiguous);
+  const unresolved = outcomes.find((outcome) => outcome.reason);
+  return {
+    status: ambiguous ? 'ambiguous'
+      : unresolved ? 'unresolved' : 'resolved',
+    variables: expanded,
+    reason: ambiguous?.reason ?? unresolved?.reason,
+    provenance: skeleton.environmentBindings.map((binding) =>
+      provenance(binding, fact)),
+  };
+}
+
+function dependencies(value: unknown): Record<string, string> {
+  const parsed = record(parsedJson(value));
+  if (!parsed) return {};
+  return Object.fromEntries(Object.entries(parsed).flatMap(([key, item]) =>
+    typeof item === 'string' ? [[key, item]] : []));
+}
+
+function consumerRows(
+  db: Db,
+  workspaceId: number,
+  packageName: string,
+): Array<Record<string, unknown>> {
+  return db.prepare(`SELECT id,name,dependencies_json dependenciesJson,
+    environment_declarations_json environmentJson
+    FROM repositories WHERE workspace_id=?
+    ORDER BY name COLLATE BINARY,id`).all(workspaceId)
+    .filter((row) => Object.hasOwn(
+      dependencies(row.dependenciesJson), packageName,
+    ));
+}
+
+function collisionCounts(
+  targets: readonly SubscriptionEnvironmentTarget[],
+): Map<string, number> {
+  const counts = new Map<string, number>();
+  for (const target of targets) {
+    const values = Object.entries(target.resolution.variables)
+      .sort(([left], [right]) => left < right ? -1 : left > right ? 1 : 0);
+    const key = JSON.stringify(values);
+    counts.set(key, (counts.get(key) ?? 0) + 1);
+  }
+  return counts;
+}
+
+export function subscriptionEnvironmentTargets(
+  db: Db,
+  workspaceId: number,
+  packageName: string | undefined,
+  skeletonValue: unknown,
+  ownEnvironmentValue: unknown,
+  variables: Record<string, string>,
+): SubscriptionEnvironmentTarget[] {
+  const skeleton = parseEventSkeletonFact(skeletonValue);
+  if (!skeleton || skeleton.environmentBindings.length === 0
+    || !packageName) return [{
+    resolution: resolveEventEnvironment(
+      skeletonValue, ownEnvironmentValue, variables,
+    ),
+    collisionCount: 1,
+  }];
+  const rows = consumerRows(db, workspaceId, packageName);
+  const provisional = rows.map((row): SubscriptionEnvironmentTarget => ({
+    consumerRepoId: Number(row.id),
+    consumerRepoName: String(row.name),
+    resolution: resolveEventEnvironment(
+      skeletonValue, row.environmentJson, variables,
+    ),
+    collisionCount: 1,
+  }));
+  if (provisional.length === 0) return [{
+    resolution: resolveEventEnvironment(
+      skeletonValue, ownEnvironmentValue, variables,
+    ),
+    collisionCount: 1,
+  }];
+  const counts = collisionCounts(provisional);
+  return provisional.map((target) => {
+    const key = JSON.stringify(Object.entries(target.resolution.variables)
+      .sort(([left], [right]) => left < right ? -1 : left > right ? 1 : 0));
+    return { ...target, collisionCount: counts.get(key) ?? 1 };
+  });
+}