chio-kernel-core 0.1.0

Portable (no_std + alloc) Chio kernel core: pure verdict evaluation, capability verification, and receipt signing
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

[package]
name = "chio-kernel-core"
description = "Portable (no_std + alloc) Chio kernel core: pure verdict evaluation, capability verification, and receipt signing"
version.workspace = true
edition.workspace = true
rust-version.workspace = true
license.workspace = true
repository.workspace = true

[lib]
name = "chio_kernel_core"

# Phase 14.1 portable kernel core extraction.
#
# This crate contains the pure-compute subset of Chio kernel evaluation:
# capability verification, scope matching, guard pipeline evaluation, and
# receipt signing. It is a `no_std + alloc` crate by source, which means
# the crate itself never imports from `std`. The current in-repo proof is
# `scripts/check-portable-kernel.sh`, which builds `chio-kernel-core` both for
# the host and for `wasm32-unknown-unknown` with `--no-default-features`.
#
# Later portability tickets qualify the browser and mobile adapter crates on
# top of this core build proof. See docs/protocols/PORTABLE-KERNEL-ARCHITECTURE.md.
[dependencies]
# Depend on `chio-core-types` with `default-features = false` and forward the
# `std` feature through our own feature flag so downstream consumers can
# select between the hosted `std` build and the portable `no_std + alloc`
# build used by the scripted host + wasm proof.
chio-core-types = { path = "../chio-core-types", version = "0.1.0", default-features = false }
serde = { version = "1", default-features = false, features = ["derive", "alloc"] }
serde_json = { version = "1", default-features = false, features = ["alloc"] }

[features]
default = ["std"]
std = ["chio-core-types/std", "serde/std", "serde_json/std"]

[lints.clippy]
unwrap_used = "deny"
expect_used = "deny"