GRUNDNORM · 법 원천 진실 계층
AI가 법이 무엇이라고 말하는지 알려 준다면, Grundnorm은 그것이 무엇을 의미했는지 증명합니다.
개방형 식별자와 날짜를 입력하십시오. 해당 날짜에 그 규범이 무엇을 의미했는지에 대한 봉인된 레코드를 반환합니다. 레코드는 규범 원자(deontic atoms)로 분해되며, 각 원자는 자신이 유래한 원문 그대로의 조각을 담고 Ed25519로 서명됩니다.
법률 질문에 답하지 않습니다. 의미를 확정하고, 그 확정을 증명합니다.
가입해서 쓰는 제품이 아닙니다
고객의 코퍼스를 중심으로 구축하는 플랫폼이며, 진열대에서 골라 사는 제품이 아닙니다.
셀프서비스 요금제도 없고, 범용 배포도 없습니다. 고객의 사양, 고객의 코퍼스, 고객의 자료원과 서명자를 가져오시면, 그에 맞추어 배포를 구축합니다. 코퍼스가 어떤 경로로 들어올지는 고객이 정합니다. 관보, 대량 전달, 자체 문서 관리 시스템, 자체 API 무엇이든 가능합니다. 플랫폼이 해결하는 것은 수집(ingestion) 이후에 일어나는 모든 일입니다.
코퍼스에 관해 상담하기법률만은 아닙니다
이 계층은 자신이 법을 보고 있다는 사실을 모릅니다.
필요한 것은 셋뿐입니다. 의무를 진술하는 텍스트, 그것을 지칭하는 식별자, 그리고 각 판본이 효력을 갖는 날짜입니다. 이 세 가지를 갖춘 코퍼스는 모두 같은 문제를 묻어 두고 있습니다. 몇 년 전에 내린 결정이 오늘 그 당시 효력을 가졌던 텍스트에 비추어 판단되는데, 텍스트는 그사이 바뀌었습니다. 법에서 시작한 것은 그곳에서 문제가 가장 오래되었기 때문이지, 그곳에서 끝나기 때문이 아닙니다.
금융 감독
거래일에 효력이 있었던 보고 의무는 무엇이었습니까?
검사는 몇 년 뒤에 시작되며 규정집을 오늘의 모습대로 읽습니다. 그러나 판단 대상은 당시에 존재했던 의무입니다.
조세
이 입장은 어느 문언에 근거해 취한 것입니까?
세무조사는 신고 후 한참 지나 개시될 수 있고, 그때쯤이면 해당 조문은 두 번 개정되어 통합본에는 마지막 개정만 남아 있습니다.
의약품 및 의료기기
이 제출을 규율한 가이드라인 판본은 무엇입니까?
제출 서류는 제출 당일 효력이 있던 요건에 대해 방어하는 것이지, 방어서를 쓰는 동안 당국이 새로 공표하는 요건에 대해 방어하는 것이 아닙니다.
기술 표준 및 인증
인증서에는 2019년판 적합이라고 적혀 있습니다. 그 텍스트는 무엇입니까?
판본은 각자의 일정에 따라 서로를 대체하지만, 인증서는 제품에 붙은 채 공급망 안에서 십 년을 계속 돌아다닙니다.
에너지 및 유틸리티
이 발전소가 연계될 당시 적용된 계통 규정은 무엇입니까?
계통 규정, 요금 체계, 연계 조건은 각각 다른 일정으로 바뀌고, 설비는 그 셋 모두의 여러 차례 개정보다 오래 남습니다.
사내 정책
그 담당자 앞에 놓여 있던 정책 판본은 무엇이었습니까?
이것은 법이 전혀 아닙니다. 모든 내부 조사가 가장 먼저 던지는 질문이며, 솔직한 답은 대개 아무도 그 판본을 보관하지 않았다는 것입니다.
이 페이지의 나머지가 법률 용어로 말하는 것은 데모 시스템이 봉인하는 코퍼스가 법이기 때문입니다. 그 아래의 기계 장치는 텍스트가 무엇에 관한 것인지 개의치 않습니다.
정확도 수치에 관하여
우리는 정확도 수치를 공개하지 않으며, 이는 공백이 아니라 하나의 입장입니다.
하나의 규정에 속한 다섯 개 조문에서 측정한 정밀도 수치는, 다른 국가에서 다른 언어로 다른 제도 아래 놓인 상법 코퍼스에 대해 아무것도 말해 주지 않습니다. 성격이 다른 코퍼스를 합산하면 지시 대상이 없는 숫자가 나옵니다. 여기서 정확도는 프로젝트별 인수 기준이며, 고객의 코퍼스를 대상으로 고객의 법률가가 측정합니다. 단 하나의 정밀도 수치를 내미는 공급업체는 신뢰하지 마십시오. 우리가 언젠가 그런 수치를 내민다면, 우리도 예외가 아닙니다.
직접 검증하십시오
우리 말을 그대로 믿지 마십시오. 데모 시스템이 패키지에 함께 들어 있습니다.
엔드포인트와 키가 공개된 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"])천천히 읽어 보십시오. 이 세 단어에 논지 전체가 담겨 있습니다. 시스템에는 그 조문이 없습니다. 시스템은 없다고 말합니다. 그리고 그것을 증명합니다. 부정 답변에는 집합 전체에 대한 서명된 커밋먼트를 기준으로 한 암호학적 비포함 증명이 함께 담깁니다. 그런 다음 시스템은 스스로를 권위 있다고 부르기를 거부합니다. 서명 주체가 우리가 통제하는 데모 신원이기 때문입니다. 응답은 key_provenance를 pinned_demo로, demo_keys를 true로 표시합니다. 언제 자신을 믿지 말아야 하는지 말해 주지 못하는 검증 계층은 아무 가치가 없습니다.
증명에는 한계가 있으며, 시스템은 그 한계를 밝힙니다. 그 조문이 EU 법에 존재하지 않는다는 것을 증명하지는 않습니다. 선언되고 서명된 범위 안에 그 조문이 없다는 것을 증명합니다. 같은 응답이 그 범위를 함께 명시합니다. 봉인된 레코드 다섯 건으로 이루어진 데모 코퍼스입니다.
체크 표시가 아니라, 열세 가지 판정
단순한 ok는 반환할 수 없습니다.
모든 답변은 닫힌 판정 집합 가운데 어디에 해당하는지 명시하며, 그 집합은 패키지가 내보내므로 우리에게 묻지 않고도 확인하실 수 있습니다. 존재하는 레코드에는 열세 가지, 증명된 부재에는 열 가지가 있고, 실패에서 성공 순으로 정렬되어 있습니다. 열세 가지 중 열한 가지는 아니오를 말하는 서로 다른 방식입니다. 내용 변조, 뷰 불일치, 봉인 구간 밖, 서명 무효, 출처 미지원, 다른 질문에 대한 답변 등입니다. 통과라고 부를 만한 결과는 마지막 두 가지뿐이며, 그중 하나조차 권위를 주장하지 않습니다.
from grundnorm import VERDICTS, ABSENCE_VERDICTS두 가지가 아니라, 세 가지 상태
두 개의 유효한 해석이 실제로 갈릴 때, 시스템은 승자를 고르지 않습니다.
각 규범 원자(deontic atoms)는 fixed, needs_review, for_the_court 가운데 하나의 상태를 갖습니다. 마지막 상태가 핵심입니다. 독립적인 해석들이 실질에서 어긋나면, 기계는 그 불일치를 기록하고 판단을 법원에 맡깁니다. 확신 있어 보이려고 한쪽 해석을 고르지 않습니다. 상태는 독립적인 판독들의 일치에서 도출되며, 모델이 스스로에 대해 갖는 확신에서 도출되지 않습니다.
이 부분은 데모 시스템에서 재현하실 수 없으며, 우리는 꾸며 내기보다 그대로 말씀드립니다. 파이프라인을 보여 주려고 고른 다섯 개 조문에서는 실제 불일치가 나오지 않습니다. 불일치가 있는 레코드를 일부러 봉인한다면, 엔진이 찾아낸 적 없는 이견을 지어내는 셈이며, 그것이야말로 이 제품이 막으려고 존재하는 일입니다.
데모 시스템의 실체
봉인된 레코드 다섯 건, 데모 서명자, 그리고 그 사실을 인정하는 페이로드.
공개 코퍼스는 하나의 규정을 표본으로 삼아 데모 시스템으로 공개한 것이며, 기관 배포가 아닙니다. 그 봉인은 우리가 통제하는 데모 신원이 찍은 것이며, 검증기는 고객이 직접 알아내도록 두지 않고 바로 그 사실을 선언합니다. key_provenance는 pinned_demo, demo_keys는 true입니다. 응답은 custody를 unverified로, 원장을 unanchored로, 분류를 not present로 표시합니다. 이 가운데 어느 것도 결함을 공개하는 것이 아닙니다. 제품이 제대로 작동하는 모습입니다. 증명 계층의 첫 번째 임무는 자신을 어디까지 신뢰할 수 있는지 알려 주는 것입니다.
코퍼스를 가져오십시오.
Grundnorm은 Quantum Nexus Ventures FZCO의 독립 벤처이며, Nexus Legal의 기능이 아니라 자매 사업입니다. 배포는 프로젝트별로 범위를 정하고, 고객의 법률가가 이를 평가할 인수 기준도 함께 정합니다.