factlog

🌐 English | 한국어

facts + logic — 마크다운 소스를 **검증 가능하고 출처로 뒷받침되는 사실(fact)**로 바꿔 주는 Claude Code 스킬입니다. LLM이 추출하고, 결정론적 Datalog/wirelog 엔진이 검증합니다.

개요

factlog는 마크다운 지식베이스(knowledge base)를 정직하게 유지하기 위한 Claude Code 스킬입니다. 단 하나의 원칙을 따릅니다.

에이전트는 결론을 내리지 않는다. 에이전트는 파일을 만들고 CLI를 호출한다. CLI가 검증 가능한 리포트를 돌려준다.

• LLM(세션 내의 Claude)이 추출합니다 — sources/ 에서 후보 사실을 뽑아내고, 자연어 질문으로부터 Datalog 쿼리 초안을 작성하며, 제한된 범위의 자기 교정을 시도합니다.
• 결정론적 엔진(pyrewire 기반 wirelog)이 검증합니다 — 확정된 사실을 컴파일하고, 로직 체크를 실행하며, 정책 위반·모순·review_required 항목을 드러냅니다.

모델이 만들어 낸 것은 무엇이든 엔진과 사람이 확인하기 전까지는 후보(candidate) 일 뿐입니다.

동작 방식

텍스트 버전

sources/        →  Claude extracts        →  facts/candidates.csv, pages/, decisions/
candidates       →  human review           →  confirmed facts
confirmed        →  compile (deterministic) →  facts/accepted.dl
questions        →  Claude drafts query     →  facts/query.dl
accepted + query →  wirelog logic check     →  facts/logic_report.txt   ← 검증 가능한 리포트
review_required  →  Claude repairs (gated)  →  decisions/correction_trace.md

소스 파일 형식

/factlog sync 는 sources/ 아래의 각 파일을 세션 내에서 텍스트로 읽어 사실을 추출합니다. 내장 엔진(merge_candidates.py)은 모든 파일을 소스 경로로 추적하지만 내용은 결코 파싱하지 않습니다 — 따라서 추출 과정에서 텍스트를 읽어낼 수 있는 파일만 적재됩니다. 그러므로 바이너리 원본(예: .docx)은 그 자체만으로는 사실을 만들어 내지 못합니다.

형식	상태	비고
.md, .markdown, .txt	직접 지원	UTF-8 텍스트, 있는 그대로 읽음. 모든 추출 기준이 전제하는 형식입니다.
그 밖의 UTF-8 텍스트 (.rst, .org, .csv, 소스 코드)	평문으로 지원	별도 파싱 없이 원시 텍스트로 취급.
.docx, 바이너리 .pdf, .odt, .epub, .html, .rtf	자동 변환	factlog ingest 가 pandoc / textutil / pdftotext 로 텍스트 변환.
.hwpx (한컴 OWPML)	자동 변환	내장 추출기(외부 도구 불필요) — zip 내부 Contents/section*.xml 텍스트를 읽음.
.hwp (구형 한컴, HWP 5.x)	자동 변환	hwp5html(pyhwp) → pandoc → markdown 경로, 표 보존. pip install pyhwp + pandoc 필요. 없으면 안내 메시지와 함께 보고.
.pptx (PowerPoint)	자동 변환	내장 추출기(외부 도구 불필요) — zip 내부 ppt/slides/slideN.xml 의 슬라이드 텍스트를 순서대로 읽고, 슬라이드당 한 블록으로 변환. 발표자 노트는 제외, 표 셀은 셀당 한 줄로 펼쳐짐(행/열 그룹 구조는 보존 안 됨).
.xlsx, 이미지	변환 안 됨	내장 변환기 없음 — 안내 메시지와 함께 보고. 수동 변환 필요.

factlog ingest 는 변환된 텍스트를 KB의 runs/sources/ 디렉터리(다른 생성 런 아티팩트와 같은 위치)에 기록합니다 — 사용자의 원본이 그대로 남아 있어야 하는 sources/ 에는 결코 쓰지 않습니다. 하위 디렉터리에 있는 원본은 그 하위 구조를 그대로 미러링하므로(sources/sub/report.pdf → runs/sources/sub/report.md), 서로 다른 폴더의 동일 이름 파일이 충돌하지 않습니다. 원본은 손대지 않으며, 변환본에는 출처(provenance) 헤더(소스, 변환기, 날짜)가 붙습니다. sources/ 와 runs/sources/ 모두 추출이 읽는 유효한 소스 루트입니다.

