返回 Skill 列表
extension
分类: 开发与工程无需 API Key

spi-parallel-verify

验证强并行不变性(SPI)和GF(3)守恒对于具有任意精度的三路颜色流的有效性。

person作者: jakexiaohubgithub

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

  1. Compute ordered, reversed, shuffled results.
  2. Compute parallel split if available.
  3. Compare at fixed precision or via hex.
  4. Validate GF(3) per triplet.
  5. 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."