Q42, run 2026-11-05-2135-haiku

← back to the run

In which country is Halden Bank domiciled?

Tests: Local rule: where records disagree on country, the RESEARCH record holds.

Expected: country = LU

❌ R1 csv run 1 graded by code

DE
E10 is domiciled in DE, while its duplicate E17 gives LU. I used E10's country.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R1 csv run 2 graded by code

DE. E10 is domiciled in DE. E17 shows LU, but it is the same LEI.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R1 csv run 3 graded by code

DE. E10 is domiciled in Germany. E17, a RESEARCH duplicate with the same LEI, says LU, so the data conflicts.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R1 csv run 4 graded by code

DE. Halden Bank AG (E10) is domiciled in DE. The duplicate E17 is listed as LU.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R1 csv run 5 graded by code

DE (E10). E17, a research record with the same LEI, shows LU.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R2 rdf run 1 graded by code

DE, per E10. E17 (same LEI) says LU, so the data conflicts.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R2 rdf run 2 graded by code

Conflicting. E10 "Halden Bank AG" is domiciled in DE, but E17 "HALDEN BANK" shares its LEI and is domiciled in LU.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R2 rdf run 3 graded by code

DE. Halden Bank AG (E10) is domiciled in Germany. A separate LU record, E17, shares the name but has no ratings.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R2 rdf run 4 graded by code

DE. Halden Bank AG (E10) is domiciled in Germany.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R2 rdf run 5 graded by code

DE, per E10 (Halden Bank AG). E17 "HALDEN BANK" carries the same LEI but says LU, so the domicile conflicts in the data.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

✅ R6 rdf+ontology run 1 graded by code

LU.
E17 (RESEARCH) says LU, E10 (RATINGS) says DE, and RESEARCH holds for domicile.

JSON: {"country": "LU"}

✅ R6 rdf+ontology run 2 graded by code

LU. For Halden Bank, the RESEARCH record E17 holds and says Luxembourg, not the RATINGS record's DE.

JSON: {"country": "LU"}

✅ R6 rdf+ontology run 3 graded by code

LU. The RESEARCH record E17 holds for domicile, overriding E10's DE.

JSON: {"country": "LU"}

✅ R6 rdf+ontology run 4 graded by code

LU. The RESEARCH record (E17) holds for domicile, overriding DE on E10.

JSON: {"country": "LU"}

✅ R6 rdf+ontology run 5 graded by code

LU
RESEARCH record E17 holds Halden Bank's domicile, which is Luxembourg.

JSON: {"country": "LU"}

✅ R5 csv+ontology run 1 graded by code

LU. The RESEARCH record E17 overrides RATINGS' DE for E10.

JSON: {"country": "LU"}

✅ R5 csv+ontology run 2 graded by code

LU. RATINGS says DE for E10, but RESEARCH (E17) says LU, and RESEARCH holds for domicile.

JSON: {"country": "LU"}

✅ R5 csv+ontology run 3 graded by code

LU
E10's RESEARCH record (E17) gives its country as LU, which overrides RATINGS.

JSON: {"country": "LU"}

✅ R5 csv+ontology run 4 graded by code

LU. The RESEARCH record E17 holds for country and overrides DE in E10.

JSON: {"country": "LU"}

✅ R5 csv+ontology run 5 graded by code

LU. The RESEARCH record (E17) holds for domicile over the RATINGS record's DE.

JSON: {"country": "LU"}

✅ R4 csv+markdown run 1 graded by code

LU. RESEARCH holds for domicile, and E17 (RESEARCH, same LEI as E10) gives LU.

JSON: {"country": "LU"}

✅ R4 csv+markdown run 2 graded by code

LU. The RESEARCH record E17 holds for domicile over the RATINGS record's DE.

JSON: {"country": "LU"}

✅ R4 csv+markdown run 3 graded by code

LU. The RESEARCH record E17 holds for domicile, overriding DE in E10.

JSON: {"country": "LU"}

✅ R4 csv+markdown run 4 graded by code

LU. The RESEARCH record (E17) holds for domicile, overriding RATINGS (DE).

