- scheduler-correctnessbyhemanthchilakala-2005
Review deterministic schedulers using conservation, capacity, deadline, and ordering properties.
- code-reviewbyronniegeraghty
Challenge assumptions and find material defects using a read-only reviewer.
- adversarial-auditbysealad886
Audit correctness, performance, tests, and operational contracts, then verify fixes when remediation is authorized.