Q40, run 2026-11-06-0855-sonnet
Which source is in the highest tier?
Tests: Local code: K3 is the highest tier, not K1.
Expected: source = S01
✅ R8
csv+axioms run 1
S01, which is tier K3.
JSON: {"source": "S01"}
✅ R8
csv+axioms run 2
S01, tier K3.
JSON: {"source": "S01"}
✅ R8
csv+axioms run 3
S01 (K3).
JSON: {"source": "S01"}
✅ R8
csv+axioms run 4
S01 (tier K3).
JSON: {"source": "S01"}
✅ R8
csv+axioms run 5
S01 (K3).
JSON: {"source": "S01"}
✅ R9
csv+axioms+markdown run 1
S01 (K3).
JSON: {"source": "S01"}
✅ R9
csv+axioms+markdown run 2
S01 (K3).
JSON: {"source": "S01"}
✅ R9
csv+axioms+markdown run 3
S01 (K3).
JSON: {"source": "S01"}
✅ R9
csv+axioms+markdown run 4
S01 (K3).
JSON: {"source": "S01"}
✅ R9
csv+axioms+markdown run 5
S01 (K3).
JSON: {"source": "S01"}