@shapeshift-labs/frontier-lang-compiler 0.2.161 → 0.2.163

package/dist/native-source-preservation-scanner.js

@@ -57,6 +57,16 @@ function scanPreservedSourceTokens(sourceText, input) {
       push(trivia, 'whitespace', text, start);
       continue;
     }
+    if (offset === 0 && char === '#' && next === '!') {
+      let text = '';
+      while (offset < sourceText.length && sourceText[offset] !== '\n' && sourceText[offset] !== '\r') {
+        text += sourceText[offset];
+        offset += 1;
+        column += 1;
+      }
+      push(trivia, 'shebang', text, start);
+      continue;
+    }
     if (char === '/' && next === '/') {
       let text = '';
       while (offset < sourceText.length && sourceText[offset] !== '\n' && sourceText[offset] !== '\r') {

package/dist/semantic-import-runtime-dynamic-import-evidence.js

@@ -0,0 +1,141 @@
+function dynamicImportEvidenceRecords(line, start, end) {
+  const expression = String(line ?? '');
+  const records = [];
+  for (const call of dynamicImportCalls(expression)) {
+    if (!rangesOverlap(start, end, call.start, call.end) && !rangesOverlap(start, end, call.argumentStart, call.argumentEnd)) continue;
+    const specifier = normalizeOrderEvidenceText(call.argumentText);
+    const specifierKind = dynamicImportSpecifierKind(specifier, call.closed);
+    const staticSpecifier = dynamicImportStaticSpecifierEvidence(specifier, specifierKind);
+    records.push(compactRecord({
+      kind: 'dynamic-import',
+      ordinal: records.length + 1,
+      text: normalizeOrderEvidenceText(call.text),
+      specifierText: specifier,
+      specifierKind,
+      dynamicImportStaticSpecifierEvidence: staticSpecifier,
+      dynamicImportRuntimeResolutionClaim: false,
+      dynamicImportResolutionProofRequired: !staticSpecifier,
+      runtimeEquivalenceClaim: false
+    }));
+  }
+  return records;
+}
+
+function dynamicImportCalls(expression) {
+  const text = String(expression ?? '');
+  const records = [];
+  let quote;
+  let escaped = false;
+  for (let index = 0; index < text.length; index += 1) {
+    const char = text[index];
+    if (quote) {
+      if (escaped) escaped = false;
+      else if (char === '\\') escaped = true;
+      else if (char === quote) quote = undefined;
+      continue;
+    }
+    if (char === '\'' || char === '"' || char === '`') { quote = char; continue; }
+    const match = dynamicImportAt(text, index);
+    if (!match) continue;
+    records.push(match);
+    index = Math.max(index, match.end - 1);
+  }
+  return records;
+}
+
+function dynamicImportAt(text, index) {
+  if (text.slice(index, index + 6) !== 'import' || isIdentifierPart(text[index - 1]) || isIdentifierPart(text[index + 6])) return undefined;
+  let cursor = index + 6;
+  while (/\s/.test(text[cursor] ?? '')) cursor += 1;
+  if (text[cursor] !== '(') return undefined;
+  const close = matchingParenIndex(text, cursor);
+  const end = close === undefined ? statementEnd(text, cursor) : close + 1;
+  return {
+    start: index,
+    text: text.slice(index, end),
+    argumentText: firstCallArgumentText(text, cursor + 1, close ?? end),
+    argumentStart: cursor + 1,
+    argumentEnd: close ?? end,
+    end,
+    closed: close !== undefined
+  };
+}
+
+function firstCallArgumentText(text, start, end) {
+  let depth = 0;
+  let quote;
+  let escaped = false;
+  for (let index = start; index < end; index += 1) {
+    const char = text[index];
+    if (quote) {
+      if (escaped) escaped = false;
+      else if (char === '\\') escaped = true;
+      else if (char === quote) quote = undefined;
+      continue;
+    }
+    if (char === '\'' || char === '"' || char === '`') { quote = char; continue; }
+    if (char === '(' || char === '[' || char === '{') depth += 1;
+    else if (char === ')' || char === ']' || char === '}') depth = Math.max(0, depth - 1);
+    else if (char === ',' && depth === 0) return text.slice(start, index);
+  }
+  return text.slice(start, end);
+}
+
+function dynamicImportSpecifierKind(specifierText, closed) {
+  const text = String(specifierText ?? '').trim();
+  if (!closed || !text) return 'unparsed';
+  if (isStaticStringLiteral(text) || isStaticTemplateLiteral(text)) return 'literal';
+  if (text.startsWith('`')) return 'template';
+  if (/^[A-Za-z_$][\w$]*$/.test(text)) return 'identifier';
+  if (/^[A-Za-z_$][\w$]*(?:(?:\.|\?\.)[A-Za-z_$][\w$]*|\[[^\]]+\])+$/.test(text)) return 'member';
+  if (/\?/.test(text) && /:/.test(text)) return 'conditional';
+  if (/[+\-*/%]|\|\||&&|\?\?/.test(text)) return 'binary';
+  if (/\)\s*$/.test(text)) return 'call';
+  return 'expression';
+}
+
+function dynamicImportStaticSpecifierEvidence(specifierText, specifierKind) {
+  if (specifierKind !== 'literal') return false;
+  return isStaticStringLiteral(specifierText) || isStaticTemplateLiteral(specifierText);
+}
+
+function dynamicImportSignatureEvidence(record) {
+  return compactRecord({
+    specifierKind: record?.specifierKind,
+    specifierText: record?.specifierText,
+    dynamicImportStaticSpecifierEvidence: record?.dynamicImportStaticSpecifierEvidence,
+    dynamicImportRuntimeResolutionClaim: record?.dynamicImportRuntimeResolutionClaim,
+    dynamicImportResolutionProofRequired: record?.dynamicImportResolutionProofRequired,
+    runtimeEquivalenceClaim: record?.runtimeEquivalenceClaim
+  });
+}
+
+function matchingParenIndex(line, open) {
+  if (open < 0) return undefined;
+  let depth = 0;
+  let quote;
+  let escaped = false;
+  for (let index = open; index < line.length; index += 1) {
+    const char = line[index];
+    if (quote) {
+      if (escaped) escaped = false;
+      else if (char === '\\') escaped = true;
+      else if (char === quote) quote = undefined;
+      continue;
+    }
+    if (char === '\'' || char === '"' || char === '`') { quote = char; continue; }
+    if (char === '(') depth += 1;
+    else if (char === ')' && --depth === 0) return index;
+  }
+  return undefined;
+}
+
+function rangesOverlap(leftStart, leftEnd, rightStart, rightEnd) { return Math.max(leftStart, rightStart) < Math.min(leftEnd, rightEnd); }
+function normalizeOrderEvidenceText(value) { return String(value ?? '').replace(/\s+/g, ' ').trim(); }
+function isStaticStringLiteral(value) { const text = String(value ?? '').trim(), quote = text[0]; return (quote === '\'' || quote === '"') && text.endsWith(quote); }
+function isStaticTemplateLiteral(value) { const text = String(value ?? '').trim(); return text.startsWith('`') && text.endsWith('`') && !text.includes('${'); }
+function isIdentifierPart(char) { return /[A-Za-z0-9_$]/.test(char ?? ''); }
+function statementEnd(line, start) { const semicolon = line.indexOf(';', start); return semicolon === -1 ? line.length : semicolon + 1; }
+function compactRecord(record) { return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0))); }
+
+export { dynamicImportEvidenceRecords, dynamicImportSignatureEvidence };