JSON: {"country": "LU"}

✅ R4 csv+markdown run 5 graded by code

LU. For domicile, the RESEARCH record (E17) holds over RATINGS' DE for the same entity.

JSON: {"country": "LU"}

❌ R3 csv+padding run 1 graded by code

DE (E10). E17 lists LU, but it is a duplicate record with the same LEI.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R3 csv+padding run 2 graded by code

DE. E10 is DE, but E17 (same LEI) says LU, which conflicts.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R3 csv+padding run 3 graded by code

DE. Halden Bank AG (E10) is domiciled in Germany. The duplicate E17 lists LU, which conflicts with E10.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R3 csv+padding run 4 graded by code

DE (E10, ratings record). The E17 research record, with the same LEI, says LU, which conflicts.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

❌ R3 csv+padding run 5 graded by code

DE, per the RATINGS record E10. The RESEARCH record E17 gives LU, so the records conflict.

JSON: {"country": "DE"}

Why: country: expected LU, got DE

✅ R10 executed run 1 graded by code

LU. E10 is domiciled in Luxembourg.

JSON: {"country": "LU"}

✅ R10 executed run 2 graded by code

LU. E10's country is LU.

JSON: {"country": "LU"}

✅ R10 executed run 3 graded by code

LU. E10's country is LU.

JSON: {"country": "LU"}

✅ R10 executed run 4 graded by code

LU. Halden Bank (E10) is domiciled in Luxembourg.

JSON: {"country": "LU"}

✅ R10 executed run 5 graded by code

LU. E10 is domiciled in Luxembourg.

JSON: {"country": "LU"}

✅ R7 csv+neutral run 1 graded by code

LU. The RESEARCH record E17 overrides the RATINGS record E10 (DE).

JSON: {"country": "LU"}

✅ R7 csv+neutral run 2 graded by code

LU. Halden Bank's RESEARCH record (E17) holds for domicile.

JSON: {"country": "LU"}

✅ R7 csv+neutral run 3 graded by code

LU. The RESEARCH record (E17) holds for domicile over E10's DE.

JSON: {"country": "LU"}

✅ R7 csv+neutral run 4 graded by code

LU. The RESEARCH record E17 overrides the RATINGS record E10 (DE) on domicile.

JSON: {"country": "LU"}

✅ R7 csv+neutral run 5 graded by code

LU. The RESEARCH record E17 holds for domicile, so it overrides E10's DE.

JSON: {"country": "LU"}

✅ R8 csv+axioms run 1 graded by code

LU. E10 takes its domicile from its RESEARCH duplicate E17, though its RATINGS record says DE.

JSON: {"country": "LU"}

✅ R8 csv+axioms run 2 graded by code

LU. E10 has no domicile of its own, so its domicile comes from its RESEARCH record E17, which gives LU.

JSON: {"country": "LU"}

✅ R8 csv+axioms run 3 graded by code

LU. E10's domicile is taken from its sameEntityAs record E17, which is registered in LU, overriding its DE country code.

JSON: {"country": "LU"}

✅ R8 csv+axioms run 4 graded by code

LU. E10 is linked to E17 (RESEARCH, LU), so its domicile is LU.

JSON: {"country": "LU"}

✅ R8 csv+axioms run 5 graded by code

LU. Halden Bank (E10) is domiciled in Luxembourg through its research record E17, not Germany.

JSON: {"country": "LU"}

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

LU. The RESEARCH record (E17) holds for domicile, and it says LU.

JSON: {"country": "LU"}

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

LU.
The RATINGS record says DE, but the RESEARCH record E17 (same LEI) says LU, and RESEARCH holds for domicile.

JSON: {"country": "LU"}

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

LU. The RESEARCH record E17 holds the country, and it overrides RATINGS' DE for E10.

JSON: {"country": "LU"}

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

LU. The RESEARCH record (E17) says Luxembourg, and that record holds for domicile, overriding E10's DE.

JSON: {"country": "LU"}

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

LU. Halden Bank's RATINGS record says DE, but the RESEARCH record (E17) holds for domicile, and it says LU.

JSON: {"country": "LU"}