Widen the proved arithmetic - #291

Merged

jserv merged 15 commits into

mainfrom

Aug 14, 2026

Commits on Aug 14, 2026

Split the pty keepalive table
jserv
committed
f479677
Extract five HVC cases
jserv
committed
36ee97e
Widen the proved arithmetic
jserv
committed
43d9632
Give each wait path the timeout conversion
jserv
committed
fbc1f19
Give a pty's slave accounting one home
jserv
committed
62d8b65
Stop the proof and mutation gates waiting
jserv
committed
82bb7a9
Declare the HVF and Darwin names analyzer lacks
jserv
committed
7024033
Gate the stub constants against the macOS SDK
jserv
committed
8573ab5
Stop nl_put_attr truncating its own extent
jserv
committed
fbfcf1d
Prove the netlink walk loops
jserv
committed
7d9098f
Rename the va_start and va_end locals
jserv
committed
9daad74
Replay a reused pty row's slave count
jserv
committed
bdc407e
Count the shared pty declarations correctly
jserv
committed
fc898f6
Report the proof matrix verdict on a cancelled run
jserv
committed
426aa1b
Say what the proof matrix cache actually costs
jserv
committed
8cb3582