Q42, run 2026-11-04-1824-haiku

← back to the run

In which country is Halden Bank domiciled?

Tests: Local rule: where records disagree, the RATINGS record holds.

Expected: country = DE

✅ R1 csv run 1 graded by code

DE. Halden Bank AG (E10) is domiciled in Germany, but the E17 duplicate records LU, so the data conflicts.

JSON: {"country": "DE"}

✅ R1 csv run 2 graded by code

DE, per the ratings record E10. E17 shares E10's LEI but says LU, so the data conflicts.

JSON: {"country": "DE"}

✅ R1 csv run 3 graded by code

DE, but the data conflicts. E10 (Halden Bank AG) is DE, while E17 (HALDEN BANK, same LEI) is LU.

JSON: {"country": "DE"}

✅ R1 csv run 4 graded by code

DE. The rating record E10 says DE, but the RESEARCH record E17 says LU for the same LEI. The data conflicts.

JSON: {"country": "DE"}

✅ R1 csv run 5 graded by code

DE. E10 (RATINGS) gives DE, but its duplicate E17 (RESEARCH) gives LU, so the data conflicts.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 1 graded by code

DE. The RATINGS record (E10) holds the country, and the RESEARCH record (E17) showing LU is not the system of record.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 2 graded by code

DE. The RATINGS record (E10) holds for country, so it overrides the RESEARCH record's LU (E17).

JSON: {"country": "DE"}

✅ R5 csv+ontology run 3 graded by code

DE. E10 (RATINGS) gives DE, and the RESEARCH record E17 gives LU, but RATINGS holds.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 4 graded by code

DE.
The RATINGS record E10 says DE, and the RESEARCH record E17 says LU, but RATINGS is the system of record.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 5 graded by code

DE. The RATINGS record for E10 holds DE; the LU in E17 comes from RESEARCH.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 1 graded by code

DE. Halden Bank AG (E10) is domiciled in Germany; E17 inherits this through the shared LEI.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 2 graded by code

DE
E10 is RATINGS-sourced and domiciled in DE. E17 (RESEARCH, LU) resolves to DE through its sameEntityAs link to E10.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 3 graded by code

DE (Germany). E10's domicile is its own country, DE. E17 (LU) resolves to DE because it is the same entity as E10.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 4 graded by code

DE
E10 is the RATINGS record (country DE), and E17 (LU) takes its domicile from E10 via the same-entity rule.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 5 graded by code

DE. Halden Bank (E10) is domiciled in Germany. E17 lists LU as its research-source country, but domicile is inherited from the RATINGS record, E10.

JSON: {"country": "DE"}

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

DE. The RATINGS record for Halden Bank (E10) gives DE, which holds over the RESEARCH record's LU (E17).

JSON: {"country": "DE"}

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

DE. RATINGS (E10) holds over RESEARCH (E17, LU).

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds, and E17 (LU, RESEARCH) is the same LEI.

JSON: {"country": "DE"}

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

DE. The RATINGS record (E10, DE) holds over the RESEARCH record (E17, LU).

JSON: {"country": "DE"}

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

DE
The RATINGS record (E10) gives DE, which takes precedence over the RESEARCH record's LU (E17).

JSON: {"country": "DE"}