T2.2-W01 Findings Closure¶

Finding	Behavioral status	Current-tip evidence status	Final engineering disposition
T2W01-F-001 teacher read scope	`CLOSED_BY_INDEPENDENT_AUDIT`	Current-tip matrix PASS (`W01-READ-*`, spot probe `has_b=false`)	`CLOSED_BY_INDEPENDENT_AUDIT` + current-tip matrix PASS
T2W01-F-002 year/term partial write	`CLOSED_BY_INDEPENDENT_AUDIT`	Current-tip matrix PASS (`W01-TERM-*`); spot probe invalid term → no year row	`CLOSED_BY_INDEPENDENT_AUDIT` + current-tip matrix PASS
T2W01-F-003 term/lesson-hour denominator	Behavior already expanded in T2.1	Current-tip expanded matrix 64/64 PASS	`FIXED_AWAITING_FINAL_INDEPENDENT_CERTIFICATION`
T2W01-F-004 RPC/alternate paths	Behavior already expanded in T2.1	Current-tip RPC/read matrix PASS	`FIXED_AWAITING_FINAL_INDEPENDENT_CERTIFICATION`
T2.1-EVID-001 immutable current-tip binding	N/A (evidence)	New E1.2 manifest + validator PASS; mutations fail-closed	`FIXED_AWAITING_FINAL_INDEPENDENT_CERTIFICATION`

Spot probes (bound runtime)¶

Scope: matrix W01-READ-OTHER PASS (has_b: false); harness run on Golden 0bcb032 / tree 96ef304c…
Atomicity: live invalid out-of-year create → validation_error, year name absent; matrix W01-TERM-BEFORE-YEAR after_state {year:0, terms:0}