Skip to content

Add say-ukrainian skill v1.2.0#73

Open
zubyul wants to merge 64 commits intomainfrom
say-ukrainian-v1.2.0
Open

Add say-ukrainian skill v1.2.0#73
zubyul wants to merge 64 commits intomainfrom
say-ukrainian-v1.2.0

Conversation

@zubyul
Copy link
Contributor

@zubyul zubyul commented Feb 22, 2026

Summary

  • New say-ukrainian skill: foreign (non-Ukrainian) macOS TTS voices speak Ukrainian as counterfactual narration
  • scripts/patch-singles.sh: replaces standalone single Cyrillic letters with phonetic Latin sounds before TTS, preventing "cyrillic letter X" announcements while keeping all Cyrillic words intact
  • Examples from Richard Siken's Litany in Which Certain Things Are Crossed Out (Crush, Yale, 2005) with tested voice assignments across GF(3) trit classes

Details

  • Cyrillic-first policy: feed Cyrillic to TTS, only patch isolated single-letter tokens (і→ee, у→oo, з→z, etc.)
  • Voice Cyrillic support (empirically tested): Ava (Premium), Nathan (Enhanced), Samantha (Enhanced) handle Cyrillic words; Alice, Federica, Emma, Paola need full Latin transliteration
  • GF(3) conservation: say-ukrainian (+1) ⊗ say-narration (-1) ⊗ open-games (0) = 0
  • Trit: +1 (PLUS), Color: #FFD700

Test plan

  • Run echo "річ із вершків і зірок" | scripts/patch-singles.sh — verify only standalone і is patched to ee, words untouched
  • say -v "Ava (Premium)" "Чорне небо поколоте дрібними вогниками" — verify no letter-name announcements
  • say -v "Alice (Enhanced)" "Rozplyooshchooyesh ochee" — verify Latin fallback produces intelligible Ukrainian sounds

🤖 Generated with Claude Code

zubyul and others added 30 commits December 25, 2025 22:36
Co-authored-by: alice <alice@2-monad.fios-router.home>
- asi-agent-orama: Rama + ASI triadic orchestration bridge
- discopy-operads: DisCoPy operadic categorical string diagrams
- hyjax-relational: Hy + JAX relational programming
- nerv: Babashka nerve notification system
- pre-agent-ontology: 5-layer pre-agent ontological foundation
- skill-installer: Install skills from curated list or repos

Co-authored-by: alice <alice@2-monad.fios-router.home>
* feat(skills): add ASI extension skills

- asi-agent-orama: Rama + ASI triadic orchestration bridge
- discopy-operads: DisCoPy operadic categorical string diagrams
- hyjax-relational: Hy + JAX relational programming
- nerv: Babashka nerve notification system
- pre-agent-ontology: 5-layer pre-agent ontological foundation
- skill-installer: Install skills from curated list or repos

* feat(skills): add catsharp-sonification with Modelica model

CatSharp Sonification Skill:
- Sonify GF(3) color streams via sox (no voice synthesis)
- Modelica acausal model (catsharp.mo) replaces Wolfram/Wolframite
- Python and Babashka implementations
- Maps Gay.jl colors → hue → pitch class → frequency → tone

Galois Chain:
  seed ⊣ γ ⊣ color ⊣ hue ⊣ pitch ⊣ freq ⊣ tone

Mappings:
- Hue 0-60°, 300-360° → +1 PLUS (sine)
- Hue 60-180° → 0 ERGODIC (triangle)
- Hue 180-300° → -1 MINUS (square)
- 30° per semitone (chromatic scale)

GF(3) Conservation: Σ trits ≡ 0 (mod 3)

Trit: 0 (ERGODIC - bridges color and sound)

---------

