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

← back to the run

How many research works is the Albury University System (I01) credited with, all its units included?

Tests: Hierarchy: both universities and their labs, a work shared between them (W12) counted once.

Expected: count = 12

✅ R8 csv+axioms run 1 graded by code

12 research works: the eight from Q9 plus W14, W28, W29 and W37 credited to I05, a unit of I01. W12 is counted once.

JSON: {"count": 12}

✅ R8 csv+axioms run 2 graded by code

12. The Q9 list plus W14, W28, W29 and W37 (authors at I05).

JSON: {"count": 12}

✅ R8 csv+axioms run 3 graded by code

12. The Q9 set plus I05's credited works W14, W28, W29 and W37 (W12 is already counted).

JSON: {"count": 12}

✅ R8 csv+axioms run 4 graded by code

12. The I02 set (8 works) plus those credited via I05 (W14, W28, W29, W37), with W12 already counted.

JSON: {"count": 12}

✅ R8 csv+axioms run 5 graded by code

12. Adding I05's works (W14, W28, W29, W37) to Q9's set gives 12 distinct works.

JSON: {"count": 12}

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

12. Adds W14, W28, W29 and W37 (I05) to the I02/I03/I04 set; the affiliated institute I06 is not a unit.

JSON: {"count": 12}

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

12. The Q9 set plus I05's research works W14, W28, W29 and W37.

JSON: {"count": 12}

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

12. The 8 from Q9 plus W14, W28, W29 and W37, which are credited through I05 (W12 is already counted).

JSON: {"count": 12}

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

12. Adding I05 (W12, W14, W28, W29, W37) to the Q9 set gives W01, W03, W06, W12, W13, W14, W19, W28, W29, W37, W71 and W72. I06 is affiliated, so it is excluded.

JSON: {"count": 12}

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

12. The eight I02-credited works above, plus W14, W28, W29 and W37, which are credited to I05, a unit of I01.

JSON: {"count": 12}