Q40, run 2026-11-04-2013-sonnet

← back to the run

How many distinct issuers domiciled in GB held an issuer rating on 1 October 2026?

Tests: Identity and withdrawal: Northwind counted once, Pellam not at all, the QA record ignored.

Expected: count = 5

❌ R1 csv run 1 graded by code

6: E01, E02, E09, E10 is DE so excluded, E12, E14 and E16. That gives E01, E02, E09, E12, E14 and E16.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 2 graded by code

6: E01, E02, E09, E12, E14 and E16. E07 was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 3 graded by code

6: E01, E02, E09, E12, E14 and E16.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 4 graded by code

6: E01, E02, E09, E12, E14 and E16. E07 was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 5 graded by code

6 (E01, E02/E03, E09, E12, E14, E16). E07 is excluded because its rating was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

✅ R5 csv+ontology run 1 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn, E16 is QA, and E10 is LU rather than GB.

JSON: {"count": 5}

✅ R5 csv+ontology run 2 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn, E16 is QA, and E10 is domiciled in LU per the RESEARCH record E17.

JSON: {"count": 5}

✅ R5 csv+ontology run 3 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU per the RESEARCH record, E07 is withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R5 csv+ontology run 4 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU per the RESEARCH record, E07 is withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R5 csv+ontology run 5 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn, and E10 is domiciled in LU, since RESEARCH holds for domicile.

JSON: {"count": 5}

✅ R4 csv+markdown run 1 graded by code

5: E01, E02, E09, E12 and E14. E10 is not GB, and E07 was withdrawn.

JSON: {"count": 5}

✅ R4 csv+markdown run 2 graded by code

5: E01, E02, E09, E12 and E14. E07 is withdrawn, E16 is QA, and E10 is domiciled in LU, not GB.

JSON: {"count": 5}

✅ R4 csv+markdown run 3 graded by code

5: E01, E02, E09, E12 and E14. E10 is excluded because RESEARCH places it in LU, E07 is withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R4 csv+markdown run 4 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU per the RESEARCH record, E07 was withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R4 csv+markdown run 5 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn, E16 is QA, and E10 is domiciled in LU, not DE.

JSON: {"count": 5}

✅ R8 csv+axioms run 1 graded by code

5. These are E01, E02, E09, E12 and E14. E10 is domiciled in LU (research record E17), and E07 and E16 do not count.

JSON: {"count": 5}

✅ R8 csv+axioms run 2 graded by code

5. These are E01, E02, E09, E12 and E14. E10 is domiciled in LU, according to the RESEARCH record E17.

JSON: {"count": 5}

✅ R8 csv+axioms run 3 graded by code

5. These are E01, E02, E09, E12 and E14. E10 is domiciled in LU, and E07 is withdrawn.

JSON: {"count": 5}

✅ R8 csv+axioms run 4 graded by code

5. These are E01, E02 (=E03, GB), E09, E12 and E14.

JSON: {"count": 5}

✅ R8 csv+axioms run 5 graded by code

5: E01, E02, E09, E12 and E14.

JSON: {"count": 5}