@shapeshift-labs/frontier-swarm 0.5.7 → 0.5.9

package/dist/index.js

@@ -2880,7 +2880,11 @@ function semanticSummaryIsWeak(summary) {
     return summary.imported === 0
         || summary.semanticIndex.symbols === 0
         || summary.semanticSidecars.ownershipRegions === 0
-        || summary.sourceMapMappingCount === 0;
+        || summary.sourceMapMappingCount === 0
+        || summary.proofSpec.failed > 0
+        || summary.proofSpec.stale > 0
+        || summary.proofSpec.open > 0
+        || summary.proofSpec.unknown > 0;
 }
 function dedupeAdaptiveObservations(observations) {
     const byKey = new Map();
@@ -4155,12 +4159,103 @@ function normalizeSemanticImportSummary(input) {
         lossesBySeverity: normalizeCounterRecord(object.lossesBySeverity),
         semanticIndex: normalizeSemanticIndexSummary(object.semanticIndex),
         semanticSidecars: normalizeSemanticSidecarSummary(object.semanticSidecars),
+        proofSpec: normalizeProofSpecSummary(object.proofSpec),
+        paradigmSemantics: normalizeParadigmSemanticsSummary(object.paradigmSemantics),
         sourceProjections: normalizeSourceProjectionSummary(object.sourceProjections),
         nativeCompiles: normalizeNativeCompileSummary(object.nativeCompiles),
         readiness: normalizeCounterRecord(object.readiness),
         ...(metadata ? { metadata } : {})
     };
 }
+const paradigmSemanticsSummaryGroups = [
+    'bindingScopes',
+    'bindings',
+    'patterns',
+    'typeConstraints',
+    'evaluationModels',
+    'memoryLocations',
+    'effectRegions',
+    'controlRegions',
+    'logicPrograms',
+    'actorSystems',
+    'stackEffects',
+    'arrayShapes',
+    'numericKernels',
+    'dataflowNetworks',
+    'clockModels',
+    'objectModels',
+    'macroExpansions',
+    'reflectionBoundaries',
+    'loweringRecords'
+];
+function normalizeParadigmSemanticsSummary(input) {
+    const object = toJsonObject(input);
+    const counts = Object.fromEntries(paradigmSemanticsSummaryGroups.map((group) => [
+        group,
+        nonNegativeCount(object?.[group])
+    ]));
+    const total = nonNegativeCount(object?.total) || Object.values(counts).reduce((sum, count) => sum + count, 0);
+    const byGroup = normalizeCounterRecord(object?.byGroup);
+    const byKind = normalizeCounterRecord(object?.byKind);
+    const hasRuntimeSemantics = object?.hasRuntimeSemantics === true
+        || counts.evaluationModels > 0
+        || counts.memoryLocations > 0
+        || counts.effectRegions > 0
+        || counts.controlRegions > 0
+        || counts.actorSystems > 0
+        || counts.clockModels > 0;
+    const hasLogicSemantics = object?.hasLogicSemantics === true || counts.logicPrograms > 0;
+    const hasStackSemantics = object?.hasStackSemantics === true || counts.stackEffects > 0;
+    const hasArraySemantics = object?.hasArraySemantics === true || counts.arrayShapes > 0 || counts.numericKernels > 0;
+    const hasMacroOrReflection = object?.hasMacroOrReflection === true || counts.macroExpansions > 0 || counts.reflectionBoundaries > 0;
+    const hasLowering = object?.hasLowering === true || counts.loweringRecords > 0;
+    return {
+        total,
+        ids: uniqueStrings(stringArray(object?.ids)),
+        groups: uniqueStrings(stringArray(object?.groups)),
+        kinds: uniqueStrings(stringArray(object?.kinds)),
+        evidence: nonNegativeCount(object?.evidence),
+        ...counts,
+        byGroup,
+        byKind,
+        hasRuntimeSemantics,
+        hasLogicSemantics,
+        hasStackSemantics,
+        hasArraySemantics,
+        hasMacroOrReflection,
+        hasLowering,
+        empty: object?.empty === true || total === 0
+    };
+}
+function normalizeProofSpecSummary(input) {
+    const object = toJsonObject(input);
+    const total = nonNegativeCount(object?.total);
+    return {
+        total,
+        ids: uniqueStrings(stringArray(object?.ids)),
+        contracts: nonNegativeCount(object?.contracts),
+        refinements: nonNegativeCount(object?.refinements),
+        invariants: nonNegativeCount(object?.invariants),
+        termination: nonNegativeCount(object?.termination),
+        temporal: nonNegativeCount(object?.temporal),
+        obligations: nonNegativeCount(object?.obligations),
+        artifacts: nonNegativeCount(object?.artifacts),
+        assumptions: nonNegativeCount(object?.assumptions),
+        evidence: nonNegativeCount(object?.evidence),
+        discharged: nonNegativeCount(object?.discharged),
+        failed: nonNegativeCount(object?.failed),
+        open: nonNegativeCount(object?.open),
+        unknown: nonNegativeCount(object?.unknown),
+        stale: nonNegativeCount(object?.stale),
+        assumed: nonNegativeCount(object?.assumed),
+        contractKinds: uniqueStrings(stringArray(object?.contractKinds)),
+        artifactKinds: uniqueStrings(stringArray(object?.artifactKinds)),
+        byStatus: normalizeCounterRecord(object?.byStatus),
+        byContractKind: normalizeCounterRecord(object?.byContractKind),
+        byArtifactKind: normalizeCounterRecord(object?.byArtifactKind),
+        empty: object?.empty === true || total === 0
+    };
+}
 function normalizeSemanticIndexSummary(input) {
     const object = toJsonObject(input);
     return {
@@ -4390,6 +4485,9 @@ function slug(value) {
 function uniqueStrings(values) {
     return Array.from(new Set(values.map((value) => String(value ?? '').trim()).filter(Boolean)));
 }
+function stringArray(value) {
+    return Array.isArray(value) ? value.map((entry) => String(entry ?? '').trim()).filter(Boolean) : [];
+}
 function positiveNumber(value) {
     return typeof value === 'number' && Number.isFinite(value) && value > 0;
 }