v1.2.0 (FEAT-014 / DD-012): witness MC/DC on the real analyzer core#32

Merged

avrabe merged 9 commits into

mainfrom

feat-014-analyze-core

May 31, 2026

Commits on May 31, 2026

feat(v1.2/FEAT-014 step 1): scaffold pure scry-analyze-core crate + mirror types (DD-012)

avrabe
and
claude
committed
fix(v1.2/FEAT-014 step 1): register scry-analyze-core as a workspace member

avrabe
and
claude
committed
fix(v1.2/FEAT-014 step 1): clear clippy doc_lazy_continuation in scry-analyze-core

avrabe
and
claude
committed
feat(v1.2/FEAT-014 step 2): move analyze body + helpers into scry-analyze-core (DD-012)

avrabe
and
claude
committed
feat(v1.2/FEAT-014 step 3): rewire scry-analyzer as a thin Guest wrapper + Bazel wiring (DD-012)

avrabe
and
claude
committed
feat(v1.2/FEAT-014 step 4): witness MC/DC over the real analyzer core (DD-012)

avrabe
and
claude
committed
feat(v1.2/FEAT-014 step 4b): MC/DC gap-closure — inline(never) + overflow fixture (DD-012)

avrabe
and
claude
committed
chore(v1.2/FEAT-014): update Cargo.lock for scry-analyzer dep slimming

avrabe
and
claude
committed
release(v1.2.0): FEAT-014 implemented + evidence, CHANGELOG, SCRY_VERSION→1.2.0

avrabe
and
claude
committed