CSK is the official research programme of STUDIO HAZE. Papers and patents are recorded here first.
Three research lines run inside systems that really ship. Every claim published here arrives with an artifact you can run, and every decision leaves a receipt you can check offline.
Vouch: Preventing Semantic-Evidence Laundering with Structural Artifact Boundaries
Closed Languages for Agent Authorship: Design Principles and Production Evidence from Topaz
Refute Before Release: Adversarial Cross-Agent Review as a Standing Gate in a Production Orchestration Harness
Decisions should leave receipts. This line studies deterministic rule profiles, portable decision receipts, and offline verification. Lispex Vouch is the public reference, and Lena Engine applies the same principles commercially.
See the artifactsPeople and AI agents should read the same code as the same meaning. Topaz, a small closed intent language, and Lispex, a deterministic Lisp, grew out of this line.
See the artifactsHeterogeneous agents build real products under one harness, and an output ships only after other agents fail to break it. Project Vercel is this line's system.
See the artifactsA real receipt, produced by Lispex Vouch. Click any field on the Explorer to see what it attests.
{
"boundary": {
"attests": [
"source-bytes",
"profile-input-hash-binding",
"canonical-core-v0-bytes",
"meaning-graph-v0-hash-binding",
"reference-transcript-bytes",
"meaning-env-transcript-bytes",
"lowered-subset-transcript-agreement"
],
"excludes": [
"semantic-equivalence",
"independent-witness",
"substrate-independence",
"error-agreement",
"input-provenance",
"topaz-reporting",
"full-cskernel-coverage",
"target-code-generation",
"private-implementation-detail"
]
},
"canonical": {
"byte_len": 117,
"hash": {
"algo": "sha-256",
"domain": "lispex/core-hash/v0",
"hex": "0166138fc6f17a1ce016adcc8470a29a0e2d368dccab41ed1340211ecfd36c7b"
},
"status": "ok"
},
"comparison": {
"blockers": [],
"fault_class": null,
"first_divergence": null,
"reason": "transcript-bytes-equal",
"status": "agree",
"substrate": "shared-rust-reference"
},
"diagnostics": [],
"differential_receipt": "csk.differential-receipt/v0",
"engine": {
"canonical_format": "lispex.core.canonical/v0",
"commit": {
"dirty": false,
"hex": "1b19dcfe7b97db842a6850dd8d4bea1d8030c136",
"vcs": "git"
},
"name": "lispex-rust-reference",
"version": "1.3.8"
},
"graph": {
"byte_len": 1514,
"hash": {
"algo": "sha-256",
"domain": "csk/meaning-graph-hash/v0",
"hex": "94a5e0e686d28601c20a4825ab97c3699cc19b226031ff701ee105f4c4f844c9"
},
"status": "ok"
},
"input": {
"byte_len": 4,
"datum": "(20)",
"hash": {
"algo": "sha-256",
"domain": "csk/profile-input-hash/v0",
"hex": "110af5fa552beb95424869a04b48937f7ebe323198aeb2dbb68c8e27f8966c28"
},
"name": "input",
"path": "profile-gallery/decision-gallery/inputs/age-threshold.datum",
"status": "bound"
},
"meaning_env": {
"fault": null,
"hash": {
"algo": "sha-256",
"domain": "csk/meaning-env-transcript-hash/v0",
"hex": "f0dfd43e2b272c0ec36731090325f53e11b41d5b8a80ecc682355b83e158ac51"
},
"status": "ok",
"steps": {
"limit": 65536,
"used": 9
},
"transcript": [
"(decision allow)"
],
"transcript_byte_len": 17
},
"reference": {
"hash": {
"algo": "sha-256",
"domain": "lispex/runtime-hash/v0",
"hex": "dafb01565d181ad602e7a31d83aede59aa10462cf4723daab00edfb49b007abb"
},
"status": "ok",
"transcript": [
"(decision allow)"
],
"transcript_byte_len": 17
},
"source": {
"byte_len": 78,
"hash": {
"algo": "sha-256",
"domain": "lispex/source-hash/v0",
"hex": "d5ca57e06197ed1dd0fbd2fdb3f82225492bca5c86a2f3858ff92670e4f79eac"
},
"path": "profile-gallery/decision-gallery/cases/age-threshold.lspx"
}
}Real receipt. Case age-threshold from the Lispex decision gallery, generated by the Lispex v1.3 reference core.
Every claim in this programme publishes its own boundary. The full list of what a receipt does not prove is on the Trust page.
Lispex Vouch is the first reference implementation of CSK. Portable decision receipts, the Vouch Bridge, offline verification, and rule-change replay, all of it runnable today.