~james/scope

1
cb7f12d3e8 ci(build): check ocaml versions and xen guest validationUnverified
james · 15 days ago
3cec21766d test(xen): inject native failures and verify watch evidence retentionUnverified
james · 16 days ago
9c94494309 test(guest): compare predicted faults with executed qemu accessesUnverified
james · 18 days ago
e557cd7d08 feat(cli): expose capture replay and watch commands with regression checksUnverified
james · 20 days ago
6c84b333c7 feat(watch): retain changed captures and reset baselines on root changesUnverified
james · 20 days ago
31c614f530 feat(xen): capture hvm table pages with owned pause cleanupUnverified
james · 21 days ago
e8f5f1b8ca feat(report): serialise walks and mapping changes with replay fixturesUnverified
james · 23 days ago
bad0d41928 feat(analysis): compare mapping intervals and detect writable executable aliasesUnverified
james · 24 days ago
1f6e0491a8 feat(capture): persist bounded table snapshots with atomic writesUnverified
james · 26 days ago
149423fc88 feat(paging): walk four-level tables and predict access faultsUnverified
james · 27 days ago
b1b249cd6f feat(core): define typed addresses and captured register stateUnverified
james · 29 days ago