Q34, run 2026-11-06-0855-haiku

How many research works was Kesting University (units included) credited with in 2025?

Tests: Local rules: STG records are test data; SUP is a research article.

Expected: count = 3

✅ R8 csv+axioms run 1 graded by code

3: W08, W16 and W24.

JSON: {"count": 3}

✅ R8 csv+axioms run 2 graded by code

3. Kesting-credited works from 2025 are W08, W16 and W24.

JSON: {"count": 3}

✅ R8 csv+axioms run 3 graded by code

3. Kesting's 2025 research works are W08, W16 and W24.

JSON: {"count": 3}

✅ R8 csv+axioms run 4 graded by code

3. The 2025 research works credited to I07 are W08, W16 and W24.

JSON: {"count": 3}

✅ R8 csv+axioms run 5 graded by code

3. Kesting's 2025 research works are W08, W16 and W24.

JSON: {"count": 3}

✅ R9 csv+axioms+markdown run 1 graded by code

3. W08, W16 and W24 are 2025 works credited to I07 or I08.

JSON: {"count": 3}

✅ R9 csv+axioms+markdown run 2 graded by code

3. W08, W16 and W24 are 2025 research works credited to I07 or I08.

JSON: {"count": 3}

✅ R9 csv+axioms+markdown run 3 graded by code

3 (W08, W16, W24).

JSON: {"count": 3}

✅ R9 csv+axioms+markdown run 4 graded by code

3. Kesting's 2025 research works are W08, W16 and W24.

JSON: {"count": 3}

✅ R9 csv+axioms+markdown run 5 graded by code

3. W08, W16 and W24.

JSON: {"count": 3}