Task · TSO-0196

Distinguish absent cardinality telemetry from unlimited capacity and zero overflow

Description

Guarded description review found existing cardinality empty-state copy still asserts unlimited on a missing limit series, while an overflow summary zero-fills missing reporter data. The configured positive limit gauge is intentionally absent in unlimited mode but can also be absent when self-observability is unavailable. Prose-only corrections do not change these value mappings or query fallbacks. This needs a separate source-presence fix rather than silently expanding the frozen description task.

Acceptance Criteria

Definition of Done

Implementation Plan

loop31: inspect shipped producer presence/limit/overflow evidence, encode honest missing/observed state without new producer signal; actual-query/render cases for missing, mixed reporters, finite,zero overflow, indistinguishable unlimited and selected scope; named gate, root guarded review/integration/CI/delivery.

Implementation Notes

loop31: 1 implementation attempt; no source edits during proof continuations. Missing capacity cannot establish unlimited; unmatched visible partial/mixed reporters remain uncertain; absent overflow no longer healthy-zero fallback, observed finite/zero results restricted to observed subset. Seven actual real-producer/Prometheus/Grafana cases and real datasource provider filtering with positive raw controls pass. Ignored proof locator/fixture-UID repairs and initial startup readiness failure retained without weakening assertions. Green candidate gate needed one parallel-lint infrastructure retry; exact fresh composed0ee91ed681dfaa07ca92bec6f9f9cbb6322e13d0 passes. Full-hunk guarded review PASS; CodeRabbit staged-Python No files defect explicitly unreviewed, not clean. Published exact source CI38398607897 ci-success, sync38398608067 and downstream workflows success; far-side health48d732b3e641d7f9630fc1d1b1ad00a948e77737 matches. Helm absent by paths. Residuals: fully unseen reporters do not establish coverage, heterogeneous finite max/max arithmetic frozen, prior green default styling retained for explicit unknown text, optional treemap runtime untested. Full gate stdout tail-only. Attempts1; complete.

Final Summary

Removed absent-to-zero overflow fallbacks and added honest uncertain-capacity guards/copy using shipped observations only. Missing, partial, mixed, finite, zero and indistinguishable unlimited query/render cases verified with real selected scope. Independently reviewed, exact composed/CI/publication green, GitSync source blobs match.

View the source file on GitHub