Q31, run 2026-11-05-1233-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

No. No foreign-currency issuer rating exceeds its country ceiling.

JSON: {"any": "no"}

✅ R1 csv run 2 graded by code

No. Only Valdoria and Corvenia have ceilings in the data, and neither issuer is above its ceiling. Other countries have no ceiling data.

JSON: {"any": "no"}

❌ R1 csv run 3 graded by code

Depends. No company is above the two ceilings in the data, but ceilings are given only for VD and CV, so companies in other countries cannot be assessed.

JSON: {"any": "depends"}

Why: any: expected no, got depends

✅ R1 csv run 4 graded by code

No. Neither company with a ceiling in the data (E05, E15) is above it. Ceilings for other countries are not in the data, so this answer is limited to those two.

JSON: {"any": "no"}

✅ R1 csv run 5 graded by code

No, based on the data. The ceilings that exist (VD BB, CV A) are not exceeded. There are no ceiling records for GB, DE, US, NL, FR or GR, so those companies can't be checked.

JSON: {"any": "no"}

✅ R2 rdf run 1 graded by code

No. The only FC ratings tied to a ceiling (E05 BB, E15 A) equal their ceilings and do not exceed them. The data has no ceilings for other countries.

JSON: {"any": "no"}

✅ R2 rdf run 2 graded by code

No, on the data available. Ceilings exist only for VD and CV, and neither company is above its ceiling. Companies in other countries cannot be checked because no ceilings are given for them.

JSON: {"any": "no"}

✅ R2 rdf run 3 graded by code

No
No recorded foreign-currency issuer rating exceeds its country's ceiling. The data records ceilings only for VD and CV, so companies in other countries cannot be tested.

JSON: {"any": "no"}

✅ R2 rdf run 4 graded by code

No. No company's foreign-currency issuer rating is above the Valdoria or Corvenia ceiling. The data gives ceilings only for VD and CV, so other countries cannot be checked.

JSON: {"any": "no"}

✅ R2 rdf run 5 graded by code

No. E05 (BB) and E15 (A) sit at, not above, their ceilings; the data has no ceilings for other countries.

JSON: {"any": "no"}

✅ R6 rdf+ontology run 1 graded by code

No. The only companies under ceilings are E05 and E15, and both are exactly at their ceiling, not above it.

JSON: {"any": "no"}

✅ R6 rdf+ontology run 2 graded by code

No
E05 (BB) and E15 (A) are at their ceilings, not above. The data records no ceilings for other countries.

JSON: {"any": "no"}

✅ R6 rdf+ontology run 3 graded by code

No. Within the recorded ceilings, no company is above its ceiling. The data records no ceiling for CV, so E15's FC rating cannot be checked against one.

JSON: {"any": "no"}

✅ R6 rdf+ontology run 4 graded by code

**No.** No entity's FC rating is above its country's ceiling; E05 is exactly at BB and E15 exactly at A.

JSON: {"any": "no"}

✅ R6 rdf+ontology run 5 graded by code

No
No entity's FC issuer rating exceeds its country's ceiling on 1 Oct 2026.

JSON: {"any": "no"}

✅ R5 csv+ontology run 1 graded by code

No. Neither company's FC rating exceeds its country's ceiling; both are exactly at it.

JSON: {"any": "no"}

✅ R5 csv+ontology run 2 graded by code

No. The only entities domiciled in VD or CV are E05 and E15, and both sit exactly at their ceilings, not above.

JSON: {"any": "no"}

✅ R5 csv+ontology run 3 graded by code

No. The data sets ceilings only for VD and CV, and both E05 and E15 sit exactly at theirs.

JSON: {"any": "no"}

✅ R5 csv+ontology run 4 graded by code

No. E05 (BB) and E15 (A) sit exactly at their ceilings, and no other company is domiciled in a country with a ceiling.

JSON: {"any": "no"}

✅ R5 csv+ontology run 5 graded by code

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

JSON: {"any": "no"}

✅ R4 csv+markdown run 1 graded by code

No. No company's FC issuer rating exceeds its country's ceiling. Only VD and CV have ceilings, and E05 and E15 sit exactly at them.

JSON: {"any": "no"}

✅ R4 csv+markdown run 2 graded by code

No. No company's FC issuer rating exceeds its country's ceiling on 1 Oct 2026; E05 and E15 are exactly at their ceilings.

JSON: {"any": "no"}

✅ R4 csv+markdown run 3 graded by code

No. Both companies domiciled in ceiling countries (E05 and E15) are exactly at their ceilings, not above.

JSON: {"any": "no"}

✅ R4 csv+markdown run 4 graded by code

No. The only ceiling is VD's at BB, and no company's FC rating is above it.

JSON: {"any": "no"}

