프로젝트 소개

Malleus는 provenance, determinism 및 엄격한 validation을 중심으로 지식 그래프의 semantic change를 관리하는 framework입니다. 그래프의 모든 record를 원본 bytes, ontology version, 그리고 해당 record를 승인한 decision process까지 추적할 수 있도록 합니다. 주요 기능: - **Ontology-driven validation**: LinkML로 허용된 vocabulary와 shape를 정의하고, 작업 시점에 구조적으로 잘못된 write를 거부합니다. - **Deterministic convergence**: ontology의 content hashing과 fingerprinting을 사용해 전체 파일을 교환하지 않고도 peer가 schema 호환성을 확인할 수 있습니다. - **Pinned logic verification**: materialization 전에 pinned rule set에 따라 후보를 평가하도록 SWI-Prolog를 통합합니다. - **Epistemic control**: proposal, monitoring assessment 및 final decision을 content-addressed record로 분리해 사후적인 정책 선택을 방지합니다. - **Bitemporal replay**: ledger-backed projection system으로 특정 transaction time과 valid time의 그래프 상태를 재구성하고 supersession과 retroactive change를 처리합니다. - **Typed-graph profile**: Entity, Event, Signal, Agent, Relation primitive와 Identifiable, Temporal, Describable, Statusable mixin을 기본 제공해 domain modeling을 표준화합니다.