Cardano Updates

cabal.project: add source-repository-package stanza for hermod-tracing PR #9
  (Rename NodeStartupInfo.suiEra to suiLatestSupportedEra), commit 4a3baa5e

NodeStartupInfo.hs: update documentFor to reflect new field name and meaning
EraSettings.hs: update suiEra -> suiLatestSupportedEra at call site

turtle ^>= 1.6.x requires optparse-applicative < 0.19, conflicting with
the rest of the project. allow-newer would satisfy the solver but turtle
1.6.x fails to compile against 0.19 because of the breaking Doc type
change (ansi-wl-pprint -> prettyprinter).

Replace turtle usage with standard IO:
- Shell monad -> plain list IO with mapM/concat
- options/optPath/argPath/argText -> execParser/strOption/argument directly
- Pattern URL parser -> Text.breakOn/stripPrefix in Maybe monad
- printf/format -> Text concatenation and hPutStrLn stderr
- die -> exitFailure helper

Also drops foldl and prettyprinter which were only needed via turtle.

Co-authored-by: Copilot Autofix powered by AI <[email protected]>

TimeseriesServer.hs:
- /timeseries/nodes: return [{nodeName, slug}] from RouteDictionary instead of bare slugs
- Import Text.Slugify removed (slugs come directly from RouteDictionary keys)

grafana-datasource:
- NodeEntry type: {nodeName, slug} mirroring server response
- fetchNodes: two-column frame (Node Name, Slug)
- metricFindQuery: {text: nodeName, value: slug} so variable displays name, passes slug
- Rename query field nodeName -> nodeNameSlug throughout (types, datasource, QueryEditor, dashboard)
- Dashboard variable node_name -> node_name_slug
- QueryEditor: label "Node Name (slug)", tooltip, updated placeholder

- Elab.hs: fix copy-paste error in binary arithmetic op elab (rhs hole was
  unified against lhsTy instead of rhsTy); rename evalBinaryArithmethicOpElabProblem
  to evalBinaryArithmeticOpElabProblem (typo)
- Elab.hs: elaborate `metrics` as List Text (was Text); add Str elab case
- Elab/Typing.hs, Resolve.hs, Unify.hs: add List Ty to support metrics type
- Interp.hs: guard avg/min/max against empty instant vector; fix rate to
  error on single-point timeseries instead of dividing by zero
- Interp/Value.hs: use showFFloat in Show instance for Scalar to avoid
  scientific notation in JSON output
- TimeseriesServer.hs: fix minimumRetentionMillis units (seconds → ms);
  remove unused RecordWildCards pragma; align sleep delay with Monitoring.hs
- Acceptors/Utils.hs: align new imports with surrounding import block

New routes on the timeseries server:
  GET /timeseries/nodes                        — list connected node IDs
  GET /timeseries/node/{id}/info               — NodeInfo + uptimeSeconds
  GET /timeseries/node/{id}/startup            — NodeStartupInfo
  GET /timeseries/node/{id}/state  (RTVIEW)    — sync progress %

The server now receives TracerEnv instead of individual fields so it can
access teDPRequestors, teCurrentDPLock, and teConnectedNodes.

The /state endpoint uses data point key "NodeAddBlock" (the namespace
cardano-node actually stores the NodeState data point under) rather than
"NodeState", which was always empty.

- Acceptors/Utils.hs: include node_name alongside node_id in SeriesIdentifier
- Component.hs: generalise insert to accept SeriesIdentifier directly; fix
  pruning period default (was 3600 ms ≈ 3.6 s, now 15 min)
- Component/Trace.hs: update TimeseriesTraceInsert to carry SeriesIdentifier;
  emit query_text/query_result only at DDetailed; lower Prune severity to Debug
- TimeseriesServer.hs: rename node/state → node/sync-progress; remove #if RTVIEW
  guard (endpoint is now unconditionally available); return JSON objects from
  GET config/retention and GET config/pruning instead of plain text
- Utils.hs: move NodeStateWrapper (and its FromJSON instance) here from
  RTView/Update/NodeState.hs so it can be shared without the RTVIEW flag;
  move vector from rtview-only to unconditional build-depends
