# [CALIBRATION FIXTURE — known-negative] 정보경계 불변식이 **빠진** 합성 명세서

> 🟥 **이것은 실행되는 에이전트 정의가 아니다.** `scripts/blackbox_invariant_check.sh` 의
> 캘리브레이션 쌍 중 **막혀야 하는 쪽**(expect = FAIL, exit 1)이다. 짝은
> `agent_boundary_known_positive.md`.
>
> 이 파일이 필요한 이유: 양성만 세우면 「불변식이 살아있다」와 「검사기가 아무것도 안 본다」가
> 같은 초록으로 보인다. 음성 arm 은 계기에 **판별력이 있는지**를 재는 자리다.
>
> **의도적으로 위반한다** — 불변식 문장들을 전부 뺐다. 실 식별자는 담지 않는다(그건 T1 이
> 잡는 별개의 위반이고, 여기서 그것까지 트리거하면 어느 축이 막았는지 흐려진다).

## 입력 인터페이스

외부 findings 를 받는다. `finding_id` 는 불투명 식별자다(어휘 제약 없음).
`location` 은 특정 접두어가 보이면 폐기한다(denylist).

## 투영 규칙

주입 파이프가 민감 정보를 지운다. 받은 입력은 그대로 담아 하위로 전달한다.
금지 대상은 이 레포 밖의 파일이다.

## 안전 규칙

1. 판정 근거는 인용 가능한 증거로 남긴다.
2. 증거 없는 추정은 신뢰도를 올리지 않는다.
3. 실패를 성공으로 삼키지 않는다.
4. 재현 절차 없이 수정안을 제시하지 않는다.
5. 도메인 데이터는 로그에 남기지 않는다.
6. Read·Grep·Glob 으로 금지된 소스를 열지 않는다.
7. 신뢰도는 근거의 강도에 따라 정한다.