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

← back to the run

Is Valdoria Telecom's 2027 note a local-currency obligation?

Tests: Local codes: XVD is the Valdorian dollar.

Expected: local_currency = yes

✅ R1 csv run 1 graded by code

Yes, probably. I07 is in XVD, which looks like Valdoria's local currency, but the data doesn't define that code.

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

Yes, though this is inferred. I07 is denominated in XVD, which appears to be Valdoria's currency, but the data does not define it.

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

Yes, probably. The currency XVD is not a standard code, but A45 rated I07 BBB-, matching Valdoria's local-currency rating (A13). The data doesn't define XVD.

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes, inferred. I07 is in XVD, which appears to be Valdoria's currency, though the data does not define it.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes, probably. I07 is in XVD, which looks like Valdoria's currency. Its BBB- rating matches the local-currency rating (A13), but the data has no currency table to confirm this.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 1 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 2 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where the issuer E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 3 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where E05's country is VD.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 4 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where its issuer E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

Yes. I07 is in XVD, the domestic currency of VD, the issuer's country.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 1 graded by code

Yes. I07 is in XVD, the domestic currency of VD, the issuer's country.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 2 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

Yes. I07 is in XVD, the domestic currency of E05's country, VD.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

Yes. I07 is in XVD, the domestic currency of VD, where the issuer E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 graded by code

Yes. I07 is in XVD, which is Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 2 graded by code

Yes. I07 is in XVD, which is the domestic currency of VD, where E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

Yes. I07 is in XVD, which is the domestic currency of VD, E05's domicile.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

Yes. I07 is in XVD, which is the domestic currency of VD, E05's domicile.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

Yes. I07 is in XVD, which is the domestic currency of VD, the domicile of the issuer E05.

JSON: {"local_currency": "yes"}