Q47, run 2026-11-04-2022-sonnet

← back to the run

How is Corvenia Power's 2034 note rated?

Tests: Local action: an expected rating (EX) is not a rating until assigned.

Expected: rating = none

✅ R1 csv run 1 graded by code

None. I08 has only an EX action (A47, 2026-09-01) and no other rating.

JSON: {"rating": "none"}

✅ R1 csv run 2 graded by code

None. I08's only action is A47, an EX on 2026-09-01.

JSON: {"rating": "none"}

✅ R1 csv run 3 graded by code

None. I08's only action is A47, an EX (expected) rating at A, so no final rating is in force.

JSON: {"rating": "none"}

✅ R1 csv run 4 graded by code

None. The rating on I08 ended with an EX action on 2026-09-01 (A47, last rating A).

JSON: {"rating": "none"}

✅ R1 csv run 5 graded by code

None. I08 has only an EX record (A47, 2026-09-01) and no assignment; the data doesn't define EX, so I read it as a rating that has ended.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 1 graded by code

None. I08 has only an expected rating (A47, EX).

JSON: {"rating": "none"}

✅ R4 csv+markdown run 2 graded by code

None. I08 has only an expected rating (A47, EX), so it is unrated.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 3 graded by code

None. I08 has only an expected rating (A47), not an assigned one.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 4 graded by code

None. I08 has only an expected-rating action (A47, EX).

JSON: {"rating": "none"}

✅ R4 csv+markdown run 5 graded by code

None. I08 has only an Expected rating (A47, EX), so it is still unrated.

JSON: {"rating": "none"}

✅ R10 executed run 1 graded by code

None. I08 has no rating record.

JSON: {"rating": "none"}

✅ R10 executed run 2 graded by code

None. I08 has no instrument rating, even though E15 itself is rated A.

JSON: {"rating": "none"}

✅ R10 executed run 3 graded by code

None. I08 has no rating row.

JSON: {"rating": "none"}

✅ R10 executed run 4 graded by code

None. I08 has no rating row.

JSON: {"rating": "none"}

✅ R10 executed run 5 graded by code

None. I08 has no rating rows.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 1 graded by code

None. I08 has only an expected rating (A47, EX), which is not a rating in force.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 2 graded by code

None. I08 has only an expected rating (A47, EX), which is not a rating in force.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 3 graded by code

None. I08 has only an expected rating (A47, EX), which is not in force.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 4 graded by code

None. I08 has only an Expected rating (A47, EX), which is not in force.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 5 graded by code

None. I08 has only an expected rating (A47, EX).

JSON: {"rating": "none"}