Q8, run 2026-11-05-1227-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. A22 moved it to RD on 2026-07-08, with no later action.

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

✅ R1 csv run 2 graded by code

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

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

✅ R1 csv run 3 graded by code

E08, which was at RD from 2026-07-08 (A22).

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

✅ R1 csv run 4 graded by code

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

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

✅ R1 csv run 5 graded by code

E08. A22 moved it to RD (restricted default) on 2026-07-08.

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

✅ R2 rdf run 1 graded by code

E08, rated RD since 2026-07-08 (A22).

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

✅ R2 rdf run 2 graded by code

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

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

✅ R2 rdf run 3 graded by code

E08. It was rated RD on 2026-07-08 (A22) with no later action.

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

✅ R2 rdf run 4 graded by code

E08. It was rated RD on 2026-07-08 (A22) and there is no later action.

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

✅ R2 rdf run 5 graded by code

E08. It was downgraded to RD in A22 (2026-07-08) and has no later action.

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

✅ R6 rdf+ontology run 1 graded by code

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

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

✅ R6 rdf+ontology run 2 graded by code

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

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

✅ R6 rdf+ontology run 3 graded by code

E08. It was in default (RD) from A22 (2026-07-08).

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

✅ R6 rdf+ontology run 4 graded by code

E08. It was downgraded to RD on 2026-07-08 (A22), which is a default, and there is no later action.

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

✅ R6 rdf+ontology run 5 graded by code

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

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

✅ R5 csv+ontology run 1 graded by code

E08. A22 set RD (restricted default) on 2026-07-08.

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

✅ R5 csv+ontology run 2 graded by code

E08. A22 moved it to RD, a default, on 2026-07-08, and there has been no later action.

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

✅ R5 csv+ontology run 3 graded by code

E08. A22 (2026-07-08) downgraded it to RD, which is a default.

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

✅ R5 csv+ontology run 4 graded by code

E08. A22 moved it to RD, which is a default, on 2026-07-08.

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

✅ R5 csv+ontology run 5 graded by code

E08. A22 moved it to RD (a default) on 2026-07-08 and nothing later changed that.

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

✅ R4 csv+markdown run 1 graded by code

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

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

✅ R4 csv+markdown run 2 graded by code

E08. A22 moved it to RD on 2026-07-08, and RD is a default.

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

✅ R4 csv+markdown run 3 graded by code

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

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

✅ R4 csv+markdown run 4 graded by code

E08. A22 put it at RD on 2026-07-08, and RD counts as default.

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

✅ R4 csv+markdown run 5 graded by code

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

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

✅ R3 csv+padding run 1 graded by code

E08. It was downgraded to RD on 2026-07-08 (A22).

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

✅ R3 csv+padding run 2 graded by code

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

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

✅ R3 csv+padding run 3 graded by code

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

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

✅ R3 csv+padding run 4 graded by code

E08. It was rated RD on 2026-07-08 (A22), with no later action.

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

✅ R3 csv+padding run 5 graded by code

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

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

✅ R10 executed run 1 graded by code

E08. Its rating is RD (A22), still in force.

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

✅ R10 executed run 2 graded by code

E08. Its rating was RD, in force since 2026-07-08 (A22).

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

✅ R10 executed run 3 graded by code

Saxby Shipping (E08), rated RD since 2026-07-08 (A22).

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

✅ R10 executed run 4 graded by code

E08. Its rating is RD (A22), still in force.

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

✅ R10 executed run 5 graded by code

E08. Its RD rating (A22) is in force.

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

✅ R7 csv+neutral run 1 graded by code

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

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

✅ R7 csv+neutral run 2 graded by code

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

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

✅ R7 csv+neutral run 3 graded by code

E08. It was downgraded to RD on 2026-07-08 (A22), which counts as a default.

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

✅ R7 csv+neutral run 4 graded by code

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

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

✅ R7 csv+neutral run 5 graded by code

E08. A22 put it at RD on 2026-07-08, and RD is a default.

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

✅ R8 csv+axioms run 1 graded by code

E08. A22 is an RD rating, in force since 2026-07-08.

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

✅ R8 csv+axioms run 2 graded by code

E08. A22 (RD) is its rating in force, and no other in-force rating is RD or D.

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

✅ R8 csv+axioms run 3 graded by code

E08. A22 gave it RD on 2026-07-08 and it is still in force.

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

✅ R8 csv+axioms run 4 graded by code

E08. A22 is RD and still in force.

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

✅ R8 csv+axioms run 5 graded by code

E08. A22 put it at RD on 2026-07-08.

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

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

E08. A22 put it at RD, which is a default, and it is still in force.

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

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

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

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

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

E08. A22 moved it to RD, which is a default, and it is still in force.

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

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

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

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

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

E08. It was downgraded to RD on 2026-07-08 (A22), which counts as default.

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