크라우니 음(-0) 산술·논리 시맨틱 — 동결 스펙 (헌법층)
배경
ISA729 로워링 딥리서치가 명시:
균형3진 표준에 음(-0) 대응물이 없다 — 0과 동일? 흡수원소?
Kleene 모름? 외부 근거 없음 → 크라우니 자체 정의 필요. 본 스펙이 그 동결 정의다.
산출 =
/Users/ef/crowny-butler/libs/음대수.한선 (컴파일+실행 검증).
1. 핵심 구별: 옴(0) ≠ 음(-0)
- 옴(0) = Kleene "모름"(maybe): 중립, 검색하면 알 수 있음. 제2방법 = 연구·검색해 예스로 전환.
- 음(-0) = "이관/위임"(delegate): 자력불가, 상급자에게 결정권을 넘김(그의 결정이 나의 결정).
산술에서 흡수원소. not-my-business.
2. 3층 배치 불변식 (부틀러 정본 정합)
- L1 (순수3진 산술 / BitNet 가중치 {-1,0,1}): 음 미사용. 음이 L1에 새면 → 흡수(음=L2 이관).
- L2 (4상 의사결정/논리): 음 활성. Kleene 3값 + 음 4번째 상태.
3. 논리 연산 동결 (흡수 위계)
| 연산 | 규칙 | 흡수 위계 |
|---|
| 부정 NOT | 티↔타, 옴·음 불변 | 음=메타상태(진리값 아님)→부정해도 이관 |
| 그리고 AND (=충돌해소) | 타>음>옴>티 | 확정거짓(타) 최우선 흡수, 다음 이관(음), 모름(옴), 참(티) |
| 또는 OR | 티>음>옴>타 | 확정참(티) 최우선 흡수, 다음 이관(음), 모름(옴), 거짓(타) |
→ Kleene 3값(타=F가 AND흡수 / 티=T가 OR흡수)에
음을 흡수원소 바로 아래에 끼운 확장.
4. 실측 검증 (crownyc run)
- NOT: 티→타, 타→티, 옴→옴, 음→음
- AND: 티∧음=음, 티∧옴=옴, 음∧옴=음(음>옴), 타∧음=타(타>음)
- OR: 타∨음=음, 티∨음=티(티>음)
- 옴≠음 보존: 티∧옴=옴 vs 티∧음=음 → 다름
- L1 흡수: 순수3진=L1진행 / 음 포함=흡수→L2이관
- 행동: 옴=검색·연구, 음=상급 이관
5. 정합 (기존 모듈과 모순 없음)
- 삼진BCT: 단일곱/단일합에서 음 흡수 ✓ · trit-negate 음 불변 ✓ · BCT 코드 음=11 ✓
- 삼진블록체인시뮬: 충돌해소 타>음>옴>티 = AND ✓
- 정본규칙: 옴≠음, 타=거부/음=이관·위임 ✓
- 뉴로심볼릭융합/추론서빙/트리아지가디언: 음=이관 폴백 ✓
6. 동결 선언
음(-0)의 산술·논리 시맨틱은 본 스펙으로 동결한다. ISA729 BCT 인코딩에서 음=11,
산술에서 흡수, 논리에서 (NOT 불변 / AND·OR 흡수위계), L2 전용(L1 미사용). 변경=헌법 절차.
잔여
음의 BCT 비트평면 산술 가속(popcount 마스크), Kleene vs 음 형식 증명(자체 정리).