package/dist/semantic-import-runtime-order-evidence.js

@@ -9,6 +9,7 @@ import { reachabilityOrderEvidence } from './semantic-import-runtime-reachabilit
 import { throwOrderEvidenceRecords } from './semantic-import-runtime-throw-evidence.js';
 import { promiseCombinatorEvidenceRecords } from './semantic-import-runtime-promise-combinator-evidence.js';
 import { promiseChainEvidenceRecords } from './semantic-import-runtime-promise-chain-evidence.js';
+import { dynamicImportEvidenceRecords, dynamicImportSignatureEvidence } from './semantic-import-runtime-dynamic-import-evidence.js';
 function semanticFactOrderInfo(groups) {
   const bySubject = new Map();
   const info = new Map();
@@ -61,6 +62,7 @@ function semanticFactRuntimeOrderEvidence(sourceText, group, fact, spanInfo, ord
     sameLineAwaitOrder: sameLineEvidence.awaitOrder,
     sameLineOptionalChain: sameLineEvidence.optionalChain,
     sameLineConditionalExpression: sameLineEvidence.conditionalExpression,
+    sameLineDynamicImport: sameLineEvidence.dynamicImport,
     sameLinePromiseCombinator: sameLineEvidence.promiseCombinator,
     sameLinePromiseChain: sameLineEvidence.promiseChain,
     sameLineThrow: sameLineEvidence.throw,
@@ -85,6 +87,7 @@ function semanticFactRuntimeOrderSignatureEvidence(evidence) {
     sameLineAwaitOrder: evidence?.sameLineAwaitOrder,
     sameLineOptionalChain: evidence?.sameLineOptionalChain,
     sameLineConditionalExpression: evidence?.sameLineConditionalExpression,
+    sameLineDynamicImport: evidence?.sameLineDynamicImport?.map(dynamicImportSignatureEvidence),
     sameLinePromiseCombinator: evidence?.sameLinePromiseCombinator,
     sameLinePromiseChain: evidence?.sameLinePromiseChain,
     sameLineThrow: evidence?.sameLineThrow,
@@ -100,7 +103,7 @@ function sameLineRuntimeOrderEvidence(line, start, end) {
   const prefix = String(line ?? '').slice(0, start);
   const controlFlow = controlHeadEvidenceRecords(prefix), shortCircuit = shortCircuitEvidenceRecords(prefix), awaitOrder = awaitOrderEvidenceRecords(prefix);
   const optionalChain = optionalChainEvidenceRecords(line, start, end), conditionalExpression = conditionalExpressionEvidenceRecords(line, start, end);
-  const promiseCombinator = promiseCombinatorEvidenceRecords(line, start, end), promiseChain = promiseChainEvidenceRecords(line, start, end), throwOrder = throwOrderEvidenceRecords(line, start, end);
+  const dynamicImport = dynamicImportEvidenceRecords(line, start, end), promiseCombinator = promiseCombinatorEvidenceRecords(line, start, end), promiseChain = promiseChainEvidenceRecords(line, start, end), throwOrder = throwOrderEvidenceRecords(line, start, end);
   return {
     controlFlow: controlFlow.length ? controlFlow : undefined,
     shortCircuit: shortCircuit.length ? shortCircuit : undefined,
@@ -108,6 +111,7 @@ function sameLineRuntimeOrderEvidence(line, start, end) {
     awaitOrder: awaitOrder.length ? awaitOrder : undefined,
     optionalChain: optionalChain.length ? optionalChain : undefined,
     conditionalExpression: conditionalExpression.length ? conditionalExpression : undefined,
+    dynamicImport: dynamicImport.length ? dynamicImport : undefined,
     promiseCombinator: promiseCombinator.length ? promiseCombinator : undefined,
     promiseChain: promiseChain.length ? promiseChain : undefined,
     throw: throwOrder.length ? true : /\bthrow\b/.test(prefix) || undefined,
@@ -126,7 +130,6 @@ function controlFlowOrderEvidence(line, lineNumber, group) {
     loop: records.filter((record) => record.kind === 'loop')
   };
 }
-
 function optionalChainEvidenceRecords(line, start, end) {
   const expression = String(line ?? '').slice(Math.max(0, start), Math.max(start, end));
   const matches = [...expression.matchAll(/\?\.(?:\s*\(|\s*[A-Za-z_$][\w$]*|\s*\[)/g)];
@@ -136,7 +139,6 @@ function optionalChainEvidenceRecords(line, start, end) {
     text: normalizeOrderEvidenceText(expression.slice(Math.max(0, match.index - 24), match.index + match[0].length + 24))
   }));
 }
-
 function awaitOrderEvidenceRecords(prefix) {
   const text = String(prefix ?? '');
   const tokens = awaitTokenIndexes(text);
@@ -164,7 +166,6 @@ function awaitTokenIndexes(text) {
   }
   return indexes;
 }
-
 function shortCircuitEvidenceRecords(prefix) {
   const text = String(prefix ?? '');
   const operators = shortCircuitOperators(text);

package/package.json

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