Add files via upload

Author: zerojat7-ui

src/Kcode/kc_contract.han

@@ -0,0 +1,65 @@
+// kc_contract.han — Kcode 계약 시스템 검증 구현
+// version : v32.0.0
+
+#포함 "kc_contract.hg"
+
+// ── MCP 전용 파일 판별 ────────────────────────────────────
+함수 MCP전용파일인지(문자 소스코드):
+    만약 소스코드 == 없음 또는 소스코드 == "":
+        반환 거짓
+
+    // MCP 키워드가 하나라도 있는지
+    논리 mcp있음 = 거짓
+    각각 키워드 안에 MCP_키워드목록:
+        만약 소스코드 포함(키워드):
+            mcp있음 = 참
+            멈춤
+
+    만약 mcp있음 == 거짓:
+        반환 거짓
+
+    // 계약 키워드가 하나도 없어야 MCP 전용
+    각각 키워드 안에 계약_키워드목록:
+        만약 소스코드 포함(키워드):
+            반환 거짓
+
+    반환 참
+
+// ── 계약 오류 메시지 ──────────────────────────────────────
+함수 계약오류메시지(정수 결과코드):
+    만약 결과코드 == 계약_빈소스:
+        반환 "[계약 오류] 소스가 비어 있습니다.\n" +
+             "  최소 요건: 헌법 / 법률 / 규정 / 법령 / 법위반 중 하나."
+
+    만약 결과코드 == 계약_없음:
+        반환 "[계약 오류] 계약 시스템이 없습니다.\n\n" +
+             "  Kcode 파일에는 반드시 다음 중 하나 이상이 있어야 합니다:\n\n" +
+             "    헌법   — 전역 최상위 계약\n" +
+             "    법률   — 파일 전체 계약\n" +
+             "    규정   — 객체 범위 계약\n" +
+             "    법령   — 함수 사전조건\n" +
+             "    법위반 — 함수 사후조건\n\n" +
+             "  예시:\n" +
+             "    헌법 안전정책, 경고\n\n" +
+             "  ※ MCP 전용 파일은 예외입니다."
+
+    반환 ""
+
+// ── 계약 검사 메인 함수 ───────────────────────────────────
+함수 계약검사(문자 소스코드):
+
+    // 1단계: 빈 소스 확인
+    만약 소스코드 == 없음 또는 소스코드 == "":
+        반환 계약_빈소스
+
+    // 2단계: MCP 전용 파일 예외 확인
+    만약 MCP전용파일인지(소스코드):
+        반환 계약_MCP예외
+
+    // 3단계: 계약 키워드 순회 검사
+    각각 키워드 안에 계약_키워드목록:
+        만약 소스코드 포함(키워드):
+            반환 계약_통과
+
+    // 4단계: 계약 없음
+    반환 계약_없음

src/Kcode/kc_contract.hg

@@ -0,0 +1,34 @@
+// kc_contract.hg — Kcode 계약 시스템 검증 헤더
+// version : v32.0.0
+//
+// 사용법:
+//   #포함 "kc_contract.hg"
+//   결과 = 계약검사(소스코드)
+
+// ── 검사 결과 상수 ──────────────────────────
+변수 계약_통과      = 0
+변수 계약_없음      = 1
+변수 계약_빈소스    = 2
+변수 계약_MCP예외   = 3
+
+// ── 계약 키워드 목록 ─────────────────────────
+변수 계약_키워드목록 = [
+    "헌법",
+    "법률",
+    "규정",
+    "법령",
+    "법위반"
+]
+
+// ── MCP 키워드 목록 ──────────────────────────
+변수 MCP_키워드목록 = [
+    "MCP서버",
+    "MCP도구",
+    "MCP자원",
+    "MCP프롬프트"
+]
+
+// ── 함수 선언 (kc_contract.han 에서 구현) ────
+// 함수 계약검사(문자 소스코드)
+// 함수 계약오류메시지(정수 결과코드)
+// 함수 MCP전용파일인지(문자 소스코드)

src/Kcode/kc_llvm.hg

