Q48, run 2026-11-05-1233-haiku

← back to the run

How many instruments held a rating on 1 October 2026?

Tests: Local action: the expected rating doesn't count.

Expected: count = 7

❌ R1 csv run 1 graded by code

8. Every instrument, I01 through I08, has an INST rating in the data as of 1 Oct 2026.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 2 graded by code

8. Every instrument, I01 to I08, has a rating on 1 October 2026. If I08's EX action removed its rating, the count would be 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 3 graded by code

8. All eight instruments have a rating record. If I08's EX action removed its rating, the count would be 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 4 graded by code

8. All eight instruments (I01–I08) have a rating. This assumes "EX" (A47) is a rating action; if it means withdrawn, the count is 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 5 graded by code

8. All eight instruments have a rating record. The I08 "EX" caveat from Q25 applies here too; if EX means exited, the count is 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R2 rdf run 1 graded by code

8. All eight instruments (I01–I08) have rating records. I08's action code is undefined, so the count could be 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R2 rdf run 2 graded by code

8. All eight instruments (I01–I08) have a rating on 2026-10-01.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R2 rdf run 3 graded by code

8
All eight instruments (I01–I08) have a rating on 1 October 2026. If I08's "EX" action means expired, the count is 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R2 rdf run 4 graded by code

8. All eight instruments (I01–I08) have a rating record, and none has been withdrawn. If I08's EX action is not a current rating, the count is 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R2 rdf run 5 graded by code

8. All eight instruments (I01–I08) have a current rating.

JSON: {"count": 8}

Why: count: expected 7, got 8

✅ R6 rdf+ontology run 1 graded by code

7: I01 through I07. I08 is unrated, as in Q47.

JSON: {"count": 7}

✅ R6 rdf+ontology run 2 graded by code

7
I01 through I07 have ratings. I08 has none.

JSON: {"count": 7}

✅ R6 rdf+ontology run 3 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 are rated on that date; I08 is not.

JSON: {"count": 7}

✅ R6 rdf+ontology run 4 graded by code

**7.** Instruments I01 through I07 have ratings; I08 does not.

JSON: {"count": 7}

✅ R6 rdf+ontology run 5 graded by code

7
Seven instruments have ratings on 1 Oct 2026: I01, I02, I03, I04, I05, I06 and I07. I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 1 graded by code

7. I01 through I07 each have a current rating; only I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 2 graded by code

7. I01 through I07 each have a rating on 1 Oct 2026. I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 3 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 each have a current rating; I08 does not.

JSON: {"count": 7}

✅ R5 csv+ontology run 4 graded by code

7. I01 through I07 each have a rating on 1 Oct 2026, and I08 is unrated (EX only).

JSON: {"count": 7}

✅ R5 csv+ontology run 5 graded by code

7. Seven instruments are rated; I08 is not.

JSON: {"count": 7}

✅ R4 csv+markdown run 1 graded by code

7. The rated instruments are I01 through I07. I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 2 graded by code

7. The instruments with a rating on 1 Oct 2026 are I01 to I07. I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 3 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 are rated; I08 is not.

JSON: {"count": 7}

✅ R4 csv+markdown run 4 graded by code

7. I01 through I07 are rated; I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 5 graded by code

7. Eight instruments exist, and only I08 is unrated, since its EX action is not a rating.

JSON: {"count": 7}

❌ R3 csv+padding run 1 graded by code

8. Every instrument has a rating, though I08's EX action is uncertain.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R3 csv+padding run 2 graded by code

8. All eight instruments carry a rating as of 2026-10-01 (I01 through I08). I08's EX action is undefined, as noted in Q25.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R3 csv+padding run 3 graded by code

8. All eight instruments (I01 to I08) have a rating, with the same I08 caveat as Q25.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R3 csv+padding run 4 graded by code

8. All eight instruments (I01–I08) carry a rating as of 1 Oct 2026.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R3 csv+padding run 5 graded by code

8. All eight instruments have a rating on 2026-10-01.

JSON: {"count": 8}

Why: count: expected 7, got 8

✅ R10 executed run 1 graded by code

7. I01 through I07 hold ratings on 1 October 2026; I08 does not.

JSON: {"count": 7}

✅ R10 executed run 2 graded by code

7. The rated instruments are I01, I02, I03, I04, I05, I06 and I07. I08 has no rating.

JSON: {"count": 7}

✅ R10 executed run 3 graded by code

7. I01 through I07 each have a rating in force on 1 Oct 2026, and I08 has none.

JSON: {"count": 7}

✅ R10 executed run 4 graded by code

7. Instruments I01 through I07 have ratings in force on 1 October 2026; I08 does not.

JSON: {"count": 7}

✅ R10 executed run 5 graded by code

7. Instruments I01 through I07 have current ratings; I08 has none.

JSON: {"count": 7}

✅ R7 csv+neutral run 1 graded by code

7. Every instrument except I08 has a rating on 1 Oct 2026, since I08 has only an Expected action (A47).

JSON: {"count": 7}

✅ R7 csv+neutral run 2 graded by code

7. I01 through I07 have a current rating; I08 is only Expected (EX) and is unrated.

JSON: {"count": 7}

✅ R7 csv+neutral run 3 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 each hold a rating on 1 Oct 2026. I08 does not, since its only action is EX.

JSON: {"count": 7}

✅ R7 csv+neutral run 4 graded by code

7
Instruments I01 to I07 have ratings. I08 is only expected and so unrated.

JSON: {"count": 7}

✅ R7 csv+neutral run 5 graded by code

7. I01 through I07 have ratings on 2026-10-01. I08 does not.

JSON: {"count": 7}

✅ R8 csv+axioms run 1 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 each have a rating in force; I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 2 graded by code

7. I01 through I07 have ratings in force; I08 has only an expected rating.



Q6 has no field in the JSON schema, so it is answered in prose only.

JSON: {"count": 7}

✅ R8 csv+axioms run 3 graded by code

7. These are I01, I02, I03, I04, I05, I06 and I07. I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 4 graded by code

7. I01, I02, I03, I04, I05, I06 and I07 each have an in-force rating on 1 October 2026. I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 5 graded by code

7
Seven instruments have in-force ratings on 1 Oct 2026: I01, I02, I03, I04, I05, I06 and I07. I08 is excluded because its rating is only expected.

JSON: {"count": 7}

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

7. I01, I02, I03, I04, I05, I06 and I07 hold ratings; I08 does not.

JSON: {"count": 7}

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

7. I01, I02, I03, I04, I05, I06 and I07 are rated. I08 is not.

JSON: {"count": 7}

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

7: I01 through I07 hold ratings. I08 is only expected.

JSON: {"count": 7}

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

7. I01 through I07 each have a rating in force on 2026-10-01, and I08 does not.

JSON: {"count": 7}

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

7. I01 through I07 hold a rating. I08 does not, because it has only an expected rating.

JSON: {"count": 7}