@shapeshift-labs/frontier-lang-parser 0.3.38 → 0.3.39

package/dist/source-syntax-children.js

@@ -1,8 +1,14 @@
+import { ROW_SYNTAX_CONFIG } from './source-syntax-row-config.js';
+
+const ROW_NAME_PATTERN = '([A-Za-z_$@./:*+-][\\w$./@:*+-]*)';
+
 export function readSourceSyntaxChildren(source, block, options = {}) {
   if (block.malformed) return [];
   if (block.kind === 'conversion' || block.kind === 'universalConversionPlan') {
     return readConversionSyntaxChildren(source, block, options);
   }
+  const rowConfig = ROW_SYNTAX_CONFIG[block.kind];
+  if (rowConfig) return readGenericRowSyntaxChildren(source, block, options, rowConfig);
   return [];
 }
 
@@ -35,6 +41,38 @@ function readConversionSyntaxChildren(source, block, options) {
   return children;
 }
 
+function readGenericRowSyntaxChildren(source, block, options, config) {
+  const children = [];
+  const rowPattern = new RegExp('^([A-Za-z_$][\\w$-]*)\\s+' + ROW_NAME_PATTERN + '(.*)$');
+  for (const line of readBodyLines(source, block)) {
+    if (!line.text || line.text.startsWith('#')) continue;
+    const row = rowPattern.exec(line.text);
+    if (!row) continue;
+    const [, rowKind, name, rest] = row;
+    if (!config.rowKinds.has(rowKind)) continue;
+    const normalizedRowKind = config.normalize?.(rowKind) ?? rowKind;
+    children.push(cleanRecord({
+      kind: config.childKind,
+      rowKind,
+      normalizedRowKind,
+      name,
+      id: idFrom(rest, `${config.idPrefix}_${safeId(normalizedRowKind)}_${safeId(name)}`),
+      header: line.text,
+      startOffset: line.startOffset,
+      endOffset: line.endOffset,
+      location: sourcePosition(source, line.startOffset),
+      parentKind: block.kind,
+      parentId: block.id,
+      parentName: block.name,
+      moduleId: block.moduleId,
+      moduleName: block.moduleName,
+      sourceSpan: sourceSpan(source, block, line.startOffset, line.endOffset, options),
+      recognized: true
+    }));
+  }
+  return children;
+}
+
 function readBodyLines(source, block) {
   const body = source.slice(block.bodyStartOffset, block.bodyEndOffset);
   const lines = body.split('\n');
@@ -72,6 +110,7 @@ function sourceSpan(source, block, startOffset, endOffset, options = {}) {
 
 function idFrom(header, fallback) { return /@id\(\s*["']([^"']+)["']\s*\)/.exec(header)?.[1] ?? fallback; }
 function readInlineWord(label, text) { return new RegExp('(?:^|\\s)' + label + '\\s+([^\\s,]+)').exec(text)?.[1]?.trim(); }
+function safeId(value) { return String(value).replace(/[^A-Za-z0-9_$-]+/g, '_').replace(/^_+|_+$/g, '') || 'row'; }
 function cleanRecord(record) {
   return Object.fromEntries(Object.entries(record).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0)));
 }

package/dist/source-syntax-row-config.js

