@shapeshift-labs/frontier-lang-parser 0.3.31 → 0.3.32

package/README.md

@@ -367,7 +367,7 @@ target rust @id("target_rust") {
 }
 ```
 
-The parser stores these rows on the target node metadata as `projectionContracts` and `projectionLayers`. They are target-lowering evidence, not proof of equivalence: `autoMergeClaim` and `semanticEquivalenceClaim` remain false.
+The parser stores these rows on the target node metadata as `projectionContracts` and `projectionLayers`, then aggregates them into `metadata.targetProjections` and mirrors that aggregate under `metadata.universalAst.targetProjections` with target ids, target languages, emit paths, adapter ids, represented/missing layers, evidence ids, proof evidence ids, loss ids, and missing evidence. They are target-lowering evidence, not proof of equivalence: `autoMergeClaim` and `semanticEquivalenceClaim` remain false on rows and aggregates.
 
 ## Authored decision graph syntax
 

package/dist/index.js

@@ -32,7 +32,7 @@ export function parseFrontierSource(source, options = {}) {
   const packageManifestBlocks = [];
   const canvasSurfaceBlocks = [];
   const applicationSurfaceBlocks = [];
-  const runtimeCapabilityBlocks = [];
+  const runtimeCapabilityBlocks = [], targetProjectionTargets = [];
   const documentId = options.id ?? readId(source) ?? 'mod_frontier';
   const documentName = options.name ?? readName(source) ?? 'FrontierModule';
   for (const block of readBlocks(source)) {
@@ -51,7 +51,7 @@ export function parseFrontierSource(source, options = {}) {
       nodes.push(parsed.node);
       nativeSourceBlocks.push(parsed);
     }
-    if (block.kind === 'target') nodes.push(parseTarget(block));
+    if (block.kind === 'target') { const parsed = parseTarget(block); nodes.push(parsed); if (parsed.metadata?.authoredTargetProjection) targetProjectionTargets.push(parsed); }
     if (block.kind === 'proof') proofBlocks.push(parseProofBlock(block));
     if (block.kind === 'paradigm' || block.kind === 'paradigmSemantics') paradigmBlocks.push(parseParadigmBlock(block));
     if (block.kind === 'operations' || block.kind === 'semanticOperations') operationBlocks.push(parseSemanticOperationsBlock(block));
@@ -66,7 +66,7 @@ export function parseFrontierSource(source, options = {}) {
     if (block.kind === 'applicationSurface' || block.kind === 'appHost' || block.kind === 'plugin' || block.kind === 'pluginSurface' || block.kind === 'pluginContract') applicationSurfaceBlocks.push(parseApplicationSurfaceBlock(block));
     if (block.kind === 'runtimeCapabilities' || block.kind === 'runtimeCapabilityMatrix' || block.kind === 'runtimeHosts') runtimeCapabilityBlocks.push(parseRuntimeCapabilityBlock(block));
   }
-  const metadata = createParsedMetadata({ proofBlocks, paradigmBlocks, operationBlocks, conversionBlocks, constraintSpaceBlocks, decisionGraphBlocks, dialectRegistryBlocks, interlinguaBlocks, resourceGraphBlocks, nativeSourceBlocks, packageManifestBlocks, canvasSurfaceBlocks, applicationSurfaceBlocks, runtimeCapabilityBlocks });
+  const metadata = createParsedMetadata({ proofBlocks, paradigmBlocks, operationBlocks, conversionBlocks, constraintSpaceBlocks, decisionGraphBlocks, dialectRegistryBlocks, interlinguaBlocks, resourceGraphBlocks, nativeSourceBlocks, packageManifestBlocks, canvasSurfaceBlocks, applicationSurfaceBlocks, runtimeCapabilityBlocks, targetProjectionTargets });
   return createDocument({ id: documentId, name: documentName, nodes, ...(metadata ? { metadata } : {}) });
 }
 

package/dist/metadata.js

@@ -1,6 +1,7 @@
 import { mergeDialectRegistryBlocks } from './dialect-registry.js';
 import { mergeApplicationSurfaceBlocks } from './application-surface.js';
 import { mergeRuntimeCapabilityBlocks } from './runtime-capability.js';
+import { mergeTargetProjectionTargets } from './target-projection-aggregate.js';
 
 const PROOF_GROUPS = ['contracts', 'refinements', 'invariants', 'termination', 'temporal', 'obligations', 'artifacts', 'assumptions'];
 const PARADIGM_GROUPS = [
@@ -9,7 +10,7 @@ const PARADIGM_GROUPS = [
   'clockModels', 'objectModels', 'macroExpansions', 'reflectionBoundaries', 'loweringRecords'
 ];
 
-export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], operationBlocks = [], conversionBlocks = [], constraintSpaceBlocks = [], decisionGraphBlocks = [], dialectRegistryBlocks = [], interlinguaBlocks = [], resourceGraphBlocks = [], nativeSourceBlocks = [], packageManifestBlocks = [], canvasSurfaceBlocks = [], applicationSurfaceBlocks = [], runtimeCapabilityBlocks = [] } = {}) {
+export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], operationBlocks = [], conversionBlocks = [], constraintSpaceBlocks = [], decisionGraphBlocks = [], dialectRegistryBlocks = [], interlinguaBlocks = [], resourceGraphBlocks = [], nativeSourceBlocks = [], packageManifestBlocks = [], canvasSurfaceBlocks = [], applicationSurfaceBlocks = [], runtimeCapabilityBlocks = [], targetProjectionTargets = [] } = {}) {
   const metadata = {};
   if (proofBlocks.length) metadata.proof = mergeProofBlocks(proofBlocks);
   if (paradigmBlocks.length) metadata.paradigmSemantics = mergeParadigmBlocks(paradigmBlocks);
@@ -27,8 +28,9 @@ export function createParsedMetadata({ proofBlocks = [], paradigmBlocks = [], op
     metadata.runtimeCapabilities = mergeRuntimeCapabilityBlocks(runtimeCapabilityBlocks);
     metadata.runtimeCapabilityMatrix = metadata.runtimeCapabilities;
   }
-  if (nativeSourceBlocks.some((block) => block.sourceMaps.length || block.mergeCandidates.length || block.evidence.length) || packageManifestBlocks.length || canvasSurfaceBlocks.length || applicationSurfaceBlocks.length || runtimeCapabilityBlocks.length) {
-    metadata.universalAst = mergeUniversalAstBlocks(nativeSourceBlocks, packageManifestBlocks, canvasSurfaceBlocks, applicationSurfaceBlocks, runtimeCapabilityBlocks);
+  if (targetProjectionTargets.length) metadata.targetProjections = mergeTargetProjectionTargets(targetProjectionTargets);
+  if (nativeSourceBlocks.some((block) => block.sourceMaps.length || block.mergeCandidates.length || block.evidence.length) || packageManifestBlocks.length || canvasSurfaceBlocks.length || applicationSurfaceBlocks.length || runtimeCapabilityBlocks.length || targetProjectionTargets.length) {
+    metadata.universalAst = mergeUniversalAstBlocks(nativeSourceBlocks, packageManifestBlocks, canvasSurfaceBlocks, applicationSurfaceBlocks, runtimeCapabilityBlocks, metadata.targetProjections);
   }
   return Object.keys(metadata).length ? metadata : undefined;
 }
@@ -99,7 +101,7 @@ function mergeConstraintSpaceBlocks(blocks) {
   };
 }
 
-function mergeUniversalAstBlocks(blocks, packageManifestBlocks = [], canvasSurfaceBlocks = [], applicationSurfaceBlocks = [], runtimeCapabilityBlocks = []) {
+function mergeUniversalAstBlocks(blocks, packageManifestBlocks = [], canvasSurfaceBlocks = [], applicationSurfaceBlocks = [], runtimeCapabilityBlocks = [], targetProjections) {
   return {
     id: blocks.length === 1 ? `universalAst:${blocks[0].node.id}` : 'universalAst:source',
     nativeSourceIds: blocks.map((block) => block.node.id),
@@ -111,6 +113,7 @@ function mergeUniversalAstBlocks(blocks, packageManifestBlocks = [], canvasSurfa
     canvasSurfaces: canvasSurfaceBlocks,
     applicationSurfaces: applicationSurfaceBlocks,
     runtimeCapabilities: runtimeCapabilityBlocks,
+    ...(targetProjections ? { targetProjections, targetProjectionTargetIds: targetProjections.targetIds, targetProjectionContractIds: targetProjections.projectionContractIds, targetProjectionLayerIds: targetProjections.projectionLayerIds } : {}),
     packageManifestIds: ids(packageManifestBlocks),
     canvasSurfaceIds: ids(canvasSurfaceBlocks),
     applicationSurfaceIds: ids(applicationSurfaceBlocks),
@@ -120,7 +123,8 @@ function mergeUniversalAstBlocks(blocks, packageManifestBlocks = [], canvasSurfa
       authoredPackageManifestIds: ids(packageManifestBlocks),
       authoredCanvasSurfaceIds: ids(canvasSurfaceBlocks),
       authoredApplicationSurfaceIds: ids(applicationSurfaceBlocks),
-      authoredRuntimeCapabilityIds: ids(runtimeCapabilityBlocks)
+      authoredRuntimeCapabilityIds: ids(runtimeCapabilityBlocks),
+      ...(targetProjections ? { authoredTargetProjectionTargetIds: targetProjections.targetIds } : {})
     }
   };
 }

package/dist/target-projection-aggregate.js

@@ -0,0 +1,75 @@
+export function mergeTargetProjectionTargets(targets = []) {
+  const entries = targets.map(targetProjectionEntry).filter(Boolean);
+  if (!entries.length) return undefined;
+  const contracts = entries.flatMap((entry) => entry.projectionContracts ?? []);
+  const layers = entries.flatMap((entry) => entry.projectionLayers ?? []);
+  return {
+    id: entries.length === 1 ? `targetProjections:${entries[0].id}` : 'targetProjections:source',
+    targets: entries,
+    targetIds: ids(entries),
+    targetLanguages: uniqueStrings(entries.map((entry) => entry.target?.language)),
+    emitPaths: uniqueStrings(entries.map((entry) => entry.target?.emitPath)),
+    projectionContracts: contracts,
+    projectionLayers: layers,
+    projectionContractIds: ids(contracts),
+    projectionLayerIds: ids(layers),
+    representedLayerKinds: uniqueStrings(contracts.flatMap((entry) => entry.representedLayerKinds ?? [])),
+    missingLayerKinds: uniqueStrings(contracts.flatMap((entry) => entry.missingLayerKinds ?? [])),
+    evidenceIds: uniqueStrings(entries.flatMap((entry) => entry.evidenceIds ?? [])),
+    proofEvidenceIds: uniqueStrings(entries.flatMap((entry) => entry.proofEvidenceIds ?? [])),
+    lossIds: uniqueStrings(entries.flatMap((entry) => entry.lossIds ?? [])),
+    missingEvidence: uniqueStrings(entries.flatMap((entry) => entry.missingEvidence ?? [])),
+    summary: {
+      targetCount: entries.length,
+      projectionContractCount: contracts.length,
+      projectionLayerCount: layers.length,
+      missingEvidenceCount: uniqueStrings(entries.flatMap((entry) => entry.missingEvidence ?? [])).length,
+      lossCount: uniqueStrings(entries.flatMap((entry) => entry.lossIds ?? [])).length
+    },
+    claims: { semanticEquivalenceClaim: false, autoMergeClaim: false },
+    metadata: { authoredTargetProjectionTargetIds: ids(entries) }
+  };
+}
+
+function targetProjectionEntry(node = {}) {
+  const metadata = node.metadata;
+  if (!metadata?.authoredTargetProjection) return undefined;
+  const projectionContracts = enrichRows(metadata.projectionContracts, node);
+  const projectionLayers = enrichRows(metadata.projectionLayers, node);
+  return cleanObject({
+    id: node.id,
+    kind: 'frontier.lang.targetProjectionTarget',
+    name: node.name,
+    target: node.target,
+    projectionContracts,
+    projectionLayers,
+    projectionContractIds: ids(projectionContracts),
+    projectionLayerIds: ids(projectionLayers),
+    representedLayerKinds: uniqueStrings(projectionContracts.flatMap((entry) => entry.representedLayerKinds ?? [])),
+    missingLayerKinds: uniqueStrings(projectionContracts.flatMap((entry) => entry.missingLayerKinds ?? [])),
+    evidenceIds: metadata.evidenceIds,
+    proofEvidenceIds: metadata.proofEvidenceIds,
+    lossIds: metadata.lossIds,
+    missingEvidence: metadata.missingEvidence,
+    claims: { semanticEquivalenceClaim: false, autoMergeClaim: false },
+    metadata: { authoredTargetProjection: true, targetNodeId: node.id, targetLanguage: node.target?.language ?? node.name }
+  });
+}
+
+function enrichRows(rows = [], node = {}) {
+  return rows.map((row) => cleanObject({
+    targetId: node.id,
+    targetName: node.name,
+    targetLanguage: node.target?.language ?? node.name,
+    packageName: node.target?.packageName,
+    emitPath: node.target?.emitPath,
+    moduleFormat: node.target?.moduleFormat,
+    ...row,
+    semanticEquivalenceClaim: false,
+    autoMergeClaim: false
+  }));
+}
+
+function ids(records = []) { return records.map((record) => record?.id).filter(Boolean); }
+function uniqueStrings(values = []) { return [...new Set(values.filter(Boolean))]; }
+function cleanObject(object) { return Object.fromEntries(Object.entries(object).filter(([, value]) => value !== undefined && (!Array.isArray(value) || value.length > 0))); }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-parser",
-  "version": "0.3.31",
+  "version": "0.3.32",
   "description": "Parser for the first Frontier Lang .frontier syntax slice.",
   "type": "module",
   "main": "./dist/index.js",
@@ -22,7 +22,7 @@
   ],
   "scripts": {
     "build": "node scripts/build.mjs",
-    "test": "npm run build && node test/smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
+    "test": "npm run build && node test/smoke.mjs && node test/target-projection-aggregate-smoke.mjs && node test/conversion-constraint-fields-smoke.mjs && node test/package-canvas-surface-smoke.mjs && node test/view-render-graph-smoke.mjs && node test/resource-graph-smoke.mjs && node test/interlingua-smoke.mjs && node test/dialect-registry-smoke.mjs",
     "typecheck": "node ./node_modules/typescript/bin/tsc --noEmit -p test/tsconfig.json",
     "fuzz": "npm run build && node fuzz/smoke.mjs",
     "bench": "npm run build && node bench/smoke.mjs",