@@ -0,0 +1,207 @@
+// kc_llvm.hg — Kcode LLVM IR 코드생성기 헤더
+// version : v0.1.0
+// §LLVM-SH Phase 1: 타입 상수 / 명령코드 상수 / 구조 정의
+// kparser.hg (AST 노드) 위에서 동작
+
+#포함 "kparser.hg"
+
+// ================================================================
+//  LLVM IR 타입 코드 (kc_llvm_type.han 에서 사용)
+// ================================================================
+
+변수 LLTY_VOID       = 0    // void
+변수 LLTY_I1         = 1    // i1  (논리)
+변수 LLTY_I8         = 2    // i8  (바이트/글자)
+변수 LLTY_I16        = 3    // i16
+변수 LLTY_I32        = 4    // i32 (정수 기본)
+변수 LLTY_I64        = 5    // i64 (정수 확장)
+변수 LLTY_F32        = 6    // float
+변수 LLTY_F64        = 7    // double (실수 기본)
+변수 LLTY_PTR        = 8    // ptr (불투명 포인터, LLVM 15+)
+변수 LLTY_ARRAY      = 9    // [N x T]
+변수 LLTY_STRUCT     = 10   // { T0, T1, ... }
+변수 LLTY_FUNC       = 11   // T (T0, T1, ...) — 함수 타입
+변수 LLTY_LABEL      = 12   // label (기본블록 타입)
+변수 LLTY_METADATA   = 13   // metadata
+
+// ================================================================
+//  LLVM IR 값 종류 (Value Kind)
+// ================================================================
+
+변수 LLVK_CONST_INT      = 0    // 정수 상수
+변수 LLVK_CONST_FLOAT    = 1    // 실수 상수
+변수 LLVK_CONST_STR      = 2    // 문자열 전역 상수 (getelementptr)
+변수 LLVK_CONST_NULL     = 3    // null / zeroinitializer
+변수 LLVK_CONST_BOOL     = 4    // i1 상수 (0 / 1)
+변수 LLVK_GLOBAL         = 5    // @전역변수
+변수 LLVK_LOCAL          = 6    // %지역변수 (레지스터)
+변수 LLVK_FUNC           = 7    // @함수명
+변수 LLVK_BLOCK          = 8    // 기본블록 레이블
+변수 LLVK_UNDEF          = 9    // undef
+변수 LLVK_POISON         = 10   // poison
+
+// ================================================================
+//  LLVM IR 명령코드 (Instruction Opcode)
+// ── 산술/논리 ────────────────────────────────────────────────────
+// ================================================================
+
+변수 LLOP_ADD        = 0    // add
+변수 LLOP_SUB        = 1    // sub
+변수 LLOP_MUL        = 2    // mul
+변수 LLOP_SDIV       = 3    // sdiv  (부호 있는 나눗셈)
+변수 LLOP_UDIV       = 4    // udiv  (부호 없는 나눗셈)
+변수 LLOP_SREM       = 5    // srem  (부호 있는 나머지)
+변수 LLOP_UREM       = 6    // urem
+변수 LLOP_FADD       = 7    // fadd
+변수 LLOP_FSUB       = 8    // fsub
+변수 LLOP_FMUL       = 9    // fmul
+변수 LLOP_FDIV       = 10   // fdiv
+변수 LLOP_FREM       = 11   // frem
+변수 LLOP_AND        = 12   // and
+변수 LLOP_OR         = 13   // or
+변수 LLOP_XOR        = 14   // xor
+변수 LLOP_SHL        = 15   // shl
+변수 LLOP_LSHR       = 16   // lshr
+변수 LLOP_ASHR       = 17   // ashr
+변수 LLOP_NEG        = 18   // neg  (sub 0, x 로 생성)
+변수 LLOP_FNEG       = 19   // fneg
+
+// ── 메모리 ────────────────────────────────────────────────────────
+변수 LLOP_ALLOCA     = 20   // alloca
+변수 LLOP_LOAD       = 21   // load
+변수 LLOP_STORE      = 22   // store
+변수 LLOP_GEP        = 23   // getelementptr (inbounds)
+변수 LLOP_MEMCPY     = 24   // call llvm.memcpy
+변수 LLOP_MEMSET     = 25   // call llvm.memset
+
+// ── 비교 ─────────────────────────────────────────────────────────
+변수 LLOP_ICMP       = 30   // icmp
+변수 LLOP_FCMP       = 31   // fcmp
+
+// ── 흐름 제어 ────────────────────────────────────────────────────
+변수 LLOP_BR         = 40   // br (무조건)
+변수 LLOP_BR_COND    = 41   // br (조건)
+변수 LLOP_SWITCH     = 42   // switch
+변수 LLOP_RET        = 43   // ret
+변수 LLOP_RET_VOID   = 44   // ret void
+변수 LLOP_UNREACHABLE= 45   // unreachable
+변수 LLOP_PHI        = 46   // phi
+
+// ── 함수 호출 ────────────────────────────────────────────────────
+변수 LLOP_CALL       = 50   // call
+변수 LLOP_TAIL_CALL  = 51   // tail call
+변수 LLOP_INVOKE     = 52   // invoke (예외 처리용)
+
+// ── 변환 ─────────────────────────────────────────────────────────
+변수 LLOP_TRUNC      = 60   // trunc   (정수 축소)
+변수 LLOP_ZEXT       = 61   // zext    (0 확장)
+변수 LLOP_SEXT       = 62   // sext    (부호 확장)
+변수 LLOP_FPEXT      = 63   // fpext   (실수 확장)
+변수 LLOP_FPTRUNC    = 64   // fptrunc (실수 축소)
+변수 LLOP_FPTOSI     = 65   // fptosi  (실수 → 정수)
+변수 LLOP_SITOFP     = 66   // sitofp  (정수 → 실수)
+변수 LLOP_UITOFP     = 67   // uitofp
+변수 LLOP_PTRTOINT   = 68   // ptrtoint
+변수 LLOP_INTTOPTR   = 69   // inttoptr
+변수 LLOP_BITCAST    = 70   // bitcast
+변수 LLOP_SELECT     = 71   // select
+
+// ── 기타 ─────────────────────────────────────────────────────────
+변수 LLOP_EXTRACTVAL = 80   // extractvalue
+변수 LLOP_INSERTVAL  = 81   // insertvalue
+변수 LLOP_LANDINGPAD = 82   // landingpad
+
+// ================================================================
+//  icmp / fcmp 조건 코드
+// ================================================================
+
+// icmp (정수 비교)
+변수 LLCMP_EQ        = 0    // eq   — 같음
+변수 LLCMP_NE        = 1    // ne   — 다름
+변수 LLCMP_SGT       = 2    // sgt  — 부호 있는 >
+변수 LLCMP_SGE       = 3    // sge  — 부호 있는 >=
+변수 LLCMP_SLT       = 4    // slt  — 부호 있는 <
+변수 LLCMP_SLE       = 5    // sle  — 부호 있는 <=
+변수 LLCMP_UGT       = 6    // ugt  — 부호 없는 >
+변수 LLCMP_UGE       = 7    // uge  — 부호 없는 >=
+변수 LLCMP_ULT       = 8    // ult
+변수 LLCMP_ULE       = 9    // ule
+
+// fcmp (실수 비교) — ordered (NaN 전파)
+변수 LLCMP_OEQ       = 20   // oeq
+변수 LLCMP_ONE       = 21   // one
+변수 LLCMP_OGT       = 22   // ogt
+변수 LLCMP_OGE       = 23   // oge
+변수 LLCMP_OLT       = 24   // olt
+변수 LLCMP_OLE       = 25   // ole
+변수 LLCMP_ORD       = 26   // ord  (neither is NaN)
+변수 LLCMP_UNO       = 27   // uno  (either is NaN)
+
+// ================================================================
+//  링크 유형 (Linkage)
+// ================================================================
+
+변수 LLLNK_PRIVATE    = 0   // private
+변수 LLLNK_INTERNAL   = 1   // internal
+변수 LLLNK_EXTERNAL   = 2   // external (기본값 — 외부 선언)
+변수 LLLNK_WEAK       = 3   // weak
+변수 LLLNK_LINKONCE   = 4   // linkonce
+변수 LLLNK_COMMON     = 5   // common
+
+// ================================================================
+//  호출 규약 (Calling Convention)
+// ================================================================
+
+변수 LLCC_C           = 0   // ccc  — 기본 C 호출 규약
+변수 LLCC_FAST        = 8   // fastcc
+변수 LLCC_COLD        = 9   // coldcc
+변수 LLCC_WEBKIT      = 12  // webkit_jscc
+
+// ================================================================
+//  LLVM IR 컨텍스트 구조 (kc_llvm_ctx.han 에서 초기화)
+// ================================================================
+
+// 컨텍스트 목록 키 (context["키"])
+//   "모듈명"         문자  — .ll 파일 모듈 이름
+//   "소스파일"       문자  — 원본 .han 파일 경로
+//   "줄"             [문자] — 출력 IR 행 버퍼 (배열)
+//   "전역목록"       [목록] — 전역 변수/상수 선언 목록
+//   "함수목록"       [목록] — 함수 정의/선언 목록
+//   "문자열상수맵"   목록   — 문자열 리터럴 → 전역 이름 맵
+//   "임시번호"       정수  — %tmp0, %tmp1 ... 자동 증가
+//   "블록번호"       정수  — label 자동 증가
+//   "문자열번호"     정수  — @.str.0, @.str.1 ... 자동 증가
+//   "오류있음"       논리
+//   "오류메시지"     문자
+
+// 함수 구조 목록 키 (func["키"])
+//   "이름"           문자  — 함수명 (@이름)
+//   "반환타입"       정수  — LLTY_* 상수
+//   "매개변수"       [목록] — [{이름, 타입}]
+//   "블록목록"       [목록] — 기본블록 목록
+//   "현재블록"       정수  — 현재 기본블록 인덱스
+//   "링크"           정수  — LLLNK_*
+//   "호출규약"       정수  — LLCC_*
+//   "선언만"         논리  — declare (extern) 여부
+
+// 기본블록 구조 목록 키 (bb["키"])
+//   "레이블"         문자  — 기본블록 이름
+//   "명령목록"       [문자] — IR 명령어 문자열 목록
+//   "종료됨"         논리  — 종료 명령어(br/ret) 삽입 여부
+
+// LLVM IR 값 구조 목록 키 (val["키"])
+//   "종류"           정수  — LLVK_*
+//   "타입코드"       정수  — LLTY_*
+//   "이름"           문자  — %이름 / @이름 (% @ 포함)
+//   "정수값"         정수  — 정수 상수일 때
+//   "실수값"         실수  — 실수 상수일 때
+//   "문자값"         문자  — 문자열 / 이름 문자열
+
+// ================================================================
+//  편의 상수
+// ================================================================
+
+변수 LLVM_타겟_기본  = "x86_64-pc-linux-gnu"    // 기본 타겟 트리플
+변수 LLVM_데이터레이아웃 = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
+
+변수 LLVM_KV_태그    = "; [Kcode LLVM IR §LLVM-SH]"   // 파일 헤더 태그