Q44, run 2026-11-05-2135-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
XVD is the currency of other Valdoria-domiciled instruments (e.g., I1069 of E1236), so it is Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

Yes, I believe so. I07 is denominated in XVD, which matches Valdoria's domicile code (VD). The data does not define the code explicitly.

JSON: {"local_currency": "yes"}

✅ R1 csv run 3 graded by code

Yes. I07 is denominated in XVD, the Valdoria-specific currency code, so it is treated as local-currency. The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R1 csv run 4 graded by code

Yes. I07 is denominated in XVD, the currency associated with Valdoria (VD), so it is a local-currency obligation.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes. The note (I07) is denominated in XVD, Valdoria's currency.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 1 graded by code

Yes. The 2027 note (I07) is in XVD, which I take as Valdoria's local currency; that is an inference, not stated.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R2 rdf run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R2 rdf run 4 graded by code

Yes, inferred. I07 is denominated in XVD, the same currency used by VD-domiciled entity E1236's instrument (I1069). The data does not define XVD explicitly.

JSON: {"local_currency": "yes"}

❌ R2 rdf run 5 graded by code

Depends. The note is denominated in XVD, but the data never states Valdoria's local currency, and the instrument carries no currency-basis tag.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R6 rdf+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 4 graded by code

Yes. XVD is the Valdorian domestic currency, so the note is a local-currency obligation.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 2 graded by code

Yes. XVD is Valdoria's domestic currency, and I07 is issued by E05 (VD).

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

Yes. I07 is denominated in XVD, the Valdorian domestic currency.

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

Yes. The 2027 note (I07) is in XVD, the domestic currency of VD, the issuer's country.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 1 graded by code

Yes. I07 is denominated in XVD, which I am treating as Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 2 graded by code

Yes. I07 is denominated in XVD, the Valdoria currency.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 3 graded by code

Yes. The 2027 note (I07) is denominated in XVD, Valdoria's local currency.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 4 graded by code

Yes, probably. I07 is denominated in XVD, and its BBB- rating matches Valdoria's LC rating (A13). The data does not define XVD as local currency.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 5 graded by code

Yes, inferred. I07's currency is XVD, which matches Valdoria's country code VD, but the data does not define XVD as local currency.

JSON: {"local_currency": "yes"}

✅ R10 executed run 1 graded by code

Yes. I07 (the 2027 note) is flagged as a local-currency obligation (currency XVD).

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 marked local_currency = yes (currency XVD).

JSON: {"local_currency": "yes"}

✅ R10 executed run 4 graded by code

Yes. The Valdoria Telecom 2027 note (I07) has local_currency = yes.

JSON: {"local_currency": "yes"}

✅ R10 executed run 5 graded by code

Yes. I07 (the 2027 note) has local_currency = yes.

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 graded by code

Yes. The note is denominated in XVD, 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 (VD → XVD), and its issuer E05 is domiciled in VD.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

Yes. Valdoria Telecom's 2027 note (I07) is denominated in XVD, the Valdoria domestic currency.

JSON: {"local_currency": "yes"}

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

Yes. The Valdorian dollar (XVD) is VD's domestic currency, so the note is local-currency debt.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}