Py Acsets Rewriting

py-acsets-rewriting

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

plurigrid/asi·0installs67stars

SKILL.md

Full skill instructions

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.

Install skill

Copy and run in your terminal

npx -y skills add https://github.com/plurigrid/asi --skill py-acsets-rewriting

View on GitHub

skills/py-acsets-rewriting/SKILL.md

modern-python
Modern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools.
1 installs
ghostty
Control Ghostty terminal emulator via CLI. Manage windows, tabs, splits, and configuration.
0 installs
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
0 installs
wev-verification
WEV Verification Skill
0 installs

More skills from plurigrid

plurigrid/asi

cargo

Rust package manager (36 subcommands).

67 0

View

plurigrid/asi

Translate Figma nodes into production-ready code with 1:1 visual fidelity using the Figma MCP workflow (design context, screenshots, assets, and project-convention translation). Trigger when the user provides Figma URLs or node IDs, or asks to implement designs or components that must match Figma...

67 0

View

plurigrid/asi

StringZilla Operations: 'strings' Skill for Plurigrid ASI

**Status**: 🌳 Production Ready (upstream in StringZilla v3+) **Type**: High-Performance String Operations / SIMD-Accelerated Text Processing **Principle**: Zero-copy views, SIMD/SWAR acceleration, deterministic hashing **Frame**: Cross-language interoperability (C, C++, Python, Rust, Go, Swift, ...

67 0

View

plurigrid/asi

conformal-ga

Conformal Geometric Algebra (CGA) for circles, spheres, and Möbius transformations

67 0

View

plurigrid/asi

spec-to-code-compliance

Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.

67 0

View

plurigrid/asi

zig-systems

Systems programming and performance optimization using Zig. Provides low-level abstractions, memory-safe compiled code, and performance benchmarking. Use for system-level operations, optimization, and interoperability with C/POSIX APIs.

67 0

View

plurigrid/asi

paypal-mcp

PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.

67 0

View

plurigrid/asi

unison

Unison language - content-addressed functional programming with abilities for effects, distributed computing, and structural types. Use for pure functional code, effect management, distributed systems, and refactoring-safe codebases.

67 0

View

plurigrid/asi

tasks-acset

Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.

67 0

View

plurigrid/asi

c

World C Skill

67 0

View

plurigrid/asi

syrup

Syrup binary serialization for OCapN/CapTP wire format. Canonical encoding for capability messages.

67 0

View

plurigrid/asi

skill-installer

Install Codex skills into $CODEX_HOME/skills from a curated list or a GitHub repo path. Use when a user asks to list installable skills, install a curated skill, or install a skill from another repo (including private repos).

67 0

View