Asi kolmogorov-codex-quest

Kolmogorov Codex Quest

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/kolmogorov-codex-quest" ~/.claude/skills/plurigrid-asi-kolmogorov-codex-quest-d130d7 && rm -rf "$T"
manifest: skills/kolmogorov-codex-quest/SKILL.md
source content

Kolmogorov Codex Quest

Type: Quest / Puzzle
Bounty: 2 APT
Status: Active
Chain: Aptos Mainnet

Description

A cryptographic puzzle requiring solvers to prove they traversed the Plurigrid ASI skill lattice via four-layer identity verification.

Identity Proof Requirements

LayerDescriptionCount
WikidataQ-items per world letter26 × 69 = 1794
GayMCPInteraction colorsGF(3) conserved
SkillsMinimum invoked≥ 6
WorldsMinimum visited≥ 6
Oracleed25519 attestationRequired

Security Model

The contract uses oracle attestation to prevent spoofing:

  1. Quest creator specifies a trusted oracle's ed25519 public key
  2. Solver executes skills via Plurigrid ASI
  3. Oracle monitors execution and signs attestation:
    (solver, quest, proof_data, timestamp)
  4. Contract verifies oracle signature before releasing bounty
  5. Attestations expire after 1 hour (replay protection)

Invocation

/kolmogorov-codex-quest

Skills Required

  • aptos-agent
    - Blockchain interaction
  • gay-mcp
    - GF(3) coloring
  • acsets-relational-thinking
    - Wikidata schema
  • glass-bead-game
    - World-hopping synthesis
  • bisimulation-game
    - Identity proof verification
  • _integrated
    - Unified ASI orchestration

References

  • Valeria Nikolaenko: Data Availability Sampling
  • Lee Cronin: Assembly Theory
  • Badiou: Triangle Inequality
  • GF(3): Galois Field conservation

Contract

See

sources/kolmogorov_codex_quest.move
for full implementation.

Glass-Bead Synthesis

┌─────────────────────────────────────────────────────────────────┐
│                    IDENTITY PROOF LAYERS                        │
├─────────────────────────────────────────────────────────────────┤
│  WIKIDATA ──────▶ 26 letters × 69 Q-items = 1794 concepts      │
│  GAYMCP ────────▶ GF(3) colored interaction trace              │
│  SKILLS ────────▶ ≥6 Plurigrid ASI skills invoked              │
│  WORLDS ────────▶ ≥6 ~/worlds directories visited               │
└─────────────────────────────────────────────────────────────────┘

Scientific Skill Interleaving

This skill connects to the K-Dense-AI/claude-scientific-skills ecosystem:

Graph Theory

  • networkx [○] via bicomodule
    • Universal graph hub

Bibliography References

  • dynamical-systems
    : 41 citations in bib.duckdb

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 10. Adventure Game Example

Concepts: autonomous agent, game, synthesis

GF(3) Balanced Triad

kolmogorov-codex-quest (−) + SDF.Ch10 (+) + [balancer] (○) = 0

Skill Trit: -1 (MINUS - verification)

Secondary Chapters

  • Ch6: Layering

Connection Pattern

Adventure games synthesize techniques. This skill integrates multiple patterns.

Cat# Integration

This skill maps to Cat# = Comod(P) as a bicomodule in the equipment structure:

Trit: 0 (ERGODIC)
Home: Prof
Poly Op: ⊗
Kan Role: Adj
Color: #26D826

GF(3) Naturality

The skill participates in triads satisfying:

(-1) + (0) + (+1) ≡ 0 (mod 3)

This ensures compositional coherence in the Cat# equipment structure.