polyglot-spi

polyglot-spi

Cross-Language Strong Parallelism Invariance Verification

Version: 1.1.0 (music-topos enhanced) Trit: -1 (Validator - verifies cross-language consistency) Bundle: verification

Overview

Polyglot-SPI verifies that the SPI seed 0xf061ebbc2ca74d78 produces identical color sequences across all supported languages. This ensures deterministic parallel execution regardless of runtime.

The SPI Invariant

GAY_SEED = 0x598F318E2B9E884
splitmix64(GAY_SEED) → 0xf061ebbc2ca74d78 (index 0)

This value MUST be identical in all 15+ languages.

Language Implementations

Julia (Reference)

# Gay.jl/src/kernels.jl
function splitmix64(state::UInt64)
    state += 0x9E3779B97F4A7C15
    z = state
    z = (z ⊻ (z >> 30)) * 0xBF58476D1CE4E5B9
    z = (z ⊻ (z >> 27)) * 0x94D049BB133111EB
    z ⊻ (z >> 31)
end

@assert splitmix64(UInt64(0x598F318E2B9E884)) == 0xf061ebbc2ca74d78

Python

def splitmix64(state: int) -> tuple[int, int]:
    """Reference SplitMix64 implementation."""
    state = (state + 0x9E3779B97F4A7C15) & 0xFFFFFFFFFFFFFFFF
    z = state
    z = ((z ^ (z >> 30)) * 0xBF58476D1CE4E5B9) & 0xFFFFFFFFFFFFFFFF
    z = ((z ^ (z >> 27)) * 0x94D049BB133111EB) & 0xFFFFFFFFFFFFFFFF
    return state, (z ^ (z >> 31)) & 0xFFFFFFFFFFFFFFFF

GAY_SEED = 0x598F318E2B9E884
_, value = splitmix64(GAY_SEED)
assert value == 0xf061ebbc2ca74d78

Ruby

# lib/spi_verify.rb
module SPIVerify
  GAY_SEED = 0x598F318E2B9E884
  EXPECTED = 0xf061ebbc2ca74d78
  
  def self.splitmix64(state)
    state = (state + 0x9E3779B97F4A7C15) & 0xFFFFFFFFFFFFFFFF
    z = state
    z = ((z ^ (z >> 30)) * 0xBF58476D1CE4E5B9) & 0xFFFFFFFFFFFFFFFF
    z = ((z ^ (z >> 27)) * 0x94D049BB133111EB) & 0xFFFFFFFFFFFFFFFF
    (z ^ (z >> 31)) & 0xFFFFFFFFFFFFFFFF
  end
  
  def self.verify!
    result = splitmix64(GAY_SEED)
    raise "SPI mismatch: got #{result.to_s(16)}" unless result == EXPECTED
    puts "✓ Ruby SPI verified"
  end
end