stig-engine/com.stigway.engine.metrics.nexy

Package-level declarations

Types

data class AppliedNexyMetric(val scope: MetricScope, val metricKey: String, val originalMetricKey: String, val rawValue: Double, val descriptor: MetricDescriptor, val metricModelId: String, val score: ElementaryNexyScore, val nexyGauge: NexyGaugeRenderPlan, val rawMetricRuler: RawMetricRulerRenderPlan)

CompositeNexyCoverage

data class CompositeNexyCoverage(val candidateMetricCount: Int, val scoredMetricCount: Int, val omittedMetricCount: Int, val candidateWeight: Double, val scoredWeight: Double, val omittedWeight: Double)

CompositeNexyResult

data class CompositeNexyResult(val nexy: Double, val scoredWeight: Double, val band: NexyZone)

ElementaryNexyScore

data class ElementaryNexyScore(val metricKey: String, val rawValue: Double, val nexy: Double, val weight: Double = 1.0, val band: NexyZone)

LinearRawAxisModel

data class LinearRawAxisModel(val rawUnit: String, val tickRounding: TickRounding, val minMetricValue: Double, val maxMetricValue: Double) : RawAxisModel

LogarithmicRawAxisModel

data class LogarithmicRawAxisModel(val rawUnit: String, val tickRounding: TickRounding, val minMetricValue: Double, val maxMetricValue: Double, val base: Double = 10.0) : RawAxisModel

LogNormalDistributionModel

data class LogNormalDistributionModel(val logMean: Double, val logStandardDeviation: Double) : NexyDistributionModel

MetricAvailabilityDiagnostic

data class MetricAvailabilityDiagnostic(val metricKey: String, val scope: MetricScope, val reason: String)

MetricDescriptor

data class MetricDescriptor(val key: String, val abbreviation: String, val label: String, val description: String, val unit: String, val source: MetricSource, val supportedScopes: Set<MetricScope>, val requiresAnalyzer: Boolean, val requiresZ3: Boolean, val includeInCompositeByDefault: Boolean)

MetricDirection

enum MetricDirection : Enum<MetricDirection>

MetricScope

enum MetricScope : Enum<MetricScope>

MetricSource

enum MetricSource : Enum<MetricSource>

NexyApplicationDiagnostic

data class NexyApplicationDiagnostic(val kind: NexyApplicationDiagnosticKind, val scope: MetricScope, val metricKey: String, val message: String)

NexyApplicationDiagnosticKind

enum NexyApplicationDiagnosticKind : Enum<NexyApplicationDiagnosticKind>

NexyApplicationResult

data class NexyApplicationResult(val metrics: List<AppliedNexyMetric>, val composite: CompositeNexyResult, val compositeCoverage: CompositeNexyCoverage, val diagnostics: List<NexyApplicationDiagnostic>)

NexyDefaultMetricModelFactory

object NexyDefaultMetricModelFactory

NexyDistributionModel

sealed interface NexyDistributionModel

NexyEqualZoneAxis

object NexyEqualZoneAxis

NexyEvidenceAvailability

data class NexyEvidenceAvailability(val analyzerEvidenceAvailable: Boolean = false, val z3EvidenceAvailable: Boolean = false)

NexyGaugeRenderPlan

data class NexyGaugeRenderPlan(val schemaVersion: Int = NEXY_SCHEMA_VERSION, val kind: String = KIND, val title: String, val nexy: Double, val axisPosition: Double, val valueLabel: String, val subLabel: String, val band: NexyZone, val zones: List<RenderBand> = NexyRenderPlans.nexyGaugeBands, val ticks: List<NexyGaugeTick> = NexyRenderPlans.nexyGaugeTicks)

NexyGaugeTick

data class NexyGaugeTick(val axisPosition: Double, val percentile: Double, val percentileLabel: String, val rawLabel: String)

NexyMetricAvailability

object NexyMetricAvailability

NexyMetricDescriptors

