CSK는 STUDIO HAZE의 공식 연구 프로그램입니다. 논문과 특허가 이곳에 먼저 기록됩니다.

세 갈래 연구 라인이 논문과 그 뒤의 시스템, 재현 패키지를 잇습니다. 판정은 오프라인에서 확인할 수 있는 영수증으로 남습니다.

연구아티팩트가이드
01

증거

판정은 영수증을 남겨야 합니다. 이 라인은 결정론 규칙 프로파일과 휴대 가능한 결정 영수증, 오프라인 검증을 연구합니다. 공개 레퍼런스는 리스펙스 바우치이고, Lena Engine이 같은 원리를 상용으로 적용합니다.

아티팩트 보기
02

언어

사람과 AI 에이전트는 같은 코드를 같은 뜻으로 읽어야 합니다. 작고 닫힌 의도 언어 Topaz와 결정론 Lisp인 Lispex가 이 라인에서 자랐습니다.

아티팩트 보기
03

오케스트레이션

이종 에이전트들이 하나의 하니스 아래에서 실제 제품을 만들고, 출력은 다른 에이전트들이 깨뜨리지 못했을 때에만 나갑니다. Project Vercel이 이 라인의 시스템입니다.

아티팩트 보기

증거 라인을 손으로 만져 보세요.

리스펙스 바우치가 만든 실제 영수증입니다. 익스플로러에서 필드를 누르면 무엇을 증명하는지 볼 수 있습니다.

age-threshold.receipt.json검증 완료 · 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"
  }
}

실제 영수증입니다. 리스펙스 결정 갤러리의 age-threshold 케이스, 리스펙스 v1.3 레퍼런스 코어가 생성했습니다.

이 프로그램의 모든 주장은 자신의 경계를 함께 공개합니다. 바우치 영수증이 증명하는 것과 남겨 두는 것을 확인하세요.

리스펙스 바우치는 CSK의 첫 레퍼런스 구현입니다. 휴대 가능한 결정 영수증부터 바우치 브릿지, 오프라인 검증, 규칙 변경 리플레이까지 전부 지금 실행해 볼 수 있습니다.

Lispex Vouch
Core Semantic Kernel