[METRICS SDK] Enforce a runtime minimum scale for Base2ExponentialHistogramAggregation

[ThomsonTan]

Fixes #4325

Changes

This change enforces a runtime minimum scale of -10 for base2 exponential histograms, guarantees sufficient bucket capacity at that floor to preserve recorded counts, centralizes scale reduction across record, merge, and diff paths, guards the indexer against oversized shifts, and adds regression tests plus changelog documentation for the new behavior.

For significant contributions please make sure you have completed the following items:

• CHANGELOG.md updated for non-trivial changes
• Unit tests have been added
• Changes in public API reviewed

[codecov]

Codecov Report

❌ Patch coverage is 94.38202% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 83.12%. Comparing base (cd252b4) to head (db3bdcf).

Files with missing lines	Patch %	Lines
...egation/base2_exponential_histogram_aggregation.cc	94.05%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #4353      +/-   ##
==========================================
+ Coverage   83.09%   83.12%   +0.03%     
==========================================
  Files         519      519              
  Lines       20253    20287      +34     
==========================================
+ Hits        16827    16861      +34     
  Misses       3426     3426              

Files with missing lines	Coverage Δ
...metry/sdk/metrics/aggregation/aggregation_config.h	100.00% <ø> (ø)
...aggregation/base2_exponential_histogram_indexer.cc	100.00% <100.00%> (ø)
...egation/base2_exponential_histogram_aggregation.cc	96.26% <94.05%> (-0.36%)	⬇️

... and 1 file with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[lalitb]

This can create 3 buckets when the user configured max_size = 2. Since max_size is the maximum number of buckets, can we use -11 as the runtime floor instead? At -11, the full double range fits in 2 buckets, so we do not need this exception.

[ThomsonTan]

Good catch, thanks. Changed the runtime floor to -11 and dropped kMinBucketsAtFloor, so max_size is now a hard cap. At -11 every finite double maps to an index in [-1, 0], and the max_size = 2 repro from #4325 now ends at scale -11 with a two-bucket span and capacity 2.