Q44, run 2026-11-05-2135-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. I07's currency is XVD, and its BBB- matches E05's LC rating (A13, A45).

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

Yes, by inference. I07 is in XVD, which appears to be Valdoria's local currency, but the data has no currency-to-country table.

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

Yes. I07 is in XVD, which I take to be Valdoria's currency, although the data never defines the code.

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes. I07 is denominated in XVD, which appears to be Valdoria's currency, and its BBB- rating matches E05's local-currency rating. The data does not define XVD, so this is inferred.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes. I07 is in XVD, which looks like Valdoria's currency. Its BBB- rating (A45) matches E05's LC rating (A13).

JSON: {"local_currency": "yes"}

✅ R2 rdf run 1 graded by code

Yes, by inference. The I07 note is in XVD and rated BBB-, matching E05's local-currency rating (A13).

JSON: {"local_currency": "yes"}

✅ R2 rdf run 2 graded by code

Yes. I07 is denominated in XVD, which appears to be Valdoria's currency. The data doesn't define XVD, so this is inferred.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R2 rdf run 4 graded by code

Yes. I07 is denominated in XVD, Valdoria's currency.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 5 graded by code

Yes. I07 is denominated in XVD, which I inferred is Valdoria's currency; the data does not define XVD.

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 3 graded by code

Yes. I07 is denominated in XVD, the domestic currency of VD, so it is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 2 graded by code

Yes. I07 is in XVD, Valdoria's domestic currency, and the issuer is 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, and E05 is domiciled in VD.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

Yes. I07 is in XVD, the Valdorian dollar, which is E05's domestic currency.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 1 graded by code

Yes. I07 is in XVD, Valdoria's currency (an inference from the code), and its BBB- matches E05's LC rating.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 2 graded by code

Yes, probably. I07 is denominated in XVD, which is not a standard code and looks like Valdoria's local currency (VD). Its BBB- rating matches E05's local-currency rating (A45, A13).

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 3 graded by code

Yes. I07 is in XVD, which appears to be Valdoria's own currency (inferred from the code, not defined in the data).

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 4 graded by code

Yes, inferred. I07 is in XVD, which looks like Valdoria's currency, but the data does not define it. Its rating of BBB- (A45) matches E05's local-currency rating.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 5 graded by code

Yes. I07 is denominated in XVD, which I take to be Valdoria's currency. The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R10 executed run 1 graded by code

Yes. I07 is in XVD and `local_currency` is "yes".

JSON: {"local_currency": "yes"}

✅ R10 executed run 2 graded by code

Yes. I07 is in XVD with local_currency = yes.

JSON: {"local_currency": "yes"}

✅ R10 executed run 3 graded by code

Yes. I07 is in XVD with `local_currency` = yes.

JSON: {"local_currency": "yes"}

✅ R10 executed run 4 graded by code

Yes. I07 is in XVD with local_currency set to yes.

JSON: {"local_currency": "yes"}

✅ R10 executed run 5 graded by code

Yes. I07 is in XVD with local_currency = yes.

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 2 graded by code

Yes. I07 is denominated in XVD, the domestic currency of VD.

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 2 graded by code

Yes. I07 is in XVD and the issuer's domicile is VD, whose domestic currency is XVD.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

Yes. I07 is in XVD, VD's domestic currency, and its issuer E05 is domiciled in VD.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}