What is Structural Rewilding in the context of A-Life?

It is a framework that treats 'life' as the topology of changes (diffs) a system can undergo rather than just its current state, utilizing Homotopy Type Theory to ensure these changes are coherent.

How does interaction-time verification work?

Unlike static type checking, verification occurs during the interaction via Narya bridge types, which act as computational proofs that a structural change (like a mutation) preserves the system's intended behavior.

What are the three vectors of change?

The three vectors are Behavioral (δB: state evolution), Structural (δS: type/form mutation), and Bridge (δC: the 2-cell verifying that the structural change preserves behavioral coherence).

Can this be used for LLM agent coordination?

Yes, it is used for Semantic Substrates like 'Societies of Mind' where agent protocols or modules can be added or removed dynamically while maintaining semantic consistency.

What is the role of GF(3) in this skill?

GF(3) logic is used to ensure conservation across the three change vectors, ensuring that the sum of the behavioral, structural, and bridge 'trits' remains balanced and valid.

Structural Rewilding (A-Life Framework)

Name: Structural Rewilding (A-Life Framework)
Author: plurigrid

byplurigrid

数据科学与机器学习

Implements a homotopical framework for Artificial Life that treats organisms as morphisms and verifies structural changes at interaction time.

关于

Structural Rewilding is a specialized Claude Code Skill that applies homotopy type theory to Artificial Life systems, viewing 'life' as the topology of transitions (diffs) rather than static states. By utilizing the Narya bridge-type system and three-vector analysis (Behavioral, Structural, and Bridge), it enables developers to create self-organizing systems that evolve their topology while maintaining functional coherence. This skill is essential for researchers and engineers working on hierarchical cellular automata, modular LLM societies, and liquid digital circuits where stability must be proven during runtime interactions through computational proofs.

主要功能

Interaction-time verification using Narya bridge types for dynamic systems.
Orthogonal change vector analysis (Behavioral, Structural, and Bridge).
Automated bridge construction for skill-graph transitivity and skill interrelation.
Support for continuous, semantic, and discrete substrates like H-Lenia and LLM agents.
GF(3) triadic conservation auditing to ensure compositional coherence.
0 GitHub stars

使用场景

Designing self-organizing digital circuits that dynamically rewire around damage while preserving I/O logic.
Developing hierarchical continuous cellular automata (H-Lenia) with evolving spatial dimensions.
Building modular LLM agent societies where protocols evolve without breaking agent identity.

关于

主要功能

Interaction-time verification using Narya bridge types for dynamic systems.
Orthogonal change vector analysis (Behavioral, Structural, and Bridge).
Automated bridge construction for skill-graph transitivity and skill interrelation.
Support for continuous, semantic, and discrete substrates like H-Lenia and LLM agents.
GF(3) triadic conservation auditing to ensure compositional coherence.
0 GitHub stars

使用场景

Designing self-organizing digital circuits that dynamically rewire around damage while preserving I/O logic.
Developing hierarchical continuous cellular automata (H-Lenia) with evolving spatial dimensions.
Building modular LLM agent societies where protocols evolve without breaking agent identity.