수정 2026-06-06
v1.9.385
5번째 외부평가: contract verify markdown bullet 함수 파서 (UR-0086)
📐 `contract verify` spec 파서가 markdown bullet `- name(args)` 함수 선언을 감지 — 실제 누락을 통과시키던 false-negative 해소.
핵심 변경
**selftest 130→131 PASS** (bullet/asterisk/numbered 감지 + reference-equality + 산문 FP 0 + 인라인 제거 확인).
**E2E 329→330 PASS** (bullet spec 3함수 감지 + subtract/multiply 누락 + add 보존 + backtick 관대 + 산문 FP 0).
실측 8/8 FP/감지 케이스 + 기존 B(1.9.35) function bar/isCritical 무회귀.