Asi spi-parallel-verify

Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/ies/music-topos/.opencode/skill/spi-parallel-verify" ~/.claude/skills/plurigrid-asi-spi-parallel-verify-29083b && rm -rf "$T"

manifest: ies/music-topos/.opencode/skill/spi-parallel-verify/SKILL.md

source content

SPI Parallel Verify

Use when validating that parallel, shuffled, or split execution yields identical results.

Inputs

seed, indices, precision
sources (optional): splitmix_ternary, xoroshiro_3color, gay_mcp

Workflow

Compute ordered, reversed, shuffled results.
Compute parallel split if available.
Compare at fixed precision or via hex.
Validate GF(3) per triplet.
Emit a deterministic report.

Commands (music-topos)

```
just spi-verify
```
```
just spi-gf3-parallel
```

ruby -I lib -r splitmix_ternary -e "require 'json'; puts JSON.pretty_generate(SplitMixTernary.prove_out_of_order)"

Acceptance

ordered == reversed == shuffled
parallel == sequential
gf3_ok == true
avoid float truncation of RNG state

Report fields

seed, indices, all_equal, parallel_ok, gf3_ok, precision

Example prompt

"Verify SPI and GF(3) for 3-stream triads at seed 0x42D and report determinism."