@shapeshift-labs/frontier-lang-compiler 0.2.37 → 0.2.38

package/README.md

@@ -198,6 +198,7 @@ console.log(sidecar.summary.emptySemanticIndex); // false when symbols were foun
 console.log(sidecar.ownershipRegions[0].key); // source#src/runtime.ts#type#Runtime
 console.log(sidecar.patchHints[0].supportedOperations); // source-region patch operations
 console.log(sidecar.proofSpec.obligations); // proof/spec obligations when the import carries a universal AST proof layer
+console.log(sidecar.paradigmSemantics.hasLowering); // true when source import preserved lowering/paradigm records
 ```
 
 The built-in JavaScript/TypeScript lightweight scanner also emits review-required ownership regions for clear route/config/content/property shapes in exported objects and arrays:

package/dist/index.d.ts

@@ -969,6 +969,7 @@ export interface SemanticImportSidecarImportEntry {
   readonly universalAstLayerNames: readonly string[];
   readonly universalAstLayerIds: readonly string[];
   readonly proofSpec: SemanticImportSidecarProofSpecSummary;
+  readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly readiness: SemanticMergeReadiness;
   readonly emptySemanticIndex: boolean;
   readonly regionTaxonomy?: SemanticImportRegionTaxonomySummary;
@@ -1026,6 +1027,42 @@ export interface SemanticImportSidecarProofSpecSummary {
   readonly empty: boolean;
 }
 
+export interface SemanticImportSidecarParadigmSemanticsSummary {
+  readonly total: number;
+  readonly ids: readonly string[];
+  readonly groups: readonly string[];
+  readonly kinds: readonly string[];
+  readonly evidence: number;
+  readonly bindingScopes: number;
+  readonly bindings: number;
+  readonly patterns: number;
+  readonly typeConstraints: number;
+  readonly evaluationModels: number;
+  readonly memoryLocations: number;
+  readonly effectRegions: number;
+  readonly controlRegions: number;
+  readonly logicPrograms: number;
+  readonly actorSystems: number;
+  readonly stackEffects: number;
+  readonly arrayShapes: number;
+  readonly numericKernels: number;
+  readonly dataflowNetworks: number;
+  readonly clockModels: number;
+  readonly objectModels: number;
+  readonly macroExpansions: number;
+  readonly reflectionBoundaries: number;
+  readonly loweringRecords: number;
+  readonly byGroup: Readonly<Record<string, number>>;
+  readonly byKind: Readonly<Record<string, number>>;
+  readonly hasRuntimeSemantics: boolean;
+  readonly hasLogicSemantics: boolean;
+  readonly hasStackSemantics: boolean;
+  readonly hasArraySemantics: boolean;
+  readonly hasMacroOrReflection: boolean;
+  readonly hasLowering: boolean;
+  readonly empty: boolean;
+}
+
 export interface SemanticImportSidecar {
   readonly kind: 'frontier.lang.semanticImportSidecar';
   readonly version: 1;
@@ -1056,6 +1093,7 @@ export interface SemanticImportSidecar {
   };
   readonly universalAstLayers: SemanticImportSidecarUniversalAstLayerSummary;
   readonly proofSpec: SemanticImportSidecarProofSpecSummary;
+  readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly patchHints: readonly SemanticImportPatchHint[];
   readonly mergeCandidates: readonly {
     readonly id?: string;
@@ -1090,6 +1128,9 @@ export interface SemanticImportSidecar {
     readonly proofSpecRecords: number;
     readonly proofSpecObligations: number;
     readonly proofSpecFailedObligations: number;
+    readonly paradigmSemanticsRecords: number;
+    readonly paradigmSemanticsGroups: number;
+    readonly paradigmSemanticsLoweringRecords: number;
     readonly readiness: SemanticMergeReadiness;
     readonly emptySemanticIndex: boolean;
   };

package/dist/index.js

@@ -2567,6 +2567,7 @@ export function createSemanticImportSidecar(importResult, options = {}) {
   const sourcePreservation = summarizeKernelSourcePreservation(importResult, imports);
   const universalAstLayers = summarizeSemanticImportSidecarUniversalAstLayers(importEntries);
   const proofSpec = summarizeSemanticImportSidecarProofSpec(importEntries);
+  const paradigmSemantics = summarizeSemanticImportSidecarParadigmSemantics(importEntries);
   const readiness = mergeCandidates.reduce(
     (current, candidate) => maxSemanticMergeReadiness(current, candidate.readiness),
     lossSummary.semanticMergeReadiness
@@ -2590,6 +2591,7 @@ export function createSemanticImportSidecar(importResult, options = {}) {
     sourcePreservation,
     universalAstLayers,
     proofSpec,
+    paradigmSemantics,
     patchHints,
     mergeCandidates: mergeCandidates.map((candidate) => ({
       id: candidate.id,
@@ -2624,6 +2626,9 @@ export function createSemanticImportSidecar(importResult, options = {}) {
       proofSpecRecords: proofSpec.total,
       proofSpecObligations: proofSpec.obligations,
       proofSpecFailedObligations: proofSpec.failed,
+      paradigmSemanticsRecords: paradigmSemantics.total,
+      paradigmSemanticsGroups: paradigmSemantics.groups.length,
+      paradigmSemanticsLoweringRecords: paradigmSemantics.loweringRecords,
       readiness,
       emptySemanticIndex: symbols.length === 0
     },
@@ -8588,6 +8593,7 @@ function semanticImportSidecarEntry(imported, index, options) {
   const sourcePreservationRecords = collectKernelSourcePreservationFromImport(imported);
   const universalAstLayers = summarizeUniversalAstLayers(imported?.universalAst);
   const proofSpec = summarizeProofSpecLayer(imported?.universalAst?.proof ?? imported?.proof);
+  const paradigmSemantics = summarizeParadigmSemanticsLayer(imported?.universalAst?.paradigmSemantics ?? imported?.paradigmSemantics);
   const mappingsBySymbolId = new Map();
   for (const mapping of sourceMapMappings) {
     if (mapping.semanticSymbolId && !mappingsBySymbolId.has(mapping.semanticSymbolId)) {
@@ -8638,6 +8644,7 @@ function semanticImportSidecarEntry(imported, index, options) {
     universalAstLayerNames: universalAstLayers.names,
     universalAstLayerIds: universalAstLayers.ids,
     proofSpec,
+    paradigmSemantics,
     readiness: imported?.metadata?.semanticMergeReadiness ?? imported?.mergeCandidates?.[0]?.readiness ?? 'needs-review',
     emptySemanticIndex: symbols.length === 0,
     regionTaxonomy,
@@ -8701,6 +8708,120 @@ function summarizeSemanticImportSidecarProofSpec(importEntries) {
   };
 }
 
+const ParadigmSemanticSummaryGroups = Object.freeze([
+  'bindingScopes',
+  'bindings',
+  'patterns',
+  'typeConstraints',
+  'evaluationModels',
+  'memoryLocations',
+  'effectRegions',
+  'controlRegions',
+  'logicPrograms',
+  'actorSystems',
+  'stackEffects',
+  'arrayShapes',
+  'numericKernels',
+  'dataflowNetworks',
+  'clockModels',
+  'objectModels',
+  'macroExpansions',
+  'reflectionBoundaries',
+  'loweringRecords'
+]);
+
+function summarizeSemanticImportSidecarParadigmSemantics(importEntries) {
+  const totals = emptyParadigmSemanticsSummary();
+  const ids = [];
+  const kinds = [];
+  const byGroup = {};
+  const byKind = {};
+  for (const entry of importEntries) {
+    const summary = entry.paradigmSemantics ?? summarizeParadigmSemanticsLayer();
+    ids.push(...(summary.ids ?? []));
+    kinds.push(...(summary.kinds ?? []));
+    totals.total += summary.total ?? 0;
+    totals.evidence += summary.evidence ?? 0;
+    for (const group of ParadigmSemanticSummaryGroups) {
+      totals[group] += summary[group] ?? 0;
+    }
+    for (const [group, count] of Object.entries(summary.byGroup ?? {})) {
+      byGroup[group] = (byGroup[group] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(summary.byKind ?? {})) {
+      byKind[kind] = (byKind[kind] ?? 0) + count;
+    }
+  }
+  return {
+    ...totals,
+    ids: uniqueStrings(ids),
+    groups: uniqueStrings(Object.keys(byGroup).filter((group) => byGroup[group] > 0)),
+    kinds: uniqueStrings(kinds),
+    byGroup,
+    byKind,
+    hasRuntimeSemantics: hasAnyParadigmCount(totals, ['evaluationModels', 'memoryLocations', 'effectRegions', 'controlRegions', 'actorSystems', 'clockModels']),
+    hasLogicSemantics: totals.logicPrograms > 0,
+    hasStackSemantics: totals.stackEffects > 0,
+    hasArraySemantics: totals.arrayShapes > 0 || totals.numericKernels > 0,
+    hasMacroOrReflection: totals.macroExpansions > 0 || totals.reflectionBoundaries > 0,
+    hasLowering: totals.loweringRecords > 0,
+    empty: totals.total === 0
+  };
+}
+
+function summarizeParadigmSemanticsLayer(paradigmSemantics = {}) {
+  const totals = emptyParadigmSemanticsSummary();
+  const ids = [];
+  const kinds = [];
+  const byGroup = {};
+  const byKind = {};
+  ids.push(paradigmSemantics?.id);
+  for (const group of ParadigmSemanticSummaryGroups) {
+    const records = paradigmSemantics?.[group] ?? [];
+    totals[group] = records.length;
+    totals.total += records.length;
+    if (records.length > 0) {
+      byGroup[group] = records.length;
+    }
+    for (const record of records) {
+      ids.push(record?.id);
+      if (record?.kind) {
+        kinds.push(record.kind);
+        byKind[record.kind] = (byKind[record.kind] ?? 0) + 1;
+      }
+    }
+  }
+  totals.evidence = (paradigmSemantics?.evidence ?? []).length;
+  ids.push(...(paradigmSemantics?.evidence ?? []).map((record) => record?.id));
+  return {
+    ...totals,
+    ids: uniqueStrings(ids.filter(Boolean)),
+    groups: uniqueStrings(Object.keys(byGroup)),
+    kinds: uniqueStrings(kinds),
+    byGroup,
+    byKind,
+    hasRuntimeSemantics: hasAnyParadigmCount(totals, ['evaluationModels', 'memoryLocations', 'effectRegions', 'controlRegions', 'actorSystems', 'clockModels']),
+    hasLogicSemantics: totals.logicPrograms > 0,
+    hasStackSemantics: totals.stackEffects > 0,
+    hasArraySemantics: totals.arrayShapes > 0 || totals.numericKernels > 0,
+    hasMacroOrReflection: totals.macroExpansions > 0 || totals.reflectionBoundaries > 0,
+    hasLowering: totals.loweringRecords > 0,
+    empty: totals.total === 0
+  };
+}
+
+function emptyParadigmSemanticsSummary() {
+  return {
+    total: 0,
+    evidence: 0,
+    ...Object.fromEntries(ParadigmSemanticSummaryGroups.map((group) => [group, 0]))
+  };
+}
+
+function hasAnyParadigmCount(summary, groups) {
+  return groups.some((group) => (summary[group] ?? 0) > 0);
+}
+
 function summarizeProofSpecLayer(proof = {}) {
   const contracts = proof?.contracts ?? [];
   const refinements = proof?.refinements ?? [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.37",
+  "version": "0.2.38",
   "description": "Compiler facade for Frontier Lang source documents and language projection adapters.",
   "type": "module",
   "main": "./dist/index.js",
@@ -59,7 +59,7 @@
     "@shapeshift-labs/frontier-lang-c": "0.2.5",
     "@shapeshift-labs/frontier-lang-checker": "0.3.4",
     "@shapeshift-labs/frontier-lang-javascript": "0.2.5",
-    "@shapeshift-labs/frontier-lang-kernel": "0.3.7",
+    "@shapeshift-labs/frontier-lang-kernel": "0.3.8",
     "@shapeshift-labs/frontier-lang-parser": "0.3.4",
     "@shapeshift-labs/frontier-lang-python": "0.2.5",
     "@shapeshift-labs/frontier-lang-rust": "0.2.5",