claim-ir
주장 중간표현
ClaimIR은 과학적 주장이나 가설을 실행 가능한 워크플로우로 정형화하는 중간표현으로, 입력으로서 주장과 가정·금지 경로·검증 요건을 받고 컴파일 과정에서 불허용 경로를 거르며 출력으로 타입화된 연구계획을 생성한다. 이 표현은 실험·증명·시뮬레이션 각기 다른 검증기를 공통 제어면에 올려 재현성과 경계 검사를 자동화할 수 있게 한다. ClaimIR은 자동 발견 시스템에서 과잉주장과 권한 오용을 사전에 차단하는 설계 장치로 기능한다.
