v1.20.1

**🛡️ 장식된 no-op 정적 우회 차단 (검증, P2)**: 빈껍데기 검출이 순수 빈-export 형태만 잡던 것 — "use strict"; module.exports={}·{}; // comment·module.exports={}; void 0;·;;;;·0; 같은 "실로직 0" 파일이 정적 verify-claim을 exit 0 통과하던 우회 폐쇄. _vcImplIsEmpty 에 **차감식(residue) 검사** 추가 — 디렉티브 프롤로그 + 빈 export + no-op 리터럴/문을 제거하고 의미 토큰이 하나도 안 남으면 스텁. FP 0(실코드·require 재노출·이름붙은 export·module.exports=0 같은 의도적 값은 통과). let x=1 류 무의미 선언은 식별자가 남아 통과 — AST 토큰화 필요(백로그).

**📄 README 플래그십 데모 정합 (온보딩, P2)**: ① task-id 수정 — init 이 T-0001(계획 task)을 차지하므로 task add 는 T-0002 생성, 데모를 실제 흐름(출력된 id 사용)으로. ② "실파일+실테스트 쓰면 같은 명령 통과" 정정 — evidence 의 테스트 개수 주장은 실측과 대조되므로(거짓이면 거부) 정직한 evidence + --run-tests --test-cmd 안내로 교체. 신규 유저 복붙이 실제로 동작.

**🔖 lens 헤더 버전 정합 (P3)**: 하드코딩 (1.18.3) → 동적 (v${VERSION}).