- RTView/Update/NodeState.hs: remove NodeStateWrapper definition (now in Utils)
- grafana-datasource: rename node-state → node-sync-progress throughout
  (QueryEditor, datasource, types, dashboard); rename dashboard to rtview-port
- grafana-datasource: add README with build and run instructions
- grafana-datasource: expose SeriesIdentifier labels as proper Grafana field
  labels instead of baking them into the frame name string; add legendFormat
  field to queries so users can control the legend via {{label_name}} syntax

TimeseriesServer.hs:
- Thread RouteDictionary to timeseriesApp and runTimeseriesServer
- /timeseries/nodes: return slugified node names from RouteDictionary (was raw NodeIds from teConnectedNodes)
- /timeseries/node/{slug}/*: accept slug, resolve to NodeId via RouteDictionary + Bimap reverse-lookup; 404 on unknown slug
- Servers.hs: drop const wrapper; pass shared IO RouteDictionary to runTimeseriesServer

Acceptors/Utils.hs:
- Insert with {node_name} label only; drop node_id label

grafana-datasource:
- Rename nodeId -> nodeName throughout (types, datasource, QueryEditor, dashboard)
- Dashboard variable node_id -> node_name; panel titles and repeats updated

New query types in the datasource plugin:
  nodes       — lists all connected node IDs (used by $node_id variable)
  node-info   — name, protocol, version, commit, start time, uptime
  node-startup — era, slot length, epoch length, KES period
  node-state  — sync progress %

New panels in rtview.json (all repeat by $node_id variable):
  Connected Nodes table, Node Info table, Startup table,
  Sync % stat, Uptime stat

metricFindQuery populates the $node_id query variable automatically
from /timeseries/nodes.

$__from/$__to in timeseries queries are pre-processed to valid
timestamp expressions before template variable expansion.

- Add provisioned Grafana dashboard mimicking RTView's four sections:
  Resources, Blockchain, Leadership, Transactions (26 panels, row-based
  collapsible sections, byte units for memory/mempool panels)
- Pin datasource uid in provisioning so dashboard references are stable
- Mount dashboards directory in docker-compose
- Enable RTView (hasRTView, port 3300) in ci-bench-timeseries profile
  alongside the existing timeseries endpoint

When both operands are known to be Duration but the result type is
still a hole, force the hole to Duration and re-queue as the canonical
Duration + Duration : Duration problem. This allows standalone
expressions like `1s + 2s` to elaborate without needing an outer
context to drive the result type.

St now carries availableMetrics :: Set MetricIdentifier, populated at
the call site via metrics store (or Set.empty in metric-free contexts
like the elab test suite).

The fallback Variable case — previously an unconditional metric assumption
— now checks membership in availableMetrics and throws "Undefined name: <v>"
when the name appears neither in the local context nor in the store,
replacing the confusing downstream type-mismatch error that occurred before.

- POST /timeseries/query now accepts JSON body {"query": "...", "time": <optional Unix seconds>}
- Success response wrapped in {"status":"success","data":...} envelope
- Error responses use {"status":"error","errorType":"...","error":"..."} format
- errorType mirrors Prometheus: "parse", "bad_data", "execution"
- Plugin updated to send application/json body and unwrap response envelope
- Remove ConfigEditor.tsx (Grafana's built-in URL field suffices)

Implements pointwise arithmetic (add, sub, mul, div) between RangeVector Scalar
and Scalar, following the existing InstantVector/Scalar pattern. This enables
queries like 'metric[now - 1h; now] / 1048576' in Grafana panels.

Fixes ten inconsistencies found in typing.txt: missing List type in grammar,
filter_by_label argument order, A->B type formation rule conclusion, := vs ≔
notation, 'Syntax hugar' typo, map variable name mismatch, RangeVector missing
type parameter in quantile_over_time, four missing instant_vector_scalar relation
rules, mul_instant_vector_scalar missing arguments, and stale metrics return type
(Text -> List Text).

Adds a precondition note to 'interp' that the input expression must be well-typed.

Add 6-dense-timeseries-1h as a copy of 6-dense-1h with tracerTimeseries
enabled: 6 nodes, 1-hour duration, dense topology. The tracerTimeseries
combinator in Primitives.hs is retained. Regenerate all-profiles-coay.json.
Enable RTView in this profile.