Q48, run 2026-11-04-2028-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. All instruments carry a rating on 2026-10-01. If EX removed I08's rating, the count would be 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 2 graded by code

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

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 3 graded by code

8. All eight instruments carry a rating on 2026-10-01. If I08 is excluded (see Q47), the count is 7.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 4 graded by code

8. All eight instruments have a rating. I08's rating is subject to the same EX caveat as Q25.

JSON: {"count": 8}

Why: count: expected 7, got 8

❌ R1 csv run 5 graded by code

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

JSON: {"count": 8}

Why: count: expected 7, got 8

✅ R5 csv+ontology run 1 graded by code

7
Rated instruments on 2026-10-01 are I01 through I07. I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 2 graded by code

7. All instruments except I08 have a rating on 2026-10-01 (I01–I07).

JSON: {"count": 7}

✅ R5 csv+ontology run 3 graded by code

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

JSON: {"count": 7}

✅ R5 csv+ontology run 4 graded by code

7. I01 through I07 have ratings; I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 5 graded by code

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

JSON: {"count": 7}

✅ R4 csv+markdown run 1 graded by code

7. The rated instruments are I01, I02, I03, I04, I05, I06 and I07. I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 2 graded by code

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

JSON: {"count": 7}

✅ R4 csv+markdown run 3 graded by code

7. The rated instruments are I01, I02, I03, I04, I05, I06 and I07. I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 4 graded by code

7. I01 through I07 have ratings, and I08 does not.

JSON: {"count": 7}

✅ R4 csv+markdown run 5 graded by code

7. All instruments except I08 have a rating on 1 October 2026 (I01 to I07).

JSON: {"count": 7}

✅ R8 csv+axioms run 1 graded by code

7: I01 through I07. I08 holds only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 2 graded by code

7. The instruments with an in-force rating are I01 through I07; I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 3 graded by code

7. I01 through I07 have in-force ratings. 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 all have in-force ratings. I08 has only an expected rating and is excluded.

JSON: {"count": 7}

✅ R8 csv+axioms run 5 graded by code

7. I01 through I07 each hold a rating in force. I08 does not.

JSON: {"count": 7}