Version 0.9.4

This is a beta release introducing numerous new features, following version 0.9.2.

🚀 Context: The 0.9.x series

Version 0.9.0 was a major milestone supported by a Wikimedia Rapid Fund.
For details on the architecture and the full grant report, please see:
👉 Full 0.9.0 Grant Report

📦 Changes in v0.9.4

• New Commands & Query Enhancements:
  • Added .stat for network statistics (nodes, RAM, languages, rules).
  • Added .run-file & .decode to export deduced facts (reversed order, compressed for Wikidata).
  • Added .save / .load / .import for binary network state and script loading.
  • Added .prune-facts & .prune-nodes for targeted data removal.
  • Added .list-predicate-value-usage for detailed predicate statistics.
  • Extended query syntax to support multiple conditions (comma-separated).
• Visualization & UX:
  • Migrated from Graphviz to Mermaid (.mermaid command) for interactive graphs.
  • Improved node details (.node, .out, .in) with better name resolution.
• Performance & Memory:
  • Multithreaded unification for faster inference.
  • Switched serialization to Cap'n Proto (faster, 50% smaller binaries).
  • Added memory-optimized adjacency_set.
  • Reduced peak RAM usage and fixed hash collisions in node naming.
• Wikidata & Import:
  • Support for compressed .json.bz2 files.
  • Fixed ambiguous names and duplicate extensions.
  • Removed deprecated .wikidata-index command.
• Build & CI:
  • Improved and adapted Windows/macOS/Linux builds in GitHub Actions to new dependencies.
• Documentation:
  • Updated README.md with new installation instructions (Arch AUR, Homebrew, Chocolatey).
  • Added pages for mereology violations and disjointness checks.

---

Binaries for Windows, Linux, and macOS are automatically attached below.