arkhe-forge-macros 0.13.0

Derive + attribute macros for ArkheForge Runtime: ArkheComponent / ArkheAction / ArkheEvent + #[arkhe_pure] (E14.L1 Subset-Rust purity). Validates TYPE_CODE ranges, BAND classification, schema_version field shape, and Action::compute purity at compile time.
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54

# arkhe-forge-macros

**Runtime-layer derive macros for [ArkheForge Runtime](../arkhe-forge).**

Three procedural derives targeting the L1 traits in
[`arkhe-forge-core`](../arkhe-forge-core): `ArkheComponent`, `ArkheAction`,
`ArkheEvent`. Do not confuse with [`arkhe-macros`](../arkhe-macros), which
targets the L0 kernel traits.

## Layer

Companion proc-macro crate for `arkhe-forge-core`. Consumers normally pull the
derives through the core crate's re-export; direct use is reserved for
compile-fail tests and advanced shell authors.

## Derives

- `#[derive(ArkheComponent)]` — emits the sealed impl and pins
  `TYPE_CODE` / `SCHEMA_VERSION`.
- `#[derive(ArkheAction)]` — additionally pins `BAND ∈ {1, 2, 3}` and
  `IDEMPOTENT` (opt-in).
- `#[derive(ArkheEvent)]` — same shape as Component.

Compile-time validation enforces:

- `#[arkhe(type_code = N)]` sits in the correct reserved sub-range.
- First named field is `schema_version: u16` (wire version tag).
- `#[arkhe(band = K)]` present for `ArkheAction`, `K ∈ {1, 2, 3}`.
- `#[arkhe(idempotent)]` requires an `idempotency_key` field.
- `#[arkhe(canonical_sort)]` is allowed only on `Vec<T>` / `BTreeSet<T>` fields.

## Quick start

```rust
use arkhe_forge_core::ArkheComponent;
use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize, ArkheComponent)]
#[arkhe(type_code = 0x0001_0002)]
struct UserProfile {
    schema_version: u16,
    display_name: String,
}
```

## Documentation

- Runtime book: <https://aceamro.github.io/ArkheForge/>
- API reference: <https://docs.rs/arkhe-forge-macros>
- Repository: <https://github.com/aceamro/ArkheForge>

## License

Dual-licensed under MIT OR Apache-2.0 at your option.