docs(lethe-oidc-stub): record verify pass
docs(lethe-oidc-stub): record verify-driven fix-up deviations
docs(lethe-oidc-stub): record execute deviations
docs(lethe-oidc-stub): design + plan