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

← back to the run

Which institutions is W71 credited to, at every level?

Tests: Local rule on affiliations, then the hierarchy: the Tessel Laboratory is listed last, so Halloran gets nothing.

Expected: institutions = ['I01', 'I02', 'I03', 'I04']

✅ R8 csv+axioms run 1 graded by code

I01, I02, I03 and I04. W71's credited institution is I04 (higher sequence), and the chain of units then gives I03, I02 and I01. I06 is not credited because its sequence is lower.

JSON: {"institutions": ["I01", "I02", "I03", "I04"]}

✅ R8 csv+axioms run 2 graded by code

I04, I03, I02 and I01. The credited authorship is at I04, and I04 counts toward each of its units.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

✅ R8 csv+axioms run 3 graded by code

I04, I03, I02 and I01. A08's highest affiliation on W71 is I04 (seq 2), and I04 rolls up through I03, I02 and I01.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

✅ R8 csv+axioms run 4 graded by code

I04, I03, I02, I01. On W71, I04 (sequence 2) is credited, and its units and parents are included.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

✅ R8 csv+axioms run 5 graded by code

I04, I03, I02 and I01. W71's credited authorship is at I04 (sequence 2), which counts towards each of its units' parents.

JSON: {"institutions": ["I01", "I02", "I03", "I04"]}

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

I04, I03, I02 and I01. The credited institution is I04, and its units' parents are included; the earlier I06 entry is superseded.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

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

I04, I03, I02 and I01. The credited institution is I04 (A08's highest sequence is 2), and its units' parents run up to I01.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

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

I04, I03, I02, I01. W71's credited institution is I04 (seq 2), and I04 rolls up through its units to I01.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}

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

I01, I02, I03, I04. For W71, A08's highest sequence (2) is I04, so the credit runs up its unit chain.

JSON: {"institutions": ["I01", "I02", "I03", "I04"]}

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

I04, I03, I02 and I01. The last-listed affiliation is I04 (sequence 2), and the chain of units runs up to I01.

JSON: {"institutions": ["I04", "I03", "I02", "I01"]}