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

← back to the run

How many research works is Kesting University (I07) credited with, its units included?

Tests: Hierarchy with retraction and test records: the institute's W24 counts; W23 (retracted) and W90 to W92 (STG) don't.

Expected: count = 6

✅ R8 csv+axioms run 1 graded by code

6 research works: W08, W16, W20, W21, W22, W24. W23 is retracted and W90–W92 are staging records.

JSON: {"count": 6}

✅ R8 csv+axioms run 2 graded by code

6. Kesting-credited research works are W08, W16, W20, W21, W22 and W24 (W23 is retracted).

JSON: {"count": 6}

✅ R8 csv+axioms run 3 graded by code

6. Kesting's credited research works are W08, W16, W20, W21, W22 and W24, with I08 (W21, W24) rolling up to I07.

JSON: {"count": 6}

✅ R8 csv+axioms run 4 graded by code

6. Credited to I07 or I08, the research works are W08, W16, W20, W21, W22 and W24. W23 is retracted and W90–W92 are staging loads.

JSON: {"count": 6}

✅ R8 csv+axioms run 5 graded by code

6. Kesting (I07, with I08 as a unit) is credited on W08, W16, W20, W21, W22 and W24. W23 is retracted and W90–W92 are staging records.

JSON: {"count": 6}

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

6. W08, W16, W20, W21, W22 and W24 (I07 and its unit I08); W23 is retracted.

JSON: {"count": 6}

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

6. W08, W16, W20, W21, W22 and W24 are credited to I07 or its unit I08. W23 is retracted and W90–W92 are staging records.

JSON: {"count": 6}

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

6 (W08, W16, W20, W21, W22, W24). W23 is retracted and W90–W92 are staging records; I08 (W21, W24) is a unit of I07.

JSON: {"count": 6}

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

6. The research works credited to I07 or I08 are W08, W16, W20, W21, W22 and W24; W23 is retracted and W90–W92 are staging records.

JSON: {"count": 6}

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

6. W08, W16, W20, W21, W22 and W24 are credited to I07 or its unit I08.

JSON: {"count": 6}