cardano-tracer | timeseries: Prometheus-aligned HTTP API, node info endpoints, Grafana datasource

bench/cardano-profile/data/test/chainsync-early-alonzo-coay/profile.json

@@ -308,7 +308,8 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "cluster": null,
   "extra_desc": "without cardano-tracer",

bench/cardano-profile/data/test/chainsync-early-byron-coay/profile.json

@@ -308,7 +308,8 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "extra_desc": "without cardano-tracer",
   "suffix": "notrc",

bench/cardano-profile/data/test/ci-test-bage.json

@@ -14,10 +14,10 @@
     "filters": [],
     "finish_patience": 21,
     "last_log_spread_s": 120,
-    "minimum_chain_density": 2.5e-2,
+    "minimum_chain_density": 0.025,
     "silence_since_last_block_s": 120,
     "start_log_spread_s": 120,
-    "tx_loss_ratio": 2.0e-2,
+    "tx_loss_ratio": 0.020,
     "type": "standard"
   },
   "cli_args": {
@@ -119,7 +119,7 @@
     "tx_fee": 1000000
   },
   "genesis": {
-    "active_slots_coeff": 5.0e-2,
+    "active_slots_coeff": 0.050,
     "alonzo": {
       "collateralPercentage": 150,
       "costModels": {
@@ -329,7 +329,7 @@
     "pparamsEpoch": 300,
     "pparamsOverlays": [],
     "shelley": {
-      "activeSlotsCoeff": 5.0e-2,
+      "activeSlotsCoeff": 0.050,
       "epochLength": 600,
       "protocolParams": {
         "a0": 0.3,
@@ -352,7 +352,7 @@
           "major": 6,
           "minor": 0
         },
-        "rho": 3.0e-3,
+        "rho": 0.0030,
         "tau": 0.2
       },
       "securityParam": 3,
@@ -383,8 +383,8 @@
   "tracer": {
     "ekg": false,
     "rtview": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "workloads": []
 }
-

bench/cardano-profile/data/test/ci-test-coay/profile.json

@@ -315,7 +315,8 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "cluster": null,
   "desc": "Miniature dataset, CI-friendly duration, test scale",

bench/cardano-profile/data/test/ci-test-dense10-coay/profile.json

@@ -315,14 +315,15 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "cluster": null,
   "desc": "Miniature dataset, CI-friendly duration, test scale",
   "name": "ci-test-dense10-coay",
   "overlay": {},
   "derived": {
-    "supply_delegated": 1e+16,
+    "supply_delegated": 1E+16,
     "supply_total": 10010000000000000,
     "utxo_delegated": 0,
     "utxo_generated": 18000,

bench/cardano-profile/data/test/default-coay/profile.json

@@ -317,7 +317,8 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "cluster": null,
   "name": "default-coay",

bench/cardano-profile/data/test/fast-nomadperf-coay/profile.json

@@ -510,7 +510,8 @@
   "tracer": {
     "rtview": false,
     "ekg": false,
-    "withresources": false
+    "withresources": false,
+    "timeseries": false
   },
   "cluster": {
     "nomad": {

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Builtin/Miniature.hs

@@ -28,6 +28,7 @@ base =
   . P.initCooldown 5
   . P.analysisStandard
 
+
 benchDuration :: Types.Profile -> Types.Profile
 benchDuration =
     V.timescaleCompressed
@@ -73,6 +74,7 @@ profilesNoEraMiniature =
       ciBench02PlutusV3 = ciBench02 & V.genesisVariantVoltaire
       ciBench10Value    = ciBench10 & V.genesisVariant300
       ciBench10Plutus   = ciBench10 & V.genesisVariant300
+
       loop     = V.plutusSaturation           . V.plutusTypeLoop     . P.analysisSizeSmall
       loop2024 = V.plutusSaturation           . V.plutusTypeLoop2024 . P.analysisSizeSmall
       ecdsa    = V.plutusDoublePlusSaturation . V.plutusTypeECDSA    . P.analysisSizeModerate
@@ -85,6 +87,7 @@ profilesNoEraMiniature =
   , ciBench02Value    & P.name "ci-bench-lmdb"                   . V.valueLocal . P.dreps  0 . P.traceForwardingOn  . P.newTracing . P.lmdb . P.ssdDirectory "/tmp"
   , ciBench02Value    & P.name "ci-bench-lsmt"                   . V.valueLocal . P.dreps  0 . P.traceForwardingOn  . P.newTracing . P.lsmt . P.ssdDirectory "/tmp"
   , ciBench02Value    & P.name "ci-bench-rtview"                 . V.valueLocal . P.dreps  0 . P.traceForwardingOn  . P.newTracing . P.tracerRtview
+
   , ciBench02Value    & P.name "ci-bench-notracer"               . V.valueLocal . P.dreps  0 . P.traceForwardingOff . P.newTracing
   , ciBench02Value    & P.name "ci-bench-drep"                   . V.valueLocal . P.dreps 10 . P.traceForwardingOn  . P.newTracing
   , ciBench02Plutus   & P.name "ci-bench-plutus"                 . loop         . P.dreps  0 . P.traceForwardingOn  . P.newTracing
@@ -115,7 +118,8 @@ profilesNoEraMiniature =
     dense & P.name "6-dense"            . V.valueCloud . duration30  . P.traceForwardingOn . P.newTracing
   , dense & P.name "6-dense-rtsprof"    . V.valueCloud . duration30  . P.traceForwardingOn . P.newTracing . P.rtsHeapProf . P.rtsEventlogged
   , dense & P.name "6-dense-1h"         . V.valueCloud . duration60  . P.traceForwardingOn . P.newTracing
-  , dense & P.name "6-dense-1h-rtsprof" . V.valueCloud . duration60  . P.traceForwardingOn . P.newTracing . P.rtsHeapProf . P.rtsEventlogged
+  , dense & P.name "6-dense-1h-rtsprof"      . V.valueCloud . duration60  . P.traceForwardingOn . P.newTracing . P.rtsHeapProf . P.rtsEventlogged
+  , dense & P.name "6-dense-timeseries-1h"   . V.valueCloud . duration60  . P.traceForwardingOn . P.newTracing . P.tracerRtview . P.tracerTimeseries
   , dense & P.name "6-dense-4h"         . V.valueCloud . duration240 . P.traceForwardingOn . P.newTracing
   , dense & P.name "6-dense-4h-rtsprof" . V.valueCloud . duration240 . P.traceForwardingOn . P.newTracing . P.rtsHeapProf . P.rtsEventlogged
   ]

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Primitives.hs

@@ -93,7 +93,7 @@ module Cardano.Benchmarking.Profile.Primitives (
   , workloadAppend
 
   -- Tracer's params.
-  , tracerRtview, tracerWithresources
+  , tracerRtview, tracerWithresources, tracerTimeseries
 
   -- Cluster params.
   , clusterMinimunStorage, ssdDirectory, clusterKeepRunningOn
@@ -203,6 +203,7 @@ empty = Types.Profile {
       Types.rtview = False
     , Types.ekg = False
     , Types.withresources = False
+    , Types.timeseries = False
   }
   , Types.cluster = Nothing
   , Types.analysis = Types.Analysis {
@@ -804,6 +805,9 @@ tracerRtview = tracer (\t -> t {Types.rtview = True})
 tracerWithresources :: Types.Profile -> Types.Profile
 tracerWithresources = tracer (\t -> t {Types.withresources = True})
 
+tracerTimeseries :: Types.Profile -> Types.Profile
+tracerTimeseries = tracer (\t -> t {Types.timeseries = True})
+
 -- Cluster.
 --------------------------------------------------------------------------------
 

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Types.hs

@@ -600,6 +600,7 @@ data Tracer = Tracer
   { rtview :: Bool
   , ekg :: Bool
   , withresources :: Bool
+  , timeseries :: Bool
   }
   deriving (Eq, Show, Generic)
 

bench/cardano-profile/src/Cardano/Benchmarking/Profile/Vocabulary.hs

@@ -125,6 +125,7 @@ fundsDouble =  P.poolBalance 1000000000000000 . P.funds 20000000000000 . P.utxoK
 fundsVoting :: Types.Profile -> Types.Profile
 fundsVoting =  P.poolBalance 1000000000000000 . P.funds 40000000000000 . P.utxoKeys 2
 
+
 -- Definition vocabulary: composition.
 --------------------------------------
 

bench/cardano-profile/test/Main.hs

@@ -375,6 +375,7 @@ ciTestBage = Types.Profile {
       Types.rtview = False
     , Types.ekg = False
     , Types.withresources = False
+    , Types.timeseries = False
   }
   , Types.cluster = Nothing
   , Types.analysis = Types.Analysis {

bench/cardano-timeseries-io/CHANGELOG.md

@@ -1,5 +1,47 @@
 # Revision history for cardano-timeseries-io
 
+## 1.1.0 -- May 2026
+
+### Breaking changes
+
+* JSON wire format aligned with Prometheus conventions:
+  - Response envelope uses `{"status":"success","data":...}` /
+    `{"status":"error","errorType":"...","error":"..."}`.
+  - `resultType` / `result` field names replace the previous `tag` / `value`.
+  - Prometheus result-type strings (`scalar`, `vector`, `matrix`) used
+    throughout.
+  - Timestamps and durations encoded as Unix seconds (Double).
+  - Data-point values encoded as strings (Prometheus convention).
+  - `metric` / `values` field names replace `labels` / `data` in
+    instant-vector and time-series objects.
+
+### New features
+
+* `Unit` type: unit literal `()`, pair `(a, b)`, and triple `(a, b, c)`
+  expressions.
+* `List` type: `Nil` / `Cons` values; `metrics` builtin enumerates all
+  metric names known to the store.
+* `RangeVector` / `Scalar` arithmetic: range vectors can now appear as
+  operands in arithmetic expressions with scalars.
+* `Duration + Duration` noncanonical arithmetic rule.
+* Three additional unambiguous noncanonical arithmetic rules.
+* Local name shadowing: inner `let` bindings correctly shadow outer ones.
+* Metric-name awareness in the elaborator: unknown identifiers that are not
+  in the metric store now produce an `Undefined name` error with a
+  "did you mean?" suggestion instead of a type-mismatch later.
+
+### Bug fixes
+
+* `epoch` keyword was incorrectly parsed; now correctly produces
+  `Timestamp 0`.
+* `sum_over_time` elaboration bug fixed.
+* Parser bug fixed (duration suffix bleed into adjacent identifiers).
+
+### Testing
+
+* Comprehensive test suite added: parser, elaborator, and interpreter suites
+  covering 362 cases.
+
 ## 1.0.0 -- March 2026
 
 * First version.

bench/cardano-timeseries-io/app/Cardano/Timeseries/Common.hs

@@ -57,7 +57,7 @@ repl store interpCfg now = forever $ do
  case parse (expr <* space <* eof) "input" queryString of
    Left err -> putStrLn (errorBundlePretty err)
    Right surfaceQuery -> do
-     case evalState (runExceptT (elab surfaceQuery)) initialSt of
+     case evalState (runExceptT (elab surfaceQuery)) (initialSt (metrics store)) of
        Left err   -> Text.putStrLn err
        Right query -> do
          Text.putStrLn (showT query)

bench/cardano-timeseries-io/bench/Bench.hs

@@ -56,7 +56,7 @@ main = do
   case parse (Surface.Parser.expr <* space <* eof) "input" query of
     Left err -> putStrLn (errorBundlePretty err)
     Right surfaceQuery -> do
-      case evalState (runExceptT (elab surfaceQuery)) initialSt of
+      case evalState (runExceptT (elab surfaceQuery)) (initialSt (metrics flatStore)) of
         Left err   -> Text.putStrLn err
         Right !q -> do
           Text.putStrLn (showT q)

bench/cardano-timeseries-io/cardano-timeseries-io.cabal

@@ -1,7 +1,7 @@
 cabal-version:      3.4
 name:               cardano-timeseries-io
 description:        Cardano Timeseries Input/Output for realtime metric storage & query.
-version:            1.0.0
+version:            1.1.0
 category:           Cardano
                     Metrics
 copyright:          2026 Intersect.
@@ -53,6 +53,7 @@ library
       , base
       , containers
       , deepseq
+      , edit-distance
       , megaparsec
       , mtl
       , scientific
@@ -86,6 +87,7 @@ library
       , Cardano.Timeseries.Interp.Expr
       , Cardano.Timeseries.Interp.Types
       , Cardano.Timeseries.Interp.Value
+      , Cardano.Timeseries.JSON
 
       , Cardano.Timeseries.Store
       , Cardano.Timeseries.Store.Flat
@@ -145,6 +147,25 @@ executable cardano-timeseries-io
       , trace-resources
       , vector
 
+test-suite cardano-timeseries-test
+  import: common
+  type: exitcode-stdio-1.0
+  hs-source-dirs: test
+  main-is: Cardano/Timeseries/Unit.hs
+  other-modules:
+      Cardano.Timeseries.Elab.Expr.Parser.Suite
+    , Cardano.Timeseries.Elab.Suite
+    , Cardano.Timeseries.Interp.Suite
+  build-depends:
+      base
+    , cardano-timeseries-io
+    , containers
+    , megaparsec
+    , mtl
+    , tasty
+    , tasty-hunit
+    , text
+
 benchmark cardano-timeseries-io-bench
     import: common
     type: exitcode-stdio-1.0

bench/cardano-timeseries-io/docs/elab.txt

@@ -7,6 +7,7 @@ let x = t in t
 t t
 fst t
 snd t
+()
 (t, t)
 t == t (~)
 t != t (~)
@@ -25,7 +26,7 @@ t && t
 t || t
 <int>ms
 <int>s
-<int>min
+<int>m
 <int>h
 epoch
 now
@@ -40,13 +41,16 @@ filter t t
 join t t
 map t t
 abs t
+round t
 increase t
 rate t
 avg_over_time t
 sum_over_time t
 quantile_over_time t t
 unless t t
 quantile_by (s, ..., s) t t
+earliest x
+latest x
 x
 metrics