Crate arkhe_forge_core 

ArkheForge Runtime — L1 Primitives (arkhe-forge-core)

Core 5 primitive types (User / Actor / Space / Entry / Activity), sealed ArkheComponent / ArkheAction / ArkheEvent traits, ShellBrand<'s> invariant-lifetime isolation, deterministic entity-id derivation.

Pure compute — no I/O, no time, no randomness (L0 A11 succession). Only depends on arkhe-kernel (L0) and arkhe-macros (derive provider). arkhe-forge-platform must not be pulled in (layer-independence directive).

Modules

action

ArkheAction + ActionCompute sealed traits.

activity

Activity primitive — actor→target verb.

actor

Actor primitive — per-shell activity subject.

brand

Shell brand — compile-time per-shell type isolation.

bridge

L0 ↔ Forge ActionCompute bridge.

component

ArkheComponent sealed trait + BoundedString<N>.

context

L1 compute context — primitive-facing interface for Action compute().

entry

Entry primitive — persistent content unit.

event

ArkheEvent sealed trait + Core Event catalog.

pii

PII wire format + AEAD AAD helper + DEK message counter.

pipeline

L1 compute pipeline — invokes compute() on a forge ActionCompute and returns the drained per-tick EventRecord buffer.

space

Space primitive — container / scope.

typecode

TypeCode allocation bounds — core sub-split.

user

User primitive — Identity Subject.

Constants

MAX_ID_DERIVE_RETRIES

Maximum retry count for zero-digest collision avoidance.

RUNTIME_SEMVER

ArkheForge Runtime semver triple — matches the repo release.

Functions

derive_entity_id

Deterministic entity-id derivation. Pure — no hidden state.

Attribute Macros

arkhe_pure

Re-exports of the Runtime-layer derive + attribute macros from arkhe-forge-macros. #[arkhe_pure] is the E14.L1 Subset-Rust purity attribute for Action::compute bodies. #[arkhe_pure] — attribute macro asserting that an Action::compute- style function body conforms to E14.L1 Subset-Rust purity. Backed by arkhe-subset-rust-check; emits a compile_error! per violation site. Spec anchor: E14.L1 (MC).

Derive Macros

ArkheAction

Re-exports of the Runtime-layer derive + attribute macros from arkhe-forge-macros. #[arkhe_pure] is the E14.L1 Subset-Rust purity attribute for Action::compute bodies. Derive ArkheAction — emits the sealed-trait impl and the marker-trait impl pinning TYPE_CODE, SCHEMA_VERSION, BAND, IDEMPOTENT.

ArkheComponent

Re-exports of the Runtime-layer derive + attribute macros from arkhe-forge-macros. #[arkhe_pure] is the E14.L1 Subset-Rust purity attribute for Action::compute bodies. Derive ArkheComponent — emits the sealed-trait impl and the marker-trait impl pinning TYPE_CODE and SCHEMA_VERSION.

ArkheEvent

Re-exports of the Runtime-layer derive + attribute macros from arkhe-forge-macros. #[arkhe_pure] is the E14.L1 Subset-Rust purity attribute for Action::compute bodies. Derive ArkheEvent — emits the sealed-trait impl and the marker-trait impl pinning TYPE_CODE and SCHEMA_VERSION.