The evidence chain

How it works

A decision becomes a receipt in five steps. Each step leaves a fingerprint, and the receipt binds them all.

csk/evidence-chain5 steps
  1. 01

    Source

    A program written in the checked subset of Lispex, the CSK Profile.

  2. 02

    Canonical Core

    The source is rewritten into one canonical form, so the same meaning always looks the same.

  3. 03

    Meaning Graph

    The canonical form is read into a graph of what the program actually does.

  4. 04

    Meaning Environment

    The graph is evaluated under a deterministic rule profile, step by step, leaving a transcript.

  5. 05

    Differential Receipt

    Two execution paths compute the same result separately. The byte-level comparison of their outputs is sealed into the receipt.

The two paths share some foundations, so this is not third-party independent verification. What it is, precisely, is on the Trust page.

Core Semantic Kernel