rUv
|
4b79444bf5
|
feat: proof-gated graph transformer with 8 verified modules
Add ruvector-graph-transformer crate with 8 feature-gated modules,
each backed by an Architecture Decision Record (ADR-046 through ADR-055):
- Proof-gated mutation: ProofGate<T>, MutationLedger, ProofScope, EpochBoundary
- Sublinear attention: O(n log n) via LSH buckets, PPR sampling, spectral sparsification
- Physics-informed: Hamiltonian dynamics, gauge equivariant MP, Lagrangian attention
- Biological: Spiking networks, Hebbian/STDP learning, dendritic branching
- Self-organizing: Morphogenetic fields, developmental programs, graph coarsening
- Verified training: Certificates, delta-apply rollback, fail-closed invariants
- Manifold: Product manifolds S^n x H^m x R^k, Riemannian Adam, Lie groups
- Temporal-causal: Causal masking, Granger causality, continuous-time ODE
- Economic: Nash equilibrium attention, Shapley attribution, incentive-aligned MPNN
Includes:
- 186 tests (163 unit + 23 integration), all passing
- WASM bindings (ruvector-graph-transformer-wasm) - published to crates.io
- Node.js NAPI-RS bindings (@ruvector/graph-transformer) - published to npm
- CI workflow for cross-platform binary builds (7 platforms)
- 10 ADRs (046-055) + 22 research documents
- Fix for #195: add commit-binaries job to build-gnn.yml
- Updated root README with graph transformer section
Published:
- crates.io: ruvector-graph-transformer v2.0.4
- crates.io: ruvector-graph-transformer-wasm v2.0.4
- npm: @ruvector/graph-transformer v2.0.4
- npm: @ruvector/graph-transformer-linux-x64-gnu v2.0.4
Co-Authored-By: claude-flow <ruv@ruv.net>
|
2026-02-25 14:24:53 +00:00 |
|
