T2.1-W01 Runtime Matrix¶
| Item | Value |
|---|---|
| Run ID | T2.1-W01-20260811T010823Z |
| Result | 64/64 PASS |
| Prior W01 28 | 28/28 PASS (preserved) |
| Lesson-hour overlap rule | LESSON_HOUR_OVERLAP_FORBIDDEN |
| Evidence JSON | T2.1-W01-evidence/T2.1-W01-20260811T010823Z-runtime-matrix.json |
| Latest pointer | T2.1-W01-evidence/T2.1-W01-runtime-cases.json |
Case groups¶
Prior 28 (preserved)¶
Academic year, structure, lesson hours, session create/update/delete/conflict/foreign/role-deny/RPC-bypass/read-consistency/concurrent/idempotent.
F-001 security¶
W01-READ-OWN, W01-READ-OTHER, W01-READ-OTHER-DIRECT-ID, W01-READ-OTHER-FILTER, W01-READ-COUNT, homeroom own/unrelated, RPC read variants.
F-002 / F-003 atomicity + term bounds + LH¶
Term create/update/cross-tenant cases; W01-LH-OVERLAP-FORBIDDEN (+ invalid/foreign profile).
F-004 RPC matrix¶
Teacher/student/parent/admin create/write/unlink on op.session; academic-year create RPC; all assert DB unchanged.
Assertion discipline¶
Every denial/validation case records before/after DB state. HTTP failure alone is never counted as PASS.