Asi say-ducklake-xor
Parallel thread/DuckLake discovery with XOR uniqueness from gay_seed. Finds "say" or MCP usage, cross-refs with all DuckDB sources, launches bounded parallel ops.
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/skills/say-ducklake-xor" ~/.claude/skills/plurigrid-asi-say-ducklake-xor-e56e34 && rm -rf "$T"
manifest:
skills/say-ducklake-xor/SKILL.mdsource content
Say-DuckLake XOR Discovery
Maximally parallel discovery with deterministic uniqueness guarantees.
Core Invariants
∀ i,j ∈ [0, bound): i ≠ j ⟹ seed ⊕ i ≠ seed ⊕ j (XOR uniqueness) ∀ parallel ops: same gay_seed ⟹ same colors (SPI guarantee) Σ(trits) ≡ 0 (mod 3) (GF(3) conservation)
Usage
# Find all "say" usage in threads, cross-ref with DuckLakes python scripts/say_ducklake_xor.py # With explicit seed and parallelism bound python scripts/say_ducklake_xor.py --seed 1069 --bound 27 # XOR verification mode python scripts/say_ducklake_xor.py --verify-xor
Architecture
┌─────────────────────────────────────────────────────────────┐ │ gay_seed (root) │ ├─────────────────────────────────────────────────────────────┤ │ XOR Fan-Out (bounded) │ │ ┌─────────┐ ┌─────────┐ ┌─────────┐ ┌─────────┐ │ │ │seed⊕0 │ │seed⊕1 │ │seed⊕2 │ ... │seed⊕n-1 │ │ │ │(thread) │ │(duck_0) │ │(duck_1) │ │(duck_n) │ │ │ └────┬────┘ └────┬────┘ └────┬────┘ └────┬────┘ │ │ │ │ │ │ │ │ ▼ ▼ ▼ ▼ │ │ ┌─────────────────────────────────────────────────────┐ │ │ │ Parallel Executor (async) │ │ │ │ - Thread search: find_thread("say" OR "say mcp") │ │ │ │ - DuckDB scan: SHOW TABLES for each .duckdb │ │ │ │ - Cross-reference: match concepts/timestamps │ │ │ └─────────────────────────────────────────────────────┘ │ │ │ │ │ ▼ │ │ ┌─────────────────────────────────────────────────────┐ │ │ │ GF(3) Conservation Check │ │ │ │ Σ(trits) mod 3 = 0 ⟹ valid parallel merge │ │ │ └─────────────────────────────────────────────────────┘ │ └─────────────────────────────────────────────────────────────┘
XOR Uniqueness Proof
For bound
n parallel operations from seed:
def xor_unique(seed: int, bound: int) -> bool: """XOR with distinct indices yields distinct seeds.""" seen = set() for i in range(bound): derived = seed ^ i if derived in seen: return False # Collision! seen.add(derived) return True # Always true for i,j < 2^64 and i ≠ j: # seed ⊕ i = seed ⊕ j ⟹ i = j (XOR cancellation)
DuckLake Sources
Auto-discovered from
~/ies/**/*.duckdb:
| Source | Purpose | Trit |
|---|---|---|
| Derivation chains, GF(3) invariants | 0 |
| Amp thread archive | +1 |
| Book/paper downloads | -1 |
| Scheme eggs metadata | 0 |
| Bibliography entries | +1 |
Thread Patterns
Searches for threads containing:
- macOS TTS usagesay
- MCP tool with speechsay mcp
- Skill usagesay-narration
- Voice specificationsay -v
Integration with PigeonsGayBridge
using .PigeonsGayBridge # XOR fan-out with SPI guarantee seeds = [GAY_SEED ⊻ UInt64(i) for i in 0:26] chains = [unworld_chain(s, 10) for s in seeds] # All chains have deterministic colors # Cross-machine reproducibility via SPI
Cross-Reference Schema
CREATE TABLE say_ducklake_xor ( xor_index INTEGER PRIMARY KEY, seed UBIGINT NOT NULL, source_type VARCHAR(10), -- 'thread' or 'duckdb' source_id VARCHAR(64), trit TINYINT, hex VARCHAR(7), matched_at TIMESTAMP DEFAULT CURRENT_TIMESTAMP, UNIQUE(seed) -- XOR guarantees uniqueness );
Bounded Parallelism
import asyncio from concurrent.futures import ThreadPoolExecutor async def parallel_xor_discovery(seed: int, bound: int): """Launch bounded parallel ops with XOR uniqueness.""" loop = asyncio.get_event_loop() with ThreadPoolExecutor(max_workers=min(bound, 8)) as executor: futures = [ loop.run_in_executor(executor, discover_one, seed ^ i, i) for i in range(bound) ] results = await asyncio.gather(*futures) # Verify GF(3) conservation trits = [r['trit'] for r in results] assert sum(trits) % 3 == 0, "GF(3) drift detected" return results
References
- PigeonsGayBridge.jl - SPI via unworld dynamics
- ducklake_discover.py - Discovery patterns
- SUBOBJECT_CLASSIFIER_RECURRENCES.md - Recurrence types