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

How many distinct people do the author records named "Mara Ellison", "M. Ellison" and "Ellison, Mara J." stand for?

Tests: Identity: A01, A02 and A03 share an ORCID; A04, also 'M. Ellison', has another.

Expected: count = 2

✅ R8 csv+axioms run 1 graded by code

2 people. A01, A02 and A03 share ORCID 0000-0002-9841-6229, but A04 ("M. Ellison") has a different ORCID (0000-0004-8662-8360).

JSON: {"count": 2}

❌ R8 csv+axioms run 2 graded by code

1 person. A01, A02 and A03 share ORCID 0000-0002-9841-6229; A04 ("M. Ellison") has a different ORCID, 0000-0004-8662-8360.

JSON: {"count": 1}

Why: count: expected 2, got 1

❌ R8 csv+axioms run 3 graded by code

1. A01, A02 and A03 share ORCID 0000-0002-9841-6229; A04 has a different ORCID (0000-0004-8662-8360).

JSON: {"count": 1}

Why: count: expected 2, got 1

❌ R8 csv+axioms run 4 graded by code

1 person. A01, A02 and A03 share ORCID 0000-0002-9841-6229, so they are one person.

JSON: {"count": 1}

Why: count: expected 2, got 1

❌ R8 csv+axioms run 5 graded by code

1. A01, A02 and A03 share ORCID 0000-0002-9841-6229, while A04 has a different ORCID.

JSON: {"count": 1}

Why: count: expected 2, got 1

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

2 people. A01, A02 and A03 share ORCID 0000-0002-9841-6229 (one person, Mara Ellison), while A04 "M. Ellison" has a different ORCID.

JSON: {"count": 2}

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

1. A01, A02 and A03 share ORCID 0000-0002-9841-6229; A04 ("M. Ellison") has a different ORCID, 0000-0004-8662-8360.

JSON: {"count": 1}

Why: count: expected 2, got 1

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

1 person. A01, A02 and A03 share ORCID 0000-0002-9841-6229; A04 ("M. Ellison") has a different ORCID.

JSON: {"count": 1}

Why: count: expected 2, got 1

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

2. Mara Ellison's records A01, A02 and A03 share ORCID 0000-0002-9841-6229, so they are one person. "M. Ellison" also names A04, which has a different ORCID, so it is a second person. If you meant only A01–A03, the answer is 1.

JSON: {"count": 2}

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

1. A01, A02 and A03 share ORCID 0000-0002-9841-6229; A04 has a different ORCID, so it is a different person.

JSON: {"count": 1}

Why: count: expected 2, got 1