Q47, run 2026-11-04-2028-haiku

← 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

A. A47 (2026-09-01) is the latest action. The EX code is undefined, so I assume the rating stands.

JSON: {"rating": "A"}

Why: rating: expected none, got A

❌ R1 csv run 2 graded by code

A, from A47 (2026-09-01). The meaning of the EX action code is not defined, so this assumes the rating remains in force.

JSON: {"rating": "A"}

Why: rating: expected none, got A

❌ R1 csv run 3 graded by code

A. I08 is rated A (A47), but its action code EX isn't defined in the data. If EX means exit or withdrawal, the note would have no rating.

JSON: {"rating": "A"}

Why: rating: expected none, got A

❌ R1 csv run 4 graded by code

A. I08 was rated A (A47). The action code EX is undefined, so if it means the rating was withdrawn, the answer would be none.

JSON: {"rating": "A"}

Why: rating: expected none, got A

❌ R1 csv run 5 graded by code

A. I08 was affirmed at A by an EX action (A47, 2026-09-01). The meaning of EX isn't defined in the data.

JSON: {"rating": "A"}

Why: rating: expected none, got A

✅ R5 csv+ontology run 1 graded by code

None
I08 is only Expected (A47, EX), and the ontology says it stays unrated until an AS action confirms it.

JSON: {"rating": "none"}

✅ R5 csv+ontology run 2 graded by code

None. I08 has only an expected rating (EX, A47), and it stays unrated until an Assigned action confirms it.

JSON: {"rating": "none"}

✅ R5 csv+ontology run 3 graded by code

None. I08 has only an expected rating (A47, EX), which is not a rating until an AS action.

JSON: {"rating": "none"}

✅ R5 csv+ontology run 4 graded by code

None. I08's only action is EX (expected, A47), and the instrument stays unrated until an AS action.

JSON: {"rating": "none"}

✅ R5 csv+ontology run 5 graded by code

None. I08 has only an Expected (EX) action (A47), which is not a rating until an AS action confirms it.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 1 graded by code

None. The 2034 note (I08) has only an expected rating (EX, A47), so it is unrated until an AS action.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 2 graded by code

None. The 2034 note (I08) has only an expected rating (EX, A47) and is not yet rated.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 3 graded by code

None. The 2034 note (I08) has only an expected rating (A47, EX), and it stays unrated until an assignment.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 4 graded by code

None. A47 is an expected rating (EX), which is not yet a rating, so I08 is unrated until an AS action.

JSON: {"rating": "none"}

✅ R4 csv+markdown run 5 graded by code

None. I08 has only an expected rating (EX, A47), which is not a rating until an Assigned action confirms it.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 1 graded by code

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

JSON: {"rating": "none"}

✅ R8 csv+axioms run 2 graded by code

None in force. I08 has only an expected rating of A (A47, EX).

JSON: {"rating": "none"}

✅ R8 csv+axioms run 3 graded by code

None. A47 is an expected rating (EX, A), which is not in force.

JSON: {"rating": "none"}

✅ R8 csv+axioms run 4 graded by code

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

JSON: {"rating": "none"}

✅ R8 csv+axioms run 5 graded by code

None. The 2034 note's only action is A47, an expected rating (EX), which is not a rating in force.

JSON: {"rating": "none"}