Liale.
Legal Inference & Artifact Lifecycle Engine.
From legal text to verifiable reasoning artifacts.법률 텍스트에서 검증 가능한 추론 아티팩트로.
The artifact lifecycle.아티팩트의 생명주기.
A question becomes a proof; a proof reveals its gaps; the gaps become research tasks; the answers become typed knowledge. Nothing inside LIALE is just an answer — every artifact is named, versioned, and inspectable.하나의 질문이 증명이 된다. 증명은 자신의 공백을 드러낸다. 공백은 연구 과제가 되고, 그 답은 타입화된 지식으로 누적된다. LIALE 안에 그저 답인 채로 있는 것은 없다 — 모든 아티팩트는 이름과 버전을 갖고, 들여다볼 수 있다.
case facts as typed atoms — agents, objects, dates, events.사건 사실을 타입화된 atom으로 — 주체, 객체, 일시, 사건.
predicates & rules anchored to statute & precedent.조문과 판례에 정박된 술어와 규칙들.
each step recorded with its rule, inputs, and licence.규칙, 입력, 정당화를 함께 기록한 추론 단계의 자취.
a typed gap. not a missing answer — a missing structure.타입을 가진 공백. 빠진 답이 아니라, 빠진 구조.
a candidate patch closes the blank, awaiting verification.공백을 메우는 후보 패치. 검증을 기다린다.
a test-gated artifact becomes part of the corpus.테스트 게이트를 통과한 아티팩트가 코퍼스의 일부가 된다.
What an answer
does not answer.답변이
답하지 않는 것.
Retrieval-augmented language models can find a passage and write a passable summary of it. That is not yet legal reasoning. The five questions below are the ones the answer does not answer.검색 증강 언어 모델은 문단을 찾아낸 뒤 그것을 그럴듯하게 요약할 수 있다. 그것은 아직 법적 추론이 아니다. 아래 다섯 질문은, 답변이 답하지 않은 채로 남는 질문들이다.
Which elements were actually satisfied?어떤 요건이 실제로 충족되었는가?
Not "is the answer plausible," but: for each named element of the rule, did we verify satisfaction with a traceable input?"답변이 그럴듯한가"가 아니라 — 규칙의 이름 붙은 각 요건에 대해, 추적 가능한 입력으로 충족을 확인했는가.
Which elements are blank?어떤 요건이 비어 있는가?
A missing element is not a defect to hide. It is the most important output of a reasoning step.빠진 요건은 숨겨야 할 결함이 아니다. 그것은 추론 단계가 만들어내는 가장 중요한 출력물이다.
Which rule fired, and under what licence?어떤 규칙이, 어떤 정당화로 발동되었는가?
A citation is not a licence. A licence is the named precedent or statutory clause this exact rule application stands on.인용은 정당화가 아니다. 정당화란, 이 규칙의 이번 적용이 기댄 이름 있는 판례 또는 조항이다.
Where did the chain break?사슬은 어디서 끊어졌는가?
A trace that ends in a blank is more honest than a trace that ends in fluent prose. We optimise for the former.공백에서 끝나는 자취가, 유려한 산문으로 끝나는 자취보다 정직하다. 우리는 전자를 최적화한다.
How is the system updated?시스템은 어떻게 갱신되는가?
When new precedent arrives, old proofs do not silently change. The system versions, surfaces the diff, and lets prior reasoning stay readable.새 판례가 도착해도 옛 증명은 조용히 바뀌지 않는다. 시스템은 버전을 매기고, 차이를 드러내며, 이전의 추론을 읽을 수 있는 채로 둔다.
What is being asked of the human?인간에게 요청되고 있는 것은 무엇인가?
A blank promoted to a research task makes the human's role explicit. LIALE does not pretend to need no one.연구 과제로 승격된 공백은 인간의 역할을 명시적으로 만든다. LIALE는 아무도 필요 없는 척하지 않는다.
The Shape of the Engine.엔진의 형태.
LIALE does not output string answers. It outputs a traceable structure. This is the abstract core of how it models legal reality, stripped of its internal mechanics.LIALE는 문자열로 된 답변을 내놓지 않는다. 추적 가능한 구조를 산출한다. 내부 구현을 모두 걷어낸, 법적 현실을 모형화하는 핵심 뼈대다.
# LIALE is not a chatbot. It is a structured inference engine.
# It does not output "answers". It outputs traces and blanks.
class ProofTrace:
goal: Atom
result: ProofStatus # PROVED, BLOCKED, DEFEATED, CONTRADICTED
steps: List[ProofStep]
blanks: List[Blank]
class Blank:
"""A typed gap in the proof. Not a missing answer, but a structured question."""
description: str
triggering_element: str
legal_effect_question: str
A trace, abbreviated.한 자취, 줄여서.
A real proof trace is longer and less readable. This is the shape: each step names its rule, declares its inputs, and either resolves (✓), opens a blank (◇), or promotes a candidate (▲).실제 증명 자취는 더 길고 덜 읽힌다. 이건 그 모양이다. 각 단계는 자신이 의존한 규칙을 명시하고, 입력을 선언하며, 해소되거나(✓) 공백을 열거나(◇) 후보를 승격시킨다(▲).
Four commitments.네 가지 약속.
These are not features. They are the shape of the refusal underneath the system.이것들은 기능이 아니다. 시스템 아래에 깔린 거절의 모양이다.
A legal label flattens a long, branching reasoning trace into a single word. We refuse the flattening and surface the trace.법적 라벨은 길고 가지치는 추론을 한 단어로 납작하게 만든다. 우리는 그 납작함을 거절하고, 자취를 드러낸다.
The model does not produce new law. It exposes the structure already present in statute and precedent — and admits where the structure is missing.모델은 새로운 법을 생산하지 않는다. 조문과 판례에 이미 존재하는 구조를 드러낼 뿐이며, 구조가 없는 곳에서는 그 부재를 고백한다.
A confident answer that hides a missing premise is a regression. A trace that ends in a clean, typed gap is progress.전제의 부재를 숨긴 자신만만한 답은 후퇴다. 깨끗한 타입의 공백에서 끝난 자취는 진전이다.
Knowledge enters the corpus only through a test-gated promotion. The bottleneck is intentional. It is the bottleneck that makes the corpus trustworthy.지식은 테스트가 통과시킨 승격을 통해서만 코퍼스에 들어온다. 병목은 의도된 것이다. 그 병목이 코퍼스를 신뢰 가능하게 만든다.
If you wanted a faster answer, this is the wrong system. If you wanted to see why an answer is — or is not yet — defensible, you are in the right place.더 빠른 답을 원했다면, 이 시스템은 잘못 찾아온 곳이다. 한 답이 변호 가능한지 — 혹은 아직 그렇지 않은지 — 그 이유를 보고 싶었다면, 제대로 찾아왔다.
Where it stands.현재 자리.
A small, private prototype focused on a closed corner of Korean civil property law. Public surface kept narrow on purpose. What follows is current, not aspirational.한국 민법 물권의 닫힌 구석을 다루는, 작고 비공개에 가까운 프로토타입. 공개 표면은 의도적으로 좁게 유지한다. 아래는 지금의 상태이며, 포부가 아니다.
disclaimer / this page documents a research prototype. it is not legal advice and does not offer answers to legal questions. specifics of the engine — the predicate registry, the blank taxonomy, the candidate-promotion pipeline, the test gates — are intentionally outside this page's surface.고지 / 이 페이지는 연구 프로토타입에 대한 기록이다. 법률 자문이 아니며, 구체적인 법률 질문에 대한 답을 제공하지 않는다. 엔진의 구체 — 술어 레지스트리, 공백 분류, 후보 승격 파이프라인, 테스트 게이트 — 는 의도적으로 이 페이지의 표면 바깥에 둔다.