| T2W01-F-001 teacher read scope |
CLOSED_BY_INDEPENDENT_AUDIT |
Bound 64-case matrix and live current-tip probe deny unrelated faculty/batch session |
| T2W01-F-002 year/term partial write |
CLOSED_BY_INDEPENDENT_AUDIT |
Bound term atomicity cases and live invalid-term probe leave no year row |
| T2W01-F-003 term/lesson-hour denominator |
CLOSED_BY_INDEPENDENT_AUDIT |
Current-tip 64-case matrix includes term boundaries and forbidden overlap |
| T2W01-F-004 RPC/alternate paths |
CLOSED_BY_INDEPENDENT_AUDIT |
Current-tip RPC matrix covers mutation/read variants with DB assertions |
| T2.1-EVID-001 immutable current-tip binding |
CLOSED_BY_INDEPENDENT_AUDIT |
Exact current-tip validator PASS; eight disposable mutations fail closed |
| Mutation raw-log control line |
S3 — documentation hygiene |
Raw log says CONTROL_ORIGINAL: FAIL, while canonical pair independently validates PASS; no behavioral impact observed |