Skip to content

views-frames 1.11.0

Choose a tag to compare

@Polichinel Polichinel released this 18 Aug 01:57
· 11 commits to main since this release

The published MAP-containment law was wrong on tied draws, and the governance documents had drifted from the code in ways nothing checked. This release fixes the first, corrects the second, and adds the CI checks that keep both from drifting again.

CONFORMANCE_FLOOR stays 1.0.0, and no public API was added, changed or removed. If you are upgrading from 1.10.2, nothing in your code needs to change.

MINOR rather than PATCH because the conformance suite now asserts a different set of HDI floors than it did in 1.10.2.

The fix that affects consumers

assert_summarizer_contract failed on integer count posteriors (register C-88). The MAP-containment law decided which HDI floors provably contain the tower tip using floor(m·S)+1 — a floor’s index span. The tip is the median of the draws whose value lies inside the floor. Those agree only when draws are distinct: duplicated endpoint values put more draws inside the same bounds, so narrower floors were certified that hold less than half the tip floor, and the law then asserted containment for them.

Measured on zero-inflated Poisson posteriors at S ∈ {32, 64, 128}: 30 of 500 rows failed, every one on the 0.15 floor. After the fix, 0 of 500.

This is published under ADR-016 and consumers run it in their own CI, so the failure landed as another repository going red on correct data — and integer counts are this platform’s primary shape.

If your CI was red on this check with count data, upgrade and it will pass. If it was green, it stays green: the correction narrows what the suite asserts.

Also fixed

The two IO codecs disagreed on a non-JSON metadata value (C-90). io/npz silently stringified it where io/arrow raised — a datetime timestamp reloaded as a string into a field declared int | None. Both now raise, per ADR-008.

New checks

Import contracts, three documentation-completeness assertions, examples/ execution, a cross-version parquet/npz fixture written by v1.8.0 code, and the architecture-tree check.

Governance

ADR-002, ADR-018, GOVERNANCE.md, the physical-architecture standard, README and the CIC set now match the code, with a new FrameMetadata contract. CLAUDE.md gains a maintenance-mode section: this package is finished, and its register’s open entries are a log of accepted conditions rather than a backlog.

Full detail in CHANGELOG.md.