의미어코드 P1·P2 — 연산자 대수 + 데이터기반 PHYLUM + 복합인과로직 (2026-06-28)
개요
의미어코드(세계 공통 의미어 인터링구아) 스펙 v1의 P1·P2를 한선씨로 구현·검증 완료. 세 층(어휘 코드북 · 합성 연산자 · 복합인과로직)이 단일 SemCode 주소공간에서 결정론으로 맞물린다. 의미어코드 스택 전체 92/92 PASS.설계 SSOT: 의미어코드_스펙v1.md. 선행 P0(COLOR 12색, 27/27) = 2026-06-28-의미어코드-P0-COLOR코드북-구현완료.
P1 — 연산자 대수 + 데이터기반 PHYLUM
① 합성연산자 대수 (합성연산자.한선, 21/21)
주소공간 A = 729·P + 27·C + S (P/C/S 각 3트릿 ∈ [−13,+13]) 위 8+1 연산자:
- ISA · DEGREE · NEGATE_C(보색) · NEGATE_S(명도반의) · BETWEEN(끝점 정확·결정론 보간) · COMBINE(자질 교집합) · SIMILAR · PARTOF(스텁) · ASPECT(스텁) · OPAQUE(비분해 폴백=음센티넬 −999).
주소_P/C/S: 균형3진 나눗셈으로 P 가변 분해. 한선씨 나눗셈(자연반올림)이 트릿 분해에 정확히 부합.- 재확인:
DEGREE(ISA(빨강),2) ≡ 불그스름한(단일주소 = 합성경로 캐시).
② 다영역 일반성 + PHYLUM 격리 (다영역_테스트.한선, 16/16)
같은 연산자가 TEMPERATURE(P=3)에도 작동(NEGATE_S=온도반전·BETWEEN=미지근·DEGREE=따뜻함).
PHYLUM 격리: TEMP P3 주소대 [1823,2551] ∩ COLOR P5 [3281,4009] = ∅ (오염 0).③ ★데이터기반 PHYLUM (의미어PHYLUM.한선, 10/10)
임의 배정 회피의 핵심. Concepticon concepticon.tsv(4,163개념) 다운로드 → SEMANTICFIELD 실측 24장
(동물·신체·감정과가치·운동·감각지각·전쟁과사냥…) → P = 정렬인덱스−12 ∈ [−12,+11]. 27=3³ 중 24 사용, 3 예약.
- 스펙의 추측 "27 PHYLUM"이 실데이터 24개로 검증 → 사용자가 지적한 "임의 완성" 문제 정면 해소.
- ONTOLOGICAL_CATEGORY 6개(Person/Thing·Action/Process·Property·Number·Classifier·Other) = 품사축.
P2 — 복합인과관계로직 (인과로직.한선, 10/10)
크라우니 코어 핵심: 닫힌 의미어공간 결정론 인과 추론. 규칙 = WHEN(전제 의미어집합)→THEN(결과)+PHASE(4상).
- E2E "유리잔 떨어지면 깨진다": R3 유리→깨지기쉬움 · R1 낙하→충격 · R2 충격∧깨지기쉬움→깨짐(다중원인).
- 검증: 전이체인 · 다중원인 · 음성대조(원인 부족→미도출) · 결정론 재현 · 홉깊이(semi-naive 깊이1=1홉/깊이2=2홉) · 재귀안전(단조 고정점).
- 유도과정 = 인과증명: 발화한 규칙열이 곧 인과체인.
캡스톤 — 3층 통합 (의미어통합_테스트.한선, 8/8)
신호등 시나리오로 어휘+합성+인과가 한 주소공간에서 맞물림 입증:
- 어휘: 색코드 = ISA(코드) 동일 공간 · 합성: DEGREE(빨강,2)=불그스름한 · 인과: 색SemCode 전제→동작(빨강→멈춤·초록→진행, 격리).
신규 한선씨 함정 (메모리 박음)
- 배열 별칭+
추가()제자리변경 →변수 s=상태는 별칭이라 함수가 받은 배열을 키우면 호출자 오염(2회 호출 시 1차 결과가 2차 입력에 누적), semi-naive 스냅샷 붕괴. 회피=명시적배열복사+ 규칙 조건 불리언 선캡처. - STR풀 realloc: 부작용 많은 함수를 인자 위치에서 호출하면 같이 넘긴 리터럴 인자 손상. 회피=무거운 호출을 먼저 변수에 받기.
관련 파일 (crowny-butler/libs/)
합성연산자.한선(+테스트) ·의미어PHYLUM.한선(+테스트) ·다영역_테스트.한선인과로직.한선(+테스트) ·의미어통합_테스트.한선의미어코드북.한선(P0) ·의미어코드_스펙v1.md(SSOT)- 원본 데이터: scratchpad/concepticon.tsv (4,163개념)
P2+ / P3 추가 (같은 세션)
제네릭 규칙 엔진 (인과엔진.한선, 9/9)
규칙을 데이터([결과코드, 전제1, 전제2, …] 중첩배열)로. 규칙표 교체만으로 도메인 전환(유리↔신호등), 엔진 불변.
하드코딩 규칙 한계 제거 = 확장성. semi-naive 1패스=1홉, 단조 고정점, 입력 불변.SemCode 패킷 계약 (의미어코드패킷.한선, 3/3)
LLM 인코더/디코더의 결정론 타깃. 요청 "연산|A1|A2|A3"(정수, JSON 불필요·환각 차단) → 코어 → 응답 "사상|코드|이름".
(분리는 문자열.한선 라이브러리 함수, 빌트인 아님.)통합 코어 디스패처 (의미어코어.한선, 8/8)
코어질의(연산,A1,A2,A3) 단일 진입점: ISA/DEGREE/NEGATE/BETWEEN/COMBINE + 4상 판정(성공→티/미지·OPAQUE→음) + 코어인과 래퍼.실행 가능한 코어 프로세스 (의미어코어_CLI.한선)
echo "2|3888|2|0" | crownyc run → 티|3890|불그스름한. 세트1 문자열 디스패처(stdin JSON)의 SemCode 대체. e2e파이프라인.js가 spawn 가능.의미어코드 스택 전체 = 112/112 PASS
코드북27·연산자21·다영역16·PHYLUM10·인과10·인과엔진9·통합8·코어8·패킷3.잔여 / 다음 (P3 결선)
- 파이프라인 마이그레이션: 디스패처를 의미어_index.dat grep → SemCode 주소로 전환.
- LLM 인코더/디코더 브리지 + round-trip identity·α-leak(디코더가 코어 밖에서 채운 의미) 정량.
- CLASS/SPECIES 데이터근거 하위구조(현재 field 내 하위는 데이터 부족→임의배정 보류).
- 비외연 채널(음성상징·정동) 별도 4상 트릿벡터(스펙 권고).