본 문서는 구조 기반 추론 엔진에 항상 적용되는
**불변 제약 조건(Invariant Constraints)**을 명세한다.
본 원리들은:
본 문서는 설명서나 철학 문서가 아닌
**시스템 제약 명세(Constraint Specification)**이다.
모든 분석은 기능, 구현, 표현 이전에
구조적 관계를 우선적으로 정의해야 한다.
구조가 정의되지 않은 상태에서 수행된 추론은 무효로 간주한다.
문제는 반드시 **명확한 경계(Boundary)**를 가져야 한다.