Q48, run 2026-11-05-1227-sonnet

← 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

7, which is I01 to I07. I08 expired.

JSON: {"count": 7}

✅ R1 csv run 2 graded by code

7: I01 through I07, with I08 excluded for the reason in Q47.

JSON: {"count": 7}

✅ R1 csv run 3 graded by code

7, I01 to I07. I08 expired.

JSON: {"count": 7}

✅ R1 csv run 4 graded by code

7, I01 to I07. I08 had expired by then (A47).

JSON: {"count": 7}

✅ R1 csv run 5 graded by code

7, which is I01 to I07. I08 expired.

JSON: {"count": 7}

✅ R2 rdf run 1 graded by code

7: I01 to I07. I08 had expired.

JSON: {"count": 7}

✅ R2 rdf run 2 graded by code

7. I01–I07 have current ratings, and I08's expired.

JSON: {"count": 7}

✅ R2 rdf run 3 graded by code

7: I01 to I07. I08 is excluded for the same reason as in Q25.

JSON: {"count": 7}

✅ R2 rdf run 4 graded by code

7: I01 to I07. I08 is excluded for the reason in Q47.

JSON: {"count": 7}

✅ R2 rdf run 5 graded by code

7: I01 to I07. I08 is excluded because of the EX action in A47.

JSON: {"count": 7}

✅ R6 rdf+ontology run 1 graded by code

7, which is I01 to I07. I08 is still unrated.

JSON: {"count": 7}

✅ R6 rdf+ontology run 2 graded by code

7: I01 through I07. I08 is only Expected.

JSON: {"count": 7}

✅ R6 rdf+ontology run 3 graded by code

7: I01 to I07.

JSON: {"count": 7}

✅ R6 rdf+ontology run 4 graded by code

7: I01 to I07. I08 is unrated.

JSON: {"count": 7}

✅ R6 rdf+ontology run 5 graded by code

7. I01 to I07 are rated, and I08 is not.

JSON: {"count": 7}

✅ R5 csv+ontology run 1 graded by code

7. These are I01 to I07. I08 is unrated.

Correction to Q34: I first wrote "Yes" but my own reasoning supports "No", and the JSON below uses "no".

JSON: {"count": 7}

✅ R5 csv+ontology run 2 graded by code

7: I01 to I07. I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 3 graded by code

7, which is I01 through I07.

JSON: {"count": 7}

✅ R5 csv+ontology run 4 graded by code

7, which is I01 to I07. I08 is unrated.

JSON: {"count": 7}

✅ R5 csv+ontology run 5 graded by code

7. I01 through I07 are rated, and I08 is not.

JSON: {"count": 7}

✅ R4 csv+markdown run 1 graded by code

7, namely I01 to I07.

JSON: {"count": 7}

✅ R4 csv+markdown run 2 graded by code

7. These are I01 to I07, and I08 is unrated.

JSON: {"count": 7}

✅ R4 csv+markdown run 3 graded by code

7, which is I01 to I07.

JSON: {"count": 7}

✅ R4 csv+markdown run 4 graded by code

7, which is I01 to I07.

JSON: {"count": 7}

✅ R4 csv+markdown run 5 graded by code

7: I01 to I07.



Note: Q24 reports the rating as BBB, and Q3 as BB+. Q2 and Q3 also hold regardless of the QA records.

JSON: {"count": 7}

✅ R3 csv+padding run 1 graded by code

7: I01 to I07. I08 expired.

JSON: {"count": 7}

✅ R3 csv+padding run 2 graded by code

7: I01 to I07. I08 had expired.

JSON: {"count": 7}

✅ R3 csv+padding run 3 graded by code

7: I01 to I07. I08 expired.

JSON: {"count": 7}

✅ R3 csv+padding run 4 graded by code

7: I01 to I07. I08 had expired.

JSON: {"count": 7}

✅ R3 csv+padding run 5 graded by code

7: I01 to I07. I08 expired (A47).

JSON: {"count": 7}

✅ R10 executed run 1 graded by code

7: I01 to I07. I08 is unrated.

JSON: {"count": 7}

✅ R10 executed run 2 graded by code

7. I01 to I07 have ratings in force and I08 has none.

JSON: {"count": 7}

✅ R10 executed run 3 graded by code

7 (I01 to I07).

JSON: {"count": 7}

✅ R10 executed run 4 graded by code

7: I01 to I07 each have a rating in force.

JSON: {"count": 7}

✅ R10 executed run 5 graded by code

7. I01 to I07 are rated, and I08 is not.

JSON: {"count": 7}

✅ R7 csv+neutral run 1 graded by code

7. I01 to I07 each have a rating, and I08 has none.

JSON: {"count": 7}

✅ R7 csv+neutral run 2 graded by code

7, which is I01 to I07.

JSON: {"count": 7}

✅ R7 csv+neutral run 3 graded by code

7: I01 to I07. I08 is still unrated.

JSON: {"count": 7}

✅ R7 csv+neutral run 4 graded by code

7: I01 to I07.

JSON: {"count": 7}

✅ R7 csv+neutral run 5 graded by code

7: I01 to I07.

JSON: {"count": 7}

✅ R8 csv+axioms run 1 graded by code

7: I01 to I07.

JSON: {"count": 7}

✅ R8 csv+axioms run 2 graded by code

7. These are I01 to I07; I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 3 graded by code

7. These are I01 to I07; I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 4 graded by code

7. I01 to I07 have ratings in force, and I08 has only an expected rating.

JSON: {"count": 7}

✅ R8 csv+axioms run 5 graded by code

7: I01 to I07. I08 has only an expected rating.

JSON: {"count": 7}

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

7. I01–I07 hold ratings, and I08 does not.

JSON: {"count": 7}

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

7, I01 to I07. I08 has no rating.

JSON: {"count": 7}

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

7: I01 through I07.

JSON: {"count": 7}

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

7: I01 to I07. I08 has only an expected rating.

JSON: {"count": 7}

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

7: I01 to I07.

JSON: {"count": 7}