Q44, run 2026-11-04-2028-haiku

← 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

Depends. XVD is never defined as Valdoria's currency, and I07 has no ccy_basis. The VD prefix suggests it is local.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R1 csv run 2 graded by code

Yes, inferred. I07's currency is XVD, which appears to be Valdoria's local currency, and I07 is rated BBB-, matching the LC rating (A13) rather than the FC rating. The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

Yes, probably. I07 is denominated in XVD, the only currency code tied to Valdoria, but the data doesn't explicitly say XVD is Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes. I07 is denominated in XVD, the currency code for VD. The data does not define XVD explicitly, so this is an inference.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes. I07 is in XVD, the currency that the LC basis in A13 appears to refer to, and it's rated BBB-, matching that LC rating. The data doesn't name XVD explicitly.

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 denominated in XVD, the domestic currency of VD, so it is a local-currency obligation.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

Yes. XVD is Valdoria's domestic currency, and E05 is domiciled in VD, so this is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 1 graded by code

Yes. The 2027 note is denominated in XVD, the domestic currency of VD, where Valdoria Telecom is domiciled (I07).

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 2 graded by code

Yes. The note is denominated in XVD, the domestic currency of Valdoria (VD).

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

Yes. The note (I07) is in XVD, the domestic currency of Valdoria.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

Yes. I07 is denominated in XVD, the domestic currency of VD, where Valdoria Telecom is domiciled.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

Yes. I07 is denominated 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 denominated in XVD, which is Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

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

JSON: {"local_currency": "yes"}