CSK is the official research programme of STUDIO HAZE. Papers and patents are recorded here first.
Three research lines connect papers to the systems and reproduction packages behind them. Decisions also leave receipts that can be checked offline.
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.
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.