@shapeshift-labs/frontier-lang-compiler 0.2.70 → 0.2.71

package/dist/internal/index-impl/createLightweightNativeImport.js

@@ -140,14 +140,18 @@ export function createLightweightNativeImport(input) {
       kind: 'import',
       status: 'passed',
       path: input.sourcePath,
-      summary: `Lightweight declaration scan found ${symbols.length} symbol(s) and ${dependencies.summary.total} dependency edge(s).`,
-      metadata: { parser, dependencyRelations: dependencies.summary.total }
+      summary: `Lightweight declaration scan found ${symbols.length} symbol(s), ${dependencies.summary.total} dependency edge(s), and ${dependencies.summary.controlFlow + dependencies.summary.effects + dependencies.summary.mutations} semantic fact(s).`,
+      metadata: { parser, dependencyRelations: dependencies.summary.total, semanticFacts: {
+        controlFlow: dependencies.summary.controlFlow,
+        effects: dependencies.summary.effects,
+        mutations: dependencies.summary.mutations
+      } }
     }],
     metadata: {
       parser,
       coverage: 'declarations-only',
       dependencyRelations: dependencies.summary,
-      unsupported: ['full expression AST', 'type checking', 'control flow', 'comments and formatting preservation']
+      unsupported: ['full expression AST', 'type checking', 'full control-flow graph', 'comments and formatting preservation']
     }
   });
 
