보안 ★ 2026-07-03
v1.35.9
자체 적대적 FP 헌트: declared-pass 게이트를 완전-통과(N/N) 주장으로 한정 (1.35.7 후속 하드닝)
1.35.7 에서 declared-pass 부풀림 게이팅을 넣은 뒤, 그 신규 게이트에 전용 FP/FN 헌트를 직접 돌림
핵심 변경
**비-테스트 부분 비율 오탐**: evidence "closed 2/5 passing PRs"(테스트와 무관한 부분 비율) + 실행 1/1 → declaredPass 파서가 "2/5 passing" 을 테스트 통과 주장으로 추출 → 게이트가 1 < 2 로 **truthful 완료를 거짓 거부(exit 1)**. 검증 도구가 정직한 완료를 CI 에서 막는 최악 케이스(원래 FN 보다 신뢰 훼손 큼). 1.35.7 이 이 표시상 모호함을 게이팅으로 승격시키며 노출됨.
**완전-통과(N/N) 주장만 게이팅**: _declaredFullPass = declaredPass.num === declaredPass.denom 조건 추가. 위협모델은 거짓 "all green" 이므로 완전-통과 주장만 부풀림 판정. 부분 비율(N<M)은 완료-주장이 아니거나 비-테스트 → 게이트 제외(표시는 advisory 유지, "부분 비율 — 게이트 제외" 정직 라벨). **FN 무회귀**: 정직한 "8/12 passed" done 의 실제 부분-실행은 이미 allPassed(tests-failed)가 별도로 잡으므로 이 게이트가 불필요. 완전-통과 부풀림("3/3 주장 vs 2/2 실행")은 그대로 FAIL.
표시 라벨 정직화: 실행<주장이지만 부분 비율이라 게이트 제외인 경우 "실행 ≥ 주장" 오표기 대신 "부분 비율 — advisory, 게이트 제외" 로 표기.