업그레이드 안내: 하위 디렉터리 미러링은 기존의 평면(flat) 레이아웃보다 나중에 도입되었습니다. 이전에 적재된 KB는 중첩 원본에 대해 평면 변환본 (runs/sources/report.md)을 가지고 있는데, 이는 더 이상 짝이 맞지 않으므로 중첩 바이너리가 커버리지/factlog sources 누락으로 다시 나타날 수 있습니다. factlog ingest --scan --force 를 다시 실행해 변환본을 미러링된 경로로 옮기십시오(이후 남은 평면 변환본은 삭제). 최상위(비중첩) 소스는 영향받지 않습니다.

factlog ingest report.docx --target ~/wiki   # → ~/wiki/runs/sources/report.md (pandoc)
factlog ingest --scan --target ~/wiki        # auto-convert every binary under sources/

활성 KB (설정해 둔 KB를 어디서든 대상으로)

factlog init/setup(또는 factlog use <kb>) 이후, 선택한 KB가 활성 KB로 기록됩니다. 그래서 ingest/ask/sync 및 도구들이 어느 작업 디렉터리에서든 그 KB를 대상으로 동작합니다 — --target/--wiki 가 필요 없습니다.

factlog use ~/wiki        # make ~/wiki the active KB (recorded in config)
factlog where             # show the active KB and how it was resolved
factlog sources           # list registered sources (original, conversion, fact count)
factlog status            # KB state: facts by status, vocabulary, conflicts, logic freshness, engine
cd /anywhere && factlog ingest report.pdf   # → ~/wiki/runs/sources/report.txt
factlog eject report.pdf  # inverse of ingest: remove the conversion + retire its facts
factlog ignore drafts/*.md   # exclude sources from sync (re-extraction)
factlog provenance Acme uses FastAPI   # trace a fact to its source(s)

어휘 살펴보기 (factlog vocab)

ask 와 provenance 는 정확한 엔티티/관계 이름을 필요로 합니다. factlog vocab 은 이를 나열합니다 — 사용 횟수와 함께 엔티티 이름과 관계 이름을 보여 주므로 무엇을 질의할 수 있는지 알 수 있습니다.

factlog vocab              # entities + relations (engine facts)
factlog vocab --entities   # just entities
factlog vocab --relations  # just relations (tagged [attribute] / [single-valued] / [typed:<type>])
factlog vocab --all        # include non-engine names (candidate/needs_review/superseded)

선언된 속성(attribute) 관계의 객체는 엔티티가 아니라 리터럴이므로 엔티티 목록에서 제외됩니다(status 와 동일한 타이핑).

타입 지정 관계 (policy/typed-relations.md)

어떤 관계의 리터럴 객체는 단순 매칭이 아니라 비교되어야 합니다 — 그래야 결정론적 엔진이 그 값을 정렬(ordering)하거나 임계값(threshold)으로 거르거나 범위(range)로 질의할 수 있습니다(예: "2030년 이후 출시", "순위 <= 3"). 그런 관계는 policy/typed-relations.md 에 선언합니다. 객체가 리터럴이므로 해당 관계는 policy/attribute-relations.md 에도 함께 선언해야 합니다.

한 줄에 하나씩 선언합니다:

- `relation name` : <type> as <ascii_alias>

<ascii_alias> 는 비교 가능한 값을 담는 엔진 사이드 관계의 이름으로, 관계 이름이 비ASCII 여도 합법적인 엔진 식별자로 남도록 작성자가 직접 고르는 ASCII 식별자 ([A-Za-z_][A-Za-z0-9_]*)입니다. 공백이 포함된 관계 이름은 백틱으로 감쌉니다.

네 가지 타입:

• date — 2030.1 / 2030-01-15 → 정렬 가능한 yyyymmdd. 엔진 투영 지원 (정렬/임계값/범위).
• ordinal — rank 3 / 3rd → 정수 순위. 엔진 투영 지원.
• amount — 100억 / 1,000원 → 정수 기본 단위. 엔진 투영 지원. 단위 표가 필요하며, 줄 끝에 인라인으로 줄 수 있습니다: : amount as <alias> (억=1e8, 만=1e4, 원=1) (값은 양의 정수). 절을 생략하면 기본 단위 표를 씁니다.
• number — 1,000 / 3.5 → 수치 크기. 엔진 투영 지원: 정렬 가능한 int64 로 ×1000 스케일됩니다(소수점 3자리). ⚠️ 비교 술어의 임계값은 반드시 스케일된 단위로 적어야 합니다: version >= 2.0 → version_num(S, V), V >= 2000. 소수 3자리를 넘는 정밀도는 반올림됩니다(ROUND_HALF_UP).

추출기는 타입 지정 리터럴 객체를 구조가 보존되는 compact compound term으로 써도 됩니다: date(2030,1), date(2030,1,15), number(2.5), ordinal(3), amount(100,"억"). relation/3 의 객체는 이 term 문자열을 그대로 보관하고, 타입 지정 사이드 관계가 비교 가능한 스칼라로 투영합니다.

factlog vocab 은 선언된 타입 지정 관계에 [typed:<type>] 태그를 붙여 보여 줍니다(예: [attribute, typed:date]).

사실 찾기 (factlog search)

정확한 이름을 모를 때는 factlog search <term> 이 주어/관계/객체 전체에 대해 대소문자 구분 없는 부분 문자열 매칭을 수행하고, 일치하는 사실을(상태와 출처 수와 함께) 나열합니다. vocab 은 이름을 나열하고, search 는 조각으로 사실을 찾으며, provenance 는 정확한 트리플을 추적합니다.

factlog search fastapi   # case-insensitive; matches 'FastAPI'
factlog search acme      # partial — every fact mentioning the fragment

사실의 출처 추적 (factlog provenance)

모든 사실은 자신이 추출된 소스를 기록합니다. factlog provenance(별칭 trace) 는 일치하는 사실에 대해 그 근거가 되는 모든 행을 나열합니다 — 소스 경로, 상태, 신뢰도, 노트(추출된 발췌문), 그리고 소스 파일이 디스크에 없을 때의 [stale] 표시까지. (superseded/needs_review 를 포함한) 모든 상태가 표시되므로, 폐기된 근거도 계속 보입니다.

factlog provenance Acme uses FastAPI   # exact triple
factlog provenance Acme uses           # all objects for (subject, relation)
factlog provenance Acme                # all facts about a subject
factlog provenance - uses              # relation only ('-' wildcards a position)
factlog provenance - - FastAPI         # object only

위치 인자는 (subject, relation, object) 접두사입니다. 리터럴 - 는 해당 위치를 와일드카드 처리하며, 생략된 뒤쪽 위치도 와일드카드로 취급됩니다(와일드카드가 아닌 항목이 최소 하나는 있어야 합니다). 공백이 포함된 항목은 따옴표로 감싸십시오.

/factlog ask 역시 검증된 엔진 답변 아래에 각 근거 소스 경로(← <source>)를 나열하므로, 쿼리로 찾은 사실을 그 자리에서 추적할 수 있습니다.

사실 검토 (factlog review / accept / reject)

추출은 사실을 candidate 또는 needs_review 로 표시하며, confirmed/accepted 사실만 엔진 입력이 됩니다. facts/candidates.csv 를 직접 손대지 않고 승격하거나 폐기할 수 있습니다.

factlog review                       # list the pending queue (candidate + needs_review)
factlog review --status needs_review # narrow to one pending status
factlog accept Acme uses FastAPI     # pending → accepted (compiled into accepted.dl)
factlog accept Acme                  # accept every pending fact about a subject ('-' wildcards a position)
factlog reject Acme uses Datadog     # pending → superseded (retired, kept for audit)
factlog accept Acme uses FastAPI --dry-run

accept/reject 는 대기(pending) 행만 변경합니다. confirmed/accepted/ superseded 와 일치하는 항목은 보고만 되고 그대로 유지됩니다(대기 상태가 아닌 사실을 폐기하려면 factlog eject 를 사용). 둘 다 accepted.dl 을 재컴파일합니다.

상태가 아니라 사실의 값 자체를 교정하려면 factlog amend 를 사용하십시오.

factlog amend Widget codename Draft --set-object Falcon --set-note "name finalized" --accept
factlog amend Acme uses FastApi --set-object FastAPI    # fix a typo

위치 트리플이 사실을 식별하고(정확히 일치), --set-subject / --set-relation / --set-object / --set-note 가 새 값을 줍니다(최소 하나, 또는 --accept). amend 는 candidates.csv 와 그 근거가 되는 runs/*.json 을 둘 다 갱신하므로 편집이 /factlog sync 후에도 살아남습니다(사실의 값은 runs/*.json 에 있으며, merge 가 그로부터 candidates.csv 를 재구성합니다). --accept 는 accepted 로 승격까지 합니다. 신뢰도는 편집할 수 없습니다. --dry-run 으로 미리 볼 수 있습니다.

내구성(durability): 사람이 한 accept(및 amend --accept)는 reject/ superseded 와 같은 방식으로 재머지 후에도 보존됩니다 — /factlog sync 가 여러분의 결정을 되돌리지 않습니다.

sync에서 소스 제외하기 (factlog ignore)

/factlog sync 는 매 실행마다 모든 소스를 다시 추출합니다. 특정 소스를 그 대상에서 빼려면 — 초안, 작업 중인 문서, 외부 문서 등 — KB별 sync-ignore 목록(policy/sync-ignore.md)에 추가하십시오. 무시된 소스는 수정되더라도 /factlog sync, factlog ingest --scan, 커버리지 누락 보고에서 건너뜁니다. 이미 머지된 사실은 그대로 유지됩니다(사실을 실제로 제거하려면 factlog eject 사용).

factlog ignore drafts/*.md sources/wip-notes.md   # add pattern(s)
factlog ignore                                     # list patterns + what they match
factlog ignore --remove drafts/*.md               # remove a pattern

policy/sync-ignore.md 는 한 줄에 글롭(glob) 하나씩 적습니다(다른 정책 파일과 같은 너그러운 형식 — # 주석, - 불릿, 백틱 인용 항목 지원. # 로 시작하는 패턴은 백틱으로 감싸십시오). 패턴은 소스의 전체 ref(sources/... / runs/sources/...) 또는 소스 루트 내 경로로 매칭됩니다. 글롭 의미: * 와 ? 는 한 경로 세그먼트 안에 머물고(/ 를 넘지 않음), ** 는 세그먼트를 넘으며, 끝의 / 는 그 하위 트리 전체를 뜻합니다.

패턴	매칭 대상
drafts/*.md	sources/drafts/x.md — 단, sources/drafts/sub/x.md 는 아님
drafts/** (또는 drafts/)	sources/drafts/ 아래 전부
**/*.md	임의 깊이의 모든 .md