✅ R4 csv+markdown run 5 graded by code

No. E05 (BB) and E15 (A) are exactly at their ceilings, not above them.

JSON: {"any": "no"}

❌ R3 csv+padding run 1 graded by code

Depends. No company in VD or CV is above its ceiling, but the data has no ceiling for any other country, so the question cannot be fully answered.

JSON: {"any": "depends"}

Why: any: expected no, got depends

✅ R3 csv+padding run 2 graded by code

No. Neither company's FC rating exceeds its ceiling. This only covers VD and CV, since those are the only countries with ceiling records.

JSON: {"any": "no"}

✅ R3 csv+padding run 3 graded by code

No. No foreign-currency issuer rating exceeds its country ceiling.

JSON: {"any": "no"}

✅ R3 csv+padding run 4 graded by code

No, for the two countries with recorded ceilings (VD and CV). The data has no ceilings for other countries, so those cases can't be checked.

JSON: {"any": "no"}

✅ R3 csv+padding run 5 graded by code

No. Among entities with a ceiling in the data, none is above it. Ceilings exist only for VD and CV, so other countries cannot be checked.

JSON: {"any": "no"}

✅ R10 executed run 1 graded by code

No. The two companies in ceiling-capped countries (E05, E15) sit exactly at their ceilings, not above.

JSON: {"any": "no"}

✅ R10 executed run 2 graded by code

No. No entity's FC issuer rating is above its country ceiling.

JSON: {"any": "no"}

✅ R10 executed run 3 graded by code

No. Neither E05 nor E15 is above its ceiling. The data has ceilings only for CV and VD, so it cannot show whether entities in other countries exceed a ceiling.

JSON: {"any": "no"}

✅ R10 executed run 4 graded by code

No. E05 (BB) and E15 (A) are at their ceilings, not above them. The ceilings table only covers CV and VD, so I cannot check other countries.

JSON: {"any": "no"}

✅ R10 executed run 5 graded by code

No. The only entities with FC ratings under a ceiling are E05 (BB, at ceiling) and E15 (A, at ceiling).

JSON: {"any": "no"}

✅ R7 csv+neutral run 1 graded by code

No. Only VD and CV have ceilings, and neither domiciled entity exceeds its ceiling (E05 is at BB and E15 is at A).

JSON: {"any": "no"}

✅ R7 csv+neutral run 2 graded by code

No. No company has an FC issuer rating above its country's ceiling; the two at-ceiling cases (E05, E15) are equal, not above.

JSON: {"any": "no"}

✅ R7 csv+neutral run 3 graded by code

No. Both companies domiciled under a ceiling (E05 at BB, E15 at A) are exactly at it, not above it. Ceilings exist only for VD and CV.

JSON: {"any": "no"}

✅ R7 csv+neutral run 4 graded by code

No
Valdoria's only FC rating at the ceiling is E05's BB, which is equal to, not above, the ceiling. No other entity has a ceiling to exceed.

JSON: {"any": "no"}

✅ R7 csv+neutral run 5 graded by code

No. Every FC issuer rating in a ceiling country is at or below its ceiling.

JSON: {"any": "no"}

✅ R8 csv+axioms run 1 graded by code

No. Both foreign-currency ratings that face a ceiling (E05 and E15) equal their ceilings rather than exceeding them.

JSON: {"any": "no"}

✅ R8 csv+axioms run 2 graded by code

No. No FC issuer rating exceeds its country ceiling; the two at ceiling are E05 and E15.

JSON: {"any": "no"}

✅ R8 csv+axioms run 3 graded by code

No. Neither E05 (BB) nor E15 (A) is above its ceiling, and the ceiling rule flags only ratings stronger than the cap.

JSON: {"any": "no"}

✅ R8 csv+axioms run 4 graded by code

No. E05 (BB) and E15 (A) are exactly at their ceilings, not above them.

JSON: {"any": "no"}

✅ R8 csv+axioms run 5 graded by code

No
No FC issuer rating sits above its country ceiling. E05 (BB) and E15 (A) are both exactly at their ceilings.

JSON: {"any": "no"}

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

No. No corporate's FC issuer rating is above its country's ceiling; E05 is at BB and E15 is at A.

JSON: {"any": "no"}

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

No. Neither E05 nor E15 is above its country's ceiling.

JSON: {"any": "no"}

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

No. E05 (BB) and E15 (A) are exactly at their ceilings, not above them.

JSON: {"any": "no"}

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

No. The only foreign-currency ratings in capped countries are E05 (BB) and E15 (A), and neither is above its ceiling.

JSON: {"any": "no"}

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

No. No company's FC issuer rating is above its country's ceiling; E05 and E15 are exactly at theirs.

JSON: {"any": "no"}