Skip to content

v0.24.0

Choose a tag to compare

@github-actions github-actions released this 06 Nov 08:25
· 11 commits to main since this release

Graphenium 0.24.0

  • Planned-edge compliance and MCP post-edit verification
  • Cross-file call disambiguation, unique module IDs, and physical policy re-checks
  • Lightweight harness builds via mcp/watch/semantic feature gates
  • MCP server with 12 cohesive structural containment, Datalog, and planning tools
  • Behavioral routing guidance in consolidated MCP tool schemas
  • AST + Stack Graphs extraction for 9 languages with import-scoped call disambiguation
  • Embedded goal-directed Datalog engine with first-column hash indexing
  • Lean 4 proof-gap auditing and formal-verification Datalog predicates
  • Recursive C# (.sln / .csproj) assembly boundary discovery
  • Zero-Drift Topological Delta Gating (Louvain ΔQ + surprise edge profiling)
  • gm check, gm gate, and gm doctor CI governance commands

Install

cargo install graphenium