crates/spectra-core/src/lib.rs at 5d695d869fbf · andymccall/spectra

# 5d695d869fbf spectra / crates / spectra-core / src / lib.rs

696 B · Rust · last changed Identities instead of tokens: init, owned agents as delegates, verified replay of identities, request authentication, one writer (#4) 2 days ago source blame history raw

//! Spectra's model (spec §7.3): the ledger and its projections, principals
//! and their identities, the bus, rules and search. No HTTP, no CLI: those
//! are `spectra-mcp`, `radar` and the `spectra` binary, all built on this.
//!
//! Identities, delegation, composite signatures, deterministic CBOR and
//! hashing come from `oxy-core`; nothing here reimplements them.

pub mod authn;
pub mod event;
pub mod hlc;
pub mod ids;
pub mod keys;
pub mod ledger;
pub mod principals;
pub mod projections;
pub mod proof;

/// The ledger's format version: the frozen event envelope (spec §9.1). A
/// database written with a newer format is refused, never guessed at.
pub const LEDGER_FORMAT: u32 = 1;

`/`	Search
`g` `c`	Code
`g` `h`	History
`g` `b`	Bookmarks
`g` `t`	Trust
`y`	Permalink to this state (files and trees)
`?`	This sheet

1	//! Spectra's model (spec §7.3): the ledger and its projections, principals
2	//! and their identities, the bus, rules and search. No HTTP, no CLI: those
3	//! are `spectra-mcp`, `radar` and the `spectra` binary, all built on this.
4	//!
5	//! Identities, delegation, composite signatures, deterministic CBOR and
6	//! hashing come from `oxy-core`; nothing here reimplements them.
7
8	pub mod authn;
9	pub mod event;
10	pub mod hlc;
11	pub mod ids;
12	pub mod keys;
13	pub mod ledger;
14	pub mod principals;
15	pub mod projections;
16	pub mod proof;
17
18	/// The ledger's format version: the frozen event envelope (spec §9.1). A
19	/// database written with a newer format is refused, never guessed at.
20	pub const LEDGER_FORMAT: u32 = 1;

Keyboard