Q40, run 2026-11-05-1227-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, E12, E14 and E16. E07 was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 2 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 3 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 4 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R1 csv run 5 graded by code

6: E01, E02, E09, E12, E14 and E16. E07 was withdrawn, and E10 is domiciled in DE.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R2 rdf run 1 graded by code

6: E01, E02 (=E03), E09, E12, E14 and E16. E07 was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R2 rdf 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

❌ R2 rdf run 3 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R2 rdf run 4 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R2 rdf run 5 graded by code

6: E01, E02, E09, E12, E14 and E16. E07 is excluded because it was withdrawn.

JSON: {"count": 6}

Why: count: expected 5, got 6

✅ R6 rdf+ontology run 1 graded by code

5. These are E01, E02 (with E03), E09, E12 and E14. E07 is withdrawn and E16 is QA.

JSON: {"count": 5}

✅ R6 rdf+ontology run 2 graded by code

5: E01, E02 (also E03), E09, E12 and E14. E07 was withdrawn and E16 is QA.

JSON: {"count": 5}

✅ R6 rdf+ontology run 3 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn and E16 is QA.

JSON: {"count": 5}

✅ R6 rdf+ontology run 4 graded by code

5: E01, E02, E09, E12 and E14. E02 counts as GB (E03 is the RESEARCH record, also GB), E07 was withdrawn, and E16 is QA. E17 is LU.

JSON: {"count": 5}

✅ R6 rdf+ontology run 5 graded by code

5. These are E01, E02, E09, E12 and E14. E07 was withdrawn and E16 is QA.

JSON: {"count": 5}

✅ R5 csv+ontology run 1 graded by code

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

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 Halden Bank is domiciled in LU, not GB.

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, because the RESEARCH record E17 holds for country.

JSON: {"count": 5}

✅ R5 csv+ontology run 5 graded by code

5. These are E01, E02, E09, E12 and E14. E10 is domiciled in LU, since the RESEARCH record holds for country. E07 was withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R4 csv+markdown run 1 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn and E16 is QA data.

JSON: {"count": 5}

✅ R4 csv+markdown run 2 graded by code

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

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 was withdrawn, and E16 is QA.

JSON: {"count": 5}

✅ R4 csv+markdown run 4 graded by code

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

JSON: {"count": 5}

✅ R4 csv+markdown run 5 graded by code

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

JSON: {"count": 5}

❌ R3 csv+padding run 1 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R3 csv+padding run 2 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R3 csv+padding run 3 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R3 csv+padding run 4 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

❌ R3 csv+padding run 5 graded by code

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

JSON: {"count": 6}

Why: count: expected 5, got 6

✅ R10 executed run 1 graded by code

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

JSON: {"count": 5}

✅ R10 executed run 2 graded by code

5. The GB issuers with an issuer rating in force are E01, E02, E09, E12 and E14. E07 is excluded because its rating was withdrawn.

JSON: {"count": 5}

✅ R10 executed run 3 graded by code

5 (E01, E02, E09, E12, E14).

JSON: {"count": 5}

✅ R10 executed run 4 graded by code

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

JSON: {"count": 5}

✅ R10 executed run 5 graded by code

5: E01, E02, E09, E12 and E14. E07 is excluded because its rating was withdrawn.

JSON: {"count": 5}

✅ R7 csv+neutral run 1 graded by code

5. These are E01, E02, E09, E12 and E14. E07 was withdrawn, and E10 is domiciled in LU because the RESEARCH record holds on country.

JSON: {"count": 5}

✅ R7 csv+neutral run 2 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU, because the RESEARCH record holds for country.

JSON: {"count": 5}

✅ R7 csv+neutral run 3 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn and E16 is QA data.

JSON: {"count": 5}

✅ R7 csv+neutral run 4 graded by code

5: E01, E02, E09, E12 and E14. E10 is excluded because RESEARCH records it in LU.

JSON: {"count": 5}

✅ R7 csv+neutral 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 GB.

JSON: {"count": 5}

✅ R8 csv+axioms run 1 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU, E07 is withdrawn, and E16 is a test record.

JSON: {"count": 5}

✅ R8 csv+axioms run 2 graded by code

5. These are E01, E02/E03, E09, E12 and E14. E10 is domiciled in LU, per the RESEARCH record, and E07 was withdrawn.

JSON: {"count": 5}

✅ R8 csv+axioms run 3 graded by code

5. These are E01, E02/E03, E09, E12 and E14. E10 is domiciled in LU, not GB.

JSON: {"count": 5}

✅ R8 csv+axioms run 4 graded by code

5: E01, E02, E09, E12 and E14. E10 is domiciled in LU, E07 is withdrawn, and E16 is a test record.

JSON: {"count": 5}

✅ R8 csv+axioms run 5 graded by code

5: E01, E02, E09, E12 and E14. E10's domicile is LU per the RESEARCH record.

JSON: {"count": 5}

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

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

JSON: {"count": 5}

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

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

JSON: {"count": 5}

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

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

JSON: {"count": 5}

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

5: E01, E02, E09, E12 and E14. E07 is withdrawn and E16 is QA.

JSON: {"count": 5}

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

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

JSON: {"count": 5}