3 projects
graphkind
GraphKind structural discovery engine: color refinement (1-WL), k-FWL, observation universes (T4 law), multilayer channel coherence, hypergraph arity dual and individualization (IR). Zero dependencies.
graphkind-harness
Benchmark harness for structural invariants: collisions and frontiers over non-isomorphic corpora, T4 across universes (standard, multilayer, hypergraph), anchors table and controls (relabeling, negative). Built on the GraphKind engine.
graphkind-wl
Color refinement (1-WL) and correlated k-FWL (equiv. (k+1)-WL) over bitmask adjacency: partitions, separation tests and T4 (complement invariance). From the GraphKind laboratory.
