Each telemetry stream's origin, landing, and per-environment coverage as a checkable record.

Telemetry-collection provenance (per-stream origin, landing, per-env coverage)

Intent — Model each telemetry stream as a typed record of its provenance — where it originates, where it lands, and in which environments it is actually collected — so the coverage of the observability surface is a declared, checkable fact rather than an assumption. The failure class it kills is the silent one: a metric collected in production but quietly absent in the local or staging plane, so a developer reasons over a signal that isn't there and never learns it's missing (our instance: a per-stream registry of origin, landing sink, and per-environment coverage across the telemetry streams).

SummaryEach telemetry stream's origin, landing, and per-environment coverage as a checkable record.
TargetBridge · System models
Formtyped-ir
Movepackage — a constraint shipped with its sensors
Modelis-a-model — a structured model you check a system property against
EnforcementHard (deterministic) — each stream's origin, landing, and per-environment coverage are declared and reconciled against the real emit and collection sites; a stream emitted but not collected in a declared-covered environment is a build finding
Derivationmodel-from-code — the provenance record is reconciled against the real emit and collection sites

Its place in the environment — a variant / known-use of Executable Source of Truth, under KNOW · Maintain authoritative system knowledge. Preserved here for its technical texture; the construction kit shows how it folds.

Motivation — the failure it kills

Telemetry is trusted precisely when it is present, and its presence is uneven across environments in ways nobody wrote down. A metric wired up in the production deployment may never be collected locally, because the collector is configured differently or not at all. The developer profiling a slow path locally reads the dashboard, sees the metric flat, and concludes the path is cheap — when in truth the metric was never emitted in that plane. The reverse also bites: a stream collected everywhere except the one environment an incident is unfolding in. In each case the reasoning is corrupted not by a wrong number but by an absent one that looks like a present zero. Nothing states which streams land where, or in which environments each is actually collected, so the coverage gaps are invisible until a decision is made on a signal that was never there.

Why it's not just a list of metrics

A catalog of metric names tells you what could be emitted; it says nothing about where each lands or in which environments it is really collected, and that per-environment coverage is the fact the failure turns on. The provenance model types three things a name list omits: the origin (what emits the stream), the landing (the sink it flows to), and the coverage vector (which environments actually collect it). With those, a check can assert a property no name list can express — "this stream is declared collected in the local plane, and the local collector is in fact configured to receive it" — and flag the mismatch that otherwise surfaces as a misread dashboard. The model also distinguishes a true zero from an absent stream, the exact confusion that makes missing telemetry so dangerous: a present-but-zero metric and a never-collected one look identical on a graph, and only a declared coverage vector, reconciled against the collectors, tells them apart.

Mechanism

Prerequisites

Consequences & costs

Known uses

Related mechanisms

Governed by

The mechanisms that hold this model true — inverted from their Governs edges at build time, never hand-written. A direct governor names this model; a trunk mechanism governs every model.