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

← 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

I04, I03, I02, I01. W71's credited affiliation is I04 (sequence 2), which rolls up through I03 and I02 to I01.

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

✅ R8 csv+axioms run 2 graded by code

I04, I03, I02, I01. On W71 the highest sequence is I04, and the credit rolls up through its parents.

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

✅ R8 csv+axioms run 3 graded by code

I04, I03, I02, I01. W71 is credited to I04, which counts towards its parents.

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

✅ R8 csv+axioms run 4 graded by code

I04, I03, I02, I01. W71's highest sequence is I04, which counts towards its parent chain.

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

✅ R8 csv+axioms run 5 graded by code

I04, I03, I02, I01. W71's credited affiliation is I04 (seq 2), which counts towards its parents.

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

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

I04, I03, I02, I01. W71 is credited to I04 and to every institution above it.

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

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

I04, I03, I02, I01. A08's last-listed affiliation on W71 is I04.

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

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

I04, I03, I02, I01. W71 is credited to I04 (its last-listed affiliation), and so to the institutions above it.

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

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

I04, I03, I02, I01. On W71 the last-listed affiliation is I04, which rolls up through I03 and I02 to I01.

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

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

I04, I03, I02, I01. For W71 the last-listed affiliation is I04.

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