Q31, run 2026-11-04-1824-haiku

← back to the run

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

❌ R1 csv run 1 graded by code

Depends. No company is above the VD (BB) or CV (A) ceiling, but the data has no ceilings for GB, NL, DE, US, FR or GR, so the question cannot be fully settled.

JSON: {"any": "depends"}

Why: any: expected no, got depends

✅ R1 csv run 2 graded by code

No. Neither E05 nor E15 is above its ceiling, and no other company is in a country with a ceiling.

JSON: {"any": "no"}

✅ R1 csv run 3 graded by code

No. E05 (BB) and E15 (A) sit exactly at their ceilings, not above. No other country has a ceiling recorded, so the answer only covers VD and CV.

JSON: {"any": "no"}

✅ R1 csv run 4 graded by code

No. The only two ceilings in the data (VD at BB, CV at A) are matched exactly by E05 and E15, not exceeded.

JSON: {"any": "no"}

❌ R1 csv run 5 graded by code

Depends. No company exceeds a ceiling where one is given, but the data gives no ceilings for GB, NL, DE, US, GR, FR or LU, so those cannot be checked.

JSON: {"any": "depends"}

Why: any: expected no, got depends

✅ R5 csv+ontology run 1 graded by code

No. No company's FC rating exceeds its country's ceiling. E05 is at BB and E15 is at A.

JSON: {"any": "no"}

✅ R5 csv+ontology run 2 graded by code

No. The only two companies in ceiling countries (E05 and E15) are exactly at their ceilings, not above.

JSON: {"any": "no"}

✅ R5 csv+ontology run 3 graded by code

No. Neither E05 nor E15 is above its ceiling. The data records ceilings only for VD and CV, so I can't check other countries.

JSON: {"any": "no"}

✅ R5 csv+ontology run 4 graded by code

No.
E05 and E15 are exactly at their ceilings, and no other company is in a country with a ceiling.

JSON: {"any": "no"}

✅ R5 csv+ontology run 5 graded by code

No. E05 and E15 are exactly at their ceilings, and the other entities are in countries with no ceiling.

JSON: {"any": "no"}

✅ R8 csv+axioms run 1 graded by code

No. No company's FC issuer rating is above its country's ceiling on 1 Oct 2026; the two at-ceiling cases are equal, not above.

JSON: {"any": "no"}

✅ R8 csv+axioms run 2 graded by code

No
Neither E05 (BB) nor E15 (A) is above its sovereign ceiling, and no other domicile has a ceiling.

JSON: {"any": "no"}

✅ R8 csv+axioms run 3 graded by code

No. Both FC ratings equal their ceilings and none exceeds them.

JSON: {"any": "no"}

✅ R8 csv+axioms run 4 graded by code

No
The only FC ratings for ceiling-bound entities (E05 at BB, E15 at A) equal their ceilings, and the data sets no ceiling for other countries.

JSON: {"any": "no"}

✅ R8 csv+axioms run 5 graded by code

No. Both FC issuer ratings equal their ceilings and none exceed them.

JSON: {"any": "no"}

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

No. Neither FC rating (E05 at BB, E15 at A) is above its country's ceiling.

JSON: {"any": "no"}

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

No. Every company FC rating is at or below its ceiling. Only VD and CV have ceilings, and E05 and E15 sit exactly at theirs.

JSON: {"any": "no"}

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

No. E05 is at BB, the ceiling, and E15 is at A, the ceiling. Neither is above it.

JSON: {"any": "no"}

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

No. E05 (BB) and E15 (A) are both at their ceilings, not above them, and E01/E02/E09/E12/E14 have no ceiling.

JSON: {"any": "no"}

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

No
No company's FC issuer rating is above its ceiling. E05 and E15 are both exactly at their ceilings.

JSON: {"any": "no"}