@@ -0,0 +1,133 @@
+const appRows = words('mount provide provides required requires require route event asset gate gap proofGap evidence proofEvidence');
+const canvasRows = words('element command state stateWrite trace gap proofGap evidence proofEvidence');
+const constraintRows = words('variable var constraint hard soft preference prefer collapse admission');
+const dialectRows = words('dialect record extern');
+const interlinguaRows = words('layer constraint edge obligation proofObligation proof lowering lower source sourceLift lift evidence');
+const packageRows = words('metadata dependency script export gap proofGap evidence proofEvidence');
+const runtimeRows = words('host runtimeHost hostProfile sourceHost targetHost capability hostCapability hostBinding binding requirement runtimeRequirement requiredRuntime evidence proofEvidence gap proofGap');
+
+export const ROW_SYNTAX_CONFIG = Object.freeze({
+  interlingua: rowConfig('interlinguaRow', 'interlingua_row', interlinguaRows, normalizeInterlinguaRow),
+  universalInterlingua: rowConfig('interlinguaRow', 'interlingua_row', interlinguaRows, normalizeInterlinguaRow),
+  dialectRegistry: rowConfig('dialectRegistryRow', 'dialect_registry_row', dialectRows, normalizeDialectRegistryRow),
+  universalDialectRegistry: rowConfig('dialectRegistryRow', 'dialect_registry_row', dialectRows, normalizeDialectRegistryRow),
+  runtimeCapabilities: rowConfig('runtimeCapabilityRow', 'runtime_capability_row', runtimeRows, normalizeRuntimeCapabilityRow),
+  runtimeCapabilityMatrix: rowConfig('runtimeCapabilityRow', 'runtime_capability_row', runtimeRows, normalizeRuntimeCapabilityRow),
+  runtimeHosts: rowConfig('runtimeCapabilityRow', 'runtime_capability_row', runtimeRows, normalizeRuntimeCapabilityRow),
+  resourceGraph: rowConfig('resourceGraphRow', 'resource_graph_row', words('resource owner loan alias move drop escape lifetime lifetimeRegion life outlives lifetimeRelation lifeRelation borrow borrowScope borrowRegion unsafe unsafeBoundary conflict proof proofObligation obligation'), normalizeResourceGraphRow),
+  semanticResourceGraph: rowConfig('resourceGraphRow', 'resource_graph_row', words('resource owner loan alias move drop escape lifetime lifetimeRegion life outlives lifetimeRelation lifeRelation borrow borrowScope borrowRegion unsafe unsafeBoundary conflict proof proofObligation obligation'), normalizeResourceGraphRow),
+  applicationSurface: rowConfig('applicationSurfaceRow', 'application_surface_row', appRows, normalizeApplicationSurfaceRow),
+  appHost: rowConfig('applicationSurfaceRow', 'application_surface_row', appRows, normalizeApplicationSurfaceRow),
+  plugin: rowConfig('applicationSurfaceRow', 'application_surface_row', appRows, normalizeApplicationSurfaceRow),
+  pluginSurface: rowConfig('applicationSurfaceRow', 'application_surface_row', appRows, normalizeApplicationSurfaceRow),
+  pluginContract: rowConfig('applicationSurfaceRow', 'application_surface_row', appRows, normalizeApplicationSurfaceRow),
+  target: rowConfig('targetProjectionRow', 'target_projection_row', words('projection lowering layer')),
+  packageManifest: rowConfig('packageManifestRow', 'package_manifest_row', packageRows, normalizeProofEvidenceRows),
+  packageGraph: rowConfig('packageManifestRow', 'package_manifest_row', packageRows, normalizeProofEvidenceRows),
+  packageSurface: rowConfig('packageManifestRow', 'package_manifest_row', packageRows, normalizeProofEvidenceRows),
+  canvasSurface: rowConfig('canvasSurfaceRow', 'canvas_surface_row', canvasRows, normalizeCanvasSurfaceRow),
+  canvasGraph: rowConfig('canvasSurfaceRow', 'canvas_surface_row', canvasRows, normalizeCanvasSurfaceRow),
+  constraintSpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow),
+  possibilitySpace: rowConfig('constraintSpaceRow', 'constraint_space_row', constraintRows, normalizeConstraintSpaceRow),
+  decisionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow),
+  admissionGraph: rowConfig('decisionGraphRow', 'decision_graph_row', words('node edge chunk gate evidence semanticChange change patchEvent patch admissionDecision admission candidateDecision candidate mergeDecision merge replay tournament tournamentCandidate panelProjection panel rsiLoop improvementFeedback feedback'), normalizeDecisionGraphRow),
+  operations: rowConfig('semanticOperationRow', 'semantic_operation_row', words('operation op'), normalizeOperationRow),
+  semanticOperations: rowConfig('semanticOperationRow', 'semantic_operation_row', words('operation op'), normalizeOperationRow),
+  paradigm: rowConfig('paradigmRow', 'paradigm_row', words('valueSemantics mutationModel effectModel ownership ownershipModel lifetime lifetimeModel bindingScope binding dispatch typeModel moduleModel concurrency errorModel memoryModel evaluation metaprogramming interop lowering'), normalizeParadigmRow),
+  paradigmSemantics: rowConfig('paradigmRow', 'paradigm_row', words('valueSemantics mutationModel effectModel ownership ownershipModel lifetime lifetimeModel bindingScope binding dispatch typeModel moduleModel concurrency errorModel memoryModel evaluation metaprogramming interop lowering'), normalizeParadigmRow),
+  proof: rowConfig('proofRow', 'proof_row', words('contract refinement invariant termination temporal obligation artifact assumption')),
+  nativeSource: rowConfig('nativeSourceRow', 'native_source_row', words('loss evidence proofEvidence sourceMap sourcemap mapping sourceMapMapping mergeCandidate candidate'), normalizeNativeSourceRow)
+});
+
+function rowConfig(childKind, idPrefix, rowKinds, normalize) {
+  return { childKind, idPrefix, rowKinds: new Set(rowKinds), normalize };
+}
+
+function words(source) { return source.split(/\s+/); }
+
+function normalizeInterlinguaRow(rowKind) {
+  if (rowKind === 'edge') return 'constraint';
+  if (rowKind === 'proof' || rowKind === 'proofObligation') return 'obligation';
+  if (rowKind === 'lower' || rowKind === 'lowering') return 'lowering';
+  if (rowKind === 'source' || rowKind === 'sourceLift') return 'lift';
+  return rowKind;
+}
+
+function normalizeDialectRegistryRow(rowKind) {
+  if (rowKind === 'record') return 'dialect';
+  return rowKind;
+}
+
+function normalizeRuntimeCapabilityRow(rowKind) {
+  if (rowKind === 'capability') return 'hostCapability';
+  if (rowKind === 'binding') return 'hostBinding';
+  if (rowKind === 'requirement' || rowKind === 'requiredRuntime') return 'runtimeRequirement';
+  if (rowKind === 'proofEvidence') return 'evidence';
+  if (rowKind === 'gap') return 'proofGap';
+  return rowKind;
+}
+
+function normalizeResourceGraphRow(rowKind) {
+  if (rowKind === 'life' || rowKind === 'lifetimeRegion') return 'lifetime';
+  if (rowKind === 'lifeRelation') return 'lifetimeRelation';
+  if (rowKind === 'borrowRegion') return 'borrowScope';
+  if (rowKind === 'unsafe') return 'unsafeBoundary';
+  if (rowKind === 'proof' || rowKind === 'proofObligation') return 'obligation';
+  return rowKind;
+}
+
+function normalizeApplicationSurfaceRow(rowKind) {
+  if (rowKind === 'provide' || rowKind === 'provides') return 'provided-surface';
+  if (rowKind === 'required' || rowKind === 'requires' || rowKind === 'require') return 'required-capability';
+  if (rowKind === 'proofEvidence') return 'evidence';
+  if (rowKind === 'gap') return 'proofGap';
+  return rowKind;
+}
+
+function normalizeProofEvidenceRows(rowKind) {
+  if (rowKind === 'proofEvidence') return 'evidence';
+  if (rowKind === 'gap') return 'proofGap';
+  return rowKind;
+}
+
+function normalizeCanvasSurfaceRow(rowKind) {
+  if (rowKind === 'stateWrite') return 'state-write';
+  return normalizeProofEvidenceRows(rowKind);
+}
+
+function normalizeConstraintSpaceRow(rowKind) {
+  if (rowKind === 'var') return 'variable';
+  if (rowKind === 'hard' || rowKind === 'soft') return 'constraint';
+  if (rowKind === 'prefer') return 'preference';
+  return rowKind;
+}
+
+function normalizeDecisionGraphRow(rowKind) {
+  if (rowKind === 'change') return 'semanticChange';
+  if (rowKind === 'patch') return 'patchEvent';
+  if (rowKind === 'admission') return 'admissionDecision';
+  if (rowKind === 'candidate') return 'candidateDecision';
+  if (rowKind === 'merge') return 'mergeDecision';
+  if (rowKind === 'panel') return 'panelProjection';
+  if (rowKind === 'feedback') return 'improvementFeedback';
+  return rowKind;
+}
+
+function normalizeOperationRow(rowKind) {
+  if (rowKind === 'op') return 'operation';
+  return rowKind;
+}
+
+function normalizeParadigmRow(rowKind) {
+  if (rowKind === 'ownership') return 'ownershipModel';
+  if (rowKind === 'lifetime') return 'lifetimeModel';
+  if (rowKind === 'binding') return 'bindingScope';
+  return rowKind;
+}
+
+function normalizeNativeSourceRow(rowKind) {
+  if (rowKind === 'proofEvidence') return 'evidence';
+  if (rowKind === 'sourcemap' || rowKind === 'mapping' || rowKind === 'sourceMapMapping') return 'sourceMap';
+  if (rowKind === 'candidate') return 'mergeCandidate';
+  return rowKind;
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.38",
+  "version": "0.3.39",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",