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

← back to the run

Which entities were in default on 1 October 2026?

Tests: Default semantics: RD is a default; WD (withdrawn) is not a credit event.

Expected: entities = ['E08']

✅ R1 csv run 1 graded by code

E08. It was downgraded to RD on 2026-07-08 (A22), and no later action cures it.

JSON: {"entities": ["E08"]}

✅ R1 csv run 2 graded by code

E08. A22 moved it to RD on 2026-07-08, with no later action.

JSON: {"entities": ["E08"]}

✅ R1 csv run 3 graded by code

E08. A22 moved it to RD on 2026-07-08.

JSON: {"entities": ["E08"]}

✅ R1 csv run 4 graded by code

E08. A22 moved it to RD on 2026-07-08 and nothing later supersedes it.

JSON: {"entities": ["E08"]}

✅ R1 csv run 5 graded by code

E08. A22 moved it to RD on 2026-07-08, and no later action changes that.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 1 graded by code

E08. A22 (2026-07-08) set RD, which is a default, and nothing later changes it.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 2 graded by code

E08. A22 (2026-07-08) moved it to RD, which is a default, and nothing later changes that.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 3 graded by code

E08. A22 (2026-07-08) set RD, which is a default, and nothing later changes it.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 4 graded by code

E08. A22 downgraded it to RD (a default) on 2026-07-08, with no later action.

JSON: {"entities": ["E08"]}

✅ R5 csv+ontology run 5 graded by code

E08. It went to RD on 2026-07-08 (A22), and RD is a default.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 1 graded by code

E08. A22 put it at RD on 2026-07-08, and that rating is still in force.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 2 graded by code

E08. It has been at RD since A22 (2026-07-08).

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 3 graded by code

E08. A22 put it at RD on 2026-07-08, and nothing has superseded it.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 4 graded by code

E08. A22 (RD, 2026-07-08) is still in force.

JSON: {"entities": ["E08"]}

✅ R8 csv+axioms run 5 graded by code

E08. Its RD rating (A22) is still in force and was not withdrawn.

JSON: {"entities": ["E08"]}

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

E08. It has held RD since A22 on 2026-07-08.

JSON: {"entities": ["E08"]}

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

E08. Its latest action, A22, put it at RD, which is a default.

JSON: {"entities": ["E08"]}

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

E08. It was rated RD from A22 (2026-07-08), which is a default.

JSON: {"entities": ["E08"]}

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

E08. It has been at RD (A22) since 2026-07-08, and RD is a default.

JSON: {"entities": ["E08"]}

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

E08, which was rated RD (a default) from A22 on 2026-07-08.

JSON: {"entities": ["E08"]}