From asi
Verifies multiple effect interpretations through propagator networks using temporal coalgebra bisimulation and common fixpoint solutions. For constraint propagation and effect coordination in Clojure systems.
npx claudepluginhub plurigrid/asi --plugin asiThis skill uses the workspace's default tool permissions.
> *"Multiple meanings flow through constraint networks to common solutions"*
Implements coalgebraic observation of derivation streams with final coalgebra bisimulation to verify behavioral equivalence of systems via Ruby gadgets.
Guides Next.js Cache Components and Partial Prerendering (PPR) with cacheComponents enabled. Implements 'use cache', cacheLife(), cacheTag(), revalidateTag(), static/dynamic optimization, and cache debugging.
Guides building MCP servers enabling LLMs to interact with external services via tools. Covers best practices, TypeScript/Node (MCP SDK), Python (FastMCP).
Share bugs, ideas, or general feedback.
"Multiple meanings flow through constraint networks to common solutions"
Status: NOT IN plurigrid/asi (local only) Trit: 0 (ERGODIC - coordinator) Color: #26D826 (Green) Principle: Effect polysimy → Propagation → Bisimulation → Common fixpoint
Polysimy = multiple effect interpretations coexisting in a cell/channel. Effect chains = sequences of transformations through propagator networks. Common solution = fixpoint where all polysemic interpretations converge.
This skill bridges:
propagators (+1) - bidirectional constraint flowpolysimy-effect-chains (0) - effect coordinationtemporal-coalgebra (-1) - bisimulation verificationCells that hold multiple effect interpretations simultaneously:
{:id :cell-a
:effects [{:type :generate :transform inc}
{:type :coordinate :transform #(* % 2)}
{:type :validate :transform identity}]
:value 20
:trit 0}
Effects compose through the cell, creating a derivation stream:
init(10) → generate(inc) → coordinate(*2) → validate(id) → 22
Two effect chains have a common solution iff they are bisimilar:
bisimilar?(chain-a, chain-b) ⟺
observe(chain-a).head == observe(chain-b).head ∧
effects-count(chain-a) ≡ effects-count(chain-b) (mod 3)
(require '[polysimy-effect-chains :as pec])
;; Create polysemic cell
(def cell (pec/make-cell :my-cell {:trit 0}))
;; Chain effects
(def chain-a
(-> cell
(pec/chain {:type :generate :init 10 :f inc})
(pec/chain {:type :coordinate :f #(* % 2)})
(pec/chain {:type :validate :f identity})))
;; Verify common solution
(pec/find-common-solution chain-a chain-b)
;; => {:bisimilar true
;; :common-value 22
;; :gf3-conserved true}
Forms valid triads:
propagators (+1) ⊗ polysimy-effect-chains (0) ⊗ temporal-coalgebra (-1) = 0 ✓
gay-mcp (+1) ⊗ polysimy-effect-chains (0) ⊗ sheaf-cohomology (-1) = 0 ✓
For temporary (intermediate) verification before full fixpoint:
(defn verify-temporary [cells depth]
(loop [d 0]
(when (< d depth)
(let [obs (map observe cells)]
(if (all-bisimilar? obs)
{:status :bisimilar-at-depth :depth d}
(recur (inc d)))))))
# Verify effect chain bisimulation
just polysimy-verify chain-a chain-b
# Find common solution
just polysimy-common [cells...]
# Temporary verification to depth N
just polysimy-temp-verify 10
This skill relates to other local-only skills not in plurigrid/asi:
| Skill | Relation |
|---|---|
discrete-backprop | Backward effect propagation |
dynamic-sufficiency-goblin | Effect sufficiency checking |
skill-bonds | Effect chain bonding |
ultrametric-distance | Effect distance measurement |
$$\text{Poly}(C) = \sum_{e \in \text{Effects}} e \circ C$$
Multiple effects acting on the same cell carrier.
$$X / {\sim} \cong \text{codom}(\text{anamorphism to } \nu F)$$
Cells are equivalent iff they unfold to the same infinite stream.
$$\exists \text{common} \iff H^0(\mathcal{U}, \mathcal{F}) \neq \emptyset$$
A common solution exists iff the zeroth cohomology is non-empty.
Skill Name: polysimy-effect-chains Type: Effect Coordination Trit: 0 (ERGODIC) NOT IN: plurigrid/asi (should be committed) GF(3): Coordinates between generators and validators