docs(P-012): record loop-invariant-call mining packet as a research seed - #329

Merged

PhysShell merged 2 commits into

mainfrom

claude/dotnet-optimization-experiments-6147se

Aug 10, 2026

Commits on Aug 10, 2026

docs(P-012): record the loop-invariant-call mining packet as a research seed
claude
committed
d84adf5
docs(P-012): address review — make the mining schema unambiguous
claude
committed
173db50