object NexyMetricDescriptors

NexyMetricModel

data class NexyMetricModel(val schemaVersion: Int = NEXY_SCHEMA_VERSION, val id: String, val scope: MetricScope, val metricKey: String, val direction: MetricDirection, val distributionModel: NexyDistributionModel, val rawAxisModel: RawAxisModel)

NexyMetricModelApplication

object NexyMetricModelApplication

NexyMetricModelJson

object NexyMetricModelJson

NexyMetricModelKey

data class NexyMetricModelKey(val scope: MetricScope, val metricKey: String)

NexyMetricModels

object NexyMetricModels

NexyMetricModelSet

data class NexyMetricModelSet(val schemaVersion: Int = NEXY_SCHEMA_VERSION, val metricModels: List<NexyMetricModel>)

NexyMetricThresholdEdges

data class NexyMetricThresholdEdges(val lowToMediumBoundary: Double, val mediumToHighBoundary: Double, val outlierHighBoundary: Double)

NexyPercentileMarker

enum NexyPercentileMarker : Enum<NexyPercentileMarker>

NexyPercentileScale

object NexyPercentileScale

NexyRenderPlans

object NexyRenderPlans

NexyReportPayloads

object NexyReportPayloads

NexyScoring

object NexyScoring

NexyZone

enum NexyZone : Enum<NexyZone>

NormalDistributionModel

data class NormalDistributionModel(val mean: Double, val standardDeviation: Double) : NexyDistributionModel

PoissonDistributionModel

data class PoissonDistributionModel(val lambda: Double) : NexyDistributionModel

QuantilePoint

data class QuantilePoint(val percentile: Double, val metricValue: Double)

QuantileTableDistributionModel

data class QuantileTableDistributionModel(val points: List<QuantilePoint>) : NexyDistributionModel

RawAxisModel

sealed interface RawAxisModel

RawAxisModelKind

enum RawAxisModelKind : Enum<RawAxisModelKind>

RawMetricAxis

data class RawMetricAxis(val kind: String = KIND, val modelKind: RawAxisModelKind, val unit: String)

RawMetricMarker

data class RawMetricMarker(val rawValue: Double, val rawValueLabel: String, val rawLabel: String, val nexy: Double, val nexyLabel: String, val axisPosition: Double, val band: NexyZone, val overflowLow: Boolean, val overflowHigh: Boolean)

RawMetricRulerRenderPlan

data class RawMetricRulerRenderPlan(val schemaVersion: Int = NEXY_SCHEMA_VERSION, val kind: String = KIND, val title: String, val axis: RawMetricAxis, val marker: RawMetricMarker, val bands: List<RenderBand>, val ticks: List<RawMetricTick>)

RawMetricTick

data class RawMetricTick(val axisPosition: Double, val percentile: Double, val percentileLabel: String, val rawValue: Double, val rawLabel: String)

RawNexyMetric

data class RawNexyMetric(val scope: MetricScope, val metricKey: String, val rawValue: Double, val weight: Double = 1.0, val title: String? = null)

RenderBand

data class RenderBand(val axisStart: Double, val axisEnd: Double, val band: NexyZone, val displayLabel: String)

SafetyMeasureImpact

enum SafetyMeasureImpact : Enum<SafetyMeasureImpact>

Complexity-driven impact on safety measures.

TickRounding

enum TickRounding : Enum<TickRounding>

Properties

NEXY_SCHEMA_VERSION

const val NEXY_SCHEMA_VERSION: Int = 2

Functions

main

fun main(args: Array<String>)

CLI entry point for the Gradle stigGenerateNexyGaugeFixtureJs task in stig-gradle-plugin. The generated file feeds Playwright HTML fixtures without duplicating NEXY percentile-zone policy in JavaScript. Runtime default metric models are computed directly from NexyDefaultMetricModelFactory, not from generated Kotlin source.

fun main(args: Array<String>)

Generates the browser metadata derived from NexyMetricDescriptors.