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

Yes, inferred. I07 is denominated in XVD, which is presumably Valdoria's currency, though the data does not define the code.

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

Yes. I07 is denominated in XVD, which appears to be Valdoria's currency code (the data does not define it explicitly), and its rating basis is local-currency.

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes. The XVD currency is Valdoria's local currency, and I07 is rated BBB- (A45), matching the LC rating (A13) rather than the FC rating (BB).

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

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

JSON: {"local_currency": "yes"}

❌ R2 rdf run 1 graded by code

Depends. XVD looks like Valdoria's currency and VD has an LC rating (A13), but the data never states Valdoria's local currency.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

❌ R2 rdf run 2 graded by code

Depends. I07 has currency XVD, which is not defined in the data as Valdoria's local currency, and no ccyBasis is given.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R2 rdf run 3 graded by code

Yes
The 2027 note (I07) is denominated in XVD, the currency associated with Valdoria, so it is treated as a local-currency obligation. The data does not state this directly.

JSON: {"local_currency": "yes"}

❌ R2 rdf run 4 graded by code

Depends. I07 is denominated in XVD, but the data never states Valdoria's local currency, so this cannot be confirmed.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

❌ R2 rdf run 5 graded by code

Depends. I07 is denominated in XVD, but the data doesn't state that XVD is Valdoria's local currency.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R6 rdf+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 2 graded by code

Yes
XVD is Valdoria's domestic currency, so I07 is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 3 graded by code

Yes. I07 is denominated in XVD, the domestic currency of Valdoria, which makes it local-currency debt.

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 4 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 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 1 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 2 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 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, Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

Yes. XVD is Valdoria's domestic currency, so the note is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 1 graded by code

Yes. XVD is Valdoria's domestic currency, so the note is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

Yes. The note is denominated in XVD, Valdoria's domestic currency, and E05 is domiciled in VD.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 1 graded by code

Yes. The note is in currency XVD (the Valdoria code), and its BBB- rating matches the local-currency rating (A13), not the foreign-currency rating.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 2 graded by code

Yes, probably. I07 is denominated in XVD, which appears to be Valdoria's currency code. The data does not define this explicitly.

JSON: {"local_currency": "yes"}

❌ R3 csv+padding run 3 graded by code

Depends. The note is in currency XVD, which looks like Valdoria's currency, but the data does not define XVD or give a currency basis for the instrument.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

❌ R3 csv+padding run 4 graded by code

Depends. I07 is denominated in XVD, which is not defined in the data; it is probably Valdoria's currency, but that isn't confirmed.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

❌ R3 csv+padding run 5 graded by code

Depends. I07 is in currency XVD, which the data does not define. It is likely Valdoria's currency, but this is not stated.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R10 executed run 1 graded by code

Yes. I07 has local_currency = yes (currency XVD).

JSON: {"local_currency": "yes"}

✅ R10 executed run 2 graded by code

Yes. I07 is marked local_currency = yes (currency XVD).

JSON: {"local_currency": "yes"}

✅ R10 executed run 3 graded by code

Yes. I07 has local_currency = yes and currency XVD.

JSON: {"local_currency": "yes"}

✅ R10 executed run 4 graded by code

Yes. I07 is marked local_currency = yes (XVD).

JSON: {"local_currency": "yes"}

✅ R10 executed run 5 graded by code

Yes. The 2027 note (I07) has local_currency = yes, with currency XVD.

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 1 graded by code

Yes. The 2027 note (I07) is denominated in XVD, Valdoria's domestic currency, and its issuer E05 is domiciled in VD, so it is local-currency debt.

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 graded by code

Yes. The 2027 note's currency is XVD (I07), which matches Valdoria's domestic currency (XVD).

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

Yes
I07 is denominated in XVD, which is Valdoria's domestic currency, so it is a local-currency obligation.

JSON: {"local_currency": "yes"}

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

Yes. The 2027 note is denominated in XVD, which is Valdoria's domestic currency.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}