Q40, run 2026-11-04-1825-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 (DE, so no), E12, E14 and E16. The GB set is E01, E02, E09, E12, E14 and E16. E07 is 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. E07 is withdrawn, and E10 is domiciled in DE.

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. E07 was withdrawn.

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 is excluded because it 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 is withdrawn, E16 is QA, and E10 is DE per the RATINGS record.

JSON: {"count": 5}

✅ R5 csv+ontology run 2 graded by code

5: E01, E02, E09, E10 and E12 (wait: E10 is DE per RATINGS), so the five are E01, E02, E09, E12 and E14. E07 was withdrawn, E16 is QA, and E10 is domiciled in DE.

JSON: {"count": 5}

✅ R5 csv+ontology run 3 graded by code

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

JSON: {"count": 5}

✅ R5 csv+ontology run 4 graded by code

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

JSON: {"count": 5}

✅ R5 csv+ontology run 5 graded by code

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

JSON: {"count": 5}

✅ R8 csv+axioms run 1 graded by code

5: E01, E02, E09, E12 and E14. E07 was withdrawn and E16 is a test record.

JSON: {"count": 5}

✅ R8 csv+axioms run 2 graded by code

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

JSON: {"count": 5}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"count": 5}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"count": 5}

✅ R8 csv+axioms run 5 graded by code

5: E01, E02, E09, E12 and E14, all GB-domiciled with an issuer rating in force. E10 is DE, E07 is withdrawn, and E16 is a test record.

JSON: {"count": 5}

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

5: E01, E02, E09, E12 and E14. E10 is domiciled in DE.

JSON: {"count": 5}

✅ R9 csv+axioms+markdown run 2 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 3 graded by code

5, which are E01, E02, E09, E12 and E14.

JSON: {"count": 5}

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

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

JSON: {"count": 5}

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

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

JSON: {"count": 5}