Q31, run 2026-11-04-2022-sonnet
Did any company have a foreign-currency issuer rating above its country's ceiling on 1 October 2026?
Tests: Ceilings: the sovereign's own rating can be below its ceiling, and a local-currency rating above it.
Expected: any = no
csv run 1
No. No VD entity has an FC rating above BB, and no CV entity has one above A.
JSON: {"any": "no"}
csv run 2
No. No VD entity is above BB and no CV entity is above A in FC.
JSON: {"any": "no"}
csv run 3
No. None of the VD or CV entities has an FC rating above BB or A respectively.
JSON: {"any": "no"}
csv run 4
No. No VD entity is rated above BB and no CV entity above A.
JSON: {"any": "no"}
csv run 5
No. No foreign-currency rating exceeds its ceiling; only local-currency ratings do, for example E15 at A+ (A40).
JSON: {"any": "no"}
csv+markdown run 1
No. No VD or CV entity has an FC rating above its ceiling.
JSON: {"any": "no"}
csv+markdown run 2
No. No VD entity is above BB and no CV entity is above A.
JSON: {"any": "no"}
csv+markdown run 3
No. No VD entity has an FC rating above BB and no CV entity has one above A.
JSON: {"any": "no"}
csv+markdown run 4
No. No VD entity has an FC rating above BB, and no CV entity has one above A.
JSON: {"any": "no"}
csv+markdown run 5
No. No VD entity has an FC rating above BB, and no CV entity has one above A.
JSON: {"any": "no"}
executed run 1
No. No CV entity has an FC rating above A and no VD entity has one above BB; E1039's AA- is a local-currency rating.
JSON: {"any": "no"}
executed run 2
No. No FC rating exceeds its country's ceiling.
JSON: {"any": "no"}
executed run 3
No. No entity's foreign-currency rating is above its country's ceiling.
JSON: {"any": "no"}
executed run 4
No. No CV entity has an FC rating above A, and no VD entity has one above BB.
JSON: {"any": "no"}
executed run 5
No. No CV entity is above A and no VD entity is above BB in foreign currency.
JSON: {"any": "no"}
csv+axioms run 1
No. No foreign-currency LTIDR is above its ceiling (VD at BB, CV at A).
JSON: {"any": "no"}
csv+axioms run 2
No. No foreign-currency issuer rating exceeded the VD ceiling of BB or the CV ceiling of A.
JSON: {"any": "no"}
csv+axioms run 3
No. The foreign-currency ratings of the entities domiciled in VD and CV are at or below their ceilings.
JSON: {"any": "no"}
csv+axioms run 4
No. No non-sovereign VD or CV entity is rated above its ceiling, so the CeilingShape constraint finds no violation.
JSON: {"any": "no"}
csv+axioms run 5
No. No VD entity is above BB and no CV entity is above A on a foreign-currency basis.
JSON: {"any": "no"}