Research programme

Artifacts

Paper-specific reproduction packages and the working systems behind the wider programme are listed side by side.

Reproduction packages

The materials needed to inspect, rerun, or audit each paper's reported work.

SCORED '26

  1. Vouch: Separating Structural Validity, Authenticated Evidence, and Decision Authority

    Open bundle

  2. Round Trips Can Lie: Policy-Laundering Attacks on Cross-Language Validation Adapters

    Open bundle

  3. Typed Non-Laundering Authorization for Signed Deterministic-Program Envelopes

    Open bundle

LMPL 2026

  1. Making Excluded Capabilities Observable at a Receiving DSL Boundary

    Open bundle

AgenticDev 2026

  1. Endpoint-Identity Matching and One Refutation-First Prompt in Agentic Code Review

    Open bundle

MAS-GAIN 2026

  1. Counting Before Calling: Receipt-Gated Analysis-Unit Accounting for a Stopped Multi-Agent Adjudication Study

    Open bundle

Research systems

Long-lived implementations that keep research methods in operation.

Evidence and verification

Lispex Vouch

Reference implementation

Portable decision receipts, the Vouch Bridge, offline verification, and rule-change replay, all of it runnable today.

/vouch
Related papers
SCORED '26

Lena Engine

Commercial engine

The proprietary engine behind Lena Code. Its verification discipline is designed on the principles the CSK research demonstrates publicly.

www.lenacode.com

Languages

Topaz

Closed intent language

A small, closed, Unicode-first language, built so people and AI agents read and write on the same closed surface. Its checked grammar surface is confirmed by differential gates across execution paths.

topaz.ooo
Related papers
LMPL 2026

Lispex

Deterministic Lisp

A deterministic, macro-free Lisp in the R7RS family, built for research. Its grammar and normalization rules make the same code read and run the same way, with a Rust reference interpreter and a browser playground. Within its checked subset it is the source language that Vouch verifies.

www.lispex.com

Orchestration

Project Vercel

Orchestration harness

A runtime that composes task execution graphs across heterogeneous AI agents. It routes each subtask by capability, keeps sessions isolated, and ships an output only after other agents fail to break it.

www.vercel.co.kr
Core Semantic Kernel