GRUNDNORM · 법 원천 진실 계층
AI가 법이 무엇이라고 말하는지 알려 준다면, Grundnorm은 그것이 무엇을 의미했는지 증명합니다.
개방형 식별자와 날짜를 입력하십시오. 해당 날짜에 그 규범이 무엇을 의미했는지에 대한 봉인된 레코드를 반환합니다. 레코드는 규범 원자(deontic atoms)로 분해되며, 각 원자는 자신이 유래한 원문 그대로의 조각을 담고 Ed25519로 서명됩니다.
법률 질문에 답하지 않습니다. 의미를 확정하고, 그 확정을 증명합니다.
가입해서 쓰는 제품이 아닙니다
고객의 코퍼스를 중심으로 구축하는 플랫폼이며, 진열대에서 골라 사는 제품이 아닙니다.
셀프서비스 요금제도 없고, 범용 배포도 없습니다. 고객의 사양, 고객의 코퍼스, 고객의 자료원과 서명자를 가져오시면, 그에 맞추어 배포를 구축합니다. 코퍼스가 어떤 경로로 들어올지는 고객이 정합니다. 관보, 대량 전달, 자체 문서 관리 시스템, 자체 API 무엇이든 가능합니다. 플랫폼이 해결하는 것은 수집(ingestion) 이후에 일어나는 모든 일입니다.
코퍼스에 관해 상담하기정확도 수치에 관하여
우리는 정확도 수치를 공개하지 않으며, 이는 공백이 아니라 하나의 입장입니다.
하나의 규정에 속한 다섯 개 조문에서 측정한 정밀도 수치는, 다른 국가에서 다른 언어로 다른 제도 아래 놓인 상법 코퍼스에 대해 아무것도 말해 주지 않습니다. 성격이 다른 코퍼스를 합산하면 지시 대상이 없는 숫자가 나옵니다. 여기서 정확도는 프로젝트별 인수 기준이며, 고객의 코퍼스를 대상으로 고객의 법률가가 측정합니다. 단 하나의 정밀도 수치를 내미는 공급업체는 신뢰하지 마십시오. 우리가 언젠가 그런 수치를 내민다면, 우리도 예외가 아닙니다.
직접 검증하십시오
우리 말을 그대로 믿지 마십시오. 데모 시스템이 패키지에 함께 들어 있습니다.
엔드포인트와 키가 공개된 SDK에 포함되어 있으므로, 아래 코드는 적힌 그대로 실행됩니다. 버전을 고정한 것은 의도적입니다. 직접 확인하라고 말하는 페이지가 우리 배포 때문에 깨져서는 안 되기 때문입니다.
pip install grundnorm==0.5.0
from grundnorm import GrundnormClient
c = GrundnormClient()
n = c.resolve(id="http://data.europa.eu/eli/reg/2016/679/art_99",
jurisdiction="EU", at="2026-01-01", domain="legislation")
print(n.status, n.verification["verdict"], n.verification["absence"])천천히 읽어 보십시오. 이 세 단어에 논지 전체가 담겨 있습니다. 시스템에는 그 조문이 없습니다. 시스템은 없다고 말합니다. 그리고 그것을 증명합니다. 부정 답변에는 집합 전체에 대한 서명된 커밋먼트를 기준으로 한 암호학적 비포함 증명이 함께 담깁니다. 그런 다음 시스템은 스스로를 권위 있다고 부르기를 거부합니다. 데모 시스템은 우리가 생성해 공개한 키로 서명되며, 이는 우리가 위조할 수도 있다는 뜻이기 때문입니다. 언제 자신을 믿지 말아야 하는지 말해 주지 못하는 검증 계층은 아무 가치가 없습니다.
증명에는 한계가 있으며, 시스템은 그 한계를 밝힙니다. 그 조문이 EU 법에 존재하지 않는다는 것을 증명하지는 않습니다. 선언되고 서명된 범위 안에 그 조문이 없다는 것을 증명합니다. 같은 응답이 그 범위를 함께 명시합니다. 봉인된 레코드 다섯 건으로 이루어진 데모 코퍼스입니다.
체크 표시가 아니라, 열세 가지 판정
단순한 ok는 반환할 수 없습니다.
모든 답변은 닫힌 판정 집합 가운데 어디에 해당하는지 명시하며, 그 집합은 패키지가 내보내므로 우리에게 묻지 않고도 확인하실 수 있습니다. 존재하는 레코드에는 열세 가지, 증명된 부재에는 열 가지가 있고, 실패에서 성공 순으로 정렬되어 있습니다. 열세 가지 중 열한 가지는 아니오를 말하는 서로 다른 방식입니다. 내용 변조, 뷰 불일치, 봉인 구간 밖, 서명 무효, 출처 미지원, 다른 질문에 대한 답변 등입니다. 통과라고 부를 만한 결과는 마지막 두 가지뿐이며, 그중 하나조차 권위를 주장하지 않습니다.
from grundnorm import VERDICTS, ABSENCE_VERDICTS두 가지가 아니라, 세 가지 상태
두 개의 유효한 해석이 실제로 갈릴 때, 시스템은 승자를 고르지 않습니다.
각 규범 원자(deontic atoms)는 fixed, needs_review, for_the_court 가운데 하나의 상태를 갖습니다. 마지막 상태가 핵심입니다. 독립적인 해석들이 실질에서 어긋나면, 기계는 그 불일치를 기록하고 판단을 법원에 맡깁니다. 확신 있어 보이려고 한쪽 해석을 고르지 않습니다. 상태는 독립적인 판독들의 일치에서 도출되며, 모델이 스스로에 대해 갖는 확신에서 도출되지 않습니다.
이 부분은 데모 시스템에서 재현하실 수 없으며, 우리는 꾸며 내기보다 그대로 말씀드립니다. 파이프라인을 보여 주려고 고른 다섯 개 조문에서는 실제 불일치가 나오지 않습니다. 불일치가 있는 레코드를 일부러 봉인한다면, 엔진이 찾아낸 적 없는 이견을 지어내는 셈이며, 그것이야말로 이 제품이 막으려고 존재하는 일입니다.
데모 시스템의 실체
봉인된 레코드 다섯 건, 우리가 공개하는 키, 그리고 그 사실을 인정하는 페이로드.
공개 코퍼스는 하나의 규정을 표본으로 삼아 데모 시스템으로 공개한 것이며, 기관 배포가 아닙니다. 그 봉인은 우리가 생성해 공개하는 키에서 파생되므로 누구든 위조할 수 있고, 검증기는 고객이 직접 알아내도록 두지 않고 바로 그 사실을 선언합니다. 응답은 custody를 unverified로, 원장을 unanchored로, 분류를 not present로 표시합니다. 이 가운데 어느 것도 결함을 공개하는 것이 아닙니다. 제품이 제대로 작동하는 모습입니다. 증명 계층의 첫 번째 임무는 자신을 어디까지 신뢰할 수 있는지 알려 주는 것입니다.