Core Semantic Kernel

CSK is a public methodology and reference for evidence of meaning-preserving evaluation and conversion evidence.

Every decision leaves a receipt. External engines can attach Vouch-shaped conversion evidence. Anyone can verify the bytes and boundaries offline.

How it worksTrustLispex Vouch
age-threshold.receipt.jsonsha-256
differential_receipt
csk.differential-receipt/v0
comparison.status
agree
comparison.reason
transcript-bytes-equal
comparison.substrate
shared-rust-reference
engine.name
lispex-rust-reference
engine.version
1.3.8
source.hash
d5ca57e0…f79eac
canonical.hash
0166138f…d36c7b
meaning_env.transcript
(decision allow)
Verified · exit 0Explore every field

Real receipt. Case age-threshold from the Lispex decision gallery, generated by the Lispex v1.3 reference core.

01

Decision receipt

Every decision made under a deterministic rule profile leaves a portable receipt. It binds cryptographic fingerprints of the rule source, the normalized input, and the engine identity to the execution transcript.

02

Offline verify

Anyone can re-verify a receipt with the public verifier, offline. No private service has to be trusted.

03

Vouch Bridge

External engines can emit conversion evidence in the Vouch shape. Lena Engine performs the commercial conversion, and Lispex Vouch supplies the public evidence boundary.

Read a real receipt.

A real receipt, produced by Lispex Vouch. Click any field on the Explorer to see what it attests.

age-threshold.receipt.jsonVerified · exit 0
{
  "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"
  }
}

A receipt proves what was evaluated, within which public boundary. What it does not prove is listed in full on the Trust page.

Lispex Vouch — portable decision receipts, Vouch Bridge, offline verify, and rule-change replay. The reference implementation of CSK.

Lispex Vouch
Core Semantic Kernel