plurigrid/spi-parallel-verify
ies/music-topos/.claude-marketplaces/topos-skills/plugins/topos-skills/skills/spi-parallel-verify/SKILL.md
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
$ install --global
skillsauthnpx skillsauth add plurigrid/asi spi-parallel-verifyInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Apr 11, 2026, 2:42 AM74.8s1 file scanned
SKILL.md
- name:
- spi-parallel-verify
- description:
- Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
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-verifyjust spi-gf3-parallelruby -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."
Related Skills
plurigrid/bdd-mathematical-verification
development
VerifiedTrustedCommunity
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpec for implementation verification - mathpix-gem for LaTeX/mathematical content extraction - Pattern matching on syntax trees for formula validation Enables iterative discovery and verification of mathematical properties through executable specifications.
16SKILL.mdUpdated Apr 11, 2026
plurigrid/Skill Maker: AI Skill Factory for Tools
tools
VerifiedTrustedCommunity
Meta-skill that generates domain-specific AI skills from tool documentation
16SKILL.mdUpdated Apr 11, 2026
plurigrid/CQ-AI: Deterministic Security Scanning with Ternary Polarity
development
VerifiedTrustedCommunity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
16SKILL.mdUpdated Apr 11, 2026
plurigrid/yoneda-directed
development
VerifiedTrustedCommunity
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
16SKILL.mdUpdated Apr 11, 2026