Lewati ke isi

T2.1/W01 Independent Re-audit Findings

Finding Original severity Independent code/runtime proof Evidence integrity Verdict Residual
T2W01-F-001 teacher read scope S1 _session_actor_scope_domain() is enforced; live teacher probe did not receive other-faculty session Current live probe current; old matrix also covers expanded cases CLOSED_BY_INDEPENDENT_AUDIT Rebind required before formal certification
T2W01-F-002 term/year atomicity S1 pre-validation + savepoint; live invalid-term create left no year row Current live probe current; old matrix covers create/update/mixed cases CLOSED_BY_INDEPENDENT_AUDIT Rebind required before formal certification
T2W01-F-003 term/lesson-hour denominator S2 source and 64-case matrix include term boundaries and forbidden overlap; matrix cases PASS Matrix is tied to pre-0919/final FE tip, not current tip PARTIALLY_FIXED Re-run after current-tip E1.2 rebind
T2W01-F-004 RPC/alternate paths S2 expanded matrix covers mutation/read variants; source route gate remains present Current W01 evidence identity stale PARTIALLY_FIXED Rebind and rerun current-tip matrix
T2.1-EVID-001 immutable current-tip binding S1 E1.2 validator returned 8 failures against manifest 01:15 FE/BE tree, build, served FE, runtime and entitlements mismatch NOT_FIXED Generate a new manifest/results pair from exact current FE/BE/runtime and validate PASS