@@ -164,6 +168,12 @@ export function createLightweightNativeImport(input) {
       declarationCount: declarations.length,
       dependencyRelationCount: dependencies.summary.total,
       dependencyOccurrenceCount: dependencies.occurrences.length,
+      semanticFactCount: dependencies.summary.controlFlow + dependencies.summary.effects + dependencies.summary.mutations,
+      semanticFactSummary: {
+        controlFlow: dependencies.summary.controlFlow,
+        effects: dependencies.summary.effects,
+        mutations: dependencies.summary.mutations
+      },
       ...(input.sourcePreservation ? {
         sourcePreservationId: input.sourcePreservation.id,
         sourcePreservationSummary: input.sourcePreservation.summary

package/dist/internal/index-impl/observeNativeImporterSemanticEvidence.js

@@ -11,6 +11,7 @@ export function observeNativeImporterSemanticEvidence(semanticIndex = {}) {
     ...relations.filter((relation) => semanticPredicateMatches(relation?.predicate, ['controlflow', 'cfg', 'flow'])),
     ...facts.filter((fact) => semanticPredicateMatches(fact?.predicate, ['controlflow', 'cfg', 'flow']))
   ];
+  const effectRecords = facts.filter((fact) => semanticPredicateMatches(fact?.predicate, ['effect', 'mutation', 'sideeffect']));
   return {
     declarations: occurrences.filter((occurrence) => occurrence?.role === 'definition' || occurrence?.role === 'declaration').length,
     references: occurrences.filter((occurrence) => {
@@ -18,6 +19,7 @@ export function observeNativeImporterSemanticEvidence(semanticIndex = {}) {
       return role && role !== 'definition' && role !== 'declaration';
     }).length + referenceRelations.length,
     types: typeFacts.length + typedSymbols.length,
-    controlFlow: controlFlowRecords.length
+    controlFlow: controlFlowRecords.length,
+    effects: effectRecords.length
   };
 }

package/dist/lightweight-dependency-relations.js

@@ -24,7 +24,10 @@ export function lightweightDependencyRelations(input, declarations, documentId)
     summary: {
       total: records.relations.length,
       calls: records.relations.filter((relation) => relation.predicate === 'calls').length,
-      uses: records.relations.filter((relation) => relation.predicate === 'uses').length
+      uses: records.relations.filter((relation) => relation.predicate === 'uses').length,
+      controlFlow: records.facts.filter((fact) => fact.predicate === 'controlFlow').length,
+      effects: records.facts.filter((fact) => fact.predicate === 'effect').length,
+      mutations: records.facts.filter((fact) => fact.predicate === 'mutation').length
     }
   };
 }
@@ -67,6 +70,7 @@ function scanDeclarationDependencies(input, documentId, scan, identifiers, lines
   const state = { inBlockComment: false };
   for (let lineNumber = scan.startLine; lineNumber <= scan.endLine; lineNumber += 1) {
     const scanLine = maskDependencyLine(input, lines[lineNumber - 1]?.line ?? '', state);
+    addLightweightSemanticFacts(input, documentId, scan.declaration, scanLine, lineNumber, records);
     for (const match of scanLine.matchAll(/[A-Za-z_$][\w$]*/g)) {
       const name = match[0];
       if (!isDependencyIdentifier(name) || !identifiers.has(name)) continue;
@@ -83,6 +87,68 @@ function scanDeclarationDependencies(input, documentId, scan, identifiers, lines
   }
 }
 
+function addLightweightSemanticFacts(input, documentId, declaration, line, lineNumber, records) {
+  const text = String(line ?? '').trim();
+  if (!text) return;
+  for (const item of lightweightControlFlowKinds(text)) {
+    addFactRecord(input, documentId, declaration, 'controlFlow', item, lineNumber, records);
+  }
+  for (const item of lightweightEffectKinds(text)) {
+    addFactRecord(input, documentId, declaration, 'effect', item, lineNumber, records);
+  }
+  for (const item of lightweightMutationKinds(text)) {
+    addFactRecord(input, documentId, declaration, 'mutation', item, lineNumber, records);
+  }
+}
+
+function lightweightControlFlowKinds(line) {
+  const kinds = [];
+  if (/\b(if|else|switch|case|default)\b/.test(line)) kinds.push('branch');
+  if (/\b(for|while|do)\b/.test(line)) kinds.push('loop');
+  if (/\b(return|yield)\b/.test(line)) kinds.push('exit');
+  if (/\b(throw|catch|finally|try)\b/.test(line)) kinds.push('exception');
+  if (/\b(await|async)\b/.test(line)) kinds.push('async');
+  return kinds;
+}
+
+function lightweightEffectKinds(line) {
+  const kinds = [];
+  if (/\bawait\b|import\s*\(/.test(line)) kinds.push('async');
+  if (/\b(fetch|XMLHttpRequest|WebSocket|EventSource)\s*\(/.test(line)) kinds.push('network');
+  if (/\b(localStorage|sessionStorage|indexedDB|caches|cookie)\b/.test(line)) kinds.push('storage');
+  if (/\b(setTimeout|setInterval|requestAnimationFrame|queueMicrotask)\s*\(/.test(line)) kinds.push('scheduler');
+  if (/\b(console|process|Deno|Bun)\s*\./.test(line)) kinds.push('host');
+  if (/\b(document|window|navigator|location|history)\s*\./.test(line)) kinds.push('browser');
+  return kinds;
+}
+
+function lightweightMutationKinds(line) {
+  const kinds = [];
+  if (/\bdelete\s+[A-Za-z_$][\w$.[\]]*/.test(line)) kinds.push('delete');
+  if (/(?:^|[^=!<>])=(?!=|>)/.test(line)) kinds.push('assignment');
+  if (/\+\+|--|(?:\+=|-=|\*=|\/=|%=|\|\|=|&&=|\?\?=)/.test(line)) kinds.push('update');
+  if (/\.(?:push|pop|shift|unshift|splice|sort|reverse|set|add|delete|clear)\s*\(/.test(line)) kinds.push('mutating-call');
+  return kinds;
+}
+
+function addFactRecord(input, documentId, declaration, predicate, factKind, lineNumber, records) {
+  const key = `${declaration.symbolId}|${predicate}|${factKind}|${lineNumber}`;
+  if (records.seen.has(key)) return;
+  records.seen.add(key);
+  records.facts.push({
+    id: `fact_${idFragment(declaration.symbolId)}_${predicate}_${idFragment(factKind)}_${lineNumber}`,
+    predicate,
+    subjectId: declaration.symbolId,
+    value: {
+      kind: factKind,
+      line: lineNumber,
+      sourcePath: input.sourcePath,
+      documentId,
+      confidence: 'lexical-source-scan'
+    }
+  });
+}
+
 function addDependencyRecord(input, documentId, caller, target, occurrence, records) {
   const predicate = isCallReference(occurrence.line, occurrence.startColumn + occurrence.name.length - 1) ? 'calls' : 'uses';
   const key = `${caller.symbolId}|${predicate}|${target.symbolId}|${occurrence.lineNumber}|${occurrence.startColumn}`;

package/dist/semantic-import-sidecar-entry.js

@@ -11,6 +11,7 @@ import {
 function semanticImportSidecarEntry(imported, index, options) {
   const semanticIndex = imported?.semanticIndex ?? imported?.universalAst?.semanticIndex;
   const nativeAst = imported?.nativeAst ?? imported?.nativeSource?.ast;
+  const semanticFacts = semanticIndex?.facts ?? [];
   const sourceMaps = imported?.sourceMaps ?? imported?.universalAst?.sourceMaps ?? [];
   const sourceMapMappings = sourceMaps.flatMap((sourceMap) => sourceMap?.mappings ?? []);
   const sourcePreservationRecords = collectKernelSourcePreservationFromImport(imported);
@@ -18,6 +19,7 @@ function semanticImportSidecarEntry(imported, index, options) {
   const proofSpec = summarizeProofSpecLayer(imported?.universalAst?.proof ?? imported?.proof);
   const paradigmSemantics = summarizeParadigmSemanticsLayer(imported?.universalAst?.paradigmSemantics ?? imported?.paradigmSemantics);
   const dependencies = summarizeSemanticImportDependencyRelations(semanticIndex?.relations ?? []);
+  const factSummary = summarizeSemanticFacts(semanticFacts);
   const readiness = semanticImportEntryReadiness(imported);
   const mappingsBySymbolId = new Map();
   for (const mapping of sourceMapMappings) {
@@ -72,6 +74,9 @@ function semanticImportSidecarEntry(imported, index, options) {
     paradigmSemantics,
     dependencyRelationCount: dependencies.total,
     dependencyPredicates: dependencies.predicates,
+    semanticFactCount: semanticFacts.length,
+    semanticFactPredicates: factSummary.predicates,
+    semanticFactSummary: factSummary.byPredicate,
     readiness,
     emptySemanticIndex: symbols.length === 0,
     regionTaxonomy,
@@ -90,4 +95,14 @@ function semanticImportEntryReadiness(imported) {
   return readiness ?? 'needs-review';
 }
 
+function summarizeSemanticFacts(facts) {
+  const byPredicate = {};
+  for (const fact of facts ?? []) {
+    const predicate = String(fact?.predicate ?? '').trim();
+    if (!predicate) continue;
+    byPredicate[predicate] = (byPredicate[predicate] ?? 0) + 1;
+  }
+  return { byPredicate, predicates: Object.keys(byPredicate).sort() };
+}
+
 export { semanticImportSidecarEntry };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.70",
+  "version": "0.2.71",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",