Q42, run 2026-11-04-1825-sonnet

← 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. The RATINGS record (E10) says DE, while the RESEARCH duplicate (E17) says LU. I used the RATINGS record as the primary source.

JSON: {"country": "DE"}

✅ R1 csv run 2 graded by code

DE. E10 in the RATINGS system says DE. The research duplicate E17 says LU, which conflicts.

JSON: {"country": "DE"}

✅ R1 csv run 3 graded by code

DE. E10 says DE and E17 says LU, but both share an LEI. I treat E10, from the RATINGS system, as authoritative, but the data conflicts.

JSON: {"country": "DE"}

✅ R1 csv run 4 graded by code

DE, per the RATINGS record E10. The RESEARCH duplicate E17 says LU, so the sources conflict.

JSON: {"country": "DE"}

✅ R1 csv run 5 graded by code

DE. The RATINGS record E10 says DE, while the RESEARCH duplicate E17 says LU. I took the RATINGS record as authoritative.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 1 graded by code

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

JSON: {"country": "DE"}

✅ R5 csv+ontology run 2 graded by code

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

JSON: {"country": "DE"}

✅ R5 csv+ontology run 3 graded by code

DE. The RATINGS record E10 holds over the RESEARCH record E17, which says LU.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 4 graded by code

DE. The RATINGS record E10 holds over the RESEARCH record E17, which says LU.

JSON: {"country": "DE"}

✅ R5 csv+ontology run 5 graded by code

DE. The RATINGS record E10 holds over the RESEARCH record E17, which says LU.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 1 graded by code

DE. E10's own RATINGS record says DE. The LU on E17 comes from the RESEARCH record, which defers to the RATINGS record.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 2 graded by code

DE. E10 is domiciled in DE per its RATINGS record. E17's LU is a research-system duplicate.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 3 graded by code

DE. E17 says LU, but it is the same entity as E10, whose RATINGS record says DE.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 4 graded by code

DE. The RATINGS record E10 says DE, and E17 (LU, RESEARCH) defers to it.

JSON: {"country": "DE"}

✅ R8 csv+axioms run 5 graded by code

DE. E10's RATINGS record gives DE, and E17's LU is overridden because it shares E10's LEI.

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds, and E17's LU is overridden.

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds, over the RESEARCH record E17, which says LU.

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds over the RESEARCH record E17, which says LU.

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds, over the RESEARCH record E17's LU.

JSON: {"country": "DE"}

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

DE. The RATINGS record E10 holds, over the RESEARCH duplicate E17, which says LU.

JSON: {"country": "DE"}