v0.23.1

Graphenium 0.23.1

• Planned-edge compliance and MCP post-edit verification
• 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