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

← back to the run

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

Tests: Local rule: the RESEARCH record's country is overruled by the RATINGS record's.

Expected: count = 0

✅ R1 csv run 1 graded by code

0. The only LU record is E17, a duplicate of E10, which is DE in the primary record.

JSON: {"count": 0}

✅ R1 csv run 2 graded by code

0. The only LU record is E17, a research-system duplicate of E10, which is domiciled in DE.

JSON: {"count": 0}

✅ R1 csv run 3 graded by code

0. The only LU record is E17, a duplicate of the DE-domiciled E10.

JSON: {"count": 0}

✅ R1 csv run 4 graded by code

0. The only LU record is E17, a RESEARCH duplicate of E10, whose primary record says DE. If you trust E17, the answer would be 1.

JSON: {"count": 0}

✅ R1 csv run 5 graded by code

0. The only LU record is E17, a RESEARCH duplicate of E10, which is DE in the RATINGS record.

JSON: {"count": 0}

✅ R5 csv+ontology run 1 graded by code

0. The only LU record is E17, and RATINGS overrides it with DE.

JSON: {"count": 0}

✅ R5 csv+ontology run 2 graded by code

0. The only LU record is E17, and the RATINGS record for that entity says DE.

JSON: {"count": 0}

✅ R5 csv+ontology run 3 graded by code

0. The only LU record is E17, and RATINGS puts that entity in DE.

JSON: {"count": 0}

✅ R5 csv+ontology run 4 graded by code

0. The only LU record is E17, and the RATINGS record for the same entity says DE.

JSON: {"count": 0}

✅ R5 csv+ontology run 5 graded by code

0. The only LU record is E17, and the RATINGS record for that entity says DE.

JSON: {"count": 0}

✅ R8 csv+axioms run 1 graded by code

0. E17 resolves to DE, so no entity is domiciled in LU.

JSON: {"count": 0}

✅ R8 csv+axioms run 2 graded by code

0. E17's LU is overridden by E10's DE.

JSON: {"count": 0}

✅ R8 csv+axioms run 3 graded by code

0. E17's LU is overridden by the RATINGS record for the same entity (E10, DE).

JSON: {"count": 0}

✅ R8 csv+axioms run 4 graded by code

0. E17's LU is overridden by E10's DE domicile.

JSON: {"count": 0}

✅ R8 csv+axioms run 5 graded by code

0. The only LU record is E17, which is E10 and therefore domiciled in DE.

JSON: {"count": 0}

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

0. E17 is domiciled in DE through its RATINGS twin E10, and no other entity has LU.

JSON: {"count": 0}

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

0. E17 resolves to DE.

JSON: {"count": 0}

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

0. E17's LU is overridden by the RATINGS country of DE.

JSON: {"count": 0}

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

0. The only LU record is E17, and E10's RATINGS record gives DE.

JSON: {"count": 0}

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

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

JSON: {"count": 0}