Add reusable kernel conformance suite - #205

Merged

bigboateng merged 10 commits into

mainfrom

test/kernel-conformance-suite

Aug 12, 2026

Commits on Aug 12, 2026

test: add reusable kernel conformance suite
bigboateng
committed
4d03f00
test: prove untargeted marked-state progress
bigboateng
committed
9a0054e
test: verify durable apply outcomes
bigboateng
committed
db81962
test: isolate objective revision freshness
bigboateng
committed
28957c9
test: make conformance history-independent
bigboateng
committed
5aabf7c
test: close kernel conformance failure classes
bigboateng
committed
e7df3b6
Merge remote-tracking branch 'origin/main' into test/kernel-conformance-suite
bigboateng
committed
c6253f0
test: bind complete conformance outcomes
bigboateng
committed
9cda09a
test: use independent conformance oracles
bigboateng
committed
06fe159
test: close conformance oracle gaps
bigboateng
committed
9636771