py-acsets-rewriting

Python bridge to AlgebraicRewriting.jl for DPO/SPO/SqPO graph rewriting over ACSets.

GF(3) Assignment

Trit: -1 (MINUS) - Validator/constraint role

Triad:

algebraic-rewriting(-1) ⊗ acsets-hatchery(0) ⊗ zulip-cogen(+1) = 0

Core Components

from py_acsets_rewriting import (
    PyACSet, ACSetSchema, ACSetMorphism, RewriteRule,
    RewriteType, find_homomorphisms, rewrite,
    GraphSchema, LabeledGraphSchema,
    make_edge_contraction_rule, make_vertex_duplication_rule
)

Rewrite Types

Type	Description	Gluing Condition
DPO	Double Pushout - safe deletion	Required
SPO	Single Pushout - greedy deletion	Not checked
SqPO	Sesqui-Pushout - cloning + deletion	Extended

Usage Pattern

# Create graph
G = PyACSet(GraphSchema)
vs = G.add_parts("V", 4)
for i in range(3):
    e = G.add_part("E")
    G.set_subpart(e, "src", i)
    G.set_subpart(e, "tgt", i + 1)

# Create rewriter and apply rule
rewriter = PyACSetRewriter()
rewriter.add_rule(make_edge_contraction_rule())
H = rewriter.apply("edge_contraction", G)

Rule Structure (L ← K → R)

• L: Pattern to match (left-hand side)
• K: Interface to preserve
• R: Replacement (right-hand side)
• l: K → L morphism
• r: K → R morphism

Color Integration

All ACSets receive deterministic Gay.jl colors via SplitMix64:

GAY_SEED = 0x6761795f636f6c6f
color = seed_to_color(hash(str(acset.parts)) ^ GAY_SEED)

File Location

/Users/bob/ies/py_acsets_rewriting.py

Dependencies

• py-acsets

  (pip install)
• Python 3.10+

---

Autopoietic Marginalia

The interaction IS the skill improving itself.

Every use of this skill is an opportunity for worlding:

• MEMORY (-1): Record what was learned
• REMEMBERING (0): Connect patterns to other skills
• WORLDING (+1): Evolve the skill based on use

Add Interaction Exemplars here as the skill is used.