wek

Documents

• WEK R2 — law-to-mutant coverage — Derived by `node wek/run.mjs`; do not edit. A ✓ means the mutant made that law fail.
• wek/ — the R2 bounded executable model — Round: R2, slice 4 (boundary ownership and the reserved journal, authorized by WEK_R2_SLICE3_ADJUDICATED.md §5) Status: a model, not an implementation. Nothing here runs in prod…