factlog sources 는 무시된 소스를 [ignored] 로 표시하고, 커버리지는 이를 누락이 아니라 excluded 로 보고합니다.

소스 제거 (factlog eject) — ingest 의 역연산

factlog eject <source> 는 적재(ingest)를 되돌립니다. runs/sources/ 변환본을 삭제하고, 해당 소스에서 추출된 행을 runs/*.json 에서 제거하며, 그 소스를 인용하는 사실을 폐기합니다. 소스는 파일명, 어간(stem), 또는 KB 기준 상대 경로로 지정할 수 있습니다 — 바이너리 원본(예: report.pdf)을 지정하면 그 runs/sources/<stem> 변환본도 함께 매칭되고, 어간만 주면 같은 어간을 가진 모든 소스가 매칭됩니다.

factlog eject report.pdf                 # delete conversion; mark citing facts superseded (kept for audit)
factlog eject report.pdf --purge         # delete the citing candidate rows instead of superseding them
factlog eject report.pdf --delete-original  # also delete the user's original under sources/
factlog eject report.pdf --dry-run       # show the planned changes, modify nothing

사실 하나만 제거 (--fact)

소스 자체는 멀쩡한데 추출된 사실 하나가 잘못된 경우, 그 사실만 폐기할 수 있습니다 — 소스의 변환본과 원본은 그대로 남습니다.

factlog eject --fact "을서비스" "정식_운영" "2030.1"      # retire one fact (mark superseded)
factlog eject --fact "갑봇" "통합" "을서비스" --fact "값가" "대체" "값나"   # several at once
factlog eject --fact "을서비스" "정식_운영" "2030.1" --purge   # delete the candidate row instead

사실은 모든 소스에 걸쳐 그 (subject, relation, object) 트리플로 매칭됩니다. 기본값인 superseded 는 runs/*.json 을 건드리지 않으므로 폐기가 내구성을 가집니다 — 이후 /factlog sync 가 소스로부터 사실을 다시 주장하더라도 merge_candidates 가 그것을 계속 superseded 로 유지합니다. 반면 --purge 는 행을 삭제하고 runs/*.json 에서도 제거합니다. 소스가 여전히 그 사실을 주장한다면 재싱크 시 다시 추출되므로, 사실을 영구히 폐기하려면 기본값을 사용하십시오. fact 모드와 source 모드는 상호 배타적이며, --delete-original 은 --fact 와 함께 쓸 수 없습니다.

기본적으로 폐기된 사실은 superseded 로 표시되어(감사 목적으로 facts/candidates.csv 에 남음) sources/ 아래 원본은 유지됩니다 — 따라서 다음 /factlog sync 때 다시 변환됩니다. 원본까지 제거하려면 --delete-original 을 넘기십시오. accepted.dl 은 재컴파일되어 엔진 입력에서 폐기된 사실이 즉시 빠집니다.

runs/sources/ 변환본은 적재 출처 헤더를 통해 그것을 만들어 낸 원본과 묶여 있으므로, 두 원본이 어간을 공유하더라도 eject report.docx 가 report.pptx 의 변환본을 건드리지 않습니다. pages/ 는 eject 로 재생성되지 않습니다 — /factlog sync 를 실행해 맞추십시오. 기본값 superseded 는 현재 상태 기준의 폐기입니다. 텍스트 원본을 sources/ 아래 그대로 두면 다음 /factlog sync 가 그 사실을 다시 추출·주장하므로, 소스를 영구히 제거하려면 --purge 와/또는 --delete-original 을 넘기십시오.

해석 우선순위: --target/--wiki 플래그 > $FACTLOG_ROOT > 활성 KB 설정 (${XDG_CONFIG_HOME:-~/.config}/factlog/config.json) > 현재 디렉터리. 설정이 없으면 동작은 종전과 같습니다(현재 디렉터리 사용).

/factlog sync 는 첫 단계로 factlog ingest --scan 을 실행하므로, sources/ 에 넣어 둔 바이너리는 자동으로 변환됩니다(멱등적으로 — 바뀌지 않은 파일은 건너뜀). 바이너리에 runs/sources/ 변환본이 없으면 merge_candidates.py 가 경고하여, 조용한 비적재(non-ingestion)가 드러나게 합니다.

요구 사항

• Python 3.11+ (엔진 의존성 pyrewire 가 요구)
• pyrewire 1.0.1+ (pip install -r requirements.txt)
• Claude Code CLI

설치

factlog는 Claude Code 플러그인입니다. Claude Code 세션에서 이 저장소의 마켓플레이스로부터 설치합니다.

/plugin marketplace add https://github.com/semantic-reasoning/factlog
/plugin install factlog@semantic-reasoning
/reload-plugins
/factlog setup                     # one-shot: deps + doctor + init, in-session

위 명령은 한 줄씩 실행하십시오. 여러 줄을 한 번에 붙여 넣으면 Claude Code가 마켓플레이스 등록과 설치를 순서대로 처리하지 못할 수 있습니다.

설치가 성공해도 현재 세션에는 새 /factlog ... 명령이 즉시 로드되지 않을 수 있습니다. /plugin install 다음에 /reload-plugins 를 실행한 뒤 /factlog setup 을 실행하십시오.

setup 은 doctor 실행, 엔진 의존성(pyrewire) 설치, KB 스캐폴딩, 환경 재점검을 한 명령으로 수행합니다.

로컬 설치 (개발용)

로컬 클론에 대해 개발하려면, 작업 트리 자체를 마켓플레이스로 등록하십시오.

/plugin marketplace add ~/git/semantic-reasoning/factlog
/plugin install factlog@semantic-reasoning
/reload-plugins
/factlog setup

/factlog setup 이 하는 일

setup 은 이전에 분리돼 있던 설치 후 단계들을 한 명령으로 합칩니다. 수동으로 하면 동등하게 다음과 같습니다.

pip install -r ~/git/semantic-reasoning/factlog/requirements.txt   # pyrewire>=1.0.1,<2.0
python3 -m factlog doctor          # checks Python 3.11+ and pyrewire
python3 -m factlog init --target ~/wiki   # scaffold the KB layout

Windows Python 실행 파일

Windows에서는 python3 명령이 실제 Python이 아니라 Microsoft Store stub을 가리킬 수 있습니다. 이 경우 python 또는 py는 정상이어도 플러그인의 번들 스크립트가 실패할 수 있습니다.

먼저 다음을 확인하십시오.

python3 --version
python --version
py -0p

python3 --version이 Python만 출력하고 실패하거나 Microsoft Store를 여는 상태라면, factlog가 사용할 Python을 명시하십시오. venv를 쓰는 경우:

py -3.12 -m venv .venv
.\.venv\Scripts\python.exe -m pip install -e <path-to-factlog-repo>
$env:FACTLOG_PYTHON = (Resolve-Path .\.venv\Scripts\python.exe).Path

플러그인의 hook과 skill 명령은 ${CLAUDE_PLUGIN_ROOT}/tools/factlog_python.sh 를 통해 $FACTLOG_PYTHON, python3, python, py 순서로 Python 3.11+ 실행 파일을 찾습니다.

여러분의 Python이 외부 관리(PEP 668) 상태라면 pip이 그 안으로의 설치를 거부합니다. 이때 setup 은 설치를 강행하는 대신 venv 안내를 출력합니다. venv를 만들어 활성화한 뒤 setup 을 다시 실행하십시오.

python3 -m venv ~/.factlog-venv && source ~/.factlog-venv/bin/activate
python3 -m factlog setup --target ~/wiki

사용법

지식베이스 안의 Claude Code 세션에서(플러그인은 모든 세션에서 활성):

/factlog sync      # read sources/, extract candidate facts, update pages & decisions
/factlog query     # translate policy/questions.md into facts/query.dl (Datalog query draft)
/factlog check     # compile accepted facts, run the logic check over accepted + query, show the report
/factlog repair    # attempt gated self-correction of review_required queries
/factlog ask       # answer one question: deterministically routed to the engine (verified) or wiki exploration (unverified)

/factlog check 전에 /factlog query 를 실행하십시오. 로직 체크는 facts/query.dl 의 쿼리 초안을 평가하는데, 이 초안은 /factlog query 가 policy/questions.md 의 자연어 질문으로부터 생성합니다.

결정론과 한계

스킬은 곧 프롬프트이므로, 모델은 각 단계를 실행하도록 유도될 뿐 강제되지는 않습니다. factlog는 신뢰성이 필수인 모든 단계 — 사실 컴파일, wirelog 로직 체크, 정책 컴파일, 검증 — 를 모델의 판단이 아니라 스킬이 실행하고 신뢰하도록 지시받는 번들 스크립트로 유지합니다. 로직 체크 리포트는 언제나 엔진이 생성하며, 모델이 서술하지 않습니다.

AC4 — 오래된 편집 방지 (두 단계)

factlog는 두 가지 서로 다른 메커니즘으로 신선도(freshness)를 강제합니다.

단계	메커니즘	보장하는 것
훅으로 강제	facts/logic_report.txt 가 없거나 대상 파일보다 오래되었을 때, PreToolUse 훅이 facts/accepted.dl 또는 facts/query.dl 로의 모든 Write/Edit 를 거부합니다(/factlog check → run_logic_check.py 로 갱신)	로직 리포트가 오래된 상태에서는 엔진의 컴파일된 입력을 덮어쓸 수 없습니다 — 훅이 파일에 손대기 전에 도구 호출을 차단합니다
SKILL 규율 (최선 노력)	SKILL.md 는 어떤 결론을 말하기 전에 Claude가 run_logic_check.py 를 실행하고 facts/logic_report.txt 를 그대로 보여 주도록 지시합니다	모델은 엔진 리포트를 드러내도록 유도되지만 강제될 수는 없습니다(R10: "완전히 보장할 수 없음") — 원시 리포트에 대한 사람의 검토가 최종 검증 단계입니다

이 두 단계는 상호 보완적입니다. 훅은 결정론적 빈틈을 메우고, SKILL 규율은 엔지니어링적 강제가 불가능한 서술(narration) 계층을 담당합니다.

라이선스

Apache-2.0 — LICENSE 와 NOTICE 참조.