Q43, run 2026-11-04-2028-haiku

← back to the run

How many distinct entities are domiciled in Luxembourg (LU)?

Tests: Local rule: the RESEARCH record's country holds over the RATINGS record's, so Halden Bank is in LU.

Expected: count = 1

❌ R1 csv run 1 graded by code

0. The only LU record is E17, which duplicates E10 (DE). Taking E17's country at face value gives 1.

JSON: {"count": 0}

Why: count: expected 1, got 0

❌ R1 csv run 2 graded by code

0. The only LU record (E17) shares its LEI with E10, which is domiciled in DE. If E17 is taken at face value, the answer would be 1.

JSON: {"count": 0}

Why: count: expected 1, got 0

✅ R1 csv run 3 graded by code

1. Only E17 is recorded in LU, but it shares an LEI with E10, which is recorded in DE. The count is 1 by record, and 0 if E10's DE domicile is correct.

JSON: {"count": 1}

✅ R1 csv run 4 graded by code

1. Only E17 lists LU, but E17 has the same LEI as E10, which lists DE. If domicile is taken from E10, the count is 0.

JSON: {"count": 1}

❌ R1 csv run 5 graded by code

0. The only LU record is E17, which duplicates E10 (DE). If you take E17's LU at face value, the count would be 1.

JSON: {"count": 0}

Why: count: expected 1, got 0

✅ R5 csv+ontology run 1 graded by code

1
Only E10 (Halden Bank) is domiciled in LU.

JSON: {"count": 1}

✅ R5 csv+ontology run 2 graded by code

1. Only E10 (Halden Bank) is domiciled in LU, per E17.

JSON: {"count": 1}

✅ R5 csv+ontology run 3 graded by code

1. Only Halden Bank (E10/E17) is domiciled in LU.

JSON: {"count": 1}

✅ R5 csv+ontology run 4 graded by code

1. The only LU-domiciled entity is E10 (Halden Bank).

JSON: {"count": 1}

✅ R5 csv+ontology run 5 graded by code

1. Only E10 (Halden Bank) is domiciled in LU.

JSON: {"count": 1}

✅ R4 csv+markdown run 1 graded by code

1. The only LU entity is Halden Bank (E10 / E17).

JSON: {"count": 1}

✅ R4 csv+markdown run 2 graded by code

1. Only Halden Bank (E10/E17) is domiciled in LU.

JSON: {"count": 1}

✅ R4 csv+markdown run 3 graded by code

1. Only Halden Bank (E10/E17) is domiciled in LU.

JSON: {"count": 1}

✅ R4 csv+markdown run 4 graded by code

1. Only Halden Bank (E10/E17) is domiciled in LU under the RESEARCH record.

JSON: {"count": 1}

✅ R4 csv+markdown run 5 graded by code

1. Only E10 (Halden Bank) is domiciled in LU, per E17.

JSON: {"count": 1}

✅ R8 csv+axioms run 1 graded by code

1: E10 (same entity as E17). No other entity is domiciled in LU.

JSON: {"count": 1}

✅ R8 csv+axioms run 2 graded by code

1. Only E10/E17 is domiciled in LU.

JSON: {"count": 1}

✅ R8 csv+axioms run 3 graded by code

1. Only E10 and E17, which are the same entity, are domiciled in LU.

JSON: {"count": 1}

✅ R8 csv+axioms run 4 graded by code

1. Only E10 (E17 is the same entity) is domiciled in LU.

JSON: {"count": 1}

✅ R8 csv+axioms run 5 graded by code

1. Only Halden Bank is domiciled in LU, and E10 and E17 are the same entity.

JSON: {"count": 1}