Q44, run 2026-11-04-1825-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 denominated in XVD, which appears to be Valdoria's currency, but the data does not define it.

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

Yes, probably. I07 is denominated in XVD, which appears to be Valdoria's currency, and its BBB- matches the local-currency issuer rating (A13). The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes, probably. I07 is in XVD, which looks like Valdoria's currency, and its BBB- matches the local-currency rating (A13). The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes, probably. I07 is denominated in XVD, which looks like Valdoria's currency, though the data does not define it.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 3 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 4 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 5 graded by code

Yes. I07 pays in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 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 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

Yes. I07 is in XVD, and the issuer E05 is domiciled in VD, whose domestic currency is XVD.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

Yes. I07 pays in XVD, which is VD's domestic currency, and E05 is domiciled in VD.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}