Prove containment for every line the tool prints (audit F1, F5) - #4

Prove containment for every line the tool prints (audit F1, F5)#4

ahrazzle wants to merge 7 commits into

mainProven-Commons/tar:mainfrom

claude/containment-proofsProven-Commons/tar:claude/containment-proofsCopy head branch name to clipboard