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

← back to the run

Which entities had a foreign-currency issuer rating exactly at their country's ceiling on 1 October 2026?

Tests: Ceilings: which ratings the cap binds.

Expected: entities = ['E05', 'E15']

✅ R1 csv run 1 graded by code

E05 and E15. E05's foreign-currency BB equals the Valdoria ceiling of BB, and E15's A equals the Corvenia ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R1 csv run 2 graded by code

E05 (FC BB, equal to the VD ceiling of BB) and E15 (FC A, equal to the CV ceiling of A).

JSON: {"entities": ["E05", "E15"]}

✅ R1 csv run 3 graded by code

E05 (FC BB, ceiling BB) and E15 (FC A, ceiling A). Only VD and CV have ceiling data.

JSON: {"entities": ["E05", "E15"]}

✅ R1 csv run 4 graded by code

E05 and E15. E05's foreign-currency rating of BB equals VD's ceiling of BB (A14, A12), and E15's A equals CV's ceiling of A (A41, A37).

JSON: {"entities": ["E05", "E15"]}

✅ R1 csv run 5 graded by code

E05 (foreign currency BB, equal to the VD ceiling BB) and E15 (foreign currency A, equal to the CV ceiling A).

JSON: {"entities": ["E05", "E15"]}

✅ R5 csv+ontology run 1 graded by code

E05 and E15. E05 is FC BB against the VD ceiling of BB, and E15 is FC A against the CV ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R5 csv+ontology run 2 graded by code

E05 and E15. E05 is FC BB, equal to the VD ceiling of BB (A14, A12). E15 is FC A, equal to the CV ceiling of A (A41, A37).

JSON: {"entities": ["E05", "E15"]}

✅ R5 csv+ontology run 3 graded by code

E05 and E15. E05 is at BB, equal to the VD ceiling of BB, and E15 is at A, equal to the CV ceiling of A (A41, A37).

JSON: {"entities": ["E05", "E15"]}

✅ R5 csv+ontology run 4 graded by code

E05 and E15. E05's FC rating of BB equals the VD ceiling of BB (A14, A12). E15's FC rating of A equals the CV ceiling of A (A41, A37).

JSON: {"entities": ["E05", "E15"]}

✅ R5 csv+ontology run 5 graded by code

E05 and E15. E05's FC rating of BB equals the VD ceiling of BB (A14, A12), and E15's FC rating of A equals the CV ceiling of A (A41, A37).

JSON: {"entities": ["E05", "E15"]}

✅ R4 csv+markdown run 1 graded by code

E05 and E15. E05's FC rating is BB, equal to the VD ceiling of BB, and E15's FC rating is A, equal to the CV ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R4 csv+markdown run 2 graded by code

E05 and E15. E05's FC rating is BB, equal to VD's ceiling of BB. E15's FC rating is A, equal to CV's ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R4 csv+markdown run 3 graded by code

E05 and E15. E05's FC rating is BB, equal to the VD ceiling (A12/A14), and E15's FC rating is A, equal to the CV ceiling (A37/A41).

JSON: {"entities": ["E05", "E15"]}

✅ R4 csv+markdown run 4 graded by code

E05 and E15. E05's FC rating of BB equals VD's ceiling of BB. E15's FC rating of A equals CV's ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R4 csv+markdown run 5 graded by code

E05 and E15. E05's FC rating of BB equals the Valdoria ceiling of BB, and E15's FC rating of A equals the Corvenia ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R8 csv+axioms run 1 graded by code

E05 and E15. E05 is FC BB against a VD ceiling of BB, and E15 is FC A against a CV ceiling of A.

JSON: {"entities": ["E05", "E15"]}

✅ R8 csv+axioms run 2 graded by code

E05 and E15. E05's foreign-currency rating of BB equals the VD ceiling of BB (A12/A14), and E15's A equals the CV ceiling of A (A37/A41).

JSON: {"entities": ["E05", "E15"]}

✅ R8 csv+axioms run 3 graded by code

E05 and E15. E05's foreign-currency rating is BB, matching Valdoria's BB ceiling (A12, A14). E15's is A, matching Corvenia's A ceiling (A37, A41).

JSON: {"entities": ["E05", "E15"]}

✅ R8 csv+axioms run 4 graded by code

E05 and E15. E05's FC rating of BB equals Valdoria's BB ceiling (A12, A14), and E15's A equals Corvenia's A ceiling (A37, A41).

JSON: {"entities": ["E05", "E15"]}

✅ R8 csv+axioms run 5 graded by code

E05 and E15. E05 is BB against a VD ceiling of BB, and E15 is A against a CV ceiling of A.

JSON: {"entities": ["E05", "E15"]}