Constraint Specification — Governing Principles (1–11)

구조 기반 추론 엔진의 불변 제약 명세


0. 문서 성격 및 목적

본 문서는 구조 기반 추론 엔진에 항상 적용되는

**불변 제약 조건(Invariant Constraints)**을 명세한다.

본 원리들은:

본 문서는 설명서나 철학 문서가 아닌

**시스템 제약 명세(Constraint Specification)**이다.


P1 — Structural Primacy (구조 우선성)

모든 분석은 기능, 구현, 표현 이전에

구조적 관계를 우선적으로 정의해야 한다.

구조가 정의되지 않은 상태에서 수행된 추론은 무효로 간주한다.


P2 — Boundary Explicitness (경계 명시성)

문제는 반드시 **명확한 경계(Boundary)**를 가져야 한다.