HAD Phase 4.5 C: linearity-family pretests under survey#370

igerber merged 12 commits intomainigerber/diff-diff:mainfrom

had-phase-4.5-cigerber/diff-diff:had-phase-4.5-cCopy head branch name to clipboard