malleus-dev

Malleus provides a framework for managing semantic changes in knowledge graphs with a focus on provenance, determinism, and strict validation. It ensures that every record in a graph can be traced back to its source bytes, ontology version, and the decision process that admitted it. Key capabilities include: - **Ontology-Driven Validation**: Uses LinkML to define legal vocabularies and shapes, rejecting structurally invalid writes at the time of operation. - **Deterministic Convergence**: Implements content-hashing and fingerprinting for ontologies, allowing peers to verify schema compatibility without exchanging full files. - **Pinned Logic Verification**: Integrates with SWI-Prolog to evaluate candidates against pinned rule sets, ensuring that logical constraints are met before materialization. - **Epistemic Control**: Separates proposals, monitoring assessments, and final decisions into content-addressed records to prevent ex-post selection of policies. - **Bitemporal Replay**: Supports a ledger-backed projection system that can reconstruct the state of the graph as of specific transaction and valid times, handling supersessions and retroactive changes. - **Typed-Graph Profile**: Includes a default set of primitives (Entity, Event, Signal, Agent, Relation) and mixins (Identifiable, Temporal, Describable, Statusable) to standardize domain modeling.