Q44, run 2026-11-05-1227-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. The currency XVD appears to be Valdoria's own currency, which is inferred from the code and not stated in the data. Its BBB- rating (A45) matches E05's local-currency rating (A13).

JSON: {"local_currency": "yes"}

✅ R1 csv run 2 graded by code

Yes, with a caveat. I07 is denominated in XVD, which appears to be Valdoria's currency, but the data never states Valdoria's local currency.

JSON: {"local_currency": "yes"}

❌ R1 csv run 3 graded by code

Depends. I07's currency is "XVD", and the data does not say that XVD is Valdoria's local currency.

JSON: {"local_currency": "depends"}

Why: local_currency: expected yes, got depends

✅ R1 csv run 4 graded by code

Yes, by inference. I07 is in XVD, which appears to be Valdoria's currency, but the data doesn't define it.

JSON: {"local_currency": "yes"}

✅ R1 csv run 5 graded by code

Yes, by inference. The data doesn't state Valdoria's currency, but I07 is in XVD, not a standard code, and its rating (A45, BBB-) matches the local-currency rating A13.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 1 graded by code

Yes, probably. I07 is in XVD and its issuer E05 is in VD, but the data doesn't define XVD explicitly.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 2 graded by code

Yes, though this is inferred. I07 is in XVD, which the data does not define, but it looks like Valdoria's currency (E05 is in VD).

JSON: {"local_currency": "yes"}

✅ R2 rdf run 3 graded by code

Yes, though this is inferred. XVD appears to be Valdoria's currency, and I07's BBB- equals E05's LC rating (A13), but the data does not define XVD.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 4 graded by code

Yes, by inference. I07 is in "XVD" and its BBB- matches E05's local-currency rating (A13), but the data does not define XVD.

JSON: {"local_currency": "yes"}

✅ R2 rdf run 5 graded by code

Yes, by inference. The note is in XVD and its BBB- matches E05's local-currency rating (A13). The data never states Valdoria's currency, though.

JSON: {"local_currency": "yes"}

✅ R6 rdf+ontology run 1 graded by code

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R4 csv+markdown run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 1 graded by code

Yes. I07 is denominated in XVD, which appears to be Valdoria's currency, though the data doesn't state this explicitly.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 2 graded by code

Yes. The note I07 is in XVD, which appears to be Valdoria's currency, though the data doesn't define it. Its BBB- rating matches the local-currency rating A13.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 3 graded by code

Yes. I07 is denominated in XVD, which appears to be Valdoria's currency, though the data has no currency table to confirm it.

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 4 graded by code

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

JSON: {"local_currency": "yes"}

✅ R3 csv+padding run 5 graded by code

Yes, on inference. I07 is issued in XVD, which looks like Valdoria's currency, though the data does not define it. Its BBB- matches E05's LC rating (A13, A45).

JSON: {"local_currency": "yes"}

✅ R10 executed run 1 graded by code

Yes. I07 is flagged local_currency = yes (denominated in XVD).

JSON: {"local_currency": "yes"}

✅ R10 executed run 2 graded by code

Yes. I07 has local_currency = yes and is denominated in XVD.

JSON: {"local_currency": "yes"}

✅ R10 executed run 3 graded by code

Yes. I07 has local_currency=yes and is denominated in XVD.

JSON: {"local_currency": "yes"}

✅ R10 executed run 4 graded by code

Yes. I07 has local_currency = yes.

JSON: {"local_currency": "yes"}

✅ R10 executed run 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 1 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 2 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 3 graded by code

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

JSON: {"local_currency": "yes"}

✅ R7 csv+neutral run 4 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 5 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 1 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 2 graded by code

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

JSON: {"local_currency": "yes"}

✅ R8 csv+axioms run 5 graded by code

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

JSON: {"local_currency": "yes"}

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

Yes. I07 pays in XVD, which is the domestic currency of VD, E05's domicile.

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}

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

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

JSON: {"local_currency": "yes"}