# K1346 — level-triggered readiness

`Readiness` extends typed waitset registration with one current readiness
level per registered object. Only a kernel adapter may call `replace_level`
after observing the actual source state. A level can contain READ, WRITE or
CLOSED bits; zero clears it. User code cannot invent a ready event. `poll`
checks the owning process generation and current registration ID, then
returns the intersection of the current level and requested interests.

Readiness is level-triggered: repeated polls return the same result while
the source remains ready. Polling does not consume or clear bits. A cleared
level yields no result; an unrelated bit is filtered out. Unregistering a
source removes its level, and a fresh generation starts with no inherited
readiness. Foreign owners, stale IDs, invalid bitmasks and unknown sources
return errors without changing the complete snapshot.

K1346–K1349 require host positive and boundary tests, an AArch64 `no_std`
metadata build, and a mutant that clears a level during poll; the repeated
poll test must reject it. K1350 requires native EL0 execution over six
direct/UEFI QEMU profiles on one experimental Image. This synchronous poll
model does not establish blocking waits, timeout races or product release
acceptance.