증거맵이 소스에 없는 게이트 심볼을 인용하지 못하도록 존재 검사 가드를 추가
문제 (Context)
0.0.2.5 사인오프 증거맵은 테스트 열과 커밋 열을 라이브 pytest와 git에서 도출했다. 그런데 게이트 심볼 열은 소스와 대조한 적 없는 손글씨 문자열이었다. 그래서 이름이 바뀌거나 삭제된 게이트도 여전히 루프 행을 뒷받침한다고 인용되고 --check는 통과했다. 도큐멘트가 내세운 “조용히 어긋날 수 없다”는 주장과 모순되는 상태였다.
시도한 해결 (Decision)
이제 build()가 밑줄을 포함한 게이트 식별자를 뽑아내고, provider와 openarms 소스에 없는 것은 모두 표시한다. 어긋나면 --check가 실패한다. 한정된 범위로, 오늘 기준 24개 심볼이 해석된다. 추출과 실제 트리 해석, 자기 제외를 고정하는 테스트 3건을 더했다.
근거·결과 (Consequences)
이 변경은 판정 산출물 자체를 단단하게 한다. 어떤 GUI나 사인오프 행도 닫지 않는다. GRP-04/05/07/09는 여전히 루프 바깥이며, 종료를 주장하지 않는다.
노드 계약 (contract)
| 필드 | 값 |
|---|---|
| type | 결정(decision) |
| Status | superseded |
| source_count | 1 |
| confidence | 미설정: 구 엔진 격차 |
| confidence_reason_codes | 미설정: 구 엔진 격차 |
| stale | fresh |
| 이슈(feature) | 검증·증거·회귀 |
시행착오 타임라인 (supersede)
- 이후 수정: wiki_chain 코드 리뷰 수정·검색·그래프 경계 (응축 묶음) (대체됨)
상호참조
이슈 수용·증거맵 사인오프 · Status superseded · 2026-06-25