Skip to main content

connection

Typed specification

Generated by the pinned ess generate --kind docs from adapters/loki/spec/ess. Structural validation establishes consistency; behaviour, storage and cross-record predicates remain implementation obligations.

The Loki local connection — its native configuration, the loki.bearer profile and the configured identity probe that proves a credential.

connectors_loki.connection is one of connectors_loki's bounded contexts. Back to the index.

Types​

BearerEntry​

connectors_loki.connection.BearerEntry is a record of one field:

  • token — connectors_loki.connection.BearerToken

BearerProfile​

connectors_loki.connection.BearerProfile is a record of nine fields:

  • id — String
  • scheme — String
  • capability — String
  • purpose — String
  • subject — String
  • minimum_scopes — List<String>
  • evidence_lifetime_ms — Integer
  • entry — String
  • identity — connectors_loki.connection.IdentityProbe

Every value satisfies id == "loki.bearer", scheme == "http_bearer", capability == "http-bearer", purpose == "service_account", subject == "app", minimum_scopes.count == 0, evidence_lifetime_ms == 60000 and entry == "connectors_loki.connection.BearerEntry".

BearerToken​

connectors_loki.connection.BearerToken wraps String and is not interchangeable with one: the whole value of naming it separately is the crossings the model then refuses. Its characters are drawn from !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_abcdefghijklmnopqrstuvwxyz{|}~. Every value satisfies (value.count >= 1 and value.count <= 8192)`.

IdentityProbe​

connectors_loki.connection.IdentityProbe is a record of four fields:

  • method — String
  • path — String
  • source — connectors_loki.connection.IdentitySource
  • kind — String

Every value satisfies method == "GET", path == "loki/api/v1/labels" and kind == "loki.connection".

IdentitySource​

connectors_loki.connection.IdentitySource is one of configuration.

InstanceId​

connectors_loki.connection.InstanceId wraps String and is not interchangeable with one: the whole value of naming it separately is the crossings the model then refuses. Its characters are drawn from ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789_.-. Every value satisfies (value.count >= 1 and value.count <= 128).

LocalConfiguration​

connectors_loki.connection.LocalConfiguration is a record of seven fields:

  • format — String
  • instance — connectors_loki.connection.InstanceId
  • base_url — String
  • ca_file — Optional<String>, which may be absent
  • query_scope — connectors_loki.connection.QueryScope
  • line_profiles — Optional<List<connectors_loki.reads.LineProfile>>, which may be absent
  • trace_profiles — Optional<List<connectors_loki.reads.TraceProfile>>, which may be absent

Every value satisfies format == "connectors-loki-local/1", (base_url.count >= 8 and base_url.count <= 512), base_url starts_with "https://", (ca_file.count >= 1 and ca_file.count <= 4096), (line_profiles.count >= 1 and line_profiles.count <= 16), (trace_profiles.count >= 1 and trace_profiles.count <= 16), distinct p in line_profiles by p.name, distinct p in trace_profiles by p.name, forall p in line_profiles: (forall e in query_scope.required_equalities: (exists m in p.selector: ((m.label == e.label and m.operator == equal and m.value == e.value)))) and forall p in trace_profiles: (forall e in query_scope.required_equalities: (exists m in p.selector: ((m.label == e.label and m.operator == equal and m.value == e.value)))).

QueryScope​

connectors_loki.connection.QueryScope is a record of one field:

  • required_equalities — List<connectors_loki.reads.LogScopeEquality>

Every value satisfies required_equalities.count == 0.

Three of the types above are reached by nothing else in this system: connectors_loki.connection.BearerEntry, connectors_loki.connection.BearerProfile and connectors_loki.connection.LocalConfiguration. No entity, view, command, event, error or crossing names them, so it is either vocabulary something outside this specification uses or a leftover — and only a person can tell which.

Generated from connectors_loki v1 · model digest ea710d541a308a38ac6d9d12c83d027f48b1cb1a76188adae267684f3ad4a3a5 · contract digest slice-sha256/2:466514a7a52a35cfd48a38a24d26d14350c742dda62a0dad471b00ea6da72646. Do not edit this file; change the specification and regenerate it with ess generate.