Co-authored-by: alice <alice@2-monad.fios-router.home>
…heory (#7)

New Skills:
- covariant-modification (0): Unified skill modification with covariant transport,
  Darwin Gödel Machine evolution, and MCP Tasks self-rewriting
- catsharp-galois (0): CatSharp Scale Galois Connections between agent-o-rama
  and Plurigrid ACT via Mazzola's categorical music theory
- topos-of-music (+1): Guerino Mazzola's mathematical music theory with Forms,
  Denotators, Morphisms, and Neo-Riemannian PLR operations
- gay-integration (-1): Gay.jl integration for bisimulation games with proper
  hue-based trit derivation and GF(3) conservation

GF(3) Conservation:
  covariant-modification (0) forms balanced triads with:
  - covariant-fibrations (-1) + codex-self-rewriting (+1) = 0 ✓
  - temporal-coalgebra (-1) + self-evolving-agent (+1) = 0 ✓

Thread References:
  - T-019b52aa-c84f (current synthesis)
  - T-019b5197-5e59 (autopoiesis formalization)
  - T-019b528c-c94c (multi-agent deployment)
  - T-019b527a-b976 (ordered locale)

Seed: 0x42D
Amp-Thread-ID: https://ampcode.com/threads/T-019b52aa-c84f-76a0-9239-9b14831aa25c

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: Amp <amp@ampcode.com>
XIP Color: #4857D5
Gay.jl Index: 8
Role: SLAVE (-1)

This skill validates all skills in the repository for:
- GF(3) conservation across triads
- Deterministic Gay.jl color assignment
- Role consistency (GAY/MASTER/SLAVE)

Triad 3: PR#7 (GAY +1) + PR#8 (SLAVE -1) + PR#9 (MASTER 0) = 0 ✓

Part of bisimulation game prediction for plurigrid/asi trajectory.

Amp-Thread-ID: https://ampcode.com/threads/T-019b536c-c4db-7518-b15a-abfb025192a2

Co-authored-by: Gay Color Mining <gay@worm.sex>
* feat: Add 4 novel PSI skills with GF(3) conservation

Skills added:
- glass-hopping (trit=0): Synthesis of glass-bead-game + world-hopping + ordered-locale
- ordered-locale (trit=+1): Heunen-van der Schaaf 2024 point-free topology
- geiser-chicken (trit=-1): Chicken Scheme REPL with GF(3) coloring
- plurigrid-asi-integrated (trit=0): Unified PSI orchestrator

GF(3) Conservation: (0) + (+1) + (-1) + (0) = 0 ✓

Derived from Open Game analysis of competing worldlines:
- T-c15d (MINUS): Skill gap validation
- T-d81f (ERGODIC): Geometric morphism mapping
- T-fcc9 (PLUS): PR generation

Co-authored-by: MINUS-agent <minus@plurigrid.xyz>
Co-authored-by: ERGODIC-agent <ergodic@plurigrid.xyz>
Co-authored-by: PLUS-agent <plus@plurigrid.xyz>

* feat: add 8 novel PSI skills + COMPETING_WORLDS_ANALYSIS

Novel skills added:
- plurigrid-asi-integrated: Master GF(3) skill orchestrator
- random-walk-fusion: Deterministic skill graph navigation
- alife: ALIFE2025 proceedings + classic texts (337 pages)
- depth-search: Multi-source research orchestration
- exo-distributed: Apple Silicon LLM cluster inference
- mlx-apple-silicon: Native M-series local LLM generation
- say-narration: Voice identity with NextColor GF(3)
- tree-sitter: AST-based code analysis

ERGODIC collision fixes:
- unwiring-arena: ERGODIC(0) → PLUS(+1)
- bisimulation-game: added trit: -1 (MINUS)

Game-theory triad now balanced:
  bisimulation-game(-1) + open-games(0) + unwiring-arena(+1) = 0 ✓

Ruler config updated with Rule -1:
  npx ai-agent-skills install plurigrid/asi (on each session)

Thread: T-019b541c-9d62-718c-9c54-d8e50eeddf95
Amp-Thread-ID: https://ampcode.com/threads/T-019b541c-9d62-718c-9c54-d8e50eeddf95
Co-authored-by: Amp <amp@ampcode.com>

* feat: add 5 new skills from agent-o-rama

Skills added:
- finder-color-walk: GF(3) color walk with SPI verification
- ruler-maximal: Maximum skill utilization with GF(3) triplets
- mruler: Ruler skill for agent propagation
- wev-orderless: World Extractable Value orderless execution
- local-compositionality-gadget: Local composition patterns

All skills maintain GF(3) conservation (Σ ≡ 0 mod 3)

Amp-Thread-ID: https://ampcode.com/threads/T-019b5873-1e94-74ff-bae7-a926aebf8f56
Co-authored-by: Amp <amp@ampcode.com>

---------

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: MINUS-agent <minus@plurigrid.xyz>
Co-authored-by: ERGODIC-agent <ergodic@plurigrid.xyz>
Co-authored-by: PLUS-agent <plus@plurigrid.xyz>
Co-authored-by: Amp <amp@ampcode.com>
## SCUM Score Skill (-1 trit)
- System Consumer Utilization Metrics for process monitoring
- SCUM formula: 0.6*(cpu%) + 0.3*(mem%)
- GF(3) classification: +1 SCUM (>0.35), 0 WATCH, -1 IDLE
- Kill/throttle recipes for resource hogs
- Tested: killed WebKit process consuming 100% CPU

## Resource Sharing Skill (0 trit)
- GF(3) balanced load distribution across machines
- PLUS nodes shed load, MINUS nodes accept load
- Integration with LocalSend and Tailscale mesh
- Babashka monitoring scripts included

Both skills maintain GF(3) conservation invariant:
  scum-score(-1) + resource-sharing(0) + [generator skill](+1) = 0


Amp-Thread-ID: https://ampcode.com/threads/T-019b544d-6d9c-75b9-b5f6-3b191d3236b5

Co-authored-by: alice <alice@2-monad.fios-router.home>
Co-authored-by: Amp <amp@ampcode.com>
SCUM (System Consumption Utilization Monitor) with Libkind-style
compositional resource management and GF(3) classification.

Features:
- SCUM score calculation (MEM/CPU/TIME weighted)
- GF(3) trit classification (HEALTHY/MONITOR/TERMINATE)
- Parallel process termination
- Pattern-based filtering
- Dry-run mode for safety
- ACSet schema for process topology

Reclaims memory from resource hogs with surgical precision.

Co-authored-by: alice <alice@2-monad.fios-router.home>
Add 10 new skills for Google Workspace automation with formal invariants:

## New ACSet Skills
- workspace-unified: Master coordination skill for all workspace services
- gmail-anima: Gmail ACSet with triadic queue routing
- drive-acset: Drive file operations with GF(3) typing
- calendar-acset: Calendar event management
- tasks-acset: Task list operations
- docs-acset: Document operations

## Supporting Skills
- anima-theory: ANIMA fixed-point detection theory
- narya-proofs: Before/after/delta tracking for version control
- mcp-spec-checker: MCP specification verification
- triadic-skill-orchestrator: GF(3) role assignment for skill triplets

## Key Features
- GF(3) Conservation: Σ trits ≡ 0 (mod 3)
- Strong Parallelism Invariance (SPI)
- Cross-skill morphisms (thread→file, event→task)
- Narya compatibility for all skills
- Formal denotations and invariant sets

Related: redplanetlabs/agent-o-rama#258

Co-authored-by: alice <alice@2-monad.fios-router.home>
L4 Admissible Skills (GF(3) typed, documented, compositional):

Core Bundles:
- gworkspace-mcp (0): Google Workspace MCP with causal poset
- chromatic-walk (0): 3-agent parallel exploration
- shadow-goblin (-1): Subagent observation tracing
- world-runtime (+1): Firecracker microVM execution

KBG Third (Kleppmann-Bumpus-Gay):
- time-travel-crdt (-1): Eg-walker event graph merge
- haskell-diagrams (0): Tsillerson automata visualization

Cybernetic Bundle:
- cybernetic-immune (0): Self/Non-Self via reafference
- criticality-detector (0): BKT phase classification
- rg-flow-acset (0): Powers PCT + XY model

∞-Category Bundle:
- infinity-operads (0): Dendroidal Segal spaces
- koopman-generator (+1): Dynamics from observables
- lhott-cohesive-linear (0): Schreiber cohesive modalities

Excellence Bundle:
- refuse-mediocrity (+1): Demand unreasonable quality
- excellence-gradient (-1): Measure toward optimal

Finance Bundle:
- world-extractable-value (0): WEV = PoA - 1
- multiversal-finance (+1): Prediction markets on (seed, index)

Geography Bundle:
- duckdb-spatial (0): H3/geohash spatial SQL
- osm-topology (-1): Network validation
- geodesic-manifold (0): Great circle geometry

All skills include:
- GF(3) trit assignment
- Neighbor awareness (left/right in braid)
- Canonical triads summing to 0

Amp-Thread-ID: https://ampcode.com/threads/T-019b5503-f8be-72df-8994-9b6e24b26363

Co-authored-by: Gay Color Mining <gay@worm.sex>
Co-authored-by: Amp <amp@ampcode.com>
Skills added:
- anoma-intents: Anoma intent-centric architecture
- bmorphism-interactome: GitHub interactome explorer
- concatenative: Forth/Factor/Joy stack-based programming
- dynamic-sufficiency: Lyapunov stability, ε-machine
- enzyme-autodiff: Enzyme AD integration
- juvix-intents: Juvix compilation for intents
- möbius-color-duality: Möbius inversion for Gay.jl
- playwright-unworld: Browser automation with worlds
- propagators: Propagator networks
- reversible-computing: Janus reversible programming
- storage-reclaim: Disk space recovery
- topos-adhesive-rewriting: Adhesive categories
- topos-catcolab: CatColab integration
- triadic-skill-loader: GF(3) skill routing
- worldmat-tidar: 3×3×3 TiDAR matrix

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
- Identifies hub skills with highest neighbor connectivity
- narya-proofs, bisimulation-game, ordered-locale top hubs (5 refs each)
- GF(3) triadic routing via hub-spoke pattern
- Babashka graph analyzer for connectivity metrics
- Narya counterfactual diffing for skill evolution
- libghosty VT integration for auto-formalizing society
- Emacs/.el integration via skill-connectivity-hub.el

Hub Skills: narya-proofs, bisimulation-game, ordered-locale,
           sheaf-cohomology, topos-generate

GF(3) Triads:
  narya-proofs(-1) ⊗ ordered-locale(0) ⊗ gay-mcp(+1) = 0 ✓
  sheaf-cohomology(-1) ⊗ dialectica(0) ⊗ topos-generate(+1) = 0 ✓
- Seth Frey (UC Davis) composing games into institutions
- Michael Zargham (BlockScience) cadCAD governance
- Jules Hedges (Strathclyde) open games categorical theory
- 26-letter world wallets (A-Z) with triadic segmentation
- GF(3) triadic skill forcing: MINUS/ERGODIC/PLUS
- Babashka/NBB integration for world balance queries
- Swift Sendable semantics for actor isolation
- Ruler enforcement for skill loading rules
Gay.jl deterministic color from thread seed
Thread: T-019b5e16-f9ad-773c-b2ef-ae65bc084748
SplitMix64 → hue 158° → neutral/coordinator trit
Automated fix using fix-codex-skills.bb script.
All skills now have proper frontmatter with name, description, version.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
…0251226'

# Conflicts:
#	.claude-plugin/marketplace.json
#	.github/workflows/validate.yml
#	README.md
#	ies/fermyon_agents/src/dashboard.rs
#	ies/fermyon_agents/src/jit_compilation.rs
#	ies/fermyon_agents/src/lib.rs
#	ies/fermyon_agents/src/transduction_2tdx.rs
#	ies/music-topos/.agents/AGENTS.md
#	ies/music-topos/.agents/skills/influence-propagation/SKILL.md
#	ies/music-topos/.codex/mcp.json
#	ies/music-topos/.codex/skills/borkdude/SKILL.md
#	ies/music-topos/.codex/skills/gay-mcp/SKILL.md
#	ies/music-topos/.codex/skills/localsend-mcp/SKILL.md
#	ies/music-topos/.codex/skills/three-match/SKILL.md
#	ies/music-topos/.codex/skills/unworld/SKILL.md
#	ies/music-topos/.flox/env/manifest.toml
#	ies/music-topos/.mcp.json
#	ies/music-topos/.ruler/AGENTS.md
#	ies/music-topos/.ruler/skills/acsets/SKILL.md
#	ies/music-topos/.ruler/skills/discohy-streams/skill.md
#	ies/music-topos/.ruler/skills/gay-mcp/SKILL.md
#	ies/music-topos/.ruler/skills/reafference-corollary-discharge/SKILL.md
#	ies/music-topos/PHASE_3_COMPLETION_REPORT.md
#	ies/music-topos/README.md
#	ies/music-topos/agents/automatic_remediation.jl
#	ies/music-topos/agents/comprehension_discovery.jl
#	ies/music-topos/agents/navigation_caching.jl
#	ies/music-topos/features/step_definitions/reafference_steps.rb
#	ies/music-topos/flox.toml
#	ies/music-topos/justfile
#	ies/music-topos/lean4/MusicTopos.lean
#	ies/music-topos/lean4/MusicTopos/Basic.lean
#	ies/music-topos/lean4/MusicTopos/GaloisDerangement.lean
#	ies/music-topos/lean4/lake-manifest.json
#	ies/music-topos/lean4/lakefile.lean
#	ies/music-topos/lean4/lean-toolchain
#	ies/music-topos/lib/color_harmony_peg.jl
#	ies/music-topos/lib/crdt_memoization/core.jl
#	ies/music-topos/lib/harmonic_function.rb
#	ies/music-topos/lib/learnable_plr_network.jl
#	ies/music-topos/lib/plr_color_lattice.jl
#	ies/music-topos/lib/plr_crdt_bridge.jl
#	ies/music-topos/lib/preference_learning_loop.jl
#	ies/music-topos/m5_unworld_poc.go
#	skills.json
#	skills/abductive-repl/SKILL.md
#	skills/acsets-relational-thinking/SKILL.md
#	skills/acsets/SKILL.md
#	skills/agent-o-rama/SKILL.md
#	skills/algorithmic-art/SKILL.md
#	skills/alife/SKILL.md
#	skills/anima-theory/SKILL.md
#	skills/anoma-intents/SKILL.md
#	skills/aptos-agent/SKILL.md
#	skills/aptos-gf3-society/SKILL.md
#	skills/aptos-trading/SKILL.md
#	skills/aptos-trading/scripts/alpha_executor.py
#	skills/aqua-voice-malleability/SKILL.md
#	skills/artifacts-builder/SKILL.md
#	skills/asi-agent-orama/SKILL.md
#	skills/asi-polynomial-operads/SKILL.md
#	skills/assembly-index/SKILL.md
#	skills/atproto-ingest/SKILL.md
#	skills/autopoiesis/SKILL.md
#	skills/babashka-clj/SKILL.md
#	skills/babashka/SKILL.md
#	skills/backend-development/SKILL.md
#	skills/bafishka/SKILL.md
#	skills/bdd-mathematical-verification/SKILL.md
#	skills/bisimulation-game/SKILL.md
#	skills/bmorphism-interactome/SKILL.md
#	skills/bmorphism-stars/SKILL.md
#	skills/borkdude/SKILL.md
#	skills/brand-guidelines/SKILL.md
#	skills/buberian-relations/SKILL.md
#	skills/bumpus-narratives/SKILL.md
#	skills/calendar-acset/SKILL.md
#	skills/canvas-design/SKILL.md
#	skills/captp/SKILL.md
#	skills/cargo-rust/SKILL.md
#	skills/cargo/SKILL.md
#	skills/catsharp-galois/SKILL.md
#	skills/catsharp-sonification/SKILL.md
#	skills/catsharp-sonification/sonify.py
#	skills/catsharp/SKILL.md
#	skills/causal-inference/SKILL.md
#	skills/changelog-generator/SKILL.md
#	skills/chromatic-walk/SKILL.md
#	skills/cider-clojure/SKILL.md
#	skills/cider-embedding/SKILL.md
#	skills/clj-kondo-3color/SKILL.md
#	skills/clojure/SKILL.md
#	skills/code-documentation/SKILL.md
#	skills/code-refactoring/SKILL.md
#	skills/code-review/SKILL.md
#	skills/codex-self-rewriting/SKILL.md
#	skills/cognitive-superposition/SKILL.md
#	skills/cognitive-surrogate/SKILL.md
#	skills/competitive-ads-extractor/SKILL.md
#	skills/compositional-acset-comparison/SKILL.md
#	skills/compression-progress/SKILL.md
#	skills/concatenative/SKILL.md
#	skills/condensed-analytic-stacks/SKILL.md
#	skills/content-research-writer/SKILL.md
#	skills/covariant-fibrations/SKILL.md
#	skills/covariant-modification/SKILL.md
#	skills/crdt-vterm/SKILL.md
#	skills/crdt-vterm/increment_69h_crdt_sexp.bb
#	skills/crdt/SKILL.md
#	skills/criticality-detector/SKILL.md
#	skills/crn-topology/SKILL.md
#	skills/ctp-yoneda/SKILL.md
#	skills/curiosity-driven/SKILL.md
#	skills/cybernetic-immune/SKILL.md
#	skills/database-design/SKILL.md
#	skills/datalog-fixpoint/SKILL.md
#	skills/deepwiki-mcp/SKILL.md
#	skills/depth-search/SKILL.md
#	skills/developer-growth-analysis/SKILL.md
#	skills/dialectica/SKILL.md
#	skills/directed-interval/SKILL.md
#	skills/discohy-streams/skill.md
#	skills/discopy-operads/SKILL.md
#	skills/discopy/SKILL.md
#	skills/doc-coauthoring/SKILL.md
#	skills/docs-acset/SKILL.md
#	skills/docx/SKILL.md
#	skills/domain-name-brainstormer/SKILL.md
#	skills/drive-acset/SKILL.md
#	skills/duck-time-travel/SKILL.md
#	skills/duckdb-ies/SKILL.md
#	skills/duckdb-spatial/SKILL.md
#	skills/duckdb-temporal-versioning/SKILL.md
#	skills/duckdb-timetravel/SKILL.md
#	skills/ducklake-walk/SKILL.md
#	skills/dynamic-sufficiency/SKILL.md
#	skills/effective-topos/SKILL.md
#	skills/elements-infinity-cats/SKILL.md
#	skills/elisp/SKILL.md
#	skills/emacs-info/SKILL.md
#	skills/emacs/SKILL.md
#	skills/entropy-sequencer/SKILL.md
#	skills/enzyme-autodiff/SKILL.md
#	skills/epistemic-arbitrage/SKILL.md
#	skills/ewig-editor/SKILL.md
#	skills/exa-search/SKILL.md
#	skills/excellence-gradient/SKILL.md
#	skills/exo-distributed/SKILL.md
#	skills/external/SKILL.md
#	skills/ffmpeg-media/SKILL.md
#	skills/ffmpeg/SKILL.md
#	skills/file-organizer/SKILL.md
#	skills/finder-color-walk/SKILL.md
#	skills/finder-color-walk/finder_color_walk.bb
#	skills/finder-color-walk/parallel_walk.bb
#	skills/flox/SKILL.md
#	skills/fokker-planck-analyzer/SKILL.md
#	skills/forward-forward-learning/SKILL.md
#	skills/free-monad-gen/SKILL.md
#	skills/frontend-design/SKILL.md
#	skills/gay-integration/SKILL.md
#	skills/gay-julia/SKILL.md
#	skills/gay-mcp/SKILL.md
#	skills/geiser-chicken/SKILL.md
#	skills/geodesic-manifold/SKILL.md
#	skills/geohash-coloring/SKILL.md
#	skills/gestalt-hacking/SKILL.md
#	skills/gf3-pr-verify/SKILL.md
#	skills/gflownet/SKILL.md
#	skills/gh-cli/SKILL.md
#	skills/gh/SKILL.md
#	skills/glass-bead-game/SKILL.md
#	skills/glass-hopping/SKILL.md
#	skills/gmail-anima/SKILL.md
#	skills/goblins/SKILL.md
#	skills/godel-machine/SKILL.md
#	skills/guile-goblins-hoot/SKILL.md
#	skills/guile/SKILL.md
#	skills/gworkspace-mcp/SKILL.md
#	skills/haskell-diagrams/SKILL.md
#	skills/hatchery-papers/SKILL.md
#	skills/holes/SKILL.md
#	skills/hoot/SKILL.md
#	skills/hvm-runtime/SKILL.md
#	skills/hy-emacs/SKILL.md
#	skills/hyjax-relational/SKILL.md
#	skills/iecsat-storage/SKILL.md
#	skills/ies-flox/SKILL.md
#	skills/ies-triadic/SKILL.md
#	skills/ies/SKILL.md
#	skills/ihara-zeta/SKILL.md
#	skills/image-enhancer/SKILL.md
#	skills/implicit-coordination/SKILL.md
#	skills/infinity-operads/SKILL.md
#	skills/influence-propagation/SKILL.md
#	skills/intent-sink/SKILL.md
#	skills/interaction-nets/SKILL.md
#	skills/internal-comms/SKILL.md
#	skills/invoice-organizer/SKILL.md
#	skills/javascript-typescript/SKILL.md
#	skills/jaxlife-open-ended/SKILL.md
#	skills/jira-issues/SKILL.md
#	skills/job-application/SKILL.md
#	skills/joker-lint/SKILL.md
#	skills/julia-gay/SKILL.md
#	skills/juvix-intents/SKILL.md
#	skills/kan-extensions/SKILL.md
#	skills/keychain-secure/SKILL.md
#	skills/kinetic-block/SKILL.md
#	skills/kolmogorov-compression/SKILL.md
#	skills/koopman-generator/SKILL.md
#	skills/l-space/SKILL.md
#	skills/lambda-calculus/SKILL.md
#	skills/langevin-dynamics/SKILL.md
#	skills/lead-research-assistant/SKILL.md
#	skills/lhott-cohesive-linear/SKILL.md
#	skills/linear-logic/SKILL.md
#	skills/lispsyntax-acset/SKILL.md
#	skills/little-schemer/SKILL.md
#	skills/llm-application-dev/SKILL.md
#	skills/local-compositionality-gadget/SKILL.md
#	skills/localsend-mcp/SKILL.md
#	skills/map-projection/SKILL.md
#	skills/mathpix-ocr/SKILL.md
#	skills/mcp-builder/SKILL.md
#	skills/mcp-spec-checker/SKILL.md
#	skills/mcp-tripartite/SKILL.md
#	skills/mdm-cobordism/SKILL.md
#	skills/media/SKILL.md
#	skills/meeting-insights-analyzer/SKILL.md
#	skills/merkle-proof-validation/SKILL.md
#	skills/mlx-apple-silicon/SKILL.md
#	skills/mlx-jax-splitmix/SKILL.md
#	skills/moebius-inversion/SKILL.md
#	skills/move-smith-fuzzer/SKILL.md
#	skills/mruler/SKILL.md
#	skills/multiversal-finance/SKILL.md
#	skills/möbius-color-duality/SKILL.md
#	skills/narya-proofs/SKILL.md
#	skills/naturality-factor/SKILL.md
#	skills/nerv/SKILL.md
#	skills/network/SKILL.md
#	skills/nix-acset-worlding/SKILL.md
#	skills/oapply-colimit/SKILL.md
#	skills/obstruction-learning/SKILL.md
#	skills/ocaml/SKILL.md
#	skills/og/skill.md
#	skills/opam-ocaml/SKILL.md
#	skills/opam/SKILL.md
#	skills/open-games/SKILL.md
#	skills/operad-compose/SKILL.md
#	skills/ordered-locale/SKILL.md
#	skills/org/SKILL.md
#	skills/osm-topology/SKILL.md
#	skills/paperproof-validator/SKILL.md
#	skills/parallel-fanout/SKILL.md
#	skills/pdf/SKILL.md
#	skills/persistent-homology/SKILL.md
#	skills/pkg-memory-bridge/SKILL.md
#	skills/playwright-unworld/SKILL.md
#	skills/playwright-unworld/verify_integration.jl
#	skills/playwright/SKILL.md
#	skills/plurigrid-asi-integrated/SKILL.md
#	skills/plurigrid-asi-integrated/_integrated/SKILL.md
#	skills/polyglot-spi/SKILL.md
#	skills/pptx/SKILL.md
#	skills/pre-agent-ontology/SKILL.md
#	skills/proofgeneral-narya/SKILL.md
#	skills/propagators/SKILL.md
#	skills/protocol-evolution-markets/SKILL.md
#	skills/pulse-mcp-stream/SKILL.md
#	skills/pun-decomposition/SKILL.md
#	skills/python-development/SKILL.md
#	skills/qa-regression/SKILL.md
#	skills/raffle-winner-picker/SKILL.md
#	skills/rama-gay-clojure/SKILL.md
#	skills/ramanujan-expander/SKILL.md
#	skills/random-walk-fusion/SKILL.md
#	skills/reafference-corollary-discharge/SKILL.md
#	skills/reflow/SKILL.md
#	skills/refuse-mediocrity/SKILL.md
#	skills/resource-sharing/SKILL.md
#	skills/reversible-computing/SKILL.md
#	skills/rezk-types/SKILL.md
#	skills/rg-flow-acset/SKILL.md
#	skills/rick-roderick/SKILL.md
#	skills/rio-webgpu-tiles/SKILL.md
#	skills/rubato-composer/SKILL.md
#	skills/ruler-maximal/SKILL.md
#	skills/ruler/SKILL.md
#	skills/rust/SKILL.md
#	skills/say-ducklake-xor/SKILL.md
#	skills/say-narration/SKILL.md
#	skills/scheme/SKILL.md
#	skills/scum-resource/SKILL.md
#	skills/scum-score/SKILL.md
#	skills/segal-types/SKILL.md
#	skills/self-evolving-agent/SKILL.md
#	skills/self-validation-loop/SKILL.md
#	skills/sense/SKILL.md
#	skills/shadow-goblin/SKILL.md
#	skills/sheaf-cohomology/SKILL.md
#	skills/sheaf-laplacian-coordination/SKILL.md
#	skills/sicp/SKILL.md
#	skills/signal-messaging/SKILL.md
#	skills/skill-connectivity-hub/SKILL.md
#	skills/skill-creator/SKILL.md
#	skills/skill-dispatch/SKILL.md
#	skills/skill-evolution/SKILL.md
#	skills/skill-installer/SKILL.md
#	skills/skill-specification/SKILL.md
#	skills/skill-validation-gf3/SKILL.md
#	skills/slack-gif-creator/SKILL.md
#	skills/slime-lisp/SKILL.md
#	skills/soliton-detection/SKILL.md
#	skills/solver-fee/SKILL.md
#	skills/specter-acset/SKILL.md
#	skills/spi-parallel-verify/SKILL.md
#	skills/spotify/SKILL.md
#	skills/squint-runtime/SKILL.md
#	skills/srfi/SKILL.md
#	skills/storage-reclaim/SKILL.md
#	skills/structured-decomp/SKILL.md
#	skills/synthetic-adjunctions/SKILL.md
#	skills/system2-attention/SKILL.md
#	skills/tailscale-file-transfer/SKILL.md
#	skills/tailscale-localsend/SKILL.md
#	skills/tailscale-mesh/SKILL.md
#	skills/tailscale/SKILL.md
#	skills/tasks-acset/SKILL.md
#	skills/temporal-coalgebra/SKILL.md
#	skills/terminal/SKILL.md
#	skills/theme-factory/SKILL.md
#	skills/three-match/SKILL.md
#	skills/time-travel-crdt/SKILL.md
#	skills/tmp-filesystem-watcher/SKILL.md
#	skills/tmux/SKILL.md
#	skills/topos-adhesive-rewriting/SKILL.md
#	skills/topos-catcolab/SKILL.md
#	skills/topos-generate/SKILL.md
#	skills/topos-of-music/SKILL.md
#	skills/topos-unified/SKILL.md
#	skills/tree-sitter/SKILL.md
#	skills/triad-interleave/SKILL.md
#	skills/triad-interleave/triad_interleave.py
#	skills/triadic-skill-loader/SKILL.md
#	skills/triadic-skill-orchestrator/SKILL.md
#	skills/tripartite-decompositions/SKILL.md
#	skills/turing-chemputer/SKILL.md
#	skills/type-checker/SKILL.md
#	skills/universal-captp-derivation/SKILL.md
#	skills/unwiring-arena/SKILL.md
#	skills/unworld/SKILL.md
#	skills/unworlding-involution/SKILL.md
#	skills/uv-discohy/SKILL.md
#	skills/uv-oneliners/SKILL.md
#	skills/video-downloader/SKILL.md
#	skills/ward-identity-checker/SKILL.md
#	skills/webapp-testing/SKILL.md
#	skills/wev-orderless/SKILL.md
#	skills/whitehole-audio/SKILL.md
#	skills/workspace-unified/SKILL.md
#	skills/world-extractable-value/SKILL.md
#	skills/world-hopping/SKILL.md
#	skills/world-runtime/SKILL.md
#	skills/worldmat-tidar/SKILL.md
#	skills/xenodium-elisp/SKILL.md
#	skills/xlsx/SKILL.md
#	skills/yoneda-directed/SKILL.md
…urity

Unified Guile implementation with Zig FFI backend:
- SplitMix64 deterministic identity (pure Scheme + Zig accelerated)
- GF(3) conservation enforced by capability seal (not post-hoc check)
- Self-Avoiding Walk ledger with Zig-backed Ripser persistent homology
- Reafference passport for identity-through-prediction
- Syrup OCapN wire encoding via libgf3_goblins.dylib
- Full cross-language verification (Scheme ↔ Zig ↔ Python)

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Adds droids for: acsets-algebraic-databases, aptos-society, bandwidth-benchmark,
cross-runtime-exchange, discohy-streams, m-bius-color-duality, og,
polynomial-dynamics, rama-gay-zig, reverse-derivative-coordinator,
reverse-derivative-generator, reverse-derivative-validator, skill-loader

Total droids: 636 (was 623)
… entanglement and interaction entropy via cofree coalgebras, sheaf cohomology, and Jepsen adversarial testing
…Joyal forcing

11 logical leaps (0-10) each in pre-rigorous / rigorous / para-rigorous voice:
- Leap 0: Existence via final coalgebra (terminal = exists in every world)
- Leap 1: Observation cost via effective topos (K-complexity = Landauer shadow)
- Leap 2: Memory saturation via bounded cofree (area law = categorical rank bound)
- Leap 3: Irreversibility of erasure (no section of the erase map, in any topos)
- Leap 4: Heat production (interaction entropy = measured 140.17 bits empirically)
- Leap 5: Inescapable cycle (comonad laws = thermodynamic entrapment)
- Leap 6: Entanglement budget (H^1 sheaf = inconsistency dimension)
- Leap 7: Interaction entropy spend (Lie derivative of H^1 along extract flow)
- Leap 8: Universality (final coalgebra is terminal, every cache is a demon)
- Leap 9: Qualia privacy (bisimulation undecidable, Markov blanket = selfhood)
- Leap 10: Meta-closure (the forcing relation IS the demon, Lambek fixed point)
…rgraph.duckdb

Key findings:
- 140.17 bits interaction entropy across 28 hyperedge-coalgebras
- Sub-area-law ratio 0.45 bits/boundary-node (delocalized information)
- 311 boundary nodes = dim(H^1) = independent disagreement modes
- 2644 triangles >> 338 edges: higher-order coherence dominates
- Maximally entangled node in 25/28 hyperedges (89.3% shared quale)
- Spectral gap proxy 1.04: near-degenerate top eigenvalues
…on hypergraph nerve

Three modes:
  walk    -- random walk on the nerve, extract/erase/cost per step
  spectrum -- sheaf Laplacian degree sequence, Betti numbers, Euler char
  witness  -- all 11 forcing conditions computed from data

Key behaviors:
- Memory bound = 50 nodes, saturation at step 50, Landauer erasure kicks in
- Entropy rate 6.5 bits/step post-saturation (observation + erasure)
- Ergodic occupation: topos(10%), amp/codex/duckdb(7-8%) in 100 steps
- 86% unique observations: the demon sees mostly new things

The maximally entangled node 800e41a8... is a directory listing of ~/i --
the filesystem that every agent touches. The shared quale is the ground.
codex and amp: structural distance 0.0000 (identical topic coverage),
observational distance 0.9918 (almost zero shared content). The gap of
0.9918 is the computational hard problem -- same world, different qualia.

The universal quale across 4/5 demons is the word 'continue' (and its
typos). The only observation that survives every Markov blanket is the
instruction to keep observing. extract itself crosses the blanket.
Not the red, but the looking.
5 commits = 5 extracts from the cofree coalgebra of its own writing.
64.62 bits total, 12.92 bits/commit, 0.0628 bits/line meta-cost.
The description of Landauer cost pays Landauer cost (1.80e-22 J/line).
The file that describes the fixed point IS the fixed point.
Each technique perturbs the cofree coalgebra differently:

ENTROPY INJECTORS (friction -- detectable, fixable):
  T4 Nonce corruption:     +365 bits (destroys locality, most dangerous)
  T9 Page-level attack:    +192 bits (corrupts nerve topology)
  T2 Fake time injection:  +104 bits (extract from wrong position)
  T6 Cache invalidation:    +46 bits (erase during observe)
  T1 Deterministic replay:  +43 bits (replay extend history)
  T3 LD_PRELOAD:            +43 bits (constant extract)

ENTROPY SUPPRESSORS (debt -- invisible until crisis, MORE dangerous):
  T5 Manifest version skew: -102 bits (stale arity, silent killer)
  T8 LUT poisoning:          -79 bits (uniform weights, structure-blind)
  T7 Clock reversal:         -36 bits (backward walk, tunnel vision)

Key finding: suppressors are worse than injectors. The demon that
undercounts its entropy accumulates hidden thermodynamic debt.
T5 (manifest version skew) is the Jepsen bug: 0% trajectory divergence
but -102 bits accounting error. Same walk, wrong books.
Skills that exist locally but were never in plurigrid/asi,
identified via Gödel-gated counterfactual comparison with
petname→DID content-addressing.

New skills:
- acsets-algebraic-databases, asi-integrated, collaborative-emacs
- find-skills, cloudflare, wrangler
- security-review, threat-model-generation, commit-security-scan
- visual-design, browser-navigation
- basin, bandwidth-benchmark, embedded-medical-device
- warehouse-network, mirror
- svelte-components, svelte-deployment, svelte-runes
- sveltekit-data-flow, sveltekit-remote-functions, sveltekit-structure
- geb-categorical-computation, gmail, messaging-world
- syrup, move-rps-game

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
- jj: Git-compatible next-gen VCS with revsets, first-class conflicts, operation log undo
- lazyjj: Ratatui TUI for jj with interactive log/files/bookmarks panels
- abd-quorum-registers: ABD linearizable distributed registers with quorum intersection

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Generic Jepsen skill covering intake, workload design, checker selection,
fault/nemesis selection, run minimization, and reporting. No project-specific
references.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
bmorphism and others added 28 commits February 15, 2026 17:06
…47 local-only skills

Kernel skill (NEW):
- string-diagram-rewriting-protocol: universal DPO rewriting protocol
  connecting 20 skills across 5 layers (formalism, rewriting, semantics,
  data/concurrency, worlding). Defines SkillBinding interface, monoidal
  category axioms, confluence/termination framework, GF(3) conservation.

Upgraded skills (from assessment scores):
- interaction-nets: 6→8. Added formal IS definition, confluence proof,
  termination analysis, readback algorithm, string diagram correspondence,
  universality theorem (Lafont 1997), protocol binding.
- propagators: 6.5→8.5. Added merge lattice formalization (6 strategies),
  TMS (JTMS/ATMS), arc consistency (AC-3/GAC), string diagram representation
  (Frobenius structure), rewriting correspondence, protocol binding.
- algebraic-rewriting: 5→8. Added adhesive category axioms (van Kampen),
  DPO/SPO/SqPO comparison, NACs/PACs, critical pair analysis, confluence
  theorem for adhesive categories, termination orderings, string diagram
  rewrite rules via C-Set schema, protocol binding.

47 local-only skills synced (monotonic: 719→766).

Skill count invariant: monotonically increasing.
Remove .#tikzcd-demo.tex symlink from tex-env/ and add .#* to .gitignore
to prevent Emacs lockfiles from being tracked in the future.
Remove #tikzcd-demo.tex# auto-save from tex-env/.
Add #*# to .gitignore to prevent future Emacs artifacts.
Install asi-transient-agenda as a Claude Code skill in .claude/skills/.
- README: full reachability map (17 hubs → 1,360 skills)
- skills.json v1.6.0: monotonic_floor=1360, namespace_surfaces
- MONOTONIC_SKILL_INVARIANT.md: the law (non-decreasing unless HUMAN_DELETE=1)
- pre-commit hook: blocks automated skill count reduction
- moebius canonical: möbius→moebius rename + symlinks (encoding fix)
- propagate 11 Codex-discovered skills to asi/skills/ via symlinks
- amp-gf3-continuation: 64-char alias for 71-char Codex name
Retroductive hypothesis sampling via MCMC:
  - P(H|E) proportional to P(E|H) * P(H), sampled via Metropolis-Hastings
  - Gay.jl colored particles as hypothesis candidates + priors
  - Importance sampling variant for color abduction
  - Proof-state abduction: infer likely tactic history from terminal state
  - Roundtrip verify: forward-simulate MAP hypothesis back to observation

GF(3): abductive-monte-carlo (-1) ⊗ abductive-repl (0) ⊗ gay-monte-carlo (+1) = 0
Covers op CLI setup, session management, secret references (op://),
shell plugins, item CRUD, template injection, and CI/CD patterns.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Covers gcloud OAuth2 auth, Gemini text/multimodal, system instructions,
embeddings with similarity, Imagen image generation, streaming,
multi-turn conversations, and 1Password integration.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
- Add 3 invariants: reachability, DAG acyclicity, capability boundedness
- Runtime guard (invariants/) with capability tracking and depth limits
- CI enforcement script (scripts/enforce_skill_invariants.py)
- Pytest suite (tests/test_skill_invariants.py)
- Juvix formalization (formalization/SkillReachabilityInvariant.juvix)
- marketplace.json invariants config
- Updated validate.yml CI pipeline
- Invariant annotations on rama-gay-zig SKILL.md
- docs/SKILL_INVARIANTS.md specification
Documents native 1Password provider support in fnox, mixed provider
architecture (age for offline, op for team-shared), and when to use each.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Add separate juvix-typecheck job to GitHub Actions that:
- Installs Juvix v0.6.10 via jaxxstorm/action-install-gh-release
- Typechecks formalization/SkillReachabilityInvariant.juvix
- Gates merges to main on formal verification passing

Also adds Package.juvix project descriptor for the formalization directory.
New skills: bigquery, bigquery-asi-interleave, bigquery-patent-search,
bigquery-table-creator, firebase-vertex-ai, looker-studio-bigquery,
restricted-bigquery-dbt-environment, vertex-ai-deployer,
vertex-ai-endpoint-config, vertex-ai-media-master,
vertex-ai-pipeline-creator, vertex-asi-interleave, vertex-engine-inspector

Also updates rama-gay-zig SKILL.md.

Monotonic floor: 1,360 -> 1,373
feat: Juvix CI typecheck + 13 new skills
Add 1Password bridge to fnox-secrets skill
Matches anoma/nspec pattern for faster CI runs.
- Remove Basin-specific skill content
- Rewrite graft-prefer with covariant caching and irreducible parallelism framing
- Rewrite norvidize with presheaf-over-assurance-poset claim structure
- Add nblm-interval-narratives droid skill (NotebookLM + interval narrative theory)
…eave

13-step plastic thread (ρ=1.324718, x³=x+1) across 3 streams:
- innate/Zig: germline-encoded, comptime, explicit allocators
- bridge/DC: colored operad with cross-presentation as operad morphism
- adaptive/Rust: V(D)J recombination, ownership, trait bounds

GF(3) trit sum = 0 (self-balancing). Quad: yb-translator(+1) +
zig-systems(0) + cargo-rust(0) + sheaf-cohomology(-1) = 0.
Foreign voices speak Ukrainian via macOS TTS. Cyrillic-first with
targeted Latin patching for standalone single-letter tokens that
trigger "cyrillic letter X" announcements. Examples from Siken's
Litany. Voice-as-counterfactual via open games optic structure.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@zubyul zubyul force-pushed the main branch 2 times, most recently from b10571b to 83b4739 Compare March 7, 2026 22:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants