Kani

Merge subtree update for toolchain nightly-2025-10-09 (#504) #2356

Job	Run time
Kani Autoharness Analyzer	43m 53s
Verify std library using autoharness (macos-latest)	1h 16m 36s
Kani List	57m 30s
Kani Metrics (ubuntu-latest)	59m 25s
Kani Metrics (macos-latest)	1h 35m 4s
Verify std library using autoharness (ubuntu-latest)	1h 4m 36s
Verify std library (partition 2)	31m 55s
Verify std library (partition 2)	40m 30s
Verify std library (partition 4)	42m 41s
Verify std library (partition 3)	27m 48s
Verify std library (partition 4)	54m 14s
Verify std library (partition 1)	40m 29s
Verify std library (partition 3)	33m 32s
Verify std library (partition 1)	40m 11s
Build JSON from logs (ubuntu-latest)	10s
Build JSON from logs (macos-latest)	14s
	11h 48m 48s

Provide feedback