@shapeshift-labs/frontier-swarm 0.5.10 → 0.5.12

package/dist/semantic-normalization.js

@@ -0,0 +1,195 @@
+import { nonNegativeCount, normalizeCounterRecord, stringArray } from './coercion.js';
+import { toJsonObject, uniqueStrings } from './internal.js';
+export function normalizeSemanticImportSummary(input) {
+    const object = toJsonObject(input);
+    if (!object)
+        return undefined;
+    const metadata = toJsonObject(object.metadata);
+    return {
+        total: nonNegativeCount(object.total),
+        selected: nonNegativeCount(object.selected),
+        eligible: nonNegativeCount(object.eligible),
+        omitted: nonNegativeCount(object.omitted),
+        imported: nonNegativeCount(object.imported),
+        skipped: nonNegativeCount(object.skipped),
+        errors: nonNegativeCount(object.errors),
+        sourceMapCount: nonNegativeCount(object.sourceMapCount),
+        sourceMapMappingCount: nonNegativeCount(object.sourceMapMappingCount),
+        lossCount: nonNegativeCount(object.lossCount),
+        lossesBySeverity: normalizeCounterRecord(object.lossesBySeverity),
+        semanticIndex: normalizeSemanticIndexSummary(object.semanticIndex),
+        dependencies: normalizeSemanticDependencySummary(object.dependencies),
+        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 {
+        documents: nonNegativeCount(object?.documents),
+        symbols: nonNegativeCount(object?.symbols),
+        occurrences: nonNegativeCount(object?.occurrences),
+        relations: nonNegativeCount(object?.relations),
+        facts: nonNegativeCount(object?.facts)
+    };
+}
+function normalizeSemanticDependencySummary(input) {
+    const object = toJsonObject(input);
+    const byPredicate = normalizeCounterRecord(object?.byPredicate);
+    const namedTotal = [
+        'calls',
+        'uses',
+        'references',
+        'imports',
+        'depends',
+        'extends',
+        'implements',
+        'includes',
+        'requires'
+    ].reduce((sum, key) => sum + nonNegativeCount(object?.[key]), 0);
+    return {
+        total: nonNegativeCount(object?.total) || Object.values(byPredicate).reduce((sum, count) => sum + count, 0) || namedTotal,
+        calls: nonNegativeCount(object?.calls),
+        uses: nonNegativeCount(object?.uses),
+        references: nonNegativeCount(object?.references),
+        imports: nonNegativeCount(object?.imports),
+        depends: nonNegativeCount(object?.depends),
+        extends: nonNegativeCount(object?.extends),
+        implements: nonNegativeCount(object?.implements),
+        includes: nonNegativeCount(object?.includes),
+        requires: nonNegativeCount(object?.requires),
+        byPredicate,
+        predicates: uniqueStrings(stringArray(object?.predicates)),
+        ids: uniqueStrings(stringArray(object?.ids)),
+        sourceSymbolIds: uniqueStrings(stringArray(object?.sourceSymbolIds)),
+        targetSymbolIds: uniqueStrings(stringArray(object?.targetSymbolIds))
+    };
+}
+function normalizeSemanticSidecarSummary(input) {
+    const object = toJsonObject(input);
+    return {
+        total: nonNegativeCount(object?.total),
+        symbols: nonNegativeCount(object?.symbols),
+        ownershipRegions: nonNegativeCount(object?.ownershipRegions),
+        patchHints: nonNegativeCount(object?.patchHints),
+        empty: nonNegativeCount(object?.empty)
+    };
+}
+function normalizeSourceProjectionSummary(input) {
+    const object = toJsonObject(input);
+    return {
+        total: nonNegativeCount(object?.total),
+        preserved: nonNegativeCount(object?.preserved),
+        stubs: nonNegativeCount(object?.stubs),
+        ready: nonNegativeCount(object?.ready),
+        needsReview: nonNegativeCount(object?.needsReview),
+        blocked: nonNegativeCount(object?.blocked)
+    };
+}
+function normalizeNativeCompileSummary(input) {
+    const object = toJsonObject(input);
+    return {
+        total: nonNegativeCount(object?.total),
+        emitted: nonNegativeCount(object?.emitted),
+        preserved: nonNegativeCount(object?.preserved),
+        targetStubs: nonNegativeCount(object?.targetStubs),
+        ready: nonNegativeCount(object?.ready),
+        needsReview: nonNegativeCount(object?.needsReview),
+        blocked: nonNegativeCount(object?.blocked)
+    };
+}
+//# sourceMappingURL=semantic-normalization.js.map

package/dist/semantic-normalization.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-normalization.js","sourceRoot":"","sources":["../src/semantic-normalization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAY5D,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/C,OAAO;QACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC;QACrC,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3C,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3C,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC;QACzC,QAAQ,EAAE,gBAAgB,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC3C,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC;QACzC,MAAM,EAAE,gBAAgB,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,cAAc,EAAE,gBAAgB,CAAC,MAAM,CAAC,cAAc,CAAC;QACvD,qBAAqB,EAAE,gBAAgB,CAAC,MAAM,CAAC,qBAAqB,CAAC;QACrE,SAAS,EAAE,gBAAgB,CAAC,MAAM,CAAC,SAAS,CAAC;QAC7C,gBAAgB,EAAE,sBAAsB,CAAC,MAAM,CAAC,gBAAgB,CAAC;QACjE,aAAa,EAAE,6BAA6B,CAAC,MAAM,CAAC,aAAa,CAAC;QAClE,YAAY,EAAE,kCAAkC,CAAC,MAAM,CAAC,YAAY,CAAC;QACrE,gBAAgB,EAAE,+BAA+B,CAAC,MAAM,CAAC,gBAAgB,CAAC;QAC1E,SAAS,EAAE,yBAAyB,CAAC,MAAM,CAAC,SAAS,CAAC;QACtD,iBAAiB,EAAE,iCAAiC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC9E,iBAAiB,EAAE,gCAAgC,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC7E,cAAc,EAAE,6BAA6B,CAAC,MAAM,CAAC,cAAc,CAAC;QACpE,SAAS,EAAE,sBAAsB,CAAC,MAAM,CAAC,SAAS,CAAC;QACnD,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,MAAM,8BAA8B,GAAG;IACrC,eAAe;IACf,UAAU;IACV,UAAU;IACV,iBAAiB;IACjB,kBAAkB;IAClB,iBAAiB;IACjB,eAAe;IACf,gBAAgB;IAChB,eAAe;IACf,cAAc;IACd,cAAc;IACd,aAAa;IACb,gBAAgB;IAChB,kBAAkB;IAClB,aAAa;IACb,cAAc;IACd,iBAAiB;IACjB,sBAAsB;IACtB,iBAAiB;CACT,CAAC;AAEX,SAAS,iCAAiC,CAAC,KAAc;IACvD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAC9E,KAAK;QACL,gBAAgB,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;KAClC,CAAC,CAAkE,CAAC;IACrE,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9G,MAAM,OAAO,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACtD,MAAM,mBAAmB,GAAG,MAAM,EAAE,mBAAmB,KAAK,IAAI;WAC3D,MAAM,CAAC,gBAAgB,GAAG,CAAC;WAC3B,MAAM,CAAC,eAAe,GAAG,CAAC;WAC1B,MAAM,CAAC,aAAa,GAAG,CAAC;WACxB,MAAM,CAAC,cAAc,GAAG,CAAC;WACzB,MAAM,CAAC,YAAY,GAAG,CAAC;WACvB,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC;IAC5B,MAAM,iBAAiB,GAAG,MAAM,EAAE,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,aAAa,GAAG,CAAC,CAAC;IACzF,MAAM,iBAAiB,GAAG,MAAM,EAAE,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,YAAY,GAAG,CAAC,CAAC;IACxF,MAAM,iBAAiB,GAAG,MAAM,EAAE,iBAAiB,KAAK,IAAI,IAAI,MAAM,CAAC,WAAW,GAAG,CAAC,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC;IACpH,MAAM,oBAAoB,GAAG,MAAM,EAAE,oBAAoB,KAAK,IAAI,IAAI,MAAM,CAAC,eAAe,GAAG,CAAC,IAAI,MAAM,CAAC,oBAAoB,GAAG,CAAC,CAAC;IACpI,MAAM,WAAW,GAAG,MAAM,EAAE,WAAW,KAAK,IAAI,IAAI,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC;IAC/E,OAAO;QACL,KAAK;QACL,GAAG,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChD,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,GAAG,MAAM;QACT,OAAO;QACP,MAAM;QACN,mBAAmB;QACnB,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,oBAAoB;QACpB,WAAW;QACX,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc;IAC/C,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC9C,OAAO;QACL,KAAK;QACL,GAAG,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC;QAChD,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC;QAChD,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,MAAM,CAAC;QACxC,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC;QACpC,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,aAAa,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAChE,aAAa,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;QAChE,QAAQ,EAAE,sBAAsB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAClD,cAAc,EAAE,sBAAsB,CAAC,MAAM,EAAE,cAAc,CAAC;QAC9D,cAAc,EAAE,sBAAsB,CAAC,MAAM,EAAE,cAAc,CAAC;QAC9D,KAAK,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,CAAC;KAC7C,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,kCAAkC,CAAC,KAAc;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,WAAW,GAAG,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG;QACjB,OAAO;QACP,MAAM;QACN,YAAY;QACZ,SAAS;QACT,SAAS;QACT,SAAS;QACT,YAAY;QACZ,UAAU;QACV,UAAU;KACX,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,OAAO;QACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,IAAI,UAAU;QACzH,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,IAAI,EAAE,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC;QACpC,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC;QAChD,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC;QAChD,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,QAAQ,EAAE,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC;QAC5C,WAAW;QACX,UAAU,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC1D,GAAG,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC5C,eAAe,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACpE,eAAe,EAAE,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CAAC,KAAc;IACrD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,gBAAgB,EAAE,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,CAAC;QAC5D,UAAU,EAAE,gBAAgB,CAAC,MAAM,EAAE,UAAU,CAAC;QAChD,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,gCAAgC,CAAC,KAAc;IACtD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CAAC,KAAc;IACnD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO;QACL,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;QAC1C,SAAS,EAAE,gBAAgB,CAAC,MAAM,EAAE,SAAS,CAAC;QAC9C,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,KAAK,EAAE,gBAAgB,CAAC,MAAM,EAAE,KAAK,CAAC;QACtC,WAAW,EAAE,gBAAgB,CAAC,MAAM,EAAE,WAAW,CAAC;QAClD,OAAO,EAAE,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC;KAC3C,CAAC;AACJ,CAAC"}

package/dist/semantic-types.d.ts

@@ -0,0 +1,265 @@
+import type { JsonObject } from '@shapeshift-labs/frontier';
+export interface FrontierSwarmSemanticImportCounterInput {
+    readonly [key: string]: number | undefined;
+}
+export interface FrontierSwarmSemanticIndexSummaryInput {
+    documents?: number;
+    symbols?: number;
+    occurrences?: number;
+    relations?: number;
+    facts?: number;
+}
+export interface FrontierSwarmSemanticDependencySummaryInput {
+    total?: number;
+    calls?: number;
+    uses?: number;
+    references?: number;
+    imports?: number;
+    depends?: number;
+    extends?: number;
+    implements?: number;
+    includes?: number;
+    requires?: number;
+    byPredicate?: FrontierSwarmSemanticImportCounterInput;
+    predicates?: readonly string[];
+    ids?: readonly string[];
+    sourceSymbolIds?: readonly string[];
+    targetSymbolIds?: readonly string[];
+}
+export interface FrontierSwarmSemanticSidecarSummaryInput {
+    total?: number;
+    symbols?: number;
+    ownershipRegions?: number;
+    patchHints?: number;
+    empty?: number;
+}
+export interface FrontierSwarmSourceProjectionSummaryInput {
+    total?: number;
+    preserved?: number;
+    stubs?: number;
+    ready?: number;
+    needsReview?: number;
+    blocked?: number;
+}
+export interface FrontierSwarmNativeCompileSummaryInput {
+    total?: number;
+    emitted?: number;
+    preserved?: number;
+    targetStubs?: number;
+    ready?: number;
+    needsReview?: number;
+    blocked?: number;
+}
+export interface FrontierSwarmParadigmSemanticsSummaryInput {
+    total?: number;
+    ids?: readonly string[];
+    groups?: readonly string[];
+    kinds?: readonly string[];
+    evidence?: number;
+    bindingScopes?: number;
+    bindings?: number;
+    patterns?: number;
+    typeConstraints?: number;
+    evaluationModels?: number;
+    memoryLocations?: number;
+    effectRegions?: number;
+    controlRegions?: number;
+    logicPrograms?: number;
+    actorSystems?: number;
+    stackEffects?: number;
+    arrayShapes?: number;
+    numericKernels?: number;
+    dataflowNetworks?: number;
+    clockModels?: number;
+    objectModels?: number;
+    macroExpansions?: number;
+    reflectionBoundaries?: number;
+    loweringRecords?: number;
+    byGroup?: FrontierSwarmSemanticImportCounterInput;
+    byKind?: FrontierSwarmSemanticImportCounterInput;
+    hasRuntimeSemantics?: boolean;
+    hasLogicSemantics?: boolean;
+    hasStackSemantics?: boolean;
+    hasArraySemantics?: boolean;
+    hasMacroOrReflection?: boolean;
+    hasLowering?: boolean;
+    empty?: boolean;
+}
+export interface FrontierSwarmSemanticImportSummaryInput {
+    total?: number;
+    selected?: number;
+    eligible?: number;
+    omitted?: number;
+    imported?: number;
+    skipped?: number;
+    errors?: number;
+    sourceMapCount?: number;
+    sourceMapMappingCount?: number;
+    lossCount?: number;
+    lossesBySeverity?: FrontierSwarmSemanticImportCounterInput;
+    semanticIndex?: FrontierSwarmSemanticIndexSummaryInput;
+    dependencies?: FrontierSwarmSemanticDependencySummaryInput;
+    semanticSidecars?: FrontierSwarmSemanticSidecarSummaryInput;
+    proofSpec?: FrontierSwarmProofSpecSummaryInput;
+    paradigmSemantics?: FrontierSwarmParadigmSemanticsSummaryInput;
+    sourceProjections?: FrontierSwarmSourceProjectionSummaryInput;
+    nativeCompiles?: FrontierSwarmNativeCompileSummaryInput;
+    readiness?: FrontierSwarmSemanticImportCounterInput;
+    metadata?: unknown;
+}
+export interface FrontierSwarmProofSpecSummaryInput {
+    total?: number;
+    ids?: readonly string[];
+    contracts?: number;
+    refinements?: number;
+    invariants?: number;
+    termination?: number;
+    temporal?: number;
+    obligations?: number;
+    artifacts?: number;
+    assumptions?: number;
+    evidence?: number;
+    discharged?: number;
+    failed?: number;
+    open?: number;
+    unknown?: number;
+    stale?: number;
+    assumed?: number;
+    contractKinds?: readonly string[];
+    artifactKinds?: readonly string[];
+    byStatus?: FrontierSwarmSemanticImportCounterInput;
+    byContractKind?: FrontierSwarmSemanticImportCounterInput;
+    byArtifactKind?: FrontierSwarmSemanticImportCounterInput;
+    empty?: boolean;
+}
+export interface FrontierSwarmSemanticIndexSummary {
+    documents: number;
+    symbols: number;
+    occurrences: number;
+    relations: number;
+    facts: number;
+}
+export interface FrontierSwarmSemanticDependencySummary {
+    total: number;
+    calls: number;
+    uses: number;
+    references: number;
+    imports: number;
+    depends: number;
+    extends: number;
+    implements: number;
+    includes: number;
+    requires: number;
+    byPredicate: Record<string, number>;
+    predicates: string[];
+    ids: string[];
+    sourceSymbolIds: string[];
+    targetSymbolIds: string[];
+}
+export interface FrontierSwarmSemanticSidecarSummary {
+    total: number;
+    symbols: number;
+    ownershipRegions: number;
+    patchHints: number;
+    empty: number;
+}
+export interface FrontierSwarmProofSpecSummary {
+    total: number;
+    ids: string[];
+    contracts: number;
+    refinements: number;
+    invariants: number;
+    termination: number;
+    temporal: number;
+    obligations: number;
+    artifacts: number;
+    assumptions: number;
+    evidence: number;
+    discharged: number;
+    failed: number;
+    open: number;
+    unknown: number;
+    stale: number;
+    assumed: number;
+    contractKinds: string[];
+    artifactKinds: string[];
+    byStatus: Record<string, number>;
+    byContractKind: Record<string, number>;
+    byArtifactKind: Record<string, number>;
+    empty: boolean;
+}
+export interface FrontierSwarmSourceProjectionSummary {
+    total: number;
+    preserved: number;
+    stubs: number;
+    ready: number;
+    needsReview: number;
+    blocked: number;
+}
+export interface FrontierSwarmNativeCompileSummary {
+    total: number;
+    emitted: number;
+    preserved: number;
+    targetStubs: number;
+    ready: number;
+    needsReview: number;
+    blocked: number;
+}
+export interface FrontierSwarmParadigmSemanticsSummary {
+    total: number;
+    ids: string[];
+    groups: string[];
+    kinds: string[];
+    evidence: number;
+    bindingScopes: number;
+    bindings: number;
+    patterns: number;
+    typeConstraints: number;
+    evaluationModels: number;
+    memoryLocations: number;
+    effectRegions: number;
+    controlRegions: number;
+    logicPrograms: number;
+    actorSystems: number;
+    stackEffects: number;
+    arrayShapes: number;
+    numericKernels: number;
+    dataflowNetworks: number;
+    clockModels: number;
+    objectModels: number;
+    macroExpansions: number;
+    reflectionBoundaries: number;
+    loweringRecords: number;
+    byGroup: Record<string, number>;
+    byKind: Record<string, number>;
+    hasRuntimeSemantics: boolean;
+    hasLogicSemantics: boolean;
+    hasStackSemantics: boolean;
+    hasArraySemantics: boolean;
+    hasMacroOrReflection: boolean;
+    hasLowering: boolean;
+    empty: boolean;
+}
+export interface FrontierSwarmSemanticImportSummary {
+    total: number;
+    selected: number;
+    eligible: number;
+    omitted: number;
+    imported: number;
+    skipped: number;
+    errors: number;
+    sourceMapCount: number;
+    sourceMapMappingCount: number;
+    lossCount: number;
+    lossesBySeverity: Record<string, number>;
+    semanticIndex: FrontierSwarmSemanticIndexSummary;
+    dependencies: FrontierSwarmSemanticDependencySummary;
+    semanticSidecars: FrontierSwarmSemanticSidecarSummary;
+    proofSpec: FrontierSwarmProofSpecSummary;
+    paradigmSemantics: FrontierSwarmParadigmSemanticsSummary;
+    sourceProjections: FrontierSwarmSourceProjectionSummary;
+    nativeCompiles: FrontierSwarmNativeCompileSummary;
+    readiness: Record<string, number>;
+    metadata?: JsonObject;
+}
+//# sourceMappingURL=semantic-types.d.ts.map

package/dist/semantic-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-types.d.ts","sourceRoot":"","sources":["../src/semantic-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACX,MAAM,2BAA2B,CAAC;AAEnC,MAAM,WAAW,uCAAuC;IACtD,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;CAC5C;AAED,MAAM,WAAW,sCAAsC;IACrD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,2CAA2C;IAC1D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,uCAAuC,CAAC;IACtD,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,wCAAwC;IACvD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,yCAAyC;IACxD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,sCAAsC;IACrD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,0CAA0C;IACzD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,OAAO,CAAC,EAAE,uCAAuC,CAAC;IAClD,MAAM,CAAC,EAAE,uCAAuC,CAAC;IACjD,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,uCAAuC;IACtD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,gBAAgB,CAAC,EAAE,uCAAuC,CAAC;IAC3D,aAAa,CAAC,EAAE,sCAAsC,CAAC;IACvD,YAAY,CAAC,EAAE,2CAA2C,CAAC;IAC3D,gBAAgB,CAAC,EAAE,wCAAwC,CAAC;IAC5D,SAAS,CAAC,EAAE,kCAAkC,CAAC;IAC/C,iBAAiB,CAAC,EAAE,0CAA0C,CAAC;IAC/D,iBAAiB,CAAC,EAAE,yCAAyC,CAAC;IAC9D,cAAc,CAAC,EAAE,sCAAsC,CAAC;IACxD,SAAS,CAAC,EAAE,uCAAuC,CAAC;IACpD,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,kCAAkC;IACjD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,EAAE,uCAAuC,CAAC;IACnD,cAAc,CAAC,EAAE,uCAAuC,CAAC;IACzD,cAAc,CAAC,EAAE,uCAAuC,CAAC;IACzD,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,iCAAiC;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,sCAAsC;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,mCAAmC;IAClD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,6BAA6B;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,oCAAoC;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iCAAiC;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,qCAAqC;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,kCAAkC;IACjD,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,aAAa,EAAE,iCAAiC,CAAC;IACjD,YAAY,EAAE,sCAAsC,CAAC;IACrD,gBAAgB,EAAE,mCAAmC,CAAC;IACtD,SAAS,EAAE,6BAA6B,CAAC;IACzC,iBAAiB,EAAE,qCAAqC,CAAC;IACzD,iBAAiB,EAAE,oCAAoC,CAAC;IACxD,cAAc,EAAE,iCAAiC,CAAC;IAClD,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,QAAQ,CAAC,EAAE,UAAU,CAAC;CACvB"}

package/dist/semantic-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=semantic-types.js.map

package/dist/semantic-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-types.js","sourceRoot":"","sources":["../src/semantic-types.ts"],"names":[],"mappings":""}

package/dist/status-types.d.ts

@@ -0,0 +1,28 @@
+export type FrontierSwarmComputeKind = 'codex' | 'shell' | 'human' | 'external' | string;
+export type FrontierSwarmReasoningEffort = 'minimal' | 'low' | 'medium' | 'high' | 'xhigh' | string;
+export type FrontierSwarmPolicyMode = 'advisory' | 'hard-file-ownership' | string;
+export type FrontierSwarmTaskStatus = 'open' | 'planned' | 'running' | 'blocked' | 'failed' | 'completed' | 'verified' | string;
+export type FrontierSwarmJobStatus = 'planned' | 'scheduled' | 'running' | 'blocked' | 'failed' | 'completed' | 'verified' | string;
+export type FrontierSwarmMergeReadiness = 'discovery-only' | 'patch-candidate' | 'verified-patch' | 'rejected' | 'blocked' | string;
+export type FrontierSwarmMergeDisposition = 'auto-mergeable' | 'needs-port' | 'discovery-only' | 'rejected' | 'blocked' | 'stale-against-head' | string;
+export type FrontierSwarmRiskLevel = 'low' | 'medium' | 'high' | 'unknown' | string;
+export type FrontierSwarmPatchStatus = 'unknown' | 'applies' | 'missing' | 'stale' | 'failed-check' | string;
+export type FrontierSwarmQueueOverlayStatus = 'satisfied' | 'ready-to-apply' | 'needs-human-port' | 'failed-evidence' | 'stale-against-head' | 'discovery-only' | 'blocked' | 'rejected' | 'unknown' | string;
+export type FrontierSwarmParityOracleStatus = 'pending' | 'passed' | 'failed' | 'blocked' | 'skipped' | string;
+export type FrontierSwarmDivergenceSeverity = 'info' | 'warning' | 'error' | 'critical' | string;
+export type FrontierSwarmTraceShardStatus = 'passed' | 'failed' | 'blocked' | 'unknown' | string;
+export type FrontierSwarmWatchpointAction = 'break' | 'log' | 'capture' | 'handoff' | string;
+export type FrontierSwarmBottleneckKind = 'correctness' | 'performance' | 'instrumentation-overhead' | 'missing-oracle' | 'flaky-harness' | 'blocked-dependency' | 'merge-review' | 'resource-capacity' | 'budget' | 'queue' | string;
+export type FrontierSwarmConfidence = 'low' | 'medium' | 'high' | string;
+export type FrontierSwarmBlackboardEntryKind = 'fact' | 'divergence' | 'rejected-theory' | 'ownership' | 'decision' | string;
+export type FrontierSwarmProgressStatus = 'not-started' | 'declared' | 'implemented' | 'structure-verified' | 'visual-verified' | 'functional-verified' | 'collaboration-verified' | 'accepted' | 'rejected' | 'blocked' | string;
+export type FrontierSwarmAutoReviewFindingKind = 'stub-risk' | 'missing-evidence' | 'ownership-violation' | 'overlarge-patch' | 'weak-evidence' | 'strict-source-policy' | string;
+export type FrontierSwarmRebaseStatus = 'clean-apply' | 'textual-conflict' | 'semantic-overlap' | 'stale-evidence' | 'needs-rerun' | string;
+export type FrontierSwarmCoordinatorLiveness = 'running' | 'finished' | 'missing' | 'unknown' | string;
+export type FrontierSwarmCoordinatorAdmissionStatus = 'admitted' | 'deferred' | 'not-admissible' | 'unknown' | string;
+export type FrontierSwarmAdaptiveMode = 'off' | 'observe' | 'conservative' | 'balanced' | 'aggressive' | string;
+export type FrontierSwarmAdaptiveObservationKind = 'resource-capacity' | 'lane-capacity' | 'concurrency-key-capacity' | 'compute-capacity' | 'ready-capacity' | 'evidence-failure' | 'merge-conflict' | 'stale-patch' | 'browser-contention' | 'semantic-empty' | 'semantic-weak' | 'log-noise' | 'discovery-only-output' | 'duplicate-output' | 'budget-pressure' | 'slow-job' | 'healthy-throughput' | string;
+export type FrontierSwarmAdaptiveObservationSeverity = 'info' | 'warning' | 'error' | 'critical' | string;
+export type FrontierSwarmAdaptiveDecisionAction = 'observe' | 'decrease' | 'increase' | 'hold' | string;
+export type FrontierSwarmAdaptiveDecisionTarget = 'max-ready-jobs' | 'lane' | 'concurrency-key' | 'compute' | 'resource' | string;
+//# sourceMappingURL=status-types.d.ts.map

package/dist/status-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-types.d.ts","sourceRoot":"","sources":["../src/status-types.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,wBAAwB,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;AACzF,MAAM,MAAM,4BAA4B,GAAG,SAAS,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AACpG,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,qBAAqB,GAAG,MAAM,CAAC;AAClF,MAAM,MAAM,uBAAuB,GAC/B,MAAM,GACN,SAAS,GACT,SAAS,GACT,SAAS,GACT,QAAQ,GACR,WAAW,GACX,UAAU,GACV,MAAM,CAAC;AACX,MAAM,MAAM,sBAAsB,GAC9B,SAAS,GACT,WAAW,GACX,SAAS,GACT,SAAS,GACT,QAAQ,GACR,WAAW,GACX,UAAU,GACV,MAAM,CAAC;AACX,MAAM,MAAM,2BAA2B,GACnC,gBAAgB,GAChB,iBAAiB,GACjB,gBAAgB,GAChB,UAAU,GACV,SAAS,GACT,MAAM,CAAC;AACX,MAAM,MAAM,6BAA6B,GACrC,gBAAgB,GAChB,YAAY,GACZ,gBAAgB,GAChB,UAAU,GACV,SAAS,GACT,oBAAoB,GACpB,MAAM,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AACpF,MAAM,MAAM,wBAAwB,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,GAAG,cAAc,GAAG,MAAM,CAAC;AAC7G,MAAM,MAAM,+BAA+B,GACvC,WAAW,GACX,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,oBAAoB,GACpB,gBAAgB,GAChB,SAAS,GACT,UAAU,GACV,SAAS,GACT,MAAM,CAAC;AACX,MAAM,MAAM,+BAA+B,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAC/G,MAAM,MAAM,+BAA+B,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;AACjG,MAAM,MAAM,6BAA6B,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AACjG,MAAM,MAAM,6BAA6B,GAAG,OAAO,GAAG,KAAK,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AAC7F,MAAM,MAAM,2BAA2B,GACnC,aAAa,GACb,aAAa,GACb,0BAA0B,GAC1B,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AACX,MAAM,MAAM,uBAAuB,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAC;AACzE,MAAM,MAAM,gCAAgC,GAAG,MAAM,GAAG,YAAY,GAAG,iBAAiB,GAAG,WAAW,GAAG,UAAU,GAAG,MAAM,CAAC;AAC7H,MAAM,MAAM,2BAA2B,GACnC,aAAa,GACb,UAAU,GACV,aAAa,GACb,oBAAoB,GACpB,iBAAiB,GACjB,qBAAqB,GACrB,wBAAwB,GACxB,UAAU,GACV,UAAU,GACV,SAAS,GACT,MAAM,CAAC;AACX,MAAM,MAAM,kCAAkC,GAC1C,WAAW,GACX,kBAAkB,GAClB,qBAAqB,GACrB,iBAAiB,GACjB,eAAe,GACf,sBAAsB,GACtB,MAAM,CAAC;AACX,MAAM,MAAM,yBAAyB,GACjC,aAAa,GACb,kBAAkB,GAClB,kBAAkB,GAClB,gBAAgB,GAChB,aAAa,GACb,MAAM,CAAC;AACX,MAAM,MAAM,gCAAgC,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;AACvG,MAAM,MAAM,uCAAuC,GAAG,UAAU,GAAG,UAAU,GAAG,gBAAgB,GAAG,SAAS,GAAG,MAAM,CAAC;AACtH,MAAM,MAAM,yBAAyB,GAAG,KAAK,GAAG,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;AAChH,MAAM,MAAM,oCAAoC,GAC5C,mBAAmB,GACnB,eAAe,GACf,0BAA0B,GAC1B,kBAAkB,GAClB,gBAAgB,GAChB,kBAAkB,GAClB,gBAAgB,GAChB,aAAa,GACb,oBAAoB,GACpB,gBAAgB,GAChB,eAAe,GACf,WAAW,GACX,uBAAuB,GACvB,kBAAkB,GAClB,iBAAiB,GACjB,UAAU,GACV,oBAAoB,GACpB,MAAM,CAAC;AACX,MAAM,MAAM,wCAAwC,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,MAAM,CAAC;AAC1G,MAAM,MAAM,mCAAmC,GAAG,SAAS,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;AACxG,MAAM,MAAM,mCAAmC,GAC3C,gBAAgB,GAChB,MAAM,GACN,iBAAiB,GACjB,SAAS,GACT,UAAU,GACV,MAAM,CAAC"}

package/dist/status-types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=status-types.js.map

package/dist/status-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-types.js","sourceRoot":"","sources":["../src/status-types.ts"],"names":[],"mappings":""}