feat(#912): MC/DC structural coverage over synth's own decision logic (RQ-57-MCDC) - #978

Merged

avrabe merged 5 commits into

mainfrom

feat/mcdc-structural-coverage-912

Aug 14, 2026

Commits on Aug 14, 2026

feat(#912): MC/DC structural coverage over synth's own decision logic

avrabe
and
claude
committed
289304c
fix(#912): CI mode-126 on mcdc_run.sh, pin the toolchain, ceiling the dead count

avrabe
and
claude
committed
712f658
TEMPORARY red-first probe (#912) — DO NOT MERGE THIS COMMIT

avrabe
and
claude
committed
25a9195
TEMPORARY red-first probe 2/2 (#912) — DO NOT MERGE, reverted next commit

avrabe
and
claude
committed
f661498
chore(#912): restore the probes, record the CI-platform potency evidence

avrabe
and
claude
committed
faf5c5a