feat(analysis): bind interpreter/verifier composition to an analysis-run profile - #405

Draft

seonghobae wants to merge 9 commits into

mainfrom

feat/interpreter-verifier-analysis-run-gap-013

Commits on Aug 31, 2026

feat(analysis): bind interpreter/verifier composition to an analysis-run profile
seonghobae
committed
53b208c
fix: remove unreachable interpreter artifact branch
seonghobae
committed
885662a

Commits on Sep 13, 2026

Merge origin/main into feat/interpreter-verifier-analysis-run-gap-013

seonghobae
and
claude
committed
5f31e89

Commits on Sep 14, 2026