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

package/README.md

@@ -197,6 +197,8 @@ const sidecar = createSemanticImportSidecar(imported);
 console.log(sidecar.summary.emptySemanticIndex); // false when symbols were found
 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

@@ -968,6 +968,8 @@ export interface SemanticImportSidecarImportEntry {
   readonly universalAstLayerCount: number;
   readonly universalAstLayerNames: readonly string[];
   readonly universalAstLayerIds: readonly string[];
+  readonly proofSpec: SemanticImportSidecarProofSpecSummary;
+  readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly readiness: SemanticMergeReadiness;
   readonly emptySemanticIndex: boolean;
   readonly regionTaxonomy?: SemanticImportRegionTaxonomySummary;
@@ -999,6 +1001,68 @@ export interface SemanticImportSidecarUniversalAstLayerSummary {
   readonly empty: boolean;
 }
 
+export interface SemanticImportSidecarProofSpecSummary {
+  readonly total: number;
+  readonly ids: readonly string[];
+  readonly contracts: number;
+  readonly refinements: number;
+  readonly invariants: number;
+  readonly termination: number;
+  readonly temporal: number;
+  readonly obligations: number;
+  readonly artifacts: number;
+  readonly assumptions: number;
+  readonly evidence: number;
+  readonly discharged: number;
+  readonly failed: number;
+  readonly open: number;
+  readonly unknown: number;
+  readonly stale: number;
+  readonly assumed: number;
+  readonly contractKinds: readonly string[];
+  readonly artifactKinds: readonly string[];
+  readonly byStatus: Readonly<Record<string, number>>;
+  readonly byContractKind: Readonly<Record<string, number>>;
+  readonly byArtifactKind: Readonly<Record<string, number>>;
+  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;
@@ -1028,6 +1092,8 @@ export interface SemanticImportSidecar {
     readonly records: readonly SemanticImportSidecarSourcePreservationRecord[];
   };
   readonly universalAstLayers: SemanticImportSidecarUniversalAstLayerSummary;
+  readonly proofSpec: SemanticImportSidecarProofSpecSummary;
+  readonly paradigmSemantics: SemanticImportSidecarParadigmSemanticsSummary;
   readonly patchHints: readonly SemanticImportPatchHint[];
   readonly mergeCandidates: readonly {
     readonly id?: string;
@@ -1059,6 +1125,12 @@ export interface SemanticImportSidecar {
     readonly sourcePreservationRecords: number;
     readonly universalAstLayers: number;
     readonly universalAstLayerNames: readonly string[];
+    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

@@ -2566,6 +2566,8 @@ export function createSemanticImportSidecar(importResult, options = {}) {
   const regionTaxonomy = summarizeSemanticImportRegionTaxonomy(ownershipRegions);
   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
@@ -2588,6 +2590,8 @@ export function createSemanticImportSidecar(importResult, options = {}) {
     },
     sourcePreservation,
     universalAstLayers,
+    proofSpec,
+    paradigmSemantics,
     patchHints,
     mergeCandidates: mergeCandidates.map((candidate) => ({
       id: candidate.id,
@@ -2619,6 +2623,12 @@ export function createSemanticImportSidecar(importResult, options = {}) {
       sourcePreservationRecords: sourcePreservation.total,
       universalAstLayers: universalAstLayers.total,
       universalAstLayerNames: universalAstLayers.names,
+      proofSpecRecords: proofSpec.total,
+      proofSpecObligations: proofSpec.obligations,
+      proofSpecFailedObligations: proofSpec.failed,
+      paradigmSemanticsRecords: paradigmSemantics.total,
+      paradigmSemanticsGroups: paradigmSemantics.groups.length,
+      paradigmSemanticsLoweringRecords: paradigmSemantics.loweringRecords,
       readiness,
       emptySemanticIndex: symbols.length === 0
     },
@@ -8582,6 +8592,8 @@ function semanticImportSidecarEntry(imported, index, options) {
   const sourceMapMappings = sourceMaps.flatMap((sourceMap) => sourceMap?.mappings ?? []);
   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)) {
@@ -8631,6 +8643,8 @@ function semanticImportSidecarEntry(imported, index, options) {
     universalAstLayerCount: universalAstLayers.total,
     universalAstLayerNames: universalAstLayers.names,
     universalAstLayerIds: universalAstLayers.ids,
+    proofSpec,
+    paradigmSemantics,
     readiness: imported?.metadata?.semanticMergeReadiness ?? imported?.mergeCandidates?.[0]?.readiness ?? 'needs-review',
     emptySemanticIndex: symbols.length === 0,
     regionTaxonomy,
@@ -8639,6 +8653,235 @@ function semanticImportSidecarEntry(imported, index, options) {
   };
 }
 
+function summarizeSemanticImportSidecarProofSpec(importEntries) {
+  const byStatus = {};
+  const byContractKind = {};
+  const byArtifactKind = {};
+  const ids = [];
+  const contractKinds = [];
+  const artifactKinds = [];
+  const totals = {
+    total: 0,
+    contracts: 0,
+    refinements: 0,
+    invariants: 0,
+    termination: 0,
+    temporal: 0,
+    obligations: 0,
+    artifacts: 0,
+    assumptions: 0,
+    evidence: 0,
+    discharged: 0,
+    failed: 0,
+    open: 0,
+    unknown: 0,
+    stale: 0,
+    assumed: 0
+  };
+  for (const entry of importEntries) {
+    const proof = entry.proofSpec ?? summarizeProofSpecLayer();
+    ids.push(...(proof.ids ?? []));
+    contractKinds.push(...(proof.contractKinds ?? []));
+    artifactKinds.push(...(proof.artifactKinds ?? []));
+    for (const key of Object.keys(totals)) {
+      totals[key] += proof[key] ?? 0;
+    }
+    for (const [status, count] of Object.entries(proof.byStatus ?? {})) {
+      byStatus[status] = (byStatus[status] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(proof.byContractKind ?? {})) {
+      byContractKind[kind] = (byContractKind[kind] ?? 0) + count;
+    }
+    for (const [kind, count] of Object.entries(proof.byArtifactKind ?? {})) {
+      byArtifactKind[kind] = (byArtifactKind[kind] ?? 0) + count;
+    }
+  }
+  return {
+    ...totals,
+    ids: uniqueStrings(ids),
+    contractKinds: uniqueStrings(contractKinds),
+    artifactKinds: uniqueStrings(artifactKinds),
+    byStatus,
+    byContractKind,
+    byArtifactKind,
+    empty: totals.total === 0
+  };
+}
+
+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 ?? [];
+  const invariants = proof?.invariants ?? [];
+  const termination = proof?.termination ?? [];
+  const temporal = proof?.temporal ?? [];
+  const obligations = proof?.obligations ?? [];
+  const artifacts = proof?.artifacts ?? [];
+  const assumptions = proof?.assumptions ?? [];
+  const evidence = proof?.evidence ?? [];
+  const allContracts = [...contracts, ...refinements, ...invariants, ...termination, ...temporal];
+  const byStatus = {};
+  for (const obligation of obligations) {
+    const status = obligation?.status ?? 'unknown';
+    byStatus[status] = (byStatus[status] ?? 0) + 1;
+  }
+  const byContractKind = {};
+  for (const contract of allContracts) {
+    const kind = contract?.kind ?? 'unknown';
+    byContractKind[kind] = (byContractKind[kind] ?? 0) + 1;
+  }
+  const byArtifactKind = {};
+  for (const artifact of artifacts) {
+    const kind = artifact?.kind ?? 'unknown';
+    byArtifactKind[kind] = (byArtifactKind[kind] ?? 0) + 1;
+  }
+  const recordGroups = [allContracts, obligations, artifacts, assumptions];
+  const ids = uniqueStrings([
+    proof?.id,
+    ...recordGroups.flatMap((records) => records.map((record) => record?.id)),
+    ...evidence.map((record) => record?.id)
+  ].filter(Boolean));
+  const total = allContracts.length + obligations.length + artifacts.length + assumptions.length;
+  return {
+    total,
+    ids,
+    contracts: contracts.length,
+    refinements: refinements.length,
+    invariants: invariants.length,
+    termination: termination.length,
+    temporal: temporal.length,
+    obligations: obligations.length,
+    artifacts: artifacts.length,
+    assumptions: assumptions.length,
+    evidence: evidence.length,
+    discharged: byStatus.discharged ?? 0,
+    failed: byStatus.failed ?? 0,
+    open: byStatus.open ?? 0,
+    unknown: byStatus.unknown ?? 0,
+    stale: byStatus.stale ?? 0,
+    assumed: byStatus.assumed ?? 0,
+    contractKinds: uniqueStrings(allContracts.map((record) => record?.kind).filter(Boolean)),
+    artifactKinds: uniqueStrings(artifacts.map((record) => record?.kind).filter(Boolean)),
+    byStatus,
+    byContractKind,
+    byArtifactKind,
+    empty: total === 0
+  };
+}
+
 function summarizeSemanticImportSidecarUniversalAstLayers(importEntries) {
   const names = [];
   const ids = [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@shapeshift-labs/frontier-lang-compiler",
-  "version": "0.2.36",
+  "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.6",
+    "@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",