34215362297
85%
main: 88%

Ran 08 Sep 2026 10:36AM UTC

Jobs 1

Files 182

Run time 1min

Badge

Embed ▾

Committed 08 Sep 2026 10:25AM UTC coverage: 84.976%. Remained the same

Build # 34215362297

Build Type

push

github

Committed by

Flix6x

Commit Message

Hold the reference implementation to the same rule as the selector

The plainly written reference still read each entry as one source and still took the rank for the
unnamed from the sources it found, so it encoded both of the mistakes the selector has since stopped
making. An oracle that agrees with the old rule cannot catch a return to it: the equivalence test
passed only because its trials never named a group, nor anything this database does not know.

The reference now follows the same two rules, and the trials include an entry naming two sources and
an entry naming nothing. Reintroducing either mistake in the selector now fails the equivalence test,
which is what it is there for.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WS6V8nZyRzMxsvqGnNpUTk
Signed-off-by: F.N. Claessen <claessen@seita.nl>

Coverage Stats

18461 of 21725 relevant lines covered (84.98%)

0.85 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	34215362297.1	08 Sep 2026 10:36AM UTC	182	84.98	GitHub Action Run

FlexMeasures / flexmeasures / 34215362297
85%
main: 88%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 34215362297

FlexMeasures / flexmeasures / 34215362297 85% main: 88%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 34215362297

FlexMeasures / flexmeasures / 34215362297
85%
main: 88%

README BADGES
x