test: fail closed on skipped pytest evidence - #1733

Draft

seonghobae wants to merge 36 commits into

mainfrom

fix/no-hidden-pytest-outcomes

Commits on Sep 2, 2026

test: reject hidden pytest skip outcomes
seonghobae
committed
33ce556
test: fail closed on skipped pytest outcomes
seonghobae
committed
3131f27
docs: record fail-closed pytest evidence
seonghobae
committed
9b44a76
test: expose non-execution counts in pytest logs
seonghobae
committed
8380151
test: preserve primary pytest failure status
seonghobae
committed
1adf41e
fix: preserve primary pytest failure classification
seonghobae
committed
cbe0d83

Commits on Sep 3, 2026

test: classify atomic-write capability without skipping
seonghobae
committed
c2d4ca1
test: require Rust parity capability instead of skipping
seonghobae
committed
e913a0d
test: require native multigroup Rust evidence
seonghobae
committed
de7bf9d
test: require native multilevel Rust evidence
seonghobae
committed
85ed9ee
test: make marginal parity capability evidence explicit
seonghobae
committed
d86a48b
test: require Rust CLI backend evidence
seonghobae
committed
42b723b
test: require marginal ABI capability evidence
seonghobae
committed
4e788a6
test: require Rust fit-pipeline evidence
seonghobae
committed
685aaaa
test: require Rust JMLE ownership evidence
seonghobae
committed
71d8646
test: require production Rust backend evidence
seonghobae
committed
deb5bb9
test: require Rust robustness parity evidence
seonghobae
committed
b34c2c4
test: prove missing atomic-write capability fails closed
seonghobae
committed
eb04946
test: make atomic-write capability RED deterministic
seonghobae
committed
5dc238d
test: fail closed when atomic-write primitives are unavailable
seonghobae
committed
3ab1ebf
docs: record fail-closed atomic-write capability evidence
seonghobae
committed
c17462e
test: prove late plugin cannot erase non-execution failure
seonghobae
committed
1a75be8
fix: make pytest non-execution enforcement final
seonghobae
committed
6430de9
docs: record final pytest outcome enforcement
seonghobae
committed
b66a970
test: fail closed on missing extended precision
seonghobae
committed
10b1e5d
test: fail closed on missing longdouble evidence
seonghobae
committed
3c1ed4e
docs: record extended-precision fail-closed evidence
seonghobae
committed
c9adf57
test: fail closed on missing WLE precision evidence
seonghobae
committed
584d213
docs: include WLE precision fail-closed evidence
seonghobae
committed
f928b17
test: fail closed on missing CDM precision evidence
seonghobae
committed
e169e93
docs: include CDM precision fail-closed evidence
seonghobae
committed
1bb4a27
test: fail closed on missing 2PL precision evidence
seonghobae
committed
102e116
docs: include 2PL precision fail-closed evidence
seonghobae
committed
07cc438

Commits on Sep 7, 2026