Q44, run 2026-11-04-1824-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. The 2027 note is denominated in XVD (I07), which appears to be Valdoria's local currency; the data does not state the mapping explicitly.

JSON: {"local_currency": "yes"}

❌ R1 csv run 2 graded by code

Depends. I07's currency is XVD, which the data does not define, so I cannot confirm it is Valdoria's local currency.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R1 csv run 3 graded by code

Yes, probably. I07 is denominated in XVD, the only non-major currency in the data and the likely code for Valdoria's own currency. The data doesn't define XVD, so this is an inference.

JSON: {"local_currency": "yes"}

❌ R1 csv run 4 graded by code

Depends. The currency is XVD, which matches the VD country code, but the data doesn't define XVD as the local currency.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R1 csv run 5 graded by code

Yes. I07 is denominated in XVD, the Valdoria currency, and its issuer E05 is domiciled in VD. The data does not define XVD explicitly.

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. XVD is Valdoria's domestic currency, so the note is local-currency debt.

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.
I07 is in XVD, the domestic currency of VD, where the issuer E05 is domiciled.

JSON: {"local_currency": "yes"}

✅ R5 csv+ontology run 5 graded by code

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

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 VD's domestic currency.

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

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

JSON: {"local_currency": "yes"}

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

Yes. The 2027 note (I07) is in XVD, which is Valdoria's domestic currency for an issuer domiciled in VD.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

✅ R9 csv+axioms+markdown run 3 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 4 graded by code

Yes. I07 is denominated in XVD, the domestic currency of VD (E05's country), so it is